Static analysis of medical device software using CodeSonar

Proceedings of the Static Analysis Workshop, SAW 2008

Volumn , Issue , 2008, Pages 22-29

  Jetley, Raoul Praful ^a   Jones, Paul L ^a   Anderson, Paul ^b  

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

^b GRAMMATECH INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONVENTIONAL TESTING METHODS; EXECUTION PATHS; FOOD AND DRUG ADMINISTRATIONS; MEDICAL DEVICES; POTENTIAL SOURCES; POTENTIALLY FATAL; PRIOR KNOWLEDGES; SOFTWARE USING; SYMBOLIC EXECUTIONS; UNITED STATES;

ACOUSTIC SURFACE WAVE DEVICES; ACOUSTIC SURFACE WAVE FILTERS; ACOUSTIC WAVE VELOCITY; CARBON DIOXIDE ARC WELDING; CODES (SYMBOLS); SOFTWARE TESTING; STATIC ANALYSIS; TECHNICAL PRESENTATIONS;

ERROR DETECTION;

EID: 57449088257     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1394504.1394507     Document Type: Conference Paper

References (8)

1. S. Agerholm and P. G. Larsen. A Lightweight Approach to Formal Methods. In Proceedings of the International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, 1998. Springer-Verlag.
2. D. 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 HCMDSS '07: Proceedings of the High Confidence Medical Devices Software and Systems (HCMDSS), Jun 2007.
3. S. Hallem, D. Park, and D. Engler. Uprooting Software Defects at the Source. ACM Queue, 1(8):64-71, 2003.
4. IEEE 610.12 Glossary of Software Engineering Terminology, 1990.
5. S. P. Iyer, D. Hislop, P. L. Jones, J. Lee, F. Pearce, and S. V. Albert. Introductory paper. International Journal on Software Tools for Technology Transfer (STTT), Special section on CARA, 5(4):299-300, 2004.
6. D. Jackson. Lightweight Formal Methods. In FME '01: Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity, London, UK, 2001. Springer-Verlag.
7. R. Jetley and P. Jones. Safety Requirements based Analysis of Infusion Pump Software. In SMDS '07: Proceedings of the Workshop on Software and Systems for Medical Devices and Services. Held in conjunction with IEEE RTSS, Tucson, AZ USA, Dec 2007. IEEE. [8] S. Johnson. Lint, A C Program Checker. Unix Programmer's Manual, AT&T Bell Laboratories, 1978.
8. S. Owre, J. M. Rushby, , and N. Shankar. PVS: A Prototype Verification System. In D. Kapur, editor, 11th International Conference on Automated Deduction (CADE), volume 607 of Lecture Notes in Artificial Intelligence, pages 748-752, Saratoga, NY, Jun 1992. Springer-Verlag.