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

Sergio Quijano; Mahsa Varshosaz

doi:10.1109/ICST53961.2022.00063

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

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-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 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	https://doi.org/10.1109/ICST53961.2022.00063 https://doi.org/10.1109/ICST53961.2022.00063
Publication status	Published - 8 Jun 2022
Event	International Conference on Software Testing, Verification and Validation - Valencia, Spain Duration: 4 Apr 2022 → 14 Apr 2022

Conference

Conference	International Conference on Software Testing, Verification and Validation
Country/Territory	Spain
City	Valencia
Period	04/04/2022 → 14/04/2022
Sponsor	IEEE - Institute of Electrical and Electronics Engineers

Keywords

Software testing
Planning
Autonomous
Safety
Cognition
Reliability engineering
underwater vehicles

Access to Document

SergioQuijano_MBT_DS_ICST2022_OpenAccessAccepted author manuscript, 82.4 KB

https://remaro.eu/wp-content/uploads/2022/09/SergioQuijano_MBT_DS_ICST2022_OpenAccess.pdf

Cite this

@inproceedings{4bea483972ef47ea8e7f20208c6a8cfd,

title = "Model-Based Testing for System-Level Safety of Autonomous Underwater Robots",

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.",

keywords = "Software testing, Planning, Autonomous, Safety, Cognition, Reliability engineering, underwater vehicles, Software testing, Planning, Autonomous, Safety, Cognition, Reliability engineering, underwater vehicles",

author = "Sergio Quijano and Mahsa Varshosaz",

year = "2022",

month = jun,

day = "8",

doi = "10.1109/ICST53961.2022.00063",

language = "English",

isbn = "978-1-6654-6680-6",

pages = "486--488",

booktitle = "2022 IEEE Conference on Software Testing, Verification and Validation (ICST)",

publisher = "IEEE",

address = "United States",

note = "International Conference on Software Testing, Verification and Validation , ICST ; Conference date: 04-04-2022 Through 14-04-2022",

}

Quijano, S & Varshosaz, M 2022, Model-Based Testing for System-Level Safety of Autonomous Underwater Robots. in 2022 IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, Valencia, Spain, pp. 486-488, International Conference on Software Testing, Verification and Validation , Valencia, Spain, 04/04/2022. https://doi.org/10.1109/ICST53961.2022.00063, https://doi.org/10.1109/ICST53961.2022.00063

TY - GEN

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

AU - Quijano, Sergio

AU - Varshosaz, Mahsa

PY - 2022/6/8

Y1 - 2022/6/8

N2 - 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.

AB - 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.

KW - Software testing

KW - Planning

KW - Autonomous

KW - Safety

KW - Cognition

KW - Reliability engineering

KW - underwater vehicles

KW - Software testing

KW - Planning

KW - Autonomous

KW - Safety

KW - Cognition

KW - Reliability engineering

KW - underwater vehicles

U2 - 10.1109/ICST53961.2022.00063

DO - 10.1109/ICST53961.2022.00063

M3 - Article in proceedings

SN - 978-1-6654-6680-6

SP - 486

EP - 488

BT - 2022 IEEE Conference on Software Testing, Verification and Validation (ICST)

PB - IEEE

CY - Valencia, Spain

T2 - International Conference on Software Testing, Verification and Validation

Y2 - 4 April 2022 through 14 April 2022

ER -

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

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this