Journal article
CURATe Measures for Human-Integrated Systems: A Model Checking Approach
Proceedings of the Human Factors and Ergonomics Society Annual Meeting, v 62(1), pp 646-650
Sep 2018
Abstract
To support safe and effective human-system integration, a safety-critical system should be Complete, Understandable, Robust, Accurate, and Time efficient (CURATe) with respect to the user, interface, device, and environmental context. Using highly automated model checkers, researchers have shown that CURATe-related specifications can be verified early in the design process for a subset of system elements and interactions. This research introduces an extended model checking approach that aims to address all CURATe measures with respect to a broader range of human-integrated system elements: the interface, including documentation, configurable hardware, and control units; the user, including capabilities, actions, and knowledge; the device, including automation, actuators, and transducers; and the environment, including stimuli and constraints that could shape behavior. We describe a concept for what elements/interactions among them need to be modeled formally as well as a concept for applicable CURATe specifications. With respect to these concepts, we propose a formal model architecture and one temporal logic encoding for each CURATe specification.
Metrics
11 Record Views
Details
- Title
- CURATe Measures for Human-Integrated Systems: A Model Checking Approach
- Creators
- Andrew J. Abbate - College of Computing and InformaticsEllen J. Bass - College of Computing and Informatics
- Publication Details
- Proceedings of the Human Factors and Ergonomics Society Annual Meeting, v 62(1), pp 646-650
- Publisher
- Sage
- Resource Type
- Journal article
- Language
- English
- Academic Unit
- Information Science
- Scopus ID
- 2-s2.0-85072733927
- Other Identifier
- 991019174147904721