Pacemaker

Safety-critical medical device development using the UPP2SF model translation tool
M Pajic, Zhihao Jiang, I Lee, O Sokolsky, R Mangharam
Cite Project Project DOI
Safety-critical medical device development using the UPP2SF model translation tool
Closed-loop verification of medical devices with model abstraction and refinement
Zhihao Jiang, M Pajic, R Alur, R Mangharam
Cite Project Project DOI
Closed-loop verification of medical devices with model abstraction and refinement
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study
M Pajic, Zhihao Jiang, I Lee, O Sokolsky, R Mangharam
Cite Project Project DOI
From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study
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
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
Using the Virtual Heart Model to validate the mode switch pacemaker operation
Zhihao Jiang, AT Connolly, R Mangharam
Cite Project DOI
Using the Virtual Heart Model to validate the mode switch pacemaker operation
Real Time Heart Model for Implantable Cardiac Device Validation and Verification
Zhihao Jiang, M Pajic, AT Connolly, S Dixit, R Mangharam
Cite Project DOI
Real Time Heart Model for Implantable Cardiac Device Validation and Verification