title: Model-based engineering for medical-device software.
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. 1.
authors.affiliation: Fraunhofer Center for Experimental Software Engineering, University of Maryland, USA. arnabray@fc-md.umd.edu
authors.forename: Arnab
authors.initials: A
authors.lastname: Ray
authors.forename: Raoul
authors.initials: R
authors.lastname: Jetley
authors.forename: Paul L
authors.initials: PL
authors.lastname: Jones
authors.forename: Yi
authors.initials: Y
authors.lastname: Zhang
mesh_terms: D001698:Biomedical Engineering; D007260:Infusion Pumps; D008962:Models, Theoretical; D012984:Software