Templates as heuristics for proving properties of medical devices

Journal Title: EAI Endorsed Transactions on Creative Technologies - Year 2016, Vol 3, Issue 8

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.

Authors and Affiliations

Michael Harrison, Jose Campos, Paolo Masci, Paul Curzon

Keywords

Related Articles

Learning by playing: An LBG for the Fortification Gates of the Venetian walls of the city of Heraklion

Games in education have always been a tool for increasing motivation and interest of learners. We present Location-Based Games (LBG) as a tool to involve and motivate students in the learning process. LBGs require the pl...

Towards a 15.5W Si-LDMOS Energy Efficient Balanced RF Power Amplifier for 5G-LTE Multi-carrier Applications

In this paper, a 15.5W Si-LDMOS balanced RF power amplifier has been designed using 2.620-2.690GHz frequency band to improve efficiency and linearity for 5G-LTE mobile applications. The amplifier was designed and simulat...

Dynamic Resource Allocation Scheme Using Cooperative Game for Multimedia Services in LTE Advanced System

In LTE Advanced system, it is critical to carry on various types of services for different user applications. Obviously, the system resource requirements are quite different for each individual service. In order to alloc...

A High Visual Quality Embedding Method in Edges Based on Pixel Pair Difference

In this paper, we proposed a new data hiding method based on diamond encoding (DE) and pixel pair difference (PPD). DE proposes a pixel-wise algorithm which flexibly embeds different base digits to maximize payload and i...

A conceptual framework for audio-visual museum media

In today's history museums, the past is communicated through many other means than original artefacts. This interdisciplinary and theoretical article suggests a new approach to studying the use of audio-visual media, suc...

Download PDF file
  • EP ID EP45853
  • DOI http://dx.doi.org/10.4108/eai.14-10-2015.2261743
  • Views 267
  • Downloads 0

How To Cite

Michael Harrison, Jose Campos, Paolo Masci, Paul Curzon (2016). Templates as heuristics for proving properties of medical devices. EAI Endorsed Transactions on Creative Technologies, 3(8), -. https://europub.co.uk/articles/-A-45853