Abstract | ||
---|---|---|
The behaviour of a robot affects and is affected by its environment. So, many of the expected and desirable properties of a robotic system depend on properties of its environment. While a complete model of that environment is very difficult, if not impossible, to construct, we can realistically capture assumptions about it. In this paper, we present RoboWorld, a controlled natural language with a process algebraic semantics that can be used to define (a) the operational requirements of a robot, and (b) how the robot interacts with its environment. RoboWorld is part of the RoboStar framework of domain-specific languages that support proof, simulation, and testing of robotic systems. RoboWorld plays a central role in all these forms of verification. |
Year | DOI | Venue |
---|---|---|
2021 | 10.1007/978-3-030-92124-8_1 | SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2021) |
DocType | Volume | ISSN |
Conference | 13085 | 0302-9743 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ana Cavalcanti | 1 | 1 | 1.03 |
James Baxter | 2 | 0 | 0.34 |
Gustavo Carvalho | 3 | 0 | 0.34 |