Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Model-based engineering for medical-device software

 
: Ray, A.; Jetley, R.; Jones, P.L.; Zhang, Y.

:

Biomedical instrumentation & technology : BI&T 44 (2010), Nr.6, S.507-518
ISSN: 0899-8205
ISSN: 1943-5967
Englisch
Zeitschriftenaufsatz
Fraunhofer CESE ()

Abstract
This paper demonstrates the benefits of adopting model-based design techniques for engineering medical device software. By using a patient-controlled analgesic (PCA) infusion pump as a candidate medical device, the authors show how using models to capture design information allows for i) fast and efficient construction of executable device prototypes ii) creation of a standard, reusable baseline software architecture for a particular device family, iii) formal verification of the design against safety requirements, and iv) creation of a safety framework that reduces verification costs for future versions of the device software.

: http://publica.fraunhofer.de/dokumente/N-188663.html