International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
Time: Thursday, 31.10
Room: Room 4
Authors: Mahsa Varshosaz
Abstract: Exploring oceans and monitoring underwater infrastructure is becoming ever more important. Autonomous underwater robots are used to operate tasks in hostile and dangerous underwater environment without human intervention. To achieve their full potential, the safety and reliability of their behavior is crucial, as their malfunction or loss can lead to catastrophic consequences. In this paper, we provide a case study involving the simulation of underwater robots and the analysis of a set of safety properties of the robots using runtime monitoring. We demonstrate the challenges in checking such properties in this context.
Paper: Download