Robostar technology: A roboticist's toolbox for combined proof, simulation, and testing

Ana Cavalcanti*, Will Barnett, James Baxter, Gustavo Carvalho, Madiel Conserva Filho, Alvaro Miyazawa, Pedro Ribeiro, Augusto Sampaio

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapter


Simulation is favored by roboticists to evaluate controller design and software. Often, state machines are drawn to convey overall ideas and used as a basis to program tool-specific simulations. The simulation code, written in general or proprietary programming languages, is, however, the only full account of the robotic system. Here, we present the RoboStar technology, a modern approach to design that supports automatic generation of simulation code guaranteed to be correct with respect to a design model, and complements simulation with model checking, theorem proving, and automatic test generation for simulation. Diagrammatic domain-specific, but tool-independent, notations for design and simulation use state machines, differential equations, and controlled English to specify behavior. We illustrate the RoboStar approach using an autonomous vehicle as an example.

Original languageEnglish
Title of host publicationSoftware Engineering for Robotics
PublisherSpringer International Publishing AG
Number of pages45
ISBN (Electronic)9783030664947
ISBN (Print)9783030664930
Publication statusPublished - 5 Jul 2021

Bibliographical note

Publisher Copyright:
© Springer Nature Switzerland AG 2021. All rights reserved.

Cite this