Advertisement

Introductory paper

  • S. Purushothaman IyerEmail author
  • David Hislop
  • Paul L. Jones
  • Jaime Lee
  • Frederick Pearce
  • Stephen Van Albert
Special section: Analysis of requirements for a medical device – the computer-assisted resuscitation algorithm (CARA) experience

Abstract

The computer-assisted resuscitation algorithm (CARA) is the software component of an automatic infusion pump system being designed by US Army’s Walter Reed Institute of Research (WRAIR) to be used in the battlefields of tomorrow. Such medical devices are safety critical, and their use needs to be approved by the US Food and Drug Administration (FDA) – a process on which formal methods can have a great impact. In this special section, six papers on the analysis of CARA’s requirements are presented. In the rest of this introduction, we present the framework and summary of results from those papers.

Keywords

Software in medical devices Safety of software Formal methods Analysis of requirements and designs US Food and Drug Administration 

References

  1. 1.
    Bellamy RF (1984) The causes of death in conventional land warfare: implication for combat casualty care research. Milit Med 149:55 Google Scholar
  2. 2.
    US Army (1997) Department of the Army Field Manual 1-100. Army Aviation Operations. Washington, DC, 21 FebruaryGoogle Scholar

Copyright information

© Springer-Verlag 2004

Authors and Affiliations

  • S. Purushothaman Iyer
    • 1
    Email author
  • David Hislop
    • 2
  • Paul L. Jones
    • 3
  • Jaime Lee
    • 4
  • Frederick Pearce
    • 4
  • Stephen Van Albert
    • 4
  1. 1.Department of Computer ScienceNorth Carolina State UniversityRaleighUSA
  2. 2.Army Research OfficeResearch Triangle ParkUSA
  3. 3.Center for Devices and Radiological HealthFood and Drug AdministrationRockvilleUSA
  4. 4.Department of Resuscitative MedicineWalter Reed Army Institute of ResearchSilver SpringUSA

Personalised recommendations