Judith Crow, et al.  Home/Search
Context Related
| sri.com/reports/post...hciaero00.ps.gz sri.com/users/rushby/p...hciaero00.pdf 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/reports/postscript/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Recent work has shown a convergence between the Human Factors and Formal Methods communities that opens promising new directions for collaborative work in calculating, predicting, and analyzing the behavior of complex aeronautical systems and their operators. Previously it has been shown that fully automatic, finitestate verification techniques can be used to identify likely sources of mode confusion in existing systems; in this paper we focus on use of these techniques in the design of new... (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.6: A Comparison of Two Control Display Unit Concepts on Flight.. - Terence Abbott (Correct)
0.5: Preliminary Investigation of Wearable Computers for Task.. - Ockerman, Pritchett (1998) (Correct)
0.3: An Automated Method To Detect Potential Mode Confusions - John Rushby Sri (1999) (Correct)
Similar documents based on text: More All
0.5: Modeling the Human in Human Factors (Extended Abstract) - Rushby (2001) (Correct)
0.4: Using Model Checking to Help Discover Mode Confusions and Other.. - Rushby (1999) (Correct)
0.3: Formal Methods and the Certification of Critical Systems - Rushby (1993) (Correct)
Related documents from co-citation: More All
7: A formal methods approach to the analysis of mode confusion - Butler, Miller et al. - 1998
7: How in the world did we ever get into that mode (context) - Sarter, Woods - 1995
7: Analyzing cockpit interfaces using formal methods - Rushby - 2000
BibTeX entry: (Update)
Judith Crow, Denis Javaux, and John Rushby. Models and mechanized methods that integrate human factors into automation design. In Kathy Abbott, Jean-Jacques Speyer, and Guy Boy, editors, International Conference on Human-Computer Interaction in Aeronautics: HCI-Aero http://citeseer.ist.psu.edu/crow00model.html More
@misc{ crow-models,
author = "J. Crow and D. Javaux and J. Rushby",
title = "Models and mechanized methods that integrate human factors into automation
design",
text = "Judith Crow, Denis Javaux, and John Rushby. Models and mechanized methods
that integrate human factors into automation design. In Kathy Abbott, Jean-Jacques
Speyer, and Guy Boy, editors, International Conference on Human-Computer
Interaction in Aeronautics: HCI-Aero",
url = "citeseer.ist.psu.edu/crow00model.html" }
Citations (may not include all citations):21 Using model checking to help discover mode confusions and ot.. - Rushby
20 A formal methods approach to the analysis of mode confusion - Butler, Miller et al. - 1998
16 Analyzing software specifications for mode confusion potenti.. - Leveson, Pinnel et al. - 1997
13 Pilot interaction with cockpit automation I: Operational exp.. (context) - Sarter, Woods - 1992
11 Designing automation to reduce operator errors - Leveson, Palmer - 1997
10 The Murphi verification system - Dill - 1996
10 Modeling Human-Machine Systems: On Modes (context) - Degani - 1996
9 Pilot interaction with cockpit automation II: An experimenta.. (context) - Sarter, Woods - 1994
8 An automated method to detect potential mode confusions - Rushby, Crow et al. - 1999
8 Oops, it didn't arm (context) - Palmer
8 A method for predicting errors when interacting with finite .. (context) - Javaux
6 Approaches to mitigating complexity-driven issues in commerc.. (context) - Vakil, Hansman
4 Software Considerations in Airborne Systems and Equipment Ce.. (context) - Technical, Aviation et al. - 1992
2 Applications of formal models of human computer interaction .. (context) - Polson, Irving et al. - 1994
2 Strong, Silent, and `Out-of-the-loop (context) - Sarter, Woods - 1995
1 Feedback mechanisms to improve mode awareness in advanced au.. (context) - Vakil, Hansman et al.
1 Assessing and understanding pilots' knowledge of mode transi.. (context) - Javaux, Olivier - 2000
1 The Search for a Human-Centered Approach (context) - Billings - 1997
1 The cognitive complexity of pilot mode interaction: A possib.. (context) - Javaux
1 Shared models of flight management systems vertical guidance (context) - Sherry, Polson - 1999
1 Analysis of the behavior of a modern autopilot (context) - Sherry, Polson et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.csl.sri.com/reports/postscript/): More
Calculating with Requirements (Extended Abstract) - Rushby (1997) (Correct)
Model Checking and Other Ways of Automating Formal Methods - Rushby (1995) (Correct)
Integrated Formal Verification: Using Model Checking With.. - 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