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.
Similar content being viewed by others
References
Bellamy RF (1984) The causes of death in conventional land warfare: implication for combat casualty care research. Milit Med 149:55
US Army (1997) Department of the Army Field Manual 1-100. Army Aviation Operations. Washington, DC, 21 February
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Iyer, S., Hislop, D., Jones, P. et al. Introductory paper. STTT 5, 299–300 (2004). https://doi.org/10.1007/s10009-003-0131-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-003-0131-8