On the construction of human-automation interfaces by formal abstraction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2371, Issue , 2002, Pages 99-115

  Heymann, Michael ^a   Degani, Asaf ^b  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; AUTOMATION;

BEHAVIORAL MODEL; DESIGNING SYSTEMS; HUMAN-AUTOMATION INTERACTIONS; LIVENESS; MISSION-CRITICAL OPERATIONS; PERFORMANCE REQUIREMENTS; SOFTWARE SYSTEMS; USER MANUAL;

FORMAL METHODS;

EID: 23044534045     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45622-8_8     Document Type: Conference Paper

References (7)

1. Degani, A. and Heymann, M., Meyer, G. and Shafto, M. (2000). Some Formal Aspects of Human-Automation Interaction, NASA Technical Memorandum 209600, NASA Ames Research Center, Moffett Field, CA.
2. Degani, A. and Heymann, M. (2002). Formal Verification Of Human-Automation Interaction. Human Factors.
3. Heymann M., and Degani A. (2002). On abstractions and simplifications in the design of human-automation interfaces. NASA Technical Memorandum, NASA Ames Research Center, Moffett Field, CA.
4. Kohavi, Z. (1978). Switching and Finite Automata Theory. New York: McGraw-Hill.
5. Parasuraman, R., Sheridan, T.B., and Wickens, C.D. (2000). A model for the types and levels of human interaction with automation. IEEE Transaction on Systems, Man, and Cybernetics – Part A: Systems and Humans, 30(3), 286-297.
6. Paull, M.C. and Unger, S.H. (1959). Minimizing the number of states in incompletely specified sequential switching functions. Institute of Radio Engineers Transactions on Electronic Computers, 356-367.
7. Woods, D., Sarter, N., and Billings, C. (1997). Automation surprises. In G. Salvendy (Ed.), Handbook of human factors and ergonomics (pp. 1926-1943). New York: John Wiley.