• Admin Login
    View Item 
    •   Home
    • Faculty of Arts
    • Faculty of Arts
    • View Item
    •   Home
    • Faculty of Arts
    • Faculty of Arts
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

    All of WIRECommunitiesTitleAuthorsIssue DateSubmit DateSubjectsTypesJournalDepartmentPublisherThis CollectionTitleAuthorsIssue DateSubmit DateSubjectsTypesJournalDepartmentPublisher

    Administrators

    Admin Login

    Local Links

    AboutThe University LibraryOpen Access Publications PolicyDeposit LicenceCOREWIRE Copyright and Reuse Information

    Statistics

    Display statistics

    Designing hypermedia documentation for safety critical training applications

    • CSV
    • RefMan
    • EndNote
    • BibTex
    • RefWorks
    Authors
    Newman, Robert
    Issue Date
    2001
    
    Metadata
    Show full item record
    Abstract
    This 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.
    Citation
    Newman, R. (2001) 'Designing hypermedia documentation for safety critical training applications', European Journal of Engineering Education, 26 (2) pp. 117-125.
    Publisher
    Taylor & Francis
    Journal
    European Journal of Engineering Education
    URI
    http://hdl.handle.net/2436/37272
    DOI
    10.1080/03043790110034384
    Additional Links
    https://www.tandfonline.com/doi/abs/10.1080/03043790110034384
    Type
    Journal article
    Language
    en
    ISSN
    0304-3797
    EISSN
    1469-5898
    ae974a485f413a2113503eed53cd6c53
    10.1080/03043790110034384
    Scopus Count
    Collections
    Faculty of Arts

    entitlement

     
    DSpace software (copyright © 2002 - 2023)  DuraSpace
    Quick Guide | Contact Us
    Open Repository is a service operated by 
    Atmire NV
     

    Export search results

    The export option will allow you to export the current search results of the entered query to a file. Different formats are available for download. To export the items, click on the button corresponding with the preferred download format.

    By default, clicking on the export buttons will result in a download of the allowed maximum amount of items.

    To select a subset of the search results, click "Selective Export" button and make a selection of the items you want to export. The amount of items that can be exported at once is similarly restricted as the full export.

    After making a selection, click one of the export format buttons. The amount of items that will be exported is indicated in the bubble next to export format.