RoboTool

Alvaro Heiji Miyazawa; Pedro Fernando De Oliveira Salazar Ribeiro; Wei Li; Ana Lucia Caneca Cavalcanti; Jonathan Ian Timmis

RoboTool

Alvaro Heiji Miyazawa, Pedro Fernando De Oliveira Salazar Ribeiro, Wei Li, Ana Lucia Caneca Cavalcanti (Director), Jonathan Ian Timmis (Director)

Research output: Non-textual form › Software

Abstract

This is a set of Eclipse plugin that provides a number of functionalities related to RoboCalc and RoboChart. In particular, RoboTool provides a graphical editor for RoboChart, support for static analysis (type checking and well-formedness conditions), and automatic generation of both untimed and timed semantics. The generated semantics can be used directly for model checking.

Original language	English
Media of output	Online
Publication status	Published - 20 May 2016

Keywords

robotics
IDE
DSL
code generation
formal semantics
refinement
VERIFICATION
CSP
timed CSP

Cite this

@misc{448c917dea914ea4942eac7435a55615,

title = "RoboTool",

abstract = "This is a set of Eclipse plugin that provides a number of functionalities related to RoboCalc and RoboChart. In particular, RoboTool provides a graphical editor for RoboChart, support for static analysis (type checking and well-formedness conditions), and automatic generation of both untimed and timed semantics. The generated semantics can be used directly for model checking.",

keywords = "robotics, IDE, DSL, code generation, formal semantics, refinement, VERIFICATION, CSP, timed CSP",

author = "Miyazawa, {Alvaro Heiji} and {De Oliveira Salazar Ribeiro}, {Pedro Fernando} and Wei Li and Cavalcanti, {Ana Lucia Caneca} and Timmis, {Jonathan Ian}",

year = "2016",

month = may,

day = "20",

language = "English",

}

TY - ADVS

T1 - RoboTool

AU - Miyazawa, Alvaro Heiji

AU - De Oliveira Salazar Ribeiro, Pedro Fernando

AU - Li, Wei

A2 - Cavalcanti, Ana Lucia Caneca

A2 - Timmis, Jonathan Ian

PY - 2016/5/20

Y1 - 2016/5/20

N2 - This is a set of Eclipse plugin that provides a number of functionalities related to RoboCalc and RoboChart. In particular, RoboTool provides a graphical editor for RoboChart, support for static analysis (type checking and well-formedness conditions), and automatic generation of both untimed and timed semantics. The generated semantics can be used directly for model checking.

AB - This is a set of Eclipse plugin that provides a number of functionalities related to RoboCalc and RoboChart. In particular, RoboTool provides a graphical editor for RoboChart, support for static analysis (type checking and well-formedness conditions), and automatic generation of both untimed and timed semantics. The generated semantics can be used directly for model checking.

KW - robotics

KW - IDE

KW - DSL

KW - code generation

KW - formal semantics

KW - refinement

KW - VERIFICATION

KW - CSP

KW - timed CSP

UR - https://www.cs.york.ac.uk/circus/RoboCalc/robotool/

M3 - Software

ER -

RoboTool

Abstract

Keywords

Other files and links

A Calculus for Software Engineering of Mobile and Autonomous Robots

Cite this

RoboTool

Abstract

Keywords

Other files and links

Projects

A Calculus for Software Engineering of Mobile and Autonomous Robots

Cite this