Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Publicações

Publicações por Michael Douglas Harrison

2017

The Specification and Analysis of Use Properties of a Nuclear Control System

Autores
Harrison, MD; Masci, PM; Campos, JC; Curzon, P;

Publicação
The Handbook of Formal Methods in Human-Computer Interaction.

Abstract

2015

Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes

Autores
Campos, JC; Abade, T; Silva, JL; Harrison, MD;

Publicação
AMBIENT ASSISTED LIVING: ICT-BASED SOLUTIONS IN REAL LIFE SITUATIONS

Abstract
APEX, a framework for prototyping ubiquitous environments, is used to design an Ambient Assisted Living (AAL) system to enhance a care home for older people. The environment allows participants in the design process to experience the proposed design and enables developers to explore the design by rapidly developing alternatives. APEX provided the means to explore alternative designs through a virtual environment. It provides a mediating representation (a boundary object) allowing users to be involved in the design process. A group of residents in a city-based care home were involved in the design. The paper describes the design process and lessons learnt for the design of AAL systems.

2016

Templates as heuristics for proving properties of medical devices

Autores
Harrison, MD; Campos, JC; Masci, P; Curzon, P;

Publicação
EAI Endorsed Trans. Creative Technologies

Abstract
This paper briefly describes how property templates have been used to analyse and explore the interactive behaviour of a specific medical device (an IV infusion pump). It is proposed that interactive devices that satisfy properties based on the templates are easier and safer to use. The property templates act as heuristics for the development of suitable properties tailored to the details of the particular device. A mathematically based approach is used to prove that a specification of the device satisfies the properties. Copyright © 2015 ICST.

2013

Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach

Autores
Ruksenas, R; Masci, P; Harrison, MD; Curzon, P;

Publicação
ECEASST

Abstract

2013

Using medical device logs for improving medical device design

Autores
Cauchi, A; Thimbleby, H; Oladimeji, P; Harrison, M;

Publicação
Proceedings - 2013 IEEE International Conference on Healthcare Informatics, ICHI 2013

Abstract
User interfaces that employ the same display and buttons may look the same but can work very differently depending on exactly how they are implemented. In healthcare, it is critical that interfaces that look the same are the same. Hospitals typically have many types of visually similar infusion pumps, but with different software versions and variation between pump behavior, and this may lead to unexpected adverse events. For example, when entering drug doses into infusion pumps different results may arise when pushing identical sequences of buttons. These differences arise as a result of subtle implementation differences and may lead to large errors users do not notice. Previous work has explored different implementations of a 5-key interface for entering numbers using a new analysis technique, Differential Formal Analysis, where predictions relating to the distribution of errors in terms of the size of the error (out by 10, out by 100 and so on) can be made. The analysis described in the paper extends this work with models of use based on many hours of actual clinical use data. Specifically, we draw on 1,362 days of use of number entry systems, from 19 infusion pumps over a 3 year period in a UK hospital. The paper also suggests some improvements to medical device logs, which will help further evidence-based improvement to medical device safety. © 2013 IEEE.

2013

Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example

Autores
Masci, P; Ayoub, A; Curzon, P; Harrison, MD; Lee, I; Thimbleby, HW;

Publicação
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'13, London, United Kingdom - June 24 - 27, 2013

Abstract
Medical device regulators such as the US Food and Drug Administration (FDA) aim to make sure that medical devices are reasonably safe before entering the market. To expedite the approval process and make it more uniform and rigorous, regulators are considering the development of reference models that encapsulate safety requirements against which software incorporated in to medical devices must be verified. Safety, insofar as it relates to interactive systems and its regulation, is generally a neglected topic, particularly in the context of medical systems. An example is presented here that illustrates how the interactive behaviour of a commercial Patient Controlled Analgesia (PCA) infusion pump can be verified against a reference model. Infusion pumps are medical devices used in healthcare to deliver drugs to patients, and PCA pumps are particular infusion pump devices that are often used to provide pain relief to patients on demand. The reference model encapsulates the Generic PCA safety requirements provided by the FDA, and the verification is performed using a refinement approach. The contribution of this work is that it demonstrates a concise and semantically unambiguous approach to representing what a regulator's requirements for a particular interactive device might be, in this case focusing on user-interface requirements. It provides an inspectable and repeatable process for demonstrating that the requirements are satisfied. It has the potential to replace the considerable documentation produced at the moment by a succinct document that can be subjected to careful and systematic analysis. Copyright 2013 ACM.

  • 2
  • 16