Publication
Title
Heterogeneous Assertion-Based Verification for Medical Devices Development
Form of Publication
Tagungsbeitrag
All authors
Laemmermann, Stefan; Pielawa Lukas; Burger, Andreas; Schlemminger, Jan; Ruf, Juergen; Kropf, Thomas; Hein, Andreas; Rosenstiel Wolfgang
Summary
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.
Publishing date
2012
Title of Conference
Sasimi 2012, The 17th Workshop on Synthesis And System Integration of Mixed Information technologies
Conference host
Department of Electrical and Electronic Engineering, Kobe University, Japan
