In Flight Safety Critical Systems where the lives of people and/or mission success is depending on, errors in the Computer Software Components can have a catastrophic impact on the safety. The requirements for the software development and maintenance of Flight Safety Critical systems differ in some aspects from the systems which do not fall into this category. For the development of the equipment software, a set of development standards and additional procedures for the implementation of Safety Critical Functions are defined. LITEF applied the standards and procedures for the development of the Inertial Measurement Unit which is a part of the Flight Control System and Seat Sequencer Unit which is part of the Ejection Seat. In this paper, some critical technology needs are described for supporting the development and verification process of such systems and the activities which have to be performed during the development phases for identifying, assessing and eliminating or minimizing hazards in a systematic way.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Development and verification of software for flight safety critical systems


    Weitere Titelangaben:

    Entwicklung und Verifikation von Software für kritische Systeme der Flugsicherheit


    Beteiligte:
    Afzali, H. (Autor:in) / Mattissek, A. (Autor:in)


    Erscheinungsdatum :

    1991


    Format / Umfang :

    4 Seiten, 2 Bilder, 10 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Development and Verification of Software for Flight Safety Critical Systems

    Afzali, H. / Mattissek, A. / North Atlantic Treaty Organization; Advisory Group for Aerospace Research and Development; Guidance and Control Panel | British Library Conference Proceedings | 1991


    Formal Verification of Flight Critical Software

    Miller, Steven / Anderson, Elise / Wagner, Lucas et al. | AIAA | 2005


    Verification of Flight Critical Systems

    Goossen, Emray | SAE Technical Papers | 1990


    Safety Critical Software System Verification Strategy

    McNeil, J. / Nation, D. / System Safety Society (U.S.) | British Library Conference Proceedings | 2006


    Safety Critical Software System Verification Strategy

    McNeil, J. / Nation, D. / System Safety Society | British Library Conference Proceedings | 2000