@article{Pielawa.2013,
 author = {Pielawa, L. and Frenken, M. and Hein, A.},
 title = {A workflow for design and evaluation of embedded control systems in medical devices},
 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.},
 keywords = {assertion-based verification;control engineering;cyber-physical systems;development workflow;dialysis;personalised healthcare;simulation},
 year = {2013},
 volume = {13},
 journal = {International Journal of Biomedical Engineering and Technology},
 number = {3},
 doi = {10.1504/IJBET.2013.058446},
}