PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems
Journal Title: EAI Endorsed Transactions on Collaborative Computing - Year 2016, Vol 2, Issue 7
Abstract
Use errors, where medical devices work to specification but lead to the clinicians making mistakes resulting in patient harm, is a critical problem. Manufacturers need tools to help them find such design flaws at an early stage and regulators need tools to help check devices are safe to approve for market. We have developed a prototyping tool, PVSio-web, to help check the safety of medical device interface and interaction design. It supports a model-based design process: that is, it is based on precise mathematical descriptions of the device's behaviour. This allows sophisticated proof and model checking technology to be used to verify that devices meet essential safety requirements. The architecture allows for the flexible addition of `plug-in' modules to extend its functionality giving different views of the design that allow different stakeholders to work together. Working with the US regulator, the Food and Drug Administration (FDA), our tool has helped identify problems in a series of commercial medical devices. Hospitals have used it as part of training programmes highlighting safety-related design issues. In ongoing work we are developing plug-ins that support the verification and validation of interoperable medical systems.
Authors and Affiliations
Paolo Masci, Patrick Oladimeji, Piergiuseppe Mallozzi, Paul Curzon, Harold Thimbleby
Keywords
Related Articles
- EP ID EP45712
- DOI http://dx.doi.org/10.4108/eai.14-10-2015.2261720
- Views 324
- Downloads 0
A Framework for Performance Evaluation of Decentralized Eventual Consistency Algorithms
Eventual Consistency (EC) model is adopted by numerous large-scale distributed systems. To ensure performance and scalability, this model allows any replica to accept updates without remote synchronization. Nowadays, man...
Designing Behaviour in Bio-inspired Robots Using Associative Topologies of Spiking-Neural-Networks
This study explores the design and control of the behaviour of agents and robots using simple circuits of spiking neurons and Spike Timing Dependent Plasticity (STDP) as a mechanism of associative and unsupervised learni...
Impact on procurement and training by research on the interaction design of medical devices
We present a case study of how research can influence practice in the procurement of healthcare technology based on the CHI+MED project. CHI+MED is concerned with interaction design and the safety of medical devices. It...
Message from the Editors-in-Chief
We are very pleased to welcome you all to the second issue of this journal. In this issue, we present six selected invited papers that span various aspects of collaborative computing and technologies. In particular, t...
Bio-Inspired Routing Protocol Based on Pheromone Diffusion in Mobile Ad Hoc Networks
Bio-inspired routing protocols use the principle of swarm intelligence, which finds the optimal path to the destination in a distributed and autonomous way in dynamically changing environments; therefore, they can maximi...