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 | |
| Publication status | Published - 27 May 2024 |
| Event | International Conference on Software Testing, Verification and Validation - Toronto, Canada Duration: 27 May 2024 → 31 May 2024 Conference number: 17 https://conf.researchr.org/home/icst-2024 |
Conference
| Conference | International Conference on Software Testing, Verification and Validation |
|---|---|
| Number | 17 |
| Country/Territory | Canada |
| City | Toronto |
| Period | 27/05/2024 → 31/05/2024 |
| Internet address |
Keywords
- control
- Model-based testing
- autonomous underwater robots
- Safety
Fingerprint
Dive into the research topics of 'Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver