Abstract
Exploring oceans and monitoring underwater infrastructure is becoming ever more important. Autonomous underwater robots are used to operate tasks in hostile and dangerous underwater environment without human intervention. To achieve their full potential, the safety and reliability of their behavior is crucial, as their malfunction or loss can lead to catastrophic consequences. In this paper, we provide a case study involving the simulation of underwater robots and the analysis of a set of safety properties of the robots using runtime monitoring. We demonstrate the challenges in checking such properties in this context.
This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Sklodowska-Curie grant agreement No 956200 REMARO, Reliable AI for Marine Robotics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Aslansefat, K.: A strategy for reliability evaluation and fault diagnosis of autonomous underwater gliding robot based on its fault tree (MATLAB Simulink), June 2015. https://doi.org/10.13140/RG.2.1.4616.4240
Bian, X., Mou, C., Yan, Z., Xu, J.: Simulation model and fault tree analysis for AUV. In: 2009 International Conference on Mechatronics and Automation, pp. 4452–4457 (2009). https://doi.org/10.1109/ICMA.2009.5246716
Blidberg, D.R., Turner, R.M., Chappell, S.G.: Autonomous underwater vehicles: current activities and research opportunities. Robotics Auton. Syst. 7, 139–150 (1991). https://api.semanticscholar.org/CorpusID:37681764
Brito, M.P.: Uncertainty management during hybrid autonomous underwater vehicle missions. In: 2016 IEEE/OES Autonomous Underwater Vehicles (AUV), pp. 278–285 (2016). https://doi.org/10.1109/AUV.2016.7778684
Brito, M.P., Griffiths, G., Challenor, P.: Risk analysis for autonomous underwater vehicle operations in extreme environments. Risk Anal. 30(12), 1771–1788 (2010). https://doi.org/10.1111/j.1539-6924.2010.01476.x, https://onlinelibrary.wiley.com/doi/abs/10.1111/j.1539-6924.2010.01476.x
Chang, Y., Brito, M.: On the reliability of experts’ assessments for autonomous underwater vehicle risk of loss prediction: are optimists better than pessimists? September 2018
Chen, X., Bose, N., Brito, M.P., Khan, F., Thanyamanta, B., Zou, T.: A review of risk analysis research for the operations of autonomous underwater vehicles. Reliab. Eng. Syst. Saf. 216, 108011 (2021). https://api.semanticscholar.org/CorpusID:239265830
Cieślak, P.: Stonefish: an advanced open-source simulation tool designed for marine robotics, with a ROS interface. In: OCEANS 2019 - Marseille, pp. 1–6 (2019). https://doi.org/10.1109/OCEANSE.2019.8867434
Ciuccoli, N., Screpanti, L., Scaradozzi, D.: Underwater simulators analysis for digital twinning. IEEE Access 12, 34306–34324 (2024). https://doi.org/10.1109/ACCESS.2024.3370443
Epic Games: Unreal Engine (2019). https://www.unrealengine.com
Ganoni, O., Mukundan, R., Green, R.: A generalized simulation framework for tethered remotely operated vehicles in realistic underwater environments. Drones 3(1), 1 (2019). https://doi.org/10.3390/drones3010001, https://www.mdpi.com/2504-446X/3/1/1
Garg, S., Quintas, J., Cruz, J., Pascoal, A.M.: NetMarSyS - a tool for the simulation and visualization of distributed autonomous marine robotic systems. In: 2020 IEEE/OES Autonomous Underwater Vehicles Symposium (AUV), pp. 1–5 (2020). https://doi.org/10.1109/AUV50043.2020.9267922
Griffiths, G., Collins, K. (eds.): Masterclass in AUV technology for Polar science: collaborative Autosub science in extreme environments. In: Proceedings of the International Masterclass, 28–30 March 2006, National Oceanography Centre, Southampton, UK. Society for Underwater Technology (2007). https://eprints.soton.ac.uk/46019/, cD-ROM in back pocket
Harris, C.A., Phillips, A.B., Dopico-Gonzalez, C., Brito, M.P.: Risk and reliability modelling for multi-vehicle marine domains. In: 2016 IEEE/OES Autonomous Underwater Vehicles (AUV), pp. 286–293 (2016). https://doi.org/10.1109/AUV.2016.7778685
Katara, P., Khanna, M., Nagar, H., Panaiyappan, A.: Open source simulator for unmanned underwater vehicles using ROS and Unity3D. In: 2019 IEEE Underwater Technology (UT), pp. 1–7 (2019). https://doi.org/10.1109/UT.2019.8734309
Kermorgant, O.: A dynamic simulator for underwater vehicle-manipulators. In: Brugali, D., Broenink, J.F., Kroeger, T., MacDonald, B.A. (eds.) Simulation, Modeling, and Programming for Autonomous Robots, pp. 25–36. Springer, Cham (2014)
Koenig, N., Howard, A.: Design and use paradigms for gazebo, an open-source multi-robot simulator. In: 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No. 04CH37566), vol. 3, pp. 2149–2154 (2004). https://doi.org/10.1109/IROS.2004.1389727
Loh, T.Y., Brito, M.P., Bose, N., Xu, J., Tenekedjiev, K.: Fuzzy system dynamics risk analysis (FuSDRA) of autonomous underwater vehicle operations in the Antarctic. Risk Anal. 40(4), 818–841 (2020). https://doi.org/10.1111/risa.13429, https://onlinelibrary.wiley.com/doi/abs/10.1111/risa.13429
Loh, T.Y., Brito, M.P., Bose, N., Xu, J., Tenekedjiev, K.: Policy recommendations for autonomous underwater vehicle operations through hybrid fuzzy system (2019). https://api.semanticscholar.org/CorpusID:213270763
Manhães, M.M.M., Scherer, S.A., Voss, M., Douat, L.R., Rauschenbach, T.: UUV simulator: a Gazebo-based package for underwater intervention and multi-robot simulation. In: OCEANS 2016 MTS/IEEE Monterey, pp. 1–8 (2016). https://doi.org/10.1109/OCEANS.2016.7761080
Merckelbach, L.: On the probability of underwater glider loss due to collision with a ship. J. Mar. Sci. Technol. 18, 75–86 (2012). https://doi.org/10.1007/s00773-012-0189-7
Morency, C., Stilwell, D.J., Hess, S.: Development of a simulation environment for evaluation of a forward looking sonar system for small AUVs. In: OCEANS 2019 MTS/IEEE SEATTLE, pp. 1–9 (2019). https://doi.org/10.23919/OCEANS40490.2019.8962650
Paravisi, M., Santos, D.H., Jorge, V., Heck, G., Gonçalves, L.M., Amory, A.: Unmanned surface vehicle simulator with realistic environmental disturbances. Sensors 19(5), 1068 (2019). https://doi.org/10.3390/s19051068, https://www.mdpi.com/1424-8220/19/5/1068
Prats, M., Pérez, J., Fernández, J.J., Sanz, P.J.: An open source tool for simulation and supervision of underwater intervention missions. In: 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 2577–2582 (2012). https://doi.org/10.1109/IROS.2012.6385788
Razzanelli, M., Casini, S., Innocenti, M., Pollini, L.: Development of a hybrid simulator for underwater vehicles with manipulators. IEEE J. Oceanic Eng. 45(4), 1235–1251 (2020). https://doi.org/10.1109/JOE.2019.2935801
Schwenger, M.: Monitoring cyber-physical systems: from design to integration. In: Deshmukh, J., Ničković, D. (eds.) RV 2020. LNCS, vol. 12399, pp. 87–106. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-60508-7_5
da Silva Araujo, H.L., Mousavi, M.R., Varshosaz, M.: Testing, validation, and verification of robotic and autonomous systems: a systematic review. ACM Trans. Softw. Eng. Methodol. 32(2), 1–61 (2023). https://doi.org/10.1145/3542945https://doi.org/10.1145/3542945
Smith, P., Dunbabin, M.: High-fidelity autonomous surface vehicle simulator for the maritime RobotX challenge. IEEE J. Oceanic Eng. 44(2), 310–319 (2019). https://doi.org/10.1109/JOE.2018.2875571
Watanabe, T., et al.: The Rock-Gazebo integration and a real-time AUV simulation. In: 2015 12th Latin American Robotics Symposium and 2015 3rd Brazilian Symposium on Robotics (LARS-SBR), pp. 132–138 (2015). https://doi.org/10.1109/LARS-SBR.2015.15
Xu, H., Li, G., Liu, J.: Reliability analysis of an autonomous underwater vehicle using fault tree. In: 2013 IEEE International Conference on Information and Automation (ICIA), pp. 1165–1170 (2013). https://doi.org/10.1109/ICInfA.2013.6720471
Zeng, Z., Sammut, K., Lian, L., He, F., Lammas, A., Tang, Y.: A comparison of optimization techniques for AUV path planning in environments with ocean currents. Robotics Auton. Syst. 82, 61–72 (2016). https://api.semanticscholar.org/CorpusID:205009322
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2025 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Varshosaz, M., Wąsowski, A. (2025). Monitoring Safety and Reliability of Underwater Robots: A Case Study. In: Steffen, B. (eds) Bridging the Gap Between AI and Reality. AISoLA 2024. Lecture Notes in Computer Science, vol 15217. Springer, Cham. https://doi.org/10.1007/978-3-031-75434-0_20
Download citation
DOI: https://doi.org/10.1007/978-3-031-75434-0_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-75433-3
Online ISBN: 978-3-031-75434-0
eBook Packages: Computer ScienceComputer Science (R0)