This paper will explore how formal models and analyses can be used to help eliminate mode confusion from flight deck designs and at the same time increase our confidence in the safety of the implementation. The paper is based upon interim results from a new project involving NASA Langley and Rockwell Collins in applying formal methods to a realistic business jet Flight Guidance System (FGS).
Formal Methods Approach to the Analysis of Mode Confusion
2004
12 pages
Report
Keine Angabe
Englisch
Mode Confusion Analysis of a Flight Guidance System Using Formal Methods
British Library Conference Proceedings | 2003
|