Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | 2022 IEEE Conference on Software Testing, Verification and Validation (ICST) |
| Number of pages | 2 |
| Place of Publication | Valencia, Spain |
| Publisher | IEEE |
| Publication date | 8 Jun 2022 |
| Pages | 486-488 |
| ISBN (Print) | 978-1-6654-6680-6 |
| ISBN (Electronic) | 978-1-6654-6679-0 |
| DOIs | |
| Publication status | Published - 8 Jun 2022 |
| Event | 2022 IEEE Conference on Software Testing, Verification and Validation (ICST) - Valencia, Spain Duration: 4 Apr 2022 → 14 Apr 2022 |
Conference
| Conference | 2022 IEEE Conference on Software Testing, Verification and Validation (ICST) |
|---|---|
| Country/Territory | Spain |
| City | Valencia |
| Period | 04/04/2022 → 14/04/2022 |
Keywords
- Software testing
- Planning
- Autonomous
- Safety
- Cognition
- Reliability engineering
- underwater vehicles