Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare

In this paper we argue that the formal analysis of an interactive medical system can improve their usability evaluation such that potential erroneous interactions are identified and improvements can be recommended. Typically usability evaluations are carried out on the interface part of a system by human-computer interaction/ergonomic experts with or without end users. Here we suggest that formal specification of the behavior of the system supported by mathematical analysis and reasoning techniques can improve usability evaluations by proving usability properties. We present our approach highlighting that formal description techniques can support in a consistent way usability evaluation, contextual help and incident and accident analysis. This approach is presented on a wireless patient monitoring system for which adverse event (including fatalities) reports are publicly available from the US Food and Drug Administration (FDA) Manufacturer and User Facility Device Experience (MAUDE) database.

[1]  Marco Winckler,et al.  Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri nets Based Formal Specification , 2006 .

[2]  Andreas Holzinger,et al.  Mobile Computing in Medicine: Designing Mobile Questionnaires for Elderly and Partially Sighted People , 2006, ICCHP.

[3]  Axel Lankenau,et al.  A Rigorous View of Mode Confusion , 2002, SAFECOMP.

[4]  L. Kohn,et al.  To Err Is Human : Building a Safer Health System , 2007 .

[5]  Andreas Holzinger,et al.  Finger Instead of Mouse: Touch Screens as a Means of Enhancing Universal Access , 2002, User Interfaces for All.

[6]  Jock D. Mackinlay,et al.  The perspective wall: detail and context smoothly integrated , 1991, CHI.

[7]  A. Wall,et al.  Book ReviewTo Err is Human: building a safer health system Kohn L T Corrigan J M Donaldson M S Washington DC USA: Institute of Medicine/National Academy Press ISBN 0 309 06837 1 $34.95 , 2000 .

[8]  Philippe A. Palanque,et al.  Structuring Interactive Systems Specifications for Executability and Prototypability , 2000, DSV-IS.

[9]  Fabio Paternò,et al.  CTTE: Support for Developing and Analyzing Task Models for Interactive System Design , 2002, IEEE Trans. Software Eng..

[10]  Philippe A. Palanque,et al.  Multidisciplinary perspective on accident investigation , 2006, Reliab. Eng. Syst. Saf..

[11]  Dominique L. Scapin,et al.  Evaluating a user interface with ergonomic criteria , 1995, Int. J. Hum. Comput. Interact..

[12]  Jakob Nielsen,et al.  Heuristic Evaluation of Prototypes (individual) , 2022 .

[13]  L. Kohn,et al.  COMMITTEE ON QUALITY OF HEALTH CARE IN AMERICA , 2000 .

[14]  Dominique L. Scapin.  Guide ergonomique de conception des interfaces homme-machine , 1986 .

[15]  Andreas Holzinger,et al.  Usability engineering methods for software developers , 2005, CACM.

[16]  Jakob Nielsen,et al.  Usability inspection methods , 1994, CHI 95 Conference Companion.

[17]  L. Donaldson,et al.  An organisation with a memory. , 2002, Clinical medicine.

[18]  Philippe Palanque.  FORMAL SPECIFICATION OF HCI FOR INCREASING SOFTWARE'S ERGONOMICS , 2007 .

[19]  Kritina L. Holden,et al.  Touchscreen usability in microgravity , 1996, CHI Conference Companion.

[20]  Andreas Holzinger,et al.  Designing Web-Applications for Mobile Computers: Experiences with Applications to Medicine , 2004, User Interfaces for All.

[21]  Ramana Rao,et al.  Laying out and visualizing large trees using a hyperbolic space , 1994, UIST '94.

[22]  G. W. Furnas,et al.  Generalized fisheye views , 1986, CHI '86.

[23]  Mark Apperley,et al.  Data base navigation: an office environment for the professional , 1982 .

[24]  Marco Winckler,et al.  Tailoring Usability into Agile Software Development Projects , 2008, Maturing Usability.

[25]  James L. Crowley,et al.  Early Experience with the Mediaspace CoMedi , 1998, EHCI.

[26]  Karsten Loer,et al.  Formal Interactive Systems Analysis and Usability Inspection Methods: Two Incompatible Worlds? , 2000, DSV-IS.

[27]  Rémi Bastide,et al.  Reconciling Safety and Usability Concerns through Formal Specification-based Development Process , 2002 .

[28]  Thomas Memmel,et al.  Agile Methods and Visual Specification in Software Development: A Chance to Ensure Universal Access , 2007, HCI.

[29]  David Navarre.  Contribution à l' ingénierie en Interaction Homme-Machine : une technique de description formelle et un environnement pour une modélisation et une exploitation synergiques des tâches et du système , 2001 .

[30]  Jakob Nielsen,et al.  Heuristic evaluation of user interfaces , 1990, CHI '90.

[31]  Constantine Stephanidis,et al.  User-Centered Interaction Paradigms for Universal Access in the Information Society , 2004, Lecture Notes in Computer Science.

[32]  Philippe A. Palanque,et al.  Petri Net Based Behavioural Specification of CORBA Systems , 1999, ICATPN.

[33]  Christelle Farenc,et al.  Embedding Ergonomic Rules as Generic Requirements in a Formal Development Process of Interactive Software , 1999, INTERACT.

[34]  Christina Courtright,et al.  Context in information behavior research , 2007 .

[35]  Philippe A. Palanque,et al.  Contextual Help for Free with Formal Dialogue Design , 1993, HCI.