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

作     者：Andrew J. Abbate Amy L. Throckmorton Ellen J. Bass 

作者机构：Biomedical Engineering Science and Health Systems Drexel University Philadelphia PA College of Computing and Informatics Drexel University Philadelphia PACollege of Nursing and Health Professions Drexel University Philadelphia PA 

出 版 物：《Proceedings of the International Symposium on Human Factors and Ergonomics in Health Care》 

年 卷 期：2015年第4卷第1期

页      面：114 - 117页

摘      要：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.