This report describes a requirements specification written in the RSML-e language for the mode logic of a Flight Guidance System of a typical regional jet aircraft. This model was created as one of the first steps in a five-year project sponsored by the NASA Langley Research Center, Rockwell Collins Inc., and the Critical Systems Research Group of the University of Minnesota to develop new methods and tools to improve the safety of avionics designs. This model will be used to demonstrate the application of a variety of methods and techniques, including safety analysis of system and subsystem requirements, verification of key properties using theorem provers and model checkers, identification of potential sources mode confusion in system designs, partitioning of applications based on the criticality of system hazards, and autogeneration of avionics quality code. While this model is representative of the mode logic of a typical regional jet aircraft, it does not describe an actual or planned product. Several aspects of a full Flight Guidance System, such as recovery from failed sensors, have been omitted, and no claims are made regarding the accuracy or completeness of this specification.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Flight Guidance System Requirements Specification


    Beteiligte:

    Erscheinungsdatum :

    2003-01-06


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Flight Guidance System Requirements Specification

    S. P. Miller / A. C. Tribble / T. M. Carlson et al. | NTIS | 2003


    Software requirements: Guidance and control software development specification

    Withers, B. Edward / Rich, Don C. / Lowman, Douglas S. et al. | NTRS | 1990




    FLIGHT ROUTE GUIDANCE SYSTEM, FLIGHT ROUTE GUIDANCE DEVICE AND FLIGHT ROUTE GUIDANCE METHOD

    NAKAZAWA MITSURU / IWASE HIROAKI | Europäisches Patentamt | 2021

    Freier Zugriff