Publikation
Titel
Heterogeneous Assertion-Based Verification for Medical Devices Development
Publikationsart
Tagungsbeitrag
Alle Autoren
Laemmermann, Stefan; Pielawa Lukas; Burger, Andreas; Schlemminger, Jan; Ruf, Juergen; Kropf, Thomas; Hein, Andreas; Rosenstiel Wolfgang
Zusammenfassung
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.
Erscheinungsdatum
2012
Titel der Konferenz
Sasimi 2012, The 17th Workshop on Synthesis And System Integration of Mixed Information technologies
Veranstalter der Konferenz
Department of Electrical and Electronic Engineering, Kobe University, Japan
