DocumentCode
2642917
Title
Identifying mode confusion potential in software design
Author
Rodriguez, Mario ; Zimmerman, Marc ; Katahira, Masafumi ; De Villepin, Maxime ; Ingram, Benjamin ; Leveson, Nancy
Author_Institution
Dept. of Aeronaut. & Astronaut., MIT, Cambridge, MA, USA
Volume
2
fYear
2000
fDate
2000
Abstract
While automation has eliminated many types of operator error, it has also created new types of technology-induced human errors. Many of these new errors are the result of what has been labeled technology-centered automation, where designers focus most of their attention on the mapping from software inputs to outputs, on mathematical models of required functionality, and on the technical details and problems internal to the computer: Little attention is given to evaluating software in terms of whether it provides transparent and consistent behavior that supports operators in their monitoring and control tasks. The goal of our research is to create and evaluate a methodology for integrated design of complex systems, including design of the automation and the human tasks, that minimizes human error through appropriate system and operator task design. The methodology is based on formal modeling, simulation, and analysis techniques for the software behavior, the user model of the system, and the operator tasks. This paper describes the human factors aspects of our approach using as an example the vertical flight control logic for a realistic aircraft flight management system FMS. Although the MD-11 FMS was used to derive the example for our case study, we made up much of the information due to our lack of knowledge about the design and the rationale of the real MD-11 design, and nothing in this paper should be taken as applying to that aircraft´s actual automation
Keywords
aircraft computers; aircraft control; formal specification; human factors; safety-critical software; task analysis; user centred design; user modelling; automation design; complex systems; formal modeling; human factors aspects; human task design; indirect mode changes; integrated design; mode confusion potential; operator task model; realistic aircraft flight management system; safety-critical systems; simulation; situation awareness; software behavior; software design; software requirements flaw; technology-centered automation; technology-induced human errors; user model; vertical flight control logic; visual formalism; Aerospace control; Aircraft; Computer errors; Computerized monitoring; Design automation; Error correction; Flexible manufacturing systems; Humans; Mathematical model; Software design;
fLanguage
English
Publisher
ieee
Conference_Titel
Digital Avionics Systems Conference, 2000. Proceedings. DASC. The 19th
Conference_Location
Philadelphia, PA
Print_ISBN
0-7803-6395-7
Type
conf
DOI
10.1109/DASC.2000.884886
Filename
884886
Link To Document