Model-Based Testing for System-Level Safety of Autonomous Underwater Robots

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

Abstrakt

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.
OriginalsprogEngelsk
Titel2022 IEEE Conference on Software Testing, Verification and Validation (ICST)
Antal sider2
ForlagIEEE
Publikationsdato8 jun. 2022
Sider486-488
ISBN (Trykt)978-1-6654-6680-6
ISBN (Elektronisk)978-1-6654-6679-0
DOI
StatusUdgivet - 8 jun. 2022
BegivenhedInternational Conference on Software Testing, Verification and Validation (ICST) - Valencia, Spanien
Varighed: 4 apr. 202214 aug. 2022

Konference

KonferenceInternational Conference on Software Testing, Verification and Validation (ICST)
Land/OmrådeSpanien
ByValencia
Periode04/04/202214/08/2022

Fingeraftryk

Dyk ned i forskningsemnerne om 'Model-Based Testing for System-Level Safety of Autonomous Underwater Robots'. Sammen danner de et unikt fingeraftryk.

Citationsformater