A workflow for design and evaluation of embedded control systems in medical devices Online publication date: Sat, 27-Sep-2014
by Lukas Pielawa; Melina Frenken; Andreas Hein
International Journal of Biomedical Engineering and Technology (IJBET), Vol. 13, No. 3, 2013
Abstract: The recent development of more and more autonomous medical devices facilitates unsupervised treatment and thereby saving of costs for healthcare. While flawless control software is needed for such life-critical systems, no specific development processes are established in the medical domain. The here presented approach founds on the functional simulation of system components and their virtual integration as well as modelling of the decisive parts of the physiology influenced by the device. Additionally, a virtual execution platform is integrated enabling to develop the embedded control software and evaluate it online to the functional simulation. Finally, the coupling to an assertion engine for semi-formal verification allows validation of the system's behaviour and its compliance with requirements, specified as assertions. The utilisation of this proposed methodology is demonstrated on the control development for an autonomous dialysis system. The applicability is evaluated and insights gained through its utilisation exemplary demonstrate its benefits.
Online publication date: Sat, 27-Sep-2014
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Biomedical Engineering and Technology (IJBET):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email firstname.lastname@example.org