Automatic detection of interaction vulnerabilities in an executable specification

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

Volumn 4562 LNAI, Issue , 2007, Pages 487-496

  Feary, Michael ^a  

^a NASA AMES RESEARCH CENTER   (United States)

Author keywords

Automation design; Automation surprise analysis

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER AIDED SOFTWARE ENGINEERING; PROCESS DESIGN; SOFTWARE PROTOTYPING; SPECIFICATION LANGUAGES; USER INTERFACES;

AUTOMATION DESIGN; AUTOMATION SURPRISE ANALYSIS; PROTOTYPING TOOLSET;

HUMAN COMPUTER INTERACTION;

EID: 37249037566     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73331-7_53     Document Type: Conference Paper

References (16)

1. Billings, C.: Human-Centered Aviation Automation: Principles and Guidelines. In: NASA Technical Memorandum 110381, NASA Ames Research Center, Moffett Field, CA, USA (1996)
2. Bureau of Air Safety Investigation, Advanced Technology Aircraft Safety Survey Report, Bureau of Air Safety Investigation, Civic Square ACT, Australia (1998)
3. Federal Aviation Administration, The interface between flightcrews and modern flight deck system. FAA human factors team. Federal Aviation Administration. Washington, DC (1996), Available at http://www.faa.gov/avr/afs/ interface.pdf
4. Sarter, N., Woods, D.D.: Strong, Silent, and 'Out of the Loop'. CSEL Report 95-TR-01, Columbus, OH, USA (February 1995)
5. Degani, A., Shafto, M., Kirlik, A.: Modes in Human-Machine Systems: Review, Classification, and Application. International Journal of Aviation Psychology 9(2), 125-138 (1999)
6. Sherry, L., Feary, M., Polson, P., Mumaw, R., Palmer, E.: A Cognitive Engineering Analysis of the Vertical Navigation (VNAV) Function. In: NASA Technical Memorandum 2001-210915, NASA Ames Research Center, Moffett Field, CA, USA (2001)
7. Thimbleby, H.: User interface Design. Addison-Wesley, Wokingham, England (1990)
8. Degani, A.: Taming HAL: Designing Interfaces Beyond 2001. Palgrave MacMillan, Hampshire, England (2004)
9. Vakil, S., Hansman, R.J.: Predictability as a Metric of Automation Complexity, In: Human Factors & Ergonomics Society 41st Annual Meeting, pp. 70-74 (September 1997)
10. Vakil, S.: Analysis of Complexity Evolution Management and Human Performance Issues in Commercial Aircraft Automation Systems. PhD Thesis, Massachusetts Institute of Technology, Cambridge, MA, USA. (2000)
11. Javaux, D.: Explaining Sarter and Woods' Classical Results. The Cognitive Complexity of Pilot-Autopilot Interaction on the Boeing 737-EFIS, In: the Proceedings of the 3rd Workshop on Human Error, Safety, and System Development (HESSD'98), Liege, Belgium, pp. 62-77 (June 7-8, 1998). Poller, M.F., Garter, S.K.: The effects of modes on text editing by experienced editor users, Human Factors, 26(4), 449-462 (1984)
12. Feary, M., McCrobie, D., Alkin, M., Sherry, L., Polson, P., Palmer, E., McQuinn, N.: Aiding Vertical Guidance Understanding. In: NASA Technical Memorandum NASA/TM-1998-112217, Ames Research Center, Moffett Field, CA (1998)
13. Norman, D.A.: Cognitive Engineering. In: User Centered System Design. Norman, D.A., Draper, S.W. (eds.) Lawrence Erlbaum Associates, Hillsdale, NJ, USA, pp. 31-61 (1986) Originally: Steps Towards a Cognitive Engineering. Technical Report, Program in Cognitive Science, University of California, San Diego (1981)
14. Polson, P.G., Lewis, C.H.: Theory-based design for easily learned interfaces. Human-Computer Interaction 5, 191-220 (1990)
15. Feary, M., Sherry, L., Polson, P., Fennel, K.: Incorporating Cognitive Usability into Software Design Processes. In: Harris, D., Duffy, V., Smith, M., Stephandis, C. (eds.) Human-Centered Computing: Cognitive, Social, and Ergonomic Aspects, vol. 3, pp. 427-431. Lawrence Erlbaum, Mahweh, NJ (2003)
16. Sherry, L., Fennell, K., Feary, M., Polson, P.: A Human-Computer Interaction Analysis of Flight Management System Messages, NASA/TM-2005-213459. Ames Research Center, Moffett Field, CA, USA (2005)