1 A FORMALMETHODSAPPROACH TO THE ANALYSIS OF MODE CONFUSION
by Steven P. Miller Rockwell Collins, James N. Potts Rockwell Collins
ftp://air16.larc.nasa.gov/pub/fm/papers/1998/butler-etal-dasc98.ps
Add To MetaCart
Abstract:
The goal of the new NASA Aviation Safety Program (AvSP) is to reduce the civil aviation fatal accident rate by 80 % in ten years
Citations
| 410 | Real-Time Object-Oriented Modeling – Selic, Gullekson, et al. - 1994 |
| 295 | Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS – Owre, Rushby, et al. - 1995 |
| 59 | Specifying the Mode Logic of a Flight Guidance System – Miller - 1998 |
| 17 | Defining Families: The Commonality Analysis – Ardis, Weiss - 1997 |
| 12 | Aviation Automation: The Search for a Human Centered Approach. Lawrence Erlbaum Associates – Billings - 1997 |
| 10 | Decomposing Automation: Autonomy, Authority, Observability and Perceived Animacy – Sarter, Woods - 1994 |
| 7 | et al, Analyzing Software Specifications for Mode Confusion Potential – Leveson - 1997 |
| 6 | Automated Cockpits – Hughes, Dornheim - 1995 |
