• English
  • Deutsch
  • Log In
    Password Login
    or
  • Research Outputs
  • Projects
  • Researchers
  • Institutes
  • Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Artikel
  4. Model-based engineering for medical-device software
 
  • Details
  • Full
Options
2010
Journal Article
Titel

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.
Author(s)
Ray, A.
Jetley, R.
Jones, P.L.
Zhang, Y.
Zeitschrift
Biomedical instrumentation & technology : BI&T
Thumbnail Image
DOI
10.2345/0899-8205-44.6.507
Language
English
google-scholar
CESE
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Send Feedback
© 2022