DocumentCode :
354404
Title :
Murphi busts an altitude: a Murphi analysis of an automation surprise
Author :
Palmer, Everett
Author_Institution :
NASA Ames Res. Center, Moffett Field, CA, USA
Volume :
1/17 pp. vol.1
fYear :
1999
fDate :
36465
Abstract :
In training and during operations, users of automatic systems form expectations of how automatic systems respond to their control inputs and to environmental disturbances. These expectations form the basis for what can called the operator´s “mental model” of the system. An “automation surprise” is said to occur when the automation behaves in a manner different from what the operator expects. A requirement for a properly functioning human-machine system is that the human operator have good situation awareness. A key component of an operator´s situation awareness is knowing how the machine will behave in the near future. Automation surprises are situations in which this system requirement has failed. In this paper, the modeling language-Murphi-is used to model and analyze an automation surprise in which a flight crew, using the autopilot, climbs above their cleared altitude during a full mission flight simulation. Murphi is a system description language and model checker developed by software engineers to formally evaluate behavioral requirements for concurrent software processes A rule-based model of the autopilot system and the pilot was developed. Murphi was then used to automatically check the validity of the above requirement for a model of the pilot-autopilot-aircraft system. The requirement failed for the same sequence of human and machine events that were recorded in the altitude bust incident. The Murphi model was then modified to explore possible procedural and mode logic fixes to reduce the likelihood of this type of breakdown in the human-machine system
Keywords :
aerospace simulation; behavioural sciences computing; knowledge based systems; man-machine systems; specification languages; Murphi analysis; altitude bust incident; automatic systems; automation surprise; autopilot; flight crew; full mission flight simulation; human-machine system; mental model; mode logic fixes; model checker; modeling language; procedural fixes; rule-based model; situation awareness; system description language; Aircraft; Automatic control; Automation; Control systems; Humans; Logic; Man machine systems; NASA; Switches; Wheels;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Digital Avionics Systems Conference, 1999. Proceedings. 18th
Conference_Location :
St Louis, MO
Print_ISBN :
0-7803-5749-3
Type :
conf
DOI :
10.1109/DASC.1999.863726
Filename :
863726
Link To Document :
بازگشت