Using gherkin to extract tests and monitors for safer medical device interaction design

Number entry systems on medical devices are safety critical and it is important to get them right. Interaction design teams can be multidisciplinary, and in this work we present a process where the requirements of the system are drawn up using a Controlled Natural Language (CNL) that is understandable by non-technical experts or clients. These CNL requirements can also be directly used by the Quality Assurance (QA) team to test the system and monitor whether or not the system runs as it should once deployed. Since commonly, systems are too complex to test all possible execution paths before deployment, monitoring the system at runtime is useful in order to check that the system is running correctly. If at runtime, it is discovered that an anomaly is detected, the relevant personnel is notified through a report in natural language.

[1]  Gordon J. Pace,et al.  Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties , 2009, FMICS.

[2]  Harold W. Thimbleby,et al.  Number Entry Interfaces and Their Effects on Error Detection , 2011, INTERACT.

[3]  Harold W. Thimbleby,et al.  Using Medical Device Logs for Improving Medical Device Design , 2013, 2013 IEEE International Conference on Healthcare Informatics.

[4]  Gordon J. Pace,et al.  Safer asynchronous runtime monitoring using compensations , 2012, Formal Methods Syst. Des..

[5]  Yi Zhang,et al.  A Hazard Analysis for a Generic Insulin Infusion Pump , 2010, Journal of diabetes science and technology.

[6]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[7]  Martin Leucker,et al.  A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..

[8]  Gregor Kiczales,et al.  Aspect-oriented programming , 2001, ESEC/FSE-9.

[9]  Kim J. Vicente,et al.  Programming errors contribute to death from patient-controlled analgesia: case report and estimate of probability , 2003, Canadian journal of anaesthesia = Journal canadien d'anesthesie.

[10]  Michael D. Harrison,et al.  Reusing models and properties in the analysis of similar interactive devices , 2013, Innovations in Systems and Software Engineering.

[11]  Harold W. Thimbleby,et al.  Safer "5-key" number entry user interfaces using differential formal analysis , 2012, BCS HCI.

[12]  Harold W. Thimbleby,et al.  The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps , 2013, Innovations in Systems and Software Engineering.