Modeling

High-level modeling for computer-aided clinical trials of medical devices
Medical devices like the Implantable Cardioverter Defibrillator (ICD) are life-critical systems. Malfunctions of the device can cause …
H Abbas, Zhihao Jiang, KJ Jang, M Beccani, J Liang, R Mangharam
Cite Project DOI
High-level modeling for computer-aided clinical trials of medical devices
In silico pre clinical trials for implantable cardioverter defibrillators
This paper presents in-silico pre-clinical trials for implantable cardioverter defibrillators using large cohorts of synthetic patients …
Zhihao Jiang, H Abbas, K Jang, M Beccani, J Liang, S Dixit, R Mangharam
Cite Project DOI
In silico pre clinical trials for implantable cardioverter defibrillators
Towards Model Checking of Implantable Cardioverter Defibrillators
Ventricular Fibrillation is a disorganized electrical excitation of the heart that results in inadequate blood flow to the body. It …
H Abbas, KJ Jang, Zhihao Jiang, R Mangharam
Cite Project Project DOI
Towards Model Checking of Implantable Cardioverter Defibrillators
The Challenges of High-Confidence Medical Device Software
Bringing new safety-critical medical devices to market faces several major challenges, but modeling and formal methods can facilitate …
Zhihao Jiang, H Abbas, KJ Jang, R Mangharam
Cite DOI
The Challenges of High-Confidence Medical Device Software
High-Confidence Medical Device Software Development
This survey examines the challenges of developing high-confidence software for implantable medical devices, especially under …
Zhihao Jiang, R Mangharam
Cite Project DOI
High-Confidence Medical Device Software Development
Closed-loop verification of medical devices with model abstraction and refinement
This paper studies closed-loop verification of medical devices in stochastic physiological environments using a dual-chamber pacemaker …
Zhihao Jiang, M Pajic, R Alur, R Mangharam
Cite Project Project DOI
Closed-loop verification of medical devices with model abstraction and refinement
Modeling and Verification of a Dual Chamber Implantable Pacemaker
The design and implementation of software for medical devices is challenging due to their rapidly increasing functionality and the …
Zhihao Jiang, M Pajic, S Moarref, R Alur, R Mangharam
Cite Project Project DOI
Modeling and Verification of a Dual Chamber Implantable Pacemaker
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model
This work studies pacemaker malfunctions caused by imperfect sensing assumptions, such as lead displacement or cross-chamber …
Zhihao Jiang, R Mangharam
Cite Project DOI
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model
Cyber Physical Modeling of Implantable Cardiac Medical Devices
The design of bug-free and safe medical device software is challenging, especially in complex implantable devices that control and …
Zhihao Jiang, M Pajic, R Mangharam
Cite Project Project DOI
Cyber Physical Modeling of Implantable Cardiac Medical Devices
Model Based Closed-Loop Testing of Implantable Pacemakers
The increasing complexity of software in implantable medical devices such as cardiac pacemakers and defibrillators accounts for over …
Zhihao Jiang, M Pajic, R Mangharam
Cite Project DOI
Model Based Closed-Loop Testing of Implantable Pacemakers