ICST 2024
Mon 27 - Fri 31 May 2024 Canada
Mon 27 May 2024 16:30 - 17:00 at Room 1 - Session 4 Chair(s): Martin Tappler

Autonomous Underwater Vehicles are increasingly used in missions for marine applications. However, the particular characteristics of underwater vehicles and their environment make testing the vehicles’ behavior in operational conditions extremely expensive. Yet, safety validation is an essential requirement for deploying underwater vehicles. Formal models for safety analysis can lower the cost of operational testing and validation for these systems, as they would allow detecting many problems earlier. Nevertheless, the literature still lacks the design of formal models which could serve as specifications in model-in-the-loop testing of the underwater controllers. This paper proposes modeling the underwater vehicle’s behavior as Timed Automata, and discusses examples of safety property patterns which can be handled by Timed Automata monitors and Timed CTL properties. The goal is to build a set of specifications (models and properties) which can then be used for testing and validation of controllers in underwater vehicles.

Mon 27 May

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:30
Session 4A-MOST at Room 1
Chair(s): Martin Tappler TU Wien, Austria
16:00
30m
Short-paper
Coverage measurement in model-based testing of web applications: Tool support and an industrial experience report
A-MOST
16:30
30m
Short-paper
Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors
A-MOST
Sergio Quijano IT University of Copenhagen, Mahsa Varshosaz IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark
17:00
30m
Full-paper
Optimizing Model-based Generated Tests: Leveraging Machine Learning for Test Reduction
A-MOST
Muhammad Nouman Zafar Malardalen University, Wasif Afzal Mälardalen University, Eduard Paul Enoiu Mälardalen University, Zulqarnain Haider , Inderjeet Singh Alstom