Department of Computer Science
RoboStar
  1. RoboStar
  2. RoboTool

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.

RoboTool screenshot


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.

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 17 Runtime Environment based on OpenJDK.

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

RoboWorld

There are separate installation instructions for the RoboWorld plugin.

Modelling with Artificial Neural Network (ANN) components

A beta version of RoboTool with support for modelling ANN components in RoboChart is available as a packaged installation from the robotool-ann GitHub releases page.

Installation using the Eclipse installer or update site

For alternative installation methods, for example, using the Eclipse installer or an Eclipse update site follow the detailed procedures described in Sections 2.2 and 2.3 of the RoboTool manual. When using those installation methods please note that: RoboTool must be installed under Eclipse 2021-12, and that the graphical editors for RoboChart and RoboSim are incompatible with versions of Eclipse 2022 or above.

Register for updates

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

indicates required

Plugins for which you wish to receive updates

Email Format

RoboTool, c/o Alvaro Miyazawa will use the information you provide on this form to be in touch with you and to provide updates. Please let us know if you would like to hear from us:

You can change your mind at any time by clicking the unsubscribe link in the footer of any email you receive from us, or by contacting us at robocharttool@gmail.com. We will treat your information with respect. For more information about our privacy practices please visit our website. By clicking below, you agree that we may process your information in accordance with these terms.

We use Mailchimp as our marketing platform. By clicking below to subscribe, you acknowledge that your information will be transferred to Mailchimp for processing. Learn more about Mailchimp's privacy practices here.

Funding

Department of Computer Science
Deramore Lane, University of York, Heslington, York, YO10 5GH, UK
Tel: 01904 325500
University of York legal statements

Powered by Jekyll, developed by Pedro Ribeiro, based on theme by Scott Emmons under Creative Commons Attribution