Paper Info
Title
Analyzing Cockpit Interfaces Using Formal Methods
Abstract
Modern passenger aircraft are highly automated, and problems at the interface between the automation and the pilot are implicated in several accidents. I use a simple example taken from the autopilot of a widely used aircraft type to demonstrate how formal methods can be used to analyze some aspects of these interfaces, and to expose potential problems.
Year
DOI
Venue
2001
10.1016/S1571-0661(04)80891-0
Electronic Notes in Theoretical Computer Science
Keywords
Field
DocType
formal method,discrete mathematics
Software engineering,Simulation,Computer science,Automation,Theoretical computer science,Cockpit,Autopilot,Formal methods
Journal
Volume
ISSN
Citations 
43
1571-0661
18
PageRank 
References 
Authors
1.26
3
1
Name
Order
Citations
PageRank
John Rushby12459235.69