Using model checking to help discover mode confusions and other automation surprises
- 28 February 2002
- journal article
- Published by Elsevier BV in Reliability Engineering & System Safety
- Vol. 75 (2), 167-177
- https://doi.org/10.1016/s0951-8320(01)00092-8
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A formal methods approach to the analysis of mode confusionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Designing automation to reduce operator errorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The Formalization of a Cognitive Architecture and its Application to Reasoning About Human Computer InteractionFormal Aspects of Computing, 1999
- Analysing Cognitive Behaviour using LOTOS and MexitlFormal Aspects of Computing, 1999
- Formalizing space shuttle software requirementsACM Transactions on Software Engineering and Methodology, 1998
- HOW IN THE WORLD DID WE EVER GET INTO THAT MODE - MODE ERROR AND AWARENESS IN SUPERVISORY CONTROLHuman Factors: The Journal of the Human Factors and Ergonomics Society, 1995
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986