Formal methods based development of a PCA infusion pump reference model: Generic infusion pump (GIP) project

  • Arney D
  • Jetley R
  • Jones P
 et al. 
  • 33


    Mendeley users who have this article in their library.
  • 46


    Citations of this article.


As software becomes ever more ubiquitous and complex in medical devices, it becomes increasingly important to assure that it performs safely and effectively. The critical nature of medical devices necessitates that the software used therein be reliable and free of errors. It becomes imperative, therefore, to have a conformance review process in place to ascertain the correctness of the software and to ensure that it meets all requirements and standards. Formal methods have long been suggested as a means to design and develop medical device software. However, most manufacturers shy from using these techniques, citing them as too complex and time consuming. As a result, (potentially life-threatening) errors are often not discovered until a device is already on the market. In this paper we present a reference model based approach to software conformance checking. Reference models enable the application of formal methods to software conformance checking, and provide a framework for rigorous testing. To illustrate the approach, we develop the reference model for a generic patient controlled analgesic infusion pump, and explain how it can be used to aid software conformance checking in a regulatory environment.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

Get full text


  • David Arney

  • Raoul Jetley

  • Paul Jones

  • Insup Lee

  • Oleg Sokolsky

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free