ScholarlyCommons

Title

Generic Infusion Pump Hazard Analysis and Safety Requirements Version 1.0

Author(s)

David E. Arney, University of Pennsylvania
Raoul Jetley, Office of Science and Engineering Laboratories, Food and Drug Administration
Paul Jones, Office of Science and Engineering Laboratories, Food and Drug Administration
Insup Lee, University of PennsylvaniaFollow
Arnab Ray, Fraunhofer Center for Experimental Software Engineering
Oleg Sokolsky, University of PennsylvaniaFollow
Yi Zhang, Office of Science and Engineering Laboratories, Food and Drug Administration

Document Type

Technical Report

Date of this Version

2-6-2009

Comments

University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-08-31

Abstract

The Generic Infusion Pump (or GIP) project is an effort to make generic formal models of infusion pump systems. Our process of building these formal models started with requirements elicitation and hazard analysis. This document contains the informal requirements and hazard analysis used to create a generic pump model.

We plan to use these models and properties to generate tests which can be used for conformance testing infusion pump implementations. Our future work will focus on extending these pump models with additional safety requirements and exploring the use of test generation for conformance testing real pump implementations.

Recommended Citation

David E. Arney, Raoul Jetley, Paul Jones, Insup Lee, Arnab Ray, Oleg Sokolsky, and Yi Zhang, "Generic Infusion Pump Hazard Analysis and Safety Requirements Version 1.0", . February 2009.