Safety Verification for Autonomous Ships
MATEC Web Conf., 273 (2019) 02002
Published online: 2019-02-22
Articles citing this article
The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Cited article:
This article has been cited by the following article(s):
14932 302 (2025)
https://doi.org/10.1007/978-3-031-75599-6_22
Autonomous Ships: A Thematic Review
Ruhaimatu Abudu and Raj BridgelallWorld 5 (2) 276 (2024)
https://doi.org/10.3390/world5020015
VerifAI: Framework for Functional Verification of AI based Systems in the Maritime Domain
Thomas Stach, Paul Koch, Manfred Constapel, Martin Portier and Helmut SchmidTransNav, the International Journal on Marine Navigation and Safety of Sea Transportation 18 (3) 585 (2024)
https://doi.org/10.12716/1001.18.03.12
1 (2024)
https://doi.org/10.1109/AQTR61889.2024.10554154
Risk-based supervisory control for autonomous ship navigation
Simon Blindheim, Tor Arne Johansen and Ingrid Bouwer UtneJournal of Marine Science and Technology 28 (3) 624 (2023)
https://doi.org/10.1007/s00773-023-00945-6
Integration Test Procedures for a Collision Avoidance Decision Support System Using STPA
Spencer Dugan, Roger Skjetne, Krzysztof Wrobel, et al.TransNav, the International Journal on Marine Navigation and Safety of Sea Transportation 17 (2) 375 (2023)
https://doi.org/10.12716/1001.17.02.14
Towards contract-based verification for autonomous vessels
Tobias Rye Torben, Øyvind Smogeli, Jon Arne Glomsrud, Ingrid B. Utne and Asgeir J. SørensenOcean Engineering 270 113685 (2023)
https://doi.org/10.1016/j.oceaneng.2023.113685
1381 (2023)
https://doi.org/10.1109/ITSC57777.2023.10422520
A novel risk assessment process: Application to an autonomous inland waterways ship
Victor Bolbot, Gerasimos Theotokatos, LA Wennersberg, Jerome Faivre, Dracos Vassalos, Evangelos Boulougouris, Ørnulf Jan Rødseth, Pål Andersen, Ann-Sofie Pauwelyn and Antoon Van CoillieProceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability 237 (2) 436 (2023)
https://doi.org/10.1177/1748006X211051829
Model-Based Design and Safety Assessment for Crewless Autonomous Vessel
Takuya Nakashima, Koji Kutsuna, Rui Kureta, et al.Journal of Physics: Conference Series 2311 (1) 012024 (2022)
https://doi.org/10.1088/1742-6596/2311/1/012024
Combining STPA With CoFI to Generate Requirements and Test Cases for Safety-Critical System
Celso M. Hirata and Ana M. AmbrosioIEEE Systems Journal 16 (4) 6635 (2022)
https://doi.org/10.1109/JSYST.2022.3200586
Collision Risk Situation Clustering to Design Collision Avoidance Algorithms for Maritime Autonomous Surface Ships
Taewoong Hwang and Ik-Hyun YounJournal of Marine Science and Engineering 10 (10) 1381 (2022)
https://doi.org/10.3390/jmse10101381
International Scientific Siberian Transport Forum TransSiberia - 2021
Artem Butsanets, Vladimir Karetnikov and Evgeniy Ol’KhovikLecture Notes in Networks and Systems, International Scientific Siberian Transport Forum TransSiberia - 2021 402 1474 (2022)
https://doi.org/10.1007/978-3-030-96380-4_163
Development of Recommendations for Digital Testing of MASS Navigation Safety prior to Sea Trials
Kie Hian Chua, Savio Coutinho, Aizad Norahim and Dimitrios KonovessisJournal of Physics: Conference Series 2311 (1) 012025 (2022)
https://doi.org/10.1088/1742-6596/2311/1/012025
Towards system-theoretic risk assessment for future ships: A framework for selecting Risk Control Options
Meriam Chaal, Ahmad Bahootoroody, Sunil Basnet, Osiris A. Valdez Banda and Floris GoerlandtOcean Engineering 259 111797 (2022)
https://doi.org/10.1016/j.oceaneng.2022.111797
Risk mitigation by design of autonomous maritime automation systems
Kjeld Dittmann and Mogens Blankeat - Automatisierungstechnik 70 (5) 469 (2022)
https://doi.org/10.1515/auto-2021-0151
Evaluation of effectiveness of the STAMP / STPA in risk analysis of autonomous ship systems
Tomoaki Yamada, Makoto Sato, Rikiya Kuranobu, et al.Journal of Physics: Conference Series 2311 (1) 012021 (2022)
https://doi.org/10.1088/1742-6596/2311/1/012021
50 (2021)
https://doi.org/10.1109/SysTol52990.2021.9595889
Testbed Scenario Design Exploiting Traffic Big Data for Autonomous Ship Trials Under Multiple Conflicts With Collision/Grounding Risks and Spatio-Temporal Dependencies
Azzeddine Bakdi, Ingrid Kristine Glad and Erik VanemIEEE Transactions on Intelligent Transportation Systems 22 (12) 7914 (2021)
https://doi.org/10.1109/TITS.2021.3095547
Autonomous Surface Vessel with Remote Human on the Loop: System Design for STCW Compliance
Kjeld Dittmann, Peter Nicholas Hansen, Dimitrios Papageorgiou, et al.IFAC-PapersOnLine 54 (16) 224 (2021)
https://doi.org/10.1016/j.ifacol.2021.10.097
HARDWARE AND SOFTWARE COMPLEX FOR AUTOMATIC MOORING
Alexander V. Bazylev, Vladislav Y. Bychkov, Sergei V. Perevezentsev and Valeri I. PlyushchaevRussian Journal of Water Transport (64) 195 (2020)
https://doi.org/10.37890/jwt.vi64.111
A framework to model the STPA hierarchical control structure of an autonomous ship
Meriam Chaal, Osiris A. Valdez Banda, Jon Arne Glomsrud, et al.Safety Science 132 104939 (2020)
https://doi.org/10.1016/j.ssci.2020.104939
NYK’s Approach for Autonomous Navigation – Structure of Action Planning System and Demonstration Experiments
Koji Kutsuna, Hideyuki Ando, Takuya Nakashima, Satoru Kuwahara and Shinya NakamuraJournal of Physics: Conference Series 1357 012013 (2019)
https://doi.org/10.1088/1742-6596/1357/1/012013