Safety-Assured Development of the GPCA Infusion Pump Software

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Medical
Software
Program Verification
Formal methods
Model checking
Validation
PCA infusion pump
model-based engineering
formalization
verification
code synthesis
timed automata
Funder
Grant number
License
Copyright date
Distributor
Related resources
Contributor
Abstract

This paper presents our effort of using model-driven engineering to establish a safety-assured implementation of Patient-Controlled Analgesic (PCA) infusion pump software based on the generic PCA reference model provided by the U.S. Food and Drug Administration (FDA). The reference model was first translated into a network of timed automata using the UPPAAL tool. Its safety properties were then assured according to the set of generic safety requirements also provided by the FDA. Once the safety of the reference model was established, we applied the TIMES tool to automatically generate platform-independent code as its preliminary implementation. The code was then equipped with auxiliary facilities to interface with pump hardware and deployed onto a real PCA pump. Experiments show that the code worked correctly and effectively with the real pump. To assure that the code does not introduce any violation of the safety requirements, we also developed a testbed to check the consistency between the reference model and the code through conformance testing. Challenges encountered and lessons learned during our work are also discussed in this paper.

Advisor
Date of presentation
2011-10-01
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-17T06:31:51.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
The International Conference on Embedded Software (EMSOFT 2011), Taipei, Taiwan, October 9-14 2011.
Recommended citation
Collection