A formal approach to pre-market review for medical device software

Proceedings - International Computer Software and Applications Conference

Volumn 1, Issue , 2006, Pages 169-177

  Jetley, Raoul ^a   Purushothaman Iyer, S ^a   Jones, Paul L ^b   Spees, William ^b  

^a North Carolina State University   (United States)

^b CENTER FOR DEVICES AND RADIOLOGICAL HEALTH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GENERIC INFUSION PUMP USAGE MODEL; MEDICAL DEVICE SOFTWARE;

BIOMEDICAL EQUIPMENT; MATHEMATICAL MODELS;

COMPUTER SOFTWARE;

EID: 34247491209     PISSN: 07303157     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COMPSAC.2006.9     Document Type: Conference Paper

References (11)

1. Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. "Uppaal - a Tool Suite for Automatic Verification of Real-Time Systems", Proceedings of the Workshop on Verification and Control of Hybrid Systems III, Number 1066 in Lecture Notes in Computer Science, pages 232-243. Springer-Verlag, October 1995.
2. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala and Rupak Majumdar. "Generating Tests from Counterexamples", Proceedings of the 26th International Conference on Software Engineering (ICSE'04, Edinburgh), pages 326-335, 2004.
3. J. Callahan, F. Schneider, and S. Easterbrook. "Automated software testing using model-checking", Technical Report NASA-IW-96-022, NASA Independent Verification and Validation Facility, Fairmont, WV, August 1996.
4. Stacy J. Prowell, Carmen J. Trammell, Richard C. Linger, Jesse H. Poore. "Cleanroom Software Engineering Technology and Process", Addison-Wesley, 1999, page 12.
5. J. O. Coplien, D. M. Hoffman, and D. M. Weiss. "Commonality and variability in software engineering", IEEE Software, 15(6) pages 37-45, 1998.
6. Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Gregoire Sutre. "Software verification with Blast", Proceedings of the Tenth International Workshop on Model Checking of Software (SPIN), volume 2648 of Lecture Notes in Computer Science, pages 235-239. Springer-Verlag, 2003.
7. Michael G. Hinchey and Jonathan P. Bowen. High-Integrity System Specification and Design, Springer-Verlag New York, Inc., S. A. Schuman editor, Secaucus, NJ, USA, 1999.
8. Stephan Merz. "Model checking: A tutorial overview", In F. Cassez et al., editor, Modeling and Verification of Parallel Processes, volume 2067 of Lecture Notes in Computer Science, pages 3-38, Springer-Verlag, Heidelberg, 2001.
9. "Model-based testing and validation of control software with reactis", Technical report, November 2003.
10. John Rushby. Formal Methods and the Certification of Critical Systems, Computer Science Laboratory, SRI International, Menlo Park, CA, Dec 1993.
11. David M. Weiss and Chi Tau Robert Lai. Software Product-Line Engineering: A Family-Based Software Development Process. Addison Wesley, 1999.