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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Flight Guidance System Requirements Specification


    Contributors:

    Publication date :

    2003


    Size :

    173 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    Flight Guidance System Requirements Specification

    Miller, Steven P. / Tribble, Alan C. / Carlson, Timothy M. et al. | NTRS | 2003


    Software requirements: Guidance and control software development specification

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