The Community for Technology Leaders
2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) (2016)
Shenzhen, China
Dec. 15, 2016 to Dec. 18, 2016
ISBN: 978-1-5090-1612-9
pp: 1445-1452
Md. Ariful Islam , Carnegie Mellon University, United States
Hyunkyung Lim , Stony Brook University, United States
Nicola Paoletti , Stony Brook University, United States
Houssam Abbas , University of Pennsylvania, United States
Zhihao Jiang , University of Pennsylvania, United States
Jacek Cyranka , Rutgers University, United States
Rance Cleaveland , University of Maryland, United States
Sicun Gao , Massachusetts Institute of Technology, United States
Edmund Clarke , Carnegie Mellon University, United States
Radu Grosu , Vienna University of Technology, Austria
Rahul Mangharam , University of Pennsylvania, United States
Elizabeth Cherry , Rochester Institute of Technology, United States
Flavio Fenton , Georgia Institute of Technology, United States
Richard A. Gray , U.S. Food and Drug Administration, United States
James Glimm , Stony Brook University, United States
Shan Lin , Stony Brook University, United States
Qinsi Wang , Carnegie Mellon University, United States
Scott A. Smolka , Stony Brook University, United States
ABSTRACT
In this paper, we survey recent progress in CyberCardia project, a CPS Frontier project funded by the National Science Foundation. The CyberCardia project will lead to significant advances in the state of the art for system verification and cardiac therapies based on the use of formal methods and closed-loop control and verification. The animating vision for the work is to enable the development of a true in silico design methodology for medical devices that can be used to speed the development of new devices and to provide greater assurance that their behavior matches designer intentions, and to pass regulatory muster more quickly so that they can be used on patients needing their care. The acceleration in medical-device innovation achievable as a result of the CyberCardia research will also have long-term and sustained societal benefits, as better diagnostic and therapeutic technologies enter into the practice of medicine more quickly.
INDEX TERMS
Cognition, Computational modeling, Rhythm, Trajectory
CITATION

M. A. Islam et al., "CyberCardia project: Modeling, verification and validation of implantable cardiac devices," 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), Shenzhen, China, 2016, pp. 1445-1452.
doi:10.1109/BIBM.2016.7822737
94 ms
(Ver 3.3 (11022016))