Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors

Sergio Quijano; Mahsa Varshosaz; Andrzej Wasowski

doi:10.1109/ICSTW60967.2024.00022

Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

Abstract

Testing underwater vehicles in operational conditions is expensive. Formal models can lower the cost of operational testing and validation for these systems, as they allow detecting problems earlier. We propose modeling the underwater vehicle’s behavior as Timed Automata, and discuss examples of property patterns which can be handled by observer Timed Automata and Timed CTL properties. The goal is to build a set of specifications which can then be used for testing and validation of controllers in underwater vehicles.

Originalsprog	Engelsk
Titel	2024 IEEE International Conference on Software Testing, Verification and Validation Workshops
Antal sider	5
Publikationsdato	27 maj 2024
ISBN (Elektronisk)	979-8-3503-4479-0
DOI	https://doi.org/10.1109/ICSTW60967.2024.00022
Status	Udgivet - 27 maj 2024
Begivenhed	International Conference on Software Testing, Verification and Validation - Toronto, Canada Varighed: 27 maj 2024 → 31 maj 2024 Konferencens nummer: 17 https://conf.researchr.org/home/icst-2024

Konference

Konference	International Conference on Software Testing, Verification and Validation
Nummer	17
Land/Område	Canada
By	Toronto
Periode	27/05/2024 → 31/05/2024
Internetadresse	https://conf.researchr.org/home/icst-2024

Adgang til dokumentet

10.1109/ICSTW60967.2024.00022

Citationsformater

@inproceedings{54cb5410342b4b42b37c8c48b63e83aa,

title = "Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors",

abstract = "Testing underwater vehicles in operational conditions is expensive. Formal models can lower the cost of operational testing and validation for these systems, as they allow detecting problems earlier. We propose modeling the underwater vehicle{\textquoteright}s behavior as Timed Automata, and discuss examples of property patterns which can be handled by observer Timed Automata and Timed CTL properties. The goal is to build a set of specifications which can then be used for testing and validation of controllers in underwater vehicles.",

keywords = "control, Model-based testing, autonomous underwater robots, Safety",

author = "Sergio Quijano and Mahsa Varshosaz and Andrzej Wasowski",

year = "2024",

month = may,

day = "27",

doi = "10.1109/ICSTW60967.2024.00022",

language = "English",

booktitle = "2024 IEEE International Conference on Software Testing, Verification and Validation Workshops",

note = "International Conference on Software Testing, Verification and Validation, ICST ; Conference date: 27-05-2024 Through 31-05-2024",

url = "https://conf.researchr.org/home/icst-2024",

}

Quijano, S , Varshosaz, M & Wasowski, A 2024, Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors. i 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops. International Conference on Software Testing, Verification and Validation, Toronto, Ontario, Canada, 27/05/2024. https://doi.org/10.1109/ICSTW60967.2024.00022

TY - GEN

T1 - Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors

AU - Quijano, Sergio

AU - Varshosaz, Mahsa

AU - Wasowski, Andrzej

N1 - Conference code: 17

PY - 2024/5/27

Y1 - 2024/5/27

N2 - Testing underwater vehicles in operational conditions is expensive. Formal models can lower the cost of operational testing and validation for these systems, as they allow detecting problems earlier. We propose modeling the underwater vehicle’s behavior as Timed Automata, and discuss examples of property patterns which can be handled by observer Timed Automata and Timed CTL properties. The goal is to build a set of specifications which can then be used for testing and validation of controllers in underwater vehicles.

AB - Testing underwater vehicles in operational conditions is expensive. Formal models can lower the cost of operational testing and validation for these systems, as they allow detecting problems earlier. We propose modeling the underwater vehicle’s behavior as Timed Automata, and discuss examples of property patterns which can be handled by observer Timed Automata and Timed CTL properties. The goal is to build a set of specifications which can then be used for testing and validation of controllers in underwater vehicles.

KW - control

KW - Model-based testing

KW - autonomous underwater robots

KW - Safety

U2 - 10.1109/ICSTW60967.2024.00022

DO - 10.1109/ICSTW60967.2024.00022

M3 - Article in proceedings

BT - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops

T2 - International Conference on Software Testing, Verification and Validation

Y2 - 27 May 2024 through 31 May 2024

ER -

Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors

Abstract

Konference

Adgang til dokumentet

Fingeraftryk

Citationsformater