UPPAAL

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, 江智浩
引用 项目 DOI
Environment Modeling During Model Checking of Cyber-Physical Systems
Safety-critical medical device development using the UPP2SF model translation tool
This paper presents UPP2SF, a model-translation tool for turning verified UPPAAL models into Simulink/Stateflow models that can be …
M Pajic, 江智浩, I Lee, O Sokolsky, R Mangharam
引用 项目 项目 DOI
Safety-critical medical device development using the UPP2SF model translation tool
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 …
江智浩, M Pajic, R Alur, R Mangharam
引用 项目 项目 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
This paper presents UPP2SF, a model-translation tool that links formally verified UPPAAL models to Simulink/Stateflow models for …
M Pajic, 江智浩, I Lee, O Sokolsky, R Mangharam
引用 项目 项目 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 …
江智浩, M Pajic, S Moarref, R Alur, R Mangharam
引用 项目 项目 DOI
Modeling and Verification of a Dual Chamber Implantable Pacemaker