Using Formal Task Analytic Models to Support User Manual Development: An LVAD Case Study
Andrew J. Abbate, Amy L. Throckmorton, Ellen J. Bass · Proceedings of the International Symposium on Human Factors and Ergonomics in Health Care · 2015
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.