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 342
- Downloads 0
Emergency Response using Ephemeral Social Communities across Online Social Networks
In an emergency situation, receiving prompt and organized help from nearby people is of critical importance. The growing use of online social networks (OSNs) in emergency situations is a clear indication of the natural a...
Effects of Cohesion-Based Feedback on the Collaborations in Global Software Development Teams
This paper describes a study that examines the effect of cohesion-based feedback on a team member’s behaviors in a global software development project. Chat messages and forum posts were collected from a software develop...
ARZombie: A Mobile Augmented Reality Game with Multimodal Interaction
Augmented reality games have the power to extend virtual gaming into real world scenarios with real people, while enhancing the senses of the user. This paper describes the AR- Zombie game developed with the aim of study...
Assessing the Use of Communication Robots for Recreational Activities at Nursing Homes
We are using information communication technology and communication robots (hereafter referred to as "robots") to develop a service to assist recreational activities at nursing homes. The service relies on visual content...
Merging By Decentralized Eventual Consistency Algorithms
Merging mechanism is an essential operation for version control systems. When each member of collaborative development works on an individual copy of the project, software merging allows to reconcile modifications made c...