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

Proceedings - 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, HCMDSS/MDPnP 2007

Volumn , Issue , 2007, Pages 23-33

  Arney, David ^a   Jetley, Raoul ^b   Jones, Paul ^b   Lee, Insup ^a   Sokolsky, Oleg ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

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

Author keywords

[No Author keywords available]

Indexed keywords

CONFORMANCE CHECKING; INFUSION PUMPS; MEDICAL DEVICES; REFERENCE MODELS; REGULATORY ENVIRONMENTS; REVIEW PROCESSES; TIME CONSUMING;

ARSENIC; ERRORS; INTEROPERABILITY; MODEL CHECKING; PUMPS; SOFTWARE TESTING; TECHNICAL PRESENTATIONS;

FORMAL METHODS;

EID: 48349086556     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HCMDSS-MDPnP.2007.36     Document Type: Conference Paper

References (21)

1. Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Steve Van Albert, and Jiaxiang Zhou. Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) infusion pump control system. Software Tools for Technology Transfer, 5(4):308-319, 2004.
2. Ramesh Bharadwaj and Constance L. Heitmeyer. Model checking complete requirements specifications using abstraction. Autom. Softw. Eng., 6(1):37-68, 1999.
3. Edmund M. Clarke and Jeannette M. Wing. Formal methods: state of the art and future directions. ACM Comput. Surv., 28(4):626-643, 1996.
4. James Coplien, Daniel Hoffman, and David Weiss. Commonality and variability in software engineering. IEEE Software, 15(6):37-45, 1998.
5. Judith Crow and Ben L. Di Vito. Formalizing space shuttle software requirements: Four case studies. ACM Trans. Softw. Eng. Methodologies, 7(3):296-332, 1998.
6. D. L. Dill. The Murø verification system. In Rajeev Alur and Thomas A. Henzinger, editors, Proceedings of the Eighth International Conference on Computer Aided Verification CAV, volume 1102, pages 390-393, New Brunswick, NJ, USA, 1996. Springer Verlag.
7. ECRI. Patient-controlled analgesic infusion pumps. Health Devices, 2006.
8. Food and Drug Administration. General principles of software validation; final guidance for industry and FDA staff. Technical report, Food and Drug Administration, 2002.
9. Food and Drug Administration. Guidance for the content of premarket submissions for software contained in medical devices - guidance for industry and FDA staff. Technical report, Food and Drug Administration, 2005.
10. Klaus Havelund, Michael R. Lowry, and John Penix. Formal analysis of a space-craft controller using SPIN. Software Engineering, 27(8), 2001.
11. Klaus Havelund, Mike Lowry, and John Penix. Formal analysis of a space-craft controller using SPIN. IEEE Trans. Softw. Eng., 27(8):749-765, 2001.
12. Thomas A. Henzinger and Howard Wong-Toi. Using hytech to synthesize control parameters for a steam boiler. In Formal Methods for Industrial Applications, pages 265-282, 1995.
13. IEC International Electrotechnical Commission. IEC 60601-2-24 medical electrical equipment- part 2-24: Particular requirements for the safety of infusion pumps and controllers. Technical report, IEC, 1998.
14. IEC International Electrotechnical Commission. ANSI/AAMI/ISO 14971, medical devices - application of risk management to medical devices. Technical report, 2000.
15. Insup Lee, George J. Pappas, Ranee Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, and Lui Sha. High-confidence medical device software and systems. Computer, 39(4):33-38, 2006.
16. Rosario Pugliese and Enrico Tronci. Automatic verification of a hydroelectric power plant. In FME, pages 425-444, 1996.
17. Arnab Ray and Ranee Cleaveland. Unit verification: the CARA experience. Software Tools for Technology Transfer, 5(4):351-369, 2004.
18. Francis Schneider, Steve Easterbrook, John R. Callahan, and Gerard J. Holzmann. Validating requirements for fault tolerant systems using model checking. In ICRE '98: Proceedings of the 3rd International Conference on Requirements Engineering, pages 4-13, Washington, DC, USA, 1998. IEEE Computer Society.
19. Tirumale Sreemani and Joanne M. Atlee. Feasibility of model checking software requirements. In Compass'96: Eleventh Annual Conference on Computer Assurance, page 77, Gaithersburg, Maryland, 1996. National Institute of Standards and Technology.
20. Tirumale Sreemani and Joanne M. Atlee. Feasibility of model checking software requirements. In COMPASS'96, Proceedings of the 11th Annual Conference on Computer Assurance, pages 77-88, Gaithersburg, Maryland, 1996. National Institute of Standards and Technology.
21. David M. Weiss and Chi Tau Robert Lai. Software product-line engineering: a family-based software development process. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1999.