{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T22:06:16Z","timestamp":1755036376448,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031754333"},{"type":"electronic","value":"9783031754340"}],"license":[{"start":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T00:00:00Z","timestamp":1735516800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,30]],"date-time":"2024-12-30T00:00:00Z","timestamp":1735516800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-75434-0_20","type":"book-chapter","created":{"date-parts":[[2024,12,29]],"date-time":"2024-12-29T09:25:03Z","timestamp":1735464303000},"page":"291-299","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Monitoring Safety and\u00a0Reliability of\u00a0Underwater Robots: A Case Study"],"prefix":"10.1007","author":[{"given":"Mahsa","family":"Varshosaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,12,30]]},"reference":[{"key":"20_CR1","doi-asserted-by":"publisher","unstructured":"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","DOI":"10.13140\/RG.2.1.4616.4240"},{"key":"20_CR2","doi-asserted-by":"publisher","unstructured":"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\u20134457 (2009). https:\/\/doi.org\/10.1109\/ICMA.2009.5246716","DOI":"10.1109\/ICMA.2009.5246716"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Blidberg, D.R., Turner, R.M., Chappell, S.G.: Autonomous underwater vehicles: current activities and research opportunities. Robotics Auton. Syst. 7, 139\u2013150 (1991). https:\/\/api.semanticscholar.org\/CorpusID:37681764","DOI":"10.1016\/0921-8890(91)90038-M"},{"key":"20_CR4","doi-asserted-by":"publisher","unstructured":"Brito, M.P.: Uncertainty management during hybrid autonomous underwater vehicle missions. In: 2016 IEEE\/OES Autonomous Underwater Vehicles (AUV), pp. 278\u2013285 (2016). https:\/\/doi.org\/10.1109\/AUV.2016.7778684","DOI":"10.1109\/AUV.2016.7778684"},{"key":"20_CR5","doi-asserted-by":"publisher","unstructured":"Brito, M.P., Griffiths, G., Challenor, P.: Risk analysis for autonomous underwater vehicle operations in extreme environments. Risk Anal. 30(12), 1771\u20131788 (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","DOI":"10.1111\/j.1539-6924.2010.01476.x"},{"key":"20_CR6","unstructured":"Chang, Y., Brito, M.: On the reliability of experts\u2019 assessments for autonomous underwater vehicle risk of loss prediction: are optimists better than pessimists? September 2018"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1016\/j.ress.2021.108011"},{"key":"20_CR8","doi-asserted-by":"publisher","unstructured":"Cie\u015blak, P.: Stonefish: an advanced open-source simulation tool designed for marine robotics, with a ROS interface. In: OCEANS 2019 - Marseille, pp.\u00a01\u20136 (2019). https:\/\/doi.org\/10.1109\/OCEANSE.2019.8867434","DOI":"10.1109\/OCEANSE.2019.8867434"},{"key":"20_CR9","doi-asserted-by":"publisher","first-page":"34306","DOI":"10.1109\/ACCESS.2024.3370443","volume":"12","author":"N Ciuccoli","year":"2024","unstructured":"Ciuccoli, N., Screpanti, L., Scaradozzi, D.: Underwater simulators analysis for digital twinning. IEEE Access 12, 34306\u201334324 (2024). https:\/\/doi.org\/10.1109\/ACCESS.2024.3370443","journal-title":"IEEE Access"},{"key":"20_CR10","unstructured":"Epic Games: Unreal Engine (2019). https:\/\/www.unrealengine.com"},{"key":"20_CR11","doi-asserted-by":"publisher","unstructured":"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","DOI":"10.3390\/drones3010001"},{"key":"20_CR12","doi-asserted-by":"publisher","unstructured":"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.\u00a01\u20135 (2020). https:\/\/doi.org\/10.1109\/AUV50043.2020.9267922","DOI":"10.1109\/AUV50043.2020.9267922"},{"key":"20_CR13","unstructured":"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\u201330 March 2006, National Oceanography Centre, Southampton, UK. Society for Underwater Technology (2007). https:\/\/eprints.soton.ac.uk\/46019\/, cD-ROM in back pocket"},{"key":"20_CR14","doi-asserted-by":"publisher","unstructured":"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\u2013293 (2016). https:\/\/doi.org\/10.1109\/AUV.2016.7778685","DOI":"10.1109\/AUV.2016.7778685"},{"key":"20_CR15","doi-asserted-by":"publisher","unstructured":"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.\u00a01\u20137 (2019). https:\/\/doi.org\/10.1109\/UT.2019.8734309","DOI":"10.1109\/UT.2019.8734309"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-319-11900-7_3","volume-title":"Simulation, Modeling, and Programming for Autonomous Robots","author":"O Kermorgant","year":"2014","unstructured":"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\u201336. Springer, Cham (2014)"},{"key":"20_CR17","doi-asserted-by":"publisher","unstructured":"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.\u00a03, pp. 2149\u20132154 (2004). https:\/\/doi.org\/10.1109\/IROS.2004.1389727","DOI":"10.1109\/IROS.2004.1389727"},{"key":"20_CR18","doi-asserted-by":"publisher","unstructured":"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\u2013841 (2020). https:\/\/doi.org\/10.1111\/risa.13429, https:\/\/onlinelibrary.wiley.com\/doi\/abs\/10.1111\/risa.13429","DOI":"10.1111\/risa.13429"},{"key":"20_CR19","unstructured":"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"},{"key":"20_CR20","doi-asserted-by":"publisher","unstructured":"Manh\u00e3es, 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.\u00a01\u20138 (2016). https:\/\/doi.org\/10.1109\/OCEANS.2016.7761080","DOI":"10.1109\/OCEANS.2016.7761080"},{"key":"20_CR21","doi-asserted-by":"publisher","unstructured":"Merckelbach, L.: On the probability of underwater glider loss due to collision with a ship. J. Mar. Sci. Technol. 18, 75\u201386 (2012). https:\/\/doi.org\/10.1007\/s00773-012-0189-7","DOI":"10.1007\/s00773-012-0189-7"},{"key":"20_CR22","doi-asserted-by":"publisher","unstructured":"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.\u00a01\u20139 (2019). https:\/\/doi.org\/10.23919\/OCEANS40490.2019.8962650","DOI":"10.23919\/OCEANS40490.2019.8962650"},{"key":"20_CR23","doi-asserted-by":"publisher","unstructured":"Paravisi, M., Santos, D.H., Jorge, V., Heck, G., Gon\u00e7alves, 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","DOI":"10.3390\/s19051068"},{"key":"20_CR24","doi-asserted-by":"publisher","unstructured":"Prats, M., P\u00e9rez, J., Fern\u00e1ndez, 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\u20132582 (2012). https:\/\/doi.org\/10.1109\/IROS.2012.6385788","DOI":"10.1109\/IROS.2012.6385788"},{"issue":"4","key":"20_CR25","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/JOE.2019.2935801","volume":"45","author":"M Razzanelli","year":"2020","unstructured":"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\u20131251 (2020). https:\/\/doi.org\/10.1109\/JOE.2019.2935801","journal-title":"IEEE J. Oceanic Eng."},{"key":"20_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-030-60508-7_5","volume-title":"Runtime Verification","author":"M Schwenger","year":"2020","unstructured":"Schwenger, M.: Monitoring cyber-physical systems: from design to integration. In: Deshmukh, J., Ni\u010dkovi\u0107, D. (eds.) RV 2020. LNCS, vol. 12399, pp. 87\u2013106. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-60508-7_5"},{"issue":"2","key":"20_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3542945https:\/\/doi.org\/10.1145\/3542945","volume":"32","author":"HL da Silva Araujo","year":"2023","unstructured":"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\u201361 (2023). https:\/\/doi.org\/10.1145\/3542945https:\/\/doi.org\/10.1145\/3542945","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"2","key":"20_CR28","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1109\/JOE.2018.2875571","volume":"44","author":"P Smith","year":"2019","unstructured":"Smith, P., Dunbabin, M.: High-fidelity autonomous surface vehicle simulator for the maritime RobotX challenge. IEEE J. Oceanic Eng. 44(2), 310\u2013319 (2019). https:\/\/doi.org\/10.1109\/JOE.2018.2875571","journal-title":"IEEE J. Oceanic Eng."},{"key":"20_CR29","doi-asserted-by":"publisher","unstructured":"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\u2013138 (2015). https:\/\/doi.org\/10.1109\/LARS-SBR.2015.15","DOI":"10.1109\/LARS-SBR.2015.15"},{"key":"20_CR30","doi-asserted-by":"publisher","unstructured":"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\u20131170 (2013). https:\/\/doi.org\/10.1109\/ICInfA.2013.6720471","DOI":"10.1109\/ICInfA.2013.6720471"},{"key":"20_CR31","doi-asserted-by":"crossref","unstructured":"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\u201372 (2016). https:\/\/api.semanticscholar.org\/CorpusID:205009322","DOI":"10.1016\/j.robot.2016.03.011"}],"container-title":["Lecture Notes in Computer Science","Bridging the Gap Between AI and Reality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75434-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,29]],"date-time":"2024-12-29T10:03:54Z","timestamp":1735466634000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75434-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,30]]},"ISBN":["9783031754333","9783031754340"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75434-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,12,30]]},"assertion":[{"value":"30 December 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Bridging the Gap between AI and Reality","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aisola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2023-aisola.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}