RoboTool

RoboTool supports graphical modelling, validation, and automatic generation of mathematical definitions for proof of properties of RoboChart models, with proof automated using model checking. The RoboChart notation is distinctive in its features that support architectural modelling as well as timed constructs in state machines.

Documentation

Below you can find the RoboTool reference manual that describes in detail how to install and use the tool. We include direct links to the ECore models that implement the metamodels of RoboChart and RoboSim in Eclipse.

• RoboTool Manual (old version)
• RoboTool Developer’s Manual
• RoboChart Ecore Metamodel
• RoboSim Ecore Metamodel
• RoboChart simulation framework API

Reference manuals for the notations supported by RoboTool are in available in the Notations section.

Download

Currently, the recommended way to install RoboTool is by downloading a packaged installation from the RoboTool GitHub releases. We also provide a mirror here. The packages consist of an Eclipse 2012-12 environment with a distribution of Java Runtime Environment based on OpenJDK.

We recommend that RoboTool is executed on Ubuntu Linux (LTS).

For alternative installation methods, using the Eclipse installer or an Eclipse update site follow the detailed procedures described in Section 2.1 of the RoboTool manual.

Installation using Eclipse update site

Alternatively, RoboTool can be installed using the update https://robostar.cs.york.ac.uk/robotool/update/ from within a working installation of Eclipse 2021-12.

Requirements

• Eclipse 2021-12

Currently, RoboTool targets Eclipse 2021-12, and runs on Java 17. Please note that the graphical editors for RoboChart and RoboSim are incompatible with versions of Eclipse 2022 or above. We suggest installing RoboTool on the package Eclipse Modeling Tools to avoid conflicts between dependencies. Installation is also possible using the Eclipse installer, which also provides the facility to install Java at the same time.

Important installation notice when using update site

Installation of RoboTool plugins may fail with a cryptic error message “Public key not found for 70b824d9a6b4ae29”. To workaround this problem, go to Preferences > Install/Update > Available Software Sites and disable the following two entries:

• Latest Eclipse IDE Packages Release
• Latest Eclipse Simultaneous Release
• If it exists, an entry whose location is ‘https://download.eclipse.org/modeling/tmf/xtext/updates/composite/releases/’

There should be an entry for the correct Eclipse release 2012-12 (http://download.eclipse.org/releases/2021-12), which should be left enabled.

RoboCert plug-in

To use the RoboCert plug-in, please follow the instructions at https://github.com/UoY-RoboStar/robocert-evaluation/blob/main/tool/README.md. Please note that the RoboCert plug-in requires running Eclipse with Java 17.

Register for updates

Subscribe to the RoboTool announcement mailing list below to receive notifications about new updates.