题名: |
Formal Methods Approach to the Analysis of Mode Confusion. |
作者: |
Butler, Ricky W.; Miller, Steven P.; Potts, James N.; Carreno, Victor A. |
关键词: |
*Flight-control; *Aviation-safety; *Flight-decks; *Confusion-.;Human-factors-engineering; Cockpits-; Pilot-error. |
摘要: |
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). |
报告类型: |
科技报告 |