Heterogeneous Assertion-Based Verification for Medical Devices Development

Laemmermann, Stefan and Pielawa Lukas and Burger, Andreas and Schlemminger, Jan and Ruf, Juergen and Kropf, Thomas and Hein, Andreas and Rosenstiel Wolfgang
This paper describes the employment of an assertion-based verification methodology in the early stage of medical device development. Characteristics formulated by medical experts to be fulfilled by the system under development are transferred into mixed-signal assertion language and automatically evaluated in a simulation of the system. The encountered diversity in the medical devices domain highlights the neccessity of a versatile verification approach. The utilization of MSAL verification process enables to translate the medical characteristics automatically into observer automata for monitoring the systems behaviour. This affords automatic verification of complex medical characteristics as properties in a straight forward and standardized way. The experimental results show the integration of medical characteristics as assertions in a simulation of a medical device in Matlab/Simulink and demonstrate the broad applicability and the high value of the evolved solution.
03 / 2012
Department of Electrical and Electronic Engineering, Kobe University, Japan
ICT-fähige tragbare künstliche Niere und personalisiertes System zur Behandlung Nierenkranker