An Automated Method To Detect Potential Mode Confusions
unknown authors
http://www.csl.sri.com/users/rushby/papers/dasc99.ps.gz
Add To MetaCart
Abstract:
Mode confusions are a type of "automation surprise"---circumstances where an automated system behaves differently than its operator expects. It
Citations
| 44 | Using model checking to help discover mode confusions and other automation surprises – Rushby - 1999 |
| 36 | A formal methods approach to the analysis of mode confusion – Butler, Miller, et al. - 1998 |
| 31 | Analysing Software Specifications for Mode Confusion Potential, page 3 – Leveson, Pinnel, et al. - 1997 |
| 17 | Designing automation to reduce operator errors – Leveson, Palmer - 1997 |
| 10 | A method for predicting errors when interacting with finite state machines – JAVAUX - 2002 |
| 9 | Oops, it didn't arm." - A case study of two automation surprises – Palmer - 1995 |
