@inproceedings{e57991331f414a1c8a28b65c03bc1c9b,
title = "RoboSimVer: A Tool for RoboSim Modeling and Analysis",
abstract = "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 robotic systems. For model analysis, we have implemented a model-transformation approach to translate RoboSim models into NTA (Network of Timed Automata) and their stochastic version based on patterns and mapping rules. RoboSimVer takes a RoboSim simulation model as input and provides different rigorous verification techniques to check whether the simulation models satisfy property constraints. For experimental demonstrations, we adopt the alpha algorithm for swarm robotics as a case study. We use an abstract robotic-platform model to describe a swarm in an uncertain environment and illustrate how our tool supports the verification of stochastic and hybrid systems. The demonstration video is at youtu.be/mNe4q64GkmQ.",
keywords = "CPS, RoboSim, RoboStar, RoboTool, UPPAAL-SMC, simulation modeling, verification",
author = "Dehui Du and Ana Cavalcanti and Jihui Nie",
note = "Publisher Copyright: {\textcopyright} 2022 ACM.; 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022 ; Conference date: 10-10-2022 Through 14-10-2022",
year = "2022",
month = sep,
day = "19",
doi = "10.1145/3551349.3559533",
language = "英语",
series = "ACM International Conference Proceeding Series",
publisher = "Association for Computing Machinery",
editor = "Mario Aehnelt and Thomas Kirste",
booktitle = "37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022",
address = "美国",
}