RoboWorld: Where Can My Robot Work?

TY - GEN

T1 - RoboWorld

T2 - 19th International Conference on Software Engineering and Formal Methods, SEFM 2021

AU - Cavalcanti, Ana

AU - Baxter, James

AU - Carvalho, Gustavo

N1 - Funding Information: Acknowledgements. The work reported here is funded by the Royal Academy of Engineering grant CiET1718/45, UK EPSRC grants EP/M025756/1 and EP/R025479/1, and UKRI TAS Verifiability Node EP/V026801/1. We are grateful to RoboStar for various discussions on RoboWorld. Publisher Copyright: © 2021, Springer Nature Switzerland AG.

PY - 2021/12/3

Y1 - 2021/12/3

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

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

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

U2 - 10.1007/978-3-030-92124-8_1

DO - 10.1007/978-3-030-92124-8_1

M3 - Conference contribution

AN - SCOPUS:85121908573

SN - 9783030921231

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 3

EP - 22

BT - Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings

A2 - Calinescu, Radu

A2 - Pasareanu, Corina S.

PB - Springer Science and Business Media Deutschland GmbH

Y2 - 6 December 2021 through 10 December 2021

ER -