Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors

被引：1
|
作者：
Quijano, Sergio [1 ]
Varshosaz, Mahsa [1 ]
Wasowski, Andrzej [1 ]
机构：
[1] IT Univ Copenhagen, Copenhagen, Denmark
来源：
2024 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW 2024 | 2024年
关键词：
Model-based testing; autonomous underwater robots; safety; control;
D O I：
10.1109/ICSTW60967.2024.00022
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
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.
引用
收藏
页码：63 / 67
页数：5
相关论文
共 50 条
  • [41] THRUSTER INTERACTIONS ON AUTONOMOUS UNDERWATER VEHICLES
    Palmer, Alistair R.
    Hearn, Grant E.
    Stevenson, Peter
    OMAE 2009, VOL 4, PTS A AND B, 2009, : 503 - 511
  • [42] Tracking multiple Autonomous Underwater Vehicles
    José Melo
    Aníbal C. Matos
    Autonomous Robots, 2019, 43 : 1 - 20
  • [43] The legal status of autonomous underwater vehicles
    Showalter, S
    MARINE TECHNOLOGY SOCIETY JOURNAL, 2004, 38 (01) : 80 - 83
  • [44] Power sources for autonomous underwater vehicles
    Hasvold, Oistein
    Storkersen, Nils J.
    Forseth, Sissel
    Lian, Torleif
    JOURNAL OF POWER SOURCES, 2006, 162 (02) : 935 - 942
  • [45] Tracking multiple Autonomous Underwater Vehicles
    Melo, Jose
    Matos, Anibal C.
    AUTONOMOUS ROBOTS, 2019, 43 (01) : 1 - 20
  • [46] Power systems for autonomous underwater vehicles
    Bradley, AM
    Feezor, MD
    Singh, H
    Sorrell, FY
    IEEE JOURNAL OF OCEANIC ENGINEERING, 2001, 26 (04) : 526 - 538
  • [47] Development of autonomous underwater vehicles in Japan
    Ura, T
    ADVANCED ROBOTICS, 2002, 16 (01) : 3 - 15
  • [48] Autonomous underwater vehicles: Instrumentation and measurements
    Bernelte Sanchez, Pedro Jose
    Papaelias, Mayorkinos
    Garcia Marquez, Fausto Pedro
    IEEE INSTRUMENTATION & MEASUREMENT MAGAZINE, 2020, 23 (02) : 105 - 114
  • [49] An Adaptive Controller for Autonomous Underwater Vehicles
    Barbalata, Corina
    De Carolis, Valerio
    Dunnigan, Matthew W.
    Petillot, Yvan
    Lane, David
    2015 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2015, : 1658 - 1663
  • [50] Visual Odometry for Autonomous Underwater Vehicles
    Wirth, Stephan
    Negre Carrasco, Pep Lluis
    Oliver Codina, Gabriel
    2013 MTS/IEEE OCEANS - BERGEN, 2013,
12345