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

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

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 languageEnglish
Title of host publication2022 IEEE Conference on Software Testing, Verification and Validation (ICST)
Number of pages2
PublisherIEEE
Publication date8 Jun 2022
Pages486-488
ISBN (Print)978-1-6654-6680-6
ISBN (Electronic)978-1-6654-6679-0
DOIs
Publication statusPublished - 8 Jun 2022
EventInternational Conference on Software Testing, Verification and Validation (ICST) - Valencia, Spain
Duration: 4 Apr 202214 Aug 2022

Conference

ConferenceInternational Conference on Software Testing, Verification and Validation (ICST)
Country/TerritorySpain
CityValencia
Period04/04/202214/08/2022

Fingerprint

Dive into the research topics of 'Model-Based Testing for System-Level Safety of Autonomous Underwater Robots'. Together they form a unique fingerprint.

Cite this