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

Achieving Security Assurance with Assertion-based Application Construction

Modern software applications are commonly built by leveraging pre-fabricated modules, e.g. application programming interfaces (APIs), which are essential to implement the desired functionalities of software applications,...

A System for Multimodal Interaction with Kinect-Enabled Virtual Windows

Commercial off-the-shelf gaming devices (e.g. such as Kinect) are demonstrating to have a great potential beyond their initial service purpose. In particular, when integrated within the environment or as part of smart ob...

The Richness of Open-ended Play - Rules, feedback and adaptation mechanisms in intelligent play environments

How can we design intelligent play environments for open-ended play that support richness in play? Rich play can be described as ongoing play that changes over time in character, form and nature. This paper elaborates on...

A Collaboration Model for Community-Based Software Development with Social Machines

Crowdsourcing is generally used for tasks with minimal coordination, providing limited support for dynamic reconfiguration. Modern systems, exemplified by social ma chines, are subject to continual flux in both the clien...

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...

Download PDF file
  • EP ID EP45712
  • DOI http://dx.doi.org/10.4108/eai.14-10-2015.2261720
  • Views 275
  • Downloads 0

How To Cite

Paolo Masci, Patrick Oladimeji, Piergiuseppe Mallozzi, Paul Curzon, Harold Thimbleby (2016). PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems. EAI Endorsed Transactions on Collaborative Computing, 2(7), -. https://europub.co.uk/articles/-A-45712