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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › 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.

Originalsprog	Engelsk
Titel	2022 IEEE Conference on Software Testing, Verification and Validation (ICST)
Antal sider	2
Udgivelsessted	Valencia, Spain
Forlag	IEEE
Publikationsdato	8 jun. 2022
Sider	486-488
ISBN (Trykt)	978-1-6654-6680-6
ISBN (Elektronisk)	978-1-6654-6679-0
DOI	https://doi.org/10.1109/ICST53961.2022.00063 https://doi.org/10.1109/ICST53961.2022.00063
Status	Udgivet - 8 jun. 2022
Begivenhed	2022 IEEE Conference on Software Testing, Verification and Validation (ICST) - Valencia, Spanien Varighed: 4 apr. 2022 → 14 apr. 2022

Konference

Konference	2022 IEEE Conference on Software Testing, Verification and Validation (ICST)
Land/Område	Spanien
By	Valencia
Periode	04/04/2022 → 14/04/2022

Emneord

Software testing
Planning
Autonomous
Safety
Cognition
Reliability engineering
underwater vehicles

Adgang til dokumentet

SergioQuijano_MBT_DS_ICST2022_OpenAccessAccepteret manuskript, 82,4 KB

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

Citationsformater

@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 = "2022 IEEE 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. i 2022 IEEE Conference on Software Testing, Verification and Validation (ICST). IEEE, Valencia, Spain, s. 486-488, 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), Valencia, Spanien, 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 - 2022 IEEE Conference on Software Testing, Verification and Validation (ICST)

Y2 - 4 April 2022 through 14 April 2022

ER -

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

Abstract

Konference

Emneord

Adgang til dokumentet

Fingeraftryk

Citationsformater