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

doi:10.1007/978-3-030-66494-7_9

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 proceeding › Chapter

Abstract

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 language	English
Title of host publication	Software Engineering for Robotics
Publisher	Springer International Publishing AG
Pages	249-293
Number of pages	45
ISBN (Electronic)	9783030664947
ISBN (Print)	9783030664930
DOIs	https://doi.org/10.1007/978-3-030-66494-7_9
Publication status	Published - 5 Jul 2021

Bibliographical note

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

Access to Document

10.1007/978-3-030-66494-7_9

Cite this

@inbook{2ac761c592154602aa95a5d7d668f179,

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

abstract = "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.",

author = "Ana Cavalcanti and Will Barnett and James Baxter and Gustavo Carvalho and Filho, {Madiel Conserva} and Alvaro Miyazawa and Pedro Ribeiro and Augusto Sampaio",

year = "2021",

month = jul,

day = "5",

doi = "10.1007/978-3-030-66494-7_9",

language = "English",

isbn = "9783030664930",

pages = "249--293",

booktitle = "Software Engineering for Robotics",

publisher = "Springer International Publishing AG",

address = "Switzerland",

}

TY - CHAP

T1 - Robostar technology

T2 - A roboticist's toolbox for combined proof, simulation, and testing

AU - Cavalcanti, Ana

AU - Barnett, Will

AU - Baxter, James

AU - Carvalho, Gustavo

AU - Filho, Madiel Conserva

AU - Miyazawa, Alvaro

AU - Ribeiro, Pedro

AU - Sampaio, Augusto

PY - 2021/7/5

Y1 - 2021/7/5

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85164752869&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-66494-7_9

DO - 10.1007/978-3-030-66494-7_9

M3 - Chapter

AN - SCOPUS:85164752869

SN - 9783030664930

SP - 249

EP - 293

BT - Software Engineering for Robotics

PB - Springer International Publishing AG

ER -

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

Abstract

Bibliographical note

Access to Document

Other files and links

Cite this