Logo image
Back
Using Formal Task Analytic Models to Support User Manual Development: An LVAD Case Study
Journal article   Open access   Peer reviewed

Using Formal Task Analytic Models to Support User Manual Development: An LVAD Case Study

Andrew J. Abbate, Amy L. Throckmorton and Ellen J. Bass
Proceedings of the International Symposium of Human Factors and Ergonomics in Healthcare, v 4(1), pp 114-117
Jun 2015
DOI: https://doi.org/10.1177/2327857915041039
url
https://doi.org/10.1186/s12902-022-01195-0View
Published, Version of Record (VoR)CC BY V4.0,  Open

Abstract

Thousands of medical devices are employed to diagnose and treat human health problems each day. These devices can be complicated to use, maintain, and troubleshoot when alarm conditions occur. Patients often turn to the provided instructions for use (IFUs) for step-by-step guidance in alarm mitigation. Despite standards and guidance provided by standardization organizations and regulatory agencies to support user manual usability, inadequate IFUs may be contributing to adverse events. To address potential limitations of currently employed user manual design methods, we present a model-based approach to support user manual development. Our approach leverages formal task modeling, finite state automata, linear temporal logic (LTL) and symbolic model checking, all of which contribute individually and additively to our analysis. We demonstrate the value of our approach using a case study of a left ventricular assist device (LVAD) and a set of troubleshooting instructions from its patient handbook.

Metrics

10 Record Views

Details

Logo image