V&V

Environment Modeling During Model Checking of Cyber-Physical Systems
A domain-independent framework which can balance coverage and expressiveness of environment models during closed-loop model checking of Cyber-Physical Systems.
Guangyao Chen, Zhihao Jiang
Cite Project DOI
Environment Modeling During Model Checking of Cyber-Physical Systems
Property-Driven Runtime Resolution of Feature Interactions
The feature interaction problem occurs when two or more features interact and possibly conflict with each other in unexpected ways, …
SG Raghavan, K Watanabe, E Kang, CW Lin, Zhihao Jiang, S Shiraishi
Cite Project Project DOI
Property-Driven Runtime Resolution of Feature Interactions
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
Zhihao Jiang, R Mangharam
Cite Project DOI
High-Confidence Medical Device Software Development
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
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
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