@inproceedings{b20bb8a720d44f4097f30fed3cc51f12,
title = "CyberCardia project: Modeling, verification and validation of implantable cardiac devices",
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.",
keywords = "Cardiac electrophysiology, Closed-loop control, Formal Methods, Implantable cardiac Devices, Verification and Validation",
author = "Islam, {Md Ariful} and Hyunkyung Lim and Nicola Paoletti and Houssam Abbas and Zhihao Jiang and Jacek Cyranka and Rance Cleaveland and Sicun Gao and Edmund Clarke and Radu Grosu and Rahul Mangharam and Elizabeth Cherry and Flavio Fenton and Gray, {Richard A.} and James Glimm and Shan Lin and Qinsi Wang and Smolka, {Scott A.}",
note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 2016 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2016 ; Conference date: 15-12-2016 Through 18-12-2016",
year = "2017",
month = jan,
day = "17",
doi = "10.1109/BIBM.2016.7822737",
language = "English",
series = "Proceedings - 2016 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1445--1452",
editor = "Kevin Burrage and Qian Zhu and Yunlong Liu and Tianhai Tian and Yadong Wang and Hu, {Xiaohua Tony} and Qinghua Jiang and Jiangning Song and Shinichi Morishita and Kevin Burrage and Guohua Wang",
booktitle = "Proceedings - 2016 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2016",
}