HomeNewsCase StudiesPeoplePublications
[HFM+15] Z. Huang, C. Fan, A. Mereacre, S. Mitra, M. Kwiatkowska. Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage. Design Test, IEEE, 32(5), pages 27 - 34, IEEE. June 2015. [bib] http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7130608
Downloads:  bib bib
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.