Show simple item record

dc.contributor.authorNewman, Robert
dc.date.accessioned2008-09-04T13:53:02Z
dc.date.available2008-09-04T13:53:02Z
dc.date.issued2001
dc.identifier.citationNewman, R. (2001) 'Designing hypermedia documentation for safety critical training applications', European Journal of Engineering Education, 26 (2) pp. 117-125.
dc.identifier.issn0304-3797
dc.identifier.doi10.1080/03043790110034384
dc.identifier.urihttp://hdl.handle.net/2436/37272
dc.description.abstractThis paper discusses the requirements for authoring methodologies for large multimedia systems to be used for technical education documentation in the domain of "safety critical" industries and presents work which contributes to the development of a methodology for their design. Such documentation is typically required to serve both for training purposes and for direct support of engineers in the field. This dual-purpose nature means that documents are typically complex with multiple navigation paths. The documentation used to train for and support maintenance and repair may itself be safety critical, in that incorrect documentation can lead to incorrect maintenance procedures. Research into "industrial strength" hypermedia has tended to concentrate on the issues of robustness and data integrity, while the issues of design methodologies for such systems have not received as much attention. These issues include those of the verifiable correctness of such systems, both in terms of their content and other issues such as sequence of presentation. It is argued that the addressing of these issues is essential to the development of technical documentation systems that are of sufficient quality to be used for safety critical applications such as within the transport industry. The requirements that viable design methodologies for these applications must address are discussed, and a methodology is proposed, based on traditional authoring methods and process algebra-based formal specification and verification.
dc.language.isoen
dc.publisherTaylor & Francis
dc.relation.urlhttps://www.tandfonline.com/doi/abs/10.1080/03043790110034384
dc.subjectTraining applications
dc.subjectEngineering
dc.subjectHypermedia design methods
dc.subjectSafety critical
dc.subjectTechnical documentation
dc.titleDesigning hypermedia documentation for safety critical training applications
dc.typeJournal article
dc.identifier.eissn1469-5898
dc.identifier.journalEuropean Journal of Engineering Education
html.description.abstractThis paper discusses the requirements for authoring methodologies for large multimedia systems to be used for technical education documentation in the domain of "safety critical" industries and presents work which contributes to the development of a methodology for their design. Such documentation is typically required to serve both for training purposes and for direct support of engineers in the field. This dual-purpose nature means that documents are typically complex with multiple navigation paths. The documentation used to train for and support maintenance and repair may itself be safety critical, in that incorrect documentation can lead to incorrect maintenance procedures. Research into "industrial strength" hypermedia has tended to concentrate on the issues of robustness and data integrity, while the issues of design methodologies for such systems have not received as much attention. These issues include those of the verifiable correctness of such systems, both in terms of their content and other issues such as sequence of presentation. It is argued that the addressing of these issues is essential to the development of technical documentation systems that are of sufficient quality to be used for safety critical applications such as within the transport industry. The requirements that viable design methodologies for these applications must address are discussed, and a methodology is proposed, based on traditional authoring methods and process algebra-based formal specification and verification.


This item appears in the following Collection(s)

Show simple item record