Assessing Dependability of Multi-robotic Systems within Formal Development
Elena Troubitsynå · 2022
Ensuring the dependability of autonomous systems such as multi-robotic systems is a challenging engineering issue. It requires development techniques that allow the designers to predict the main dependability characteristics at the early design stages. In this paper, we present an integrated approach combining formal modelling in Event-B with discrete-event simulation to assess the dependability of multi-robotic systems. Event-B allows us to derive a complex system architecture in a correct-by-construction way, while discrete-event simulation enables quantitative assessment of the dependability of multi-robotic systems during executing safety-critical missions.