CyberCardia project: Modeling, verification and validation of implantable cardiac devices

Md Ariful Islam, Hyunkyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund Clarke, Radu Grosu, Rahul Mangharam, Elizabeth Cherry, Flavio Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations

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.

Original languageEnglish
Title of host publicationProceedings - 2016 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2016
EditorsKevin Burrage, Qian Zhu, Yunlong Liu, Tianhai Tian, Yadong Wang, Xiaohua Tony Hu, Qinghua Jiang, Jiangning Song, Shinichi Morishita, Kevin Burrage, Guohua Wang
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1445-1452
Number of pages8
ISBN (Electronic)9781509016105
DOIs
StatePublished - Jan 17 2017
Event2016 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2016 - Shenzhen, China
Duration: Dec 15 2016Dec 18 2016

Publication series

NameProceedings - 2016 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2016

Conference

Conference2016 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2016
Country/TerritoryChina
CityShenzhen
Period12/15/1612/18/16

Keywords

  • Cardiac electrophysiology
  • Closed-loop control
  • Formal Methods
  • Implantable cardiac Devices
  • Verification and Validation

Fingerprint

Dive into the research topics of 'CyberCardia project: Modeling, verification and validation of implantable cardiac devices'. Together they form a unique fingerprint.

Cite this