Abstract
In this paper we address the problem of designing systems for human-automation interaction that insure satisfaction of a wide range of performance requirements (such as guaranteeing the safety and liveness of mission critical operations). Our approach is based on formal procedures that focus on the information provided to the user. We propose a formal methodology for constructing interfaces and corresponding user- manuals that is based on performing a systematic abstraction of the behavioral model of the system. The procedure is aimed at achieving two objectives: First, the interface must be correct in that with the given interface the user will be able to perform the specified tasks correctly. Secondly, the interface must be succinct. The paper discusses the underlying concepts and the formal methods for this approach. Two examples are used to illustrate the methodology. The algorithm for constructing interfaces that is proposed in the paper can be automated, and a preliminary software system for its implementation has been developed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
Degani, A. and Heymann, M. (2002). Formal Verification Of Human-Automation Interaction. Human Factors.
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.
Kohavi, Z. (1978). Switching and Finite Automata Theory. New York: McGraw-Hill.
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.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heymann, M., Degani, A. (2002). On the Construction of Human-Automation Interfaces by Formal Abstraction. In: Koenig, S., Holte, R.C. (eds) Abstraction, Reformulation, and Approximation. SARA 2002. Lecture Notes in Computer Science(), vol 2371. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45622-8_8
Download citation
DOI: https://doi.org/10.1007/3-540-45622-8_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43941-7
Online ISBN: 978-3-540-45622-3
eBook Packages: Springer Book Archive