For the deployment of autonomous robotic systems in mission- and safety-critical underwater environments, aspects such as reasoning and planning need to be designed to operate in highly dynamic, uncertain environments while assuring a safe and reliable operation. However, systems are often designed or developed with safety analysis as a separate engineering process. In this paper, to tackle these challenges, we propose an initial research vision and plan with the envisioned contributions towards designing an approach for system-wide modeling and Model-Based Testing to support safety assessments of autonomous underwater robots.
|Titel||2022 IEEE Conference on Software Testing, Verification and Validation (ICST)|
|Publikationsdato||8 jun. 2022|
|Status||Udgivet - 8 jun. 2022|
|Begivenhed||International Conference on Software Testing, Verification and Validation (ICST) - Valencia, Spanien|
Varighed: 4 apr. 2022 → 14 aug. 2022
|Konference||International Conference on Software Testing, Verification and Validation (ICST)|
|Periode||04/04/2022 → 14/08/2022|