EAI Endorsed Transactions on Collaborative Computing 16(7): e3

Research Article

PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems

Download10 downloads
  • @ARTICLE{10.4108/eai.14-10-2015.2261720,
        author={Paolo Masci and Patrick Oladimeji and Piergiuseppe Mallozzi and Paul Curzon and Harold Thimbleby},
        title={PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems},
        journal={EAI Endorsed Transactions on Collaborative Computing},
        volume={16},
        number={7},
        publisher={ACM},
        journal_a={CC},
        year={2015},
        month={12},
        keywords={safety, medical devices, interaction design, verification, formal methods},
        doi={10.4108/eai.14-10-2015.2261720}
    }
    
  • Paolo Masci
    Patrick Oladimeji
    Piergiuseppe Mallozzi
    Paul Curzon
    Harold Thimbleby
    Year: 2015
    PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems
    CC
    EAI
    DOI: 10.4108/eai.14-10-2015.2261720
Paolo Masci1,*, Patrick Oladimeji2, Piergiuseppe Mallozzi3, Paul Curzon1, Harold Thimbleby2
  • 1: Queen Mary University of London
  • 2: Swansea University
  • 3: University of Pisa
*Contact email: p.m.masci@qmul.ac.uk

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.