Title :
Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage
Author :
Zhenqi Huang ; Chuchu Fan ; Mereacre, Alexandru ; Mitra, Sayan ; Kwiatkowska, Marta
Author_Institution :
Univ. of Illinois at Urbana-Champaign, Urbana, IL, USA
Abstract :
The testing of medical devices poses numerous challenges due to continuous interactions between the physical processes and the cyber components. This paper highlights the main challenges for the design and verification of pacemakers and describes a framework based on discrepancy functions for investigating and validating the time-bounded safety properties as well as determining the safe ranges for the system parameters.
Keywords :
digital simulation; medical computing; pacemakers; program testing; program verification; cardiac pacemakers; cyber components; discrepancy functions; guaranteed coverage; medical devices testing; pacemakers design; pacemakers verification; physical processes; safe ranges; simulation-based verification; system parameters; time-bounded safety properties; Automata; Cardiology; Computational modeling; Mathematical model; Numerical models; Pacemakers; biological networks; hybrid systems; invariants; pacemakers; safety; verification;
Journal_Title :
Design & Test, IEEE
DOI :
10.1109/MDAT.2015.2448543
