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), No.6, pp.507-518
ISSN: 0899-8205
ISSN: 1943-5967
Journal Article
Fraunhofer CESE ()

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.