RoboTool: Modelling and Verification with RoboChart
Authors: Alvaro Miyazawa, Ana Cavalcanti, Simon Foster, Wei Li, Pedro Ribeiro, Jon Timmis and Jim Woodcock
Paper Information
| Title: | RoboTool: Modelling and Verification with RoboChart |
| Authors: | Alvaro Miyazawa, Ana Cavalcanti, Simon Foster, Wei Li, Pedro Ribeiro, Jon Timmis and Jim Woodcock |
| Proceedings: | VaVAS Proceedings |
| Editors: | Clare Dixon, Brian Logan and Alessio Lomuscio |
| Keywords: | State machine, Verification, Simulation, Model checking, Theorem proving |
| Abstract: | ABSTRACT. We propose to demonstrate the application of RoboChart and its associated tool, RoboTool, for the verification and validation of robotic applications. In our demonstration, we will consider a few small examples for illustration, and the larger example of a transporter. It is part of a swarm and cooperates with other identical robots to push an object to a target location. |
| Pages: | 2 |
| Talk: | Jul 19 10:00 (Session 130I: Invited Speaker; Robotics I) |
| Paper: |  |