Safety-assured development of the GPCA infusion pump software

Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11

Volumn , Issue , 2011, Pages 155-164

  Kim, BaekGyu ^a   Ayoub, Anaheed ^a   Sokolsky, Oleg ^a   Lee, Insup ^a   Jones, Paul ^b   Zhang, Yi ^b   Jetley, Raoul ^b  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b CENTER FOR DRUG EVALUATION AND RESEARCH   (United States)

Author keywords

Code synthesis; Formalization; Model based engineering; Pca infusion pump; Timed automata; Verification

Indexed keywords

CODE SYNTHESIS; FORMALIZATION; MODEL-BASED ENGINEERING; PCA INFUSION PUMP; TIMED AUTOMATA;

EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; MODELS; PRINCIPAL COMPONENT ANALYSIS; PUMPS; SAFETY TESTING; SECURITY SYSTEMS;

SAFETY ENGINEERING;

EID: 80455179707     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2038642.2038667     Document Type: Conference Paper

References (18)

1. The generic patient controlled analgesia pump model. http://rtg.cis. upenn.edu/gip.php3.
2. Safety requirements for the generic patient controlled analgesia pump. http://rtg.cis.upenn.edu/gip.php3.
3. T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi. TIMES: a tool for schedulability analysis and code generation of real-time systems. In FORMATS, 2003.
4. D. E. Arney, R. Jetley, P. Jones, I. Lee, A. Ray, O. Sokolsky, and Y. Zhang. Generic infusion pump hazard analysis and safety requirements version 1.0. Technical report, University of Pennsylvania, February 2009. Department of Computer and Information Science Technical Report No. MS-CIS-08-31.
5. D. E. Arney, R. Jetley, P. Jones, I. Lee, and O. Sokolsky. Formal methods based development of a PCA infusion pump reference model: Generic infusion pump (GIP) project. In Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007), pages 23 - 33, 2007.
6. I. Assayad, V. Bertin, F. X. Defaut, P.Gerner, O. Quevreux, and S. Yovine. Jahuel: A formal framework for software synthesis. ECMDA-FA, 2005.
7. G. Behrmann, A. David, and K. G. Larsen. A tutorial on UPPAAL. In Formal Methods for the Design of Real-Time Systems (revised lectures), volume 3185 of LNCS, pages 200-237, 2004.
8. S. Burmester, H. Giese, and W. Schafer. Model-driven architecture for hard real-time systems: From platform independent models to code. ECMDA-FA, 2005.
9. R. France and B. Rumpe. Model-driven development of complex software: A research roadmap. In FOSE, 2007.
10. H. S. Hong, S. D. Cha, I. Lee, O. Sokolsky, and H. Ural. Data flow testing as model checking. In ICSE, pages 232-243, 2003.
11. R. Jetley and P. Jones. Safety requirements based analysis of infusion pump software. In SMDS, 2007.
12. K. G. Larsen, M. Mikucionis, B. Nielsen, and A. Skou. Testing real-time embedded software using UPPAAL-TRON - an industrial case study. In The 5th ACM International Conference on Embedded Software, 2005.
13. M. Leucker and C. Schallhart. A brief account of runtime verification. The Journal of Logic and Algebraic Programming, pages 293-303, 2009.
14. J. Liu, J. Dehlinger, and R. Lutz. Safety analysis of software product lines using state-based modeling. The Journal of Systems and Software, 80:1879-1892, 2007. (Pubitemid 47404638)
15. D. C. Schmidt. Model-driven engineering. IEEE Computer Magazine, February 2006.
16. Mathworks Simulink. http://www.mathworks.com/products/simulink.
17. Mathworks Stateflow. http://www.mathworks.com/products/stateflow.
18. U.S. Food and Drug Administration, Center for Devices and Radiological Health. White Paper: Infusion Pump Improvement Initiative, April 2010.