NDLI: A Formal Task-Analytic Approach to Medical Device Alarm Troubleshooting Instructions

Please wait, while we are loading the content...

Year : 2016 Volume : 46

Issue 1

Table of Contents

IEEE Transactions on Human-Machine Systems publication information

Editorial IEEE Transactions on Human – Machine Systems: Year in Review for 2015

Human Interaction With Robot Swarms: A Survey

“Teach Me–Show Me”—End-User Personalization of a Smart Home and Companion Robot

Strategic Conformance: Overcoming Acceptance Issues of Decision Aiding Automation?

A Formal Task-Analytic Approach to Medical Device Alarm Troubleshooting Instructions

The GRASP Taxonomy of Human Grasp Types

A Novel Rubber Hand Illusion Paradigm Allowing Active Self-Touch With Variable Force Feedback Controlled by a Haptic Device

Exploration of Location-Aware You-Are-Here Maps on a Pin-Matrix Display

Toward Personalized Activity Recognition Systems With a Semipopulation Approach

Automated Laughter Detection From Full-Body Movements

Integration of Visual Temporal Information and Textual Distribution Information for News Web Video Event Mining

Strategy Shifting With Multisensorial Cueing: Theoretical Capability of Multitasking Throughput

SteganoPIN: Two-Faced Human–Machine Interface for Practical Enforcement of PIN Entry Security

Personalized Travel Package With Multi-Point-of-Interest Recommendation Based on Crowdsourced User Footprints

A Progression and Retrogression Mathematical Model for the Motor Learning Process

Situation, Activity and Goal Awareness in Cyber-physical Human-Machine Systems

Holistic approaches for Human-Vehicle Systems: combining models, interactions and control

Introducing IEEE Collabratec

Member Get-A-Member (MGM) Program

IEEE Systems, Man, and Cybernetics Society Information

IEEE Transactions on Human-Machine Systems information for authors

Year : 2015 Volume : 45

Year : 2014 Volume : 44

Year : 2013 Volume : 43

A Formal Task-Analytic Approach to Medical Device Alarm Troubleshooting Instructions

Content Provider	IEEE Xplore Digital Library
Author	Abbate, A.J. Throckmorton, A.L. Bass, E.J.
Copyright Year	2013
Abstract	User manual designers generally use written procedures, figures, and illustrations to convey procedural information to end users. However, ensuring that the instructions are accurate and unambiguous is difficult. With respect to accuracy, describing the task and under what conditions it should be conducted can be complicated by considerations such as the ordering of actions within a higher level task and the context under which tasks and lower level actions can be initiated, repeated, and completed. With respect to ambiguity, component and task level issues occur such as which portion of a component is relevant and what context constrains activity. To support accuracy and to decrease ambiguity, we propose a model-based approach coupled with model checking and visualization to aid in user manual development. Our approach integrates formal task-analytic and device models with safety specifications into a computational framework. We demonstrate the value of this approach using alarm troubleshooting instructions from the patient user manual of a left ventricular assist device. By encoding a formal task model, we revealed potential problems with task and device descriptions in the troubleshooting instructions. We also applied linear temporal logic and symbolic model checking to identify issues with the order of troubleshooting steps. Our framework provides insights into the use of formal methods for patient user manual evaluation.
Starting Page	53
Ending Page	65
Page Count	13
File Size	2691109
File Format	PDF
ISSN	21682291
Volume Number	46
Issue Number	1
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2016-01-01
Publisher Place	U.S.A.
Access Restriction	One Nation One Subscription (ONOS)
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Batteries Manuals Model checking Heart Lithium Visualization Analytical models user manuals Formal methods model checking task analysis troubleshooting
Content Type	Text
Resource Type	Article
Subject	Artificial Intelligence Signal Processing Human Factors and Ergonomics Control and Systems Engineering Computer Networks and Communications Human-Computer Interaction Computer Science Applications

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction

Example of a Complementary Use of Model Checking and Human Performance Simulation

Formal Detection of Attentional Tunneling in Human Operator–Automation Interactions

Using task analytic models to visualize model checker counterexamples

A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models

The Development and Evaluation of an Eyes-Free Interaction Model for Mobile Reading Devices

Automatic validation and failure diagnosis of human-device interfaces using task analytic models and model checking

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

Employing a Parametric Model for Analytic Provenance

A Formal Task-Analytic Approach to Medical Device Alarm Troubleshooting Instructions

Similar Documents

Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction

Example of a Complementary Use of Model Checking and Human Performance Simulation

Formal Detection of Attentional Tunneling in Human Operator–Automation Interactions

Using task analytic models to visualize model checker counterexamples

A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models

The Development and Evaluation of an Eyes-Free Interaction Model for Mobile Reading Devices

Automatic validation and failure diagnosis of human-device interfaces using task analytic models and model checking

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

Employing a Parametric Model for Analytic Provenance

A Formal Task-Analytic Approach to Medical Device Alarm Troubleshooting Instructions