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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
