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

Sergio Quijano, Mahsa Varshosaz, Andrzej Wasowski

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › 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.

Original language	English
Title of host publication	2024 IEEE International Conference on Software Testing, Verification and Validation Workshops
Number of pages	5
Publication date	27 May 2024
ISBN (Electronic)	979-8-3503-4479-0
DOIs	https://doi.org/10.1109/ICSTW60967.2024.00022
Publication status	Published - 27 May 2024

Keywords

control
Model-based testing
autonomous underwater robots
Safety

Access to Document

10.1109/ICSTW60967.2024.00022

Cite this

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

}

TY - GEN

T1 - Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors

AU - Quijano, Sergio

AU - Varshosaz, Mahsa

AU - Wasowski, Andrzej

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

ER -

Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors

Abstract

Keywords

Access to Document

Fingerprint

Cite this