Model-Based Engineering for Medical-Device Software
2010 ◽
Vol 44
(6)
◽
pp. 507-518
◽
Keyword(s):
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
2013 ◽
Vol 5
(3)
◽
pp. 50-53
◽
2015 ◽
Vol 9
(1)
◽
pp. 256-261
◽
2018 ◽
Vol 19
(11)
◽
pp. 3517-3528
◽
2020 ◽
Vol 13
(5)
◽
pp. 51-62
Keyword(s):
2008 ◽
Vol 1
(1)
◽
pp. 77-83
◽