Electronic Notes in Theoretical Computer Science 43 (2001) URL:...  Home/Search
Context Related
| sri.com/users/rush...elsewhere00.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sri.com/users/rushby/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. (Update)
Cited by: More
Safety-Relevant Mode Confusions - Modelling and Reducing Them - Bredereke, Lankenau (2004) (Correct)
On Preventing Telephony Feature Interactions which are.. - Bredereke (2003) (Correct)
A Rigorous View of Mode Confusion - Bredereke, Lankenau (2002) (Correct)
Active bibliography (related documents): More All
0.9: Using Model Checking to Help Discover Mode Confusions and Other.. - Rushby (2002) (Correct)
0.6: Modeling the Human in Human Factors (Extended Abstract) - Rushby (2001) (Correct)
0.2: Models and Mechanized Methods that Integrate Human Factors into.. - Crow, al. (2000) (Correct)
Similar documents based on text: More All
0.2: Partitioning in Avionics Architectures: Requirements, Mechanisms, .. - Rushby (1999) (Correct)
0.2: An Introduction to Formal Specification and Verification using.. - Rushby, al. (1991) (Correct)
0.2: Formal Specification and Verification of a Fault-Masking and.. - Rushby (1991) (Correct)
Related documents from co-citation: More All
7: Models and mechanized methods that integrate human factors into automation desig.. - Crow, Javaux et al.
7: How in the world did we ever get into that mode (context) - Sarter, Woods - 1995
6: Formal and Semi-Formal Methods for the Analysis of Industrial Control Systems --.. (context) - Buth - 2001
BibTeX entry: (Update)
John Rushby. Analyzing cockpit interfaces using formal methods. In H. Bowman, editor, Proceedings of FM-Elsewhere, Volume 43 of Elsevier Electronic Notes in Theoretical Computer Science, Pisa, Italy, October 2000. Available at http://www.elsevier. nl/locate/entcs/volume43.html. http://citeseer.ist.psu.edu/rushby00analyzing.html More
@misc{ rushby00analyzing,
author = "J. Rushby",
title = "Analyzing cockpit interfaces using formal methods",
text = "John Rushby. Analyzing cockpit interfaces using formal methods. In H. Bowman,
editor, Proceedings of FM-Elsewhere, Volume 43 of Elsevier Electronic Notes
in Theoretical Computer Science, Pisa, Italy, October 2000. Available at
http://www.elsevier. nl/locate/entcs/volume43.html.",
year = "2000",
url = "citeseer.ist.psu.edu/rushby00analyzing.html" }
Citations (may not include all citations):25 The Computer and the Mind : An Introduction to Cognitive Sci.. (context) - Johnson-Laird - 1989
19 verification system (context) - Dill - 1996
18 How the Mind Works (context) - Pinker - 1997
8 A method for predicting errors when interacting with finite .. (context) - Javaux, Polson
8 An automated method to detect potential mode confusions - Rushby, Crow et al. - 1999
6 Pilot-autopilot interaction: A formal perspective - Degani, Heymann
6 Report of the FAA human factors team (context) - between, modern et al. - 1995
5 Analysing cognitive behaviour using LOTOS and Mexitl (context) - Bowman, Faconti - 1999
5 The formalization of a cognitive architecture and its applic.. (context) - Duke, Duce - 1999
1 Jean-Jacques Speyer (context) - Abbott
1 ASRS database search is available at http://nasdac (context) - report, Safety et al. - 1989
1 Some formal aspects of human-computer interaction (context) - Degani, Heymann et al.
1 volume 6 of Cognitive Science Series (context) - Johnson-Laird - 1983
http://www.csl.sri.com/reports/html/hci-aero00.html
http://www.csl
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.csl.sri.com/users/rushby/papers/): More
Disappearing Formal Methods - Rushby (2000) (Correct)
A Trusted Computing Base for Embedded Systems - Rushby (1984) (Correct)
Pertitioning in Avionics Architectures: Requirements, Mechanisms, .. - Rushby (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC