Files and links (1)
Accepted (AM)Open Access (License Unspecified), Open
Journal article
A Method for the Formal Verification of Human-interactive Systems
Proceedings of the Human Factors and Ergonomics Society Annual Meeting, v 52(12), pp 764-768
12 Nov 2009
PMID: 21572977
Abstract
Predicting failures in complex, human-interactive systems is difficult as they may occur under rare operational conditions and may be influenced by many factors including the system mission, the human operator's behavior, device automation, human-device interfaces, and the operational environment. This paper presents a method that integrates task analytic models of human behavior with formal models and model checking in order to formally verify properties of human-interactive systems. This method is illustrated with a case study: the programming of a patient controlled analgesia pump. Two specifications, one of which produces a counterexample, illustrate the analysis and visualization capabilities of the method.
Metrics
4 Record Views
33 citations in Scopus
Details
- Title
- A Method for the Formal Verification of Human-interactive Systems
- Creators
- Matthew L Bolton - University of VirginiaEllen J Bass - University of Virginia
- Publication Details
- Proceedings of the Human Factors and Ergonomics Society Annual Meeting, v 52(12), pp 764-768
- Grant note
- T15 LM009462 / NLM NIH HHS T15 LM009462-02 / NLM NIH HHS T15 LM009462-01 / NLM NIH HHS
- Resource Type
- Journal article
- Language
- English
- Academic Unit
- Information Science
- Scopus ID
- 2-s2.0-77951599061
- Other Identifier
- 991019292122404721