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.
Flight Guidance System Requirements Specification
2003
173 pages
Report
Keine Angabe
Englisch
Avionics , Aircraft , Computer Software , Flight management systems , Applications programs(Computers) , Software reliability , Software development tools , Program verification(Computers) , Computer programming , Systems analysis , Theorem proving , Computer systems design , Coding , Jet aircraft , Pilot support systems
Flight Guidance System Requirements Specification
NTRS | 2003
|FLIGHT ROUTE GUIDANCE SYSTEM, FLIGHT ROUTE GUIDANCE DEVICE AND FLIGHT ROUTE GUIDANCE METHOD
Europäisches Patentamt | 2021
|FLIGHT VEHICLE GUIDANCE SYSTEM, FLIGHT VEHICLE GUIDANCE METHOD, AND FLIGHT VEHICLE GUIDANCE SHEET
Europäisches Patentamt | 2018
|