A comprehensive survey of UPPAAL‐assisted formal modeling and verification
W Zhou, Y Zhao, Y Zhang, Y Wang… - Software: Practice and …, 2024 - Wiley Online Library
UPPAAL is a formal modeling and verification tool based on timed automata, capable of
effectively analyzing real‐time software and hardware systems. In this article, we investigate …
effectively analyzing real‐time software and hardware systems. In this article, we investigate …
Model-Based Engineering for Robotics with RoboChart and RoboTool
Use of simulation to support the design of software for robotic systems is pervasive.
Typically, roboticists draw a state machine using an informal notation (not precise or …
Typically, roboticists draw a state machine using an informal notation (not precise or …
Bringing RoboStar and RT-Tester Together
A Cavalcanti, A Miyazawa, U Schulze… - … Formal Methods for Safe …, 2023 - Springer
In recent work, Cavalcanti and her group, including Miyazawa and Timmis, have developed
a CSP-based framework for model-based engineering of robotic systems, called RoboStar …
a CSP-based framework for model-based engineering of robotic systems, called RoboStar …
RoboSimVer: A Tool for RoboSim Modeling and Analysis
D Du, A Cavalcanti, J Nie - Proceedings of the 37th IEEE/ACM …, 2022 - dl.acm.org
We present RoboSimVer, a tool for modeling and analyzing RoboSim models. It uses a
graphical notation called RoboSim to describe platform-independent simulation models of …
graphical notation called RoboSim to describe platform-independent simulation models of …
Behaviors Modeling and Analysis for Cyber-Physical Systems
D Han, Y Cai, A Li, B Wang, W Chen… - 2023 35th Chinese …, 2023 - ieeexplore.ieee.org
Cyber-physical systems (CPS) are complex systems, which integrate computational and
physical components with the control loops. And an early modeling and quantitative analysis …
physical components with the control loops. And an early modeling and quantitative analysis …