Engineering Safety Critical Maritime Systems

A special issue of Journal of Marine Science and Engineering (ISSN 2077-1312). This special issue belongs to the section "Ocean Engineering".

Deadline for manuscript submissions: closed (25 November 2021) | Viewed by 13191

Special Issue Editor


E-Mail Website
Guest Editor
Department of Computing Science, Carl von Ossietzky Universität Oldenburg, Oldenburg, Germany
Interests: systems engineering; maritime transportation systems; simulation; safety; modelbased engineering

Special Issue Information

Dear Colleagues,

I would like to invite you to publish your research in this Special Issue on “Engineering Safety Critical Maritime Systems”. With the advent of new technologies for highly automated assistance systems and autonomous systems, there is the need for new methods and tools to design safe critical systems, ensuring safety and security until the safety assessment and certification. The topics also cover new technologies for safety critical maritime systems, like advanced sensor technologies, AI-based technologies, and human–machine interface designs.

Prof. Dr. Axel Hahn
Guest Editor

Manuscript Submission Information

Manuscripts should be submitted online at www.mdpi.com by registering and logging in to this website. Once you are registered, click here to go to the submission form. Manuscripts can be submitted until the deadline. All submissions that pass pre-check are peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website.

Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are thoroughly refereed through a single-blind peer-review process. A guide for authors and other relevant information for submission of manuscripts is available on the Instructions for Authors page. Journal of Marine Science and Engineering is an international peer-reviewed open access monthly journal published by MDPI.

Please visit the Instructions for Authors page before submitting a manuscript. The Article Processing Charge (APC) for publication in this open access journal is 2600 CHF (Swiss Francs). Submitted papers should be well formatted and use good English. Authors may use MDPI's English editing service prior to publication or during author revisions.

Keywords

  • Safety
  • Security
  • Systems Engineering
  • Maritime System
  • Sensors
  • Navigation
  • Shipping
  • Artificial Intelligence and Machine Learning
  • Verification and Validation
  • Human–Machine Interfaces

Published Papers (4 papers)

Order results
Result details
Select all
Export citation of selected articles as:

Research

Jump to: Review

22 pages, 5033 KiB  
Article
Evacuation Strategy Considering Path Capacity and Risk Level for Cruise Ship
by Yang Liu, Huajun Zhang, Yu Zhan, Kunxiang Deng and Liangzhi Dong
J. Mar. Sci. Eng. 2022, 10(3), 398; https://doi.org/10.3390/jmse10030398 - 10 Mar 2022
Cited by 6 | Viewed by 2186
Abstract
Cruise ships are large and complex, and it is difficult to manually make a plan to evacuate people to safe areas in a short time. Evacuation time and personnel safety are both important for emergency evacuation. This paper proposes an evacuation strategy that [...] Read more.
Cruise ships are large and complex, and it is difficult to manually make a plan to evacuate people to safe areas in a short time. Evacuation time and personnel safety are both important for emergency evacuation. This paper proposes an evacuation strategy that considers the path capacity and risk level to guide evacuees in fire; it not only ensures the safety of people on dangerous paths but also reduces road congestion to shorten evacuation time. High crowd density means slow moving speed, an exponential function including straight path and stairs speed characteristics is proposed to illustrate the relationship between crowd density and moving speed. Path capacity constraints are used to avoid the congestion caused by the evacuees in a panic. In order to evacuate the evacuees in the risk areas as soon as possible, this paper divides the path into three risk levels according to carbon monoxide concentration, visibility, and temperature along the paths. The people on the higher-risk paths are given higher priority to enter evacuation paths than those on lower risk. The priority strategy evacuates the people on risk paths to safe areas in less time. This paper models the evacuation network topology of a cruise ship and simulates the evacuation process of some situations that have different numbers of evacuees and path capacity constraints. The evacuation strategies and simulation results are guidelines for the crews to guide the people to evacuate to safe areas when there is a fire accident on the cruise ship. Full article
(This article belongs to the Special Issue Engineering Safety Critical Maritime Systems)
Show Figures

Figure 1

21 pages, 3530 KiB  
Article
Continuous Contract Based Verification of Updates in Maritime Shipboard Equipment
by Georg Hake, Carl Philipp Hohl and Axel Hahn
J. Mar. Sci. Eng. 2021, 9(7), 688; https://doi.org/10.3390/jmse9070688 - 23 Jun 2021
Cited by 2 | Viewed by 1704
Abstract
Modern control systems in the maritime domain are increasingly controlled by software systems and become subject to updates and configuration changes during operation. Moreover, with the shift to autonomous vessels and cars, these software-based systems are taking on more and more safety-critical tasks, [...] Read more.
Modern control systems in the maritime domain are increasingly controlled by software systems and become subject to updates and configuration changes during operation. Moreover, with the shift to autonomous vessels and cars, these software-based systems are taking on more and more safety-critical tasks, so the risks associated with system failures are increasing. Unlike before, it becomes necessary to verify the continuously adapting modules of a vehicle not only before deployment, but to establish continuous verification capabilities during all phases of the product lifecycle, from the design to the system in operation. Hence, in case of an update, deviations from the expected behavior can be automatically detected and relevant measures can be initiated. In this work, a contract-based verification framework is presented that includes automatable and formally analyzable behavioral descriptors in form of assumption-guarantee contracts for all phases of the software lifecycle to provide static and dynamic verification capabilities alongside a dynamically changing system composition. By utilizing contractually defined behavior descriptions, classic test procedures, such as simulations, are supplemented by a formally testable level that is applied to all phases of the update process. A conceptual-deductive methodology was chosen, building on the identified requirements to develop an overarching update framework that adds contractual descriptions to the traditional development case. Based on the presented framework, the verifiable modification of a safety-critical software system is demonstrated. The approach is evaluated using a maritime collision-avoidance system and the verification steps are evaluated along the update process. The framework offers a novel approach to complement existing test procedures by enabling formal impact analysis and incremental verification of updates. Full article
(This article belongs to the Special Issue Engineering Safety Critical Maritime Systems)
Show Figures

Figure 1

30 pages, 9508 KiB  
Article
Towards a Model-Based Multi-Layered Approach to Describe Traffic Scenarios on a Technical Level
by David Reiher and Axel Hahn
J. Mar. Sci. Eng. 2021, 9(6), 673; https://doi.org/10.3390/jmse9060673 - 19 Jun 2021
Cited by 3 | Viewed by 2535
Abstract
Highly automated vehicles are increasingly gaining the public’s attention. To achieve broad acceptance for the deployment of such vehicles, it is necessary to ensure their functionality and safety. One approach that has become popular in research is the scenario-based approach. However, manual testing [...] Read more.
Highly automated vehicles are increasingly gaining the public’s attention. To achieve broad acceptance for the deployment of such vehicles, it is necessary to ensure their functionality and safety. One approach that has become popular in research is the scenario-based approach. However, manual testing of such complex systems is impractical and time-consuming. Using simulations to run and evaluate such scenarios appears to be the most viable approach. This, in turn, raises new challenges, especially in modeling the scenarios to be tested simulatively and incorporating the system under test as part of these. Since existing solutions do not solve these challenges satisfactorily—due to the strict separation of scenario and simulation model, among other reasons—this work addresses the need for a standardized, holistic, and extensible approach for modeling traffic scenarios to be executed simulatively. Requirements for such an approach are identified with focus on its application in simulation- and scenario-based verification and validation. Based on these, a model-based multi-layered approach is proposed. The foundations of this are then implemented utilizing a Meta Object Facility based heavyweight extension of the Unified Modeling Language metamodel. The resulting metamodel is used to demonstrate the applicability of the proposed approach by modeling a maritime traffic scenario. Full article
(This article belongs to the Special Issue Engineering Safety Critical Maritime Systems)
Show Figures

Figure 1

Review

Jump to: Research

24 pages, 4547 KiB  
Review
From Automation System to Autonomous System: An Architecture Perspective
by Hualong Chen, Yuanqiao Wen, Man Zhu, Yamin Huang, Changshi Xiao, Tao Wei and Axel Hahn
J. Mar. Sci. Eng. 2021, 9(6), 645; https://doi.org/10.3390/jmse9060645 - 10 Jun 2021
Cited by 19 | Viewed by 5598
Abstract
Autonomy is the core capability of future systems, and architecture design is one of the critical issues in system development and implementation. To discuss the architecture of autonomous systems in the future, this paper reviews the developing progress of architectures from automation systems [...] Read more.
Autonomy is the core capability of future systems, and architecture design is one of the critical issues in system development and implementation. To discuss the architecture of autonomous systems in the future, this paper reviews the developing progress of architectures from automation systems to autonomous systems. Firstly, the autonomy and autonomous systems in different fields are summarized. The article classifies and summarizes the architecture of typical automated systems and infer three suggestions for building an autonomous system architecture: extensibility, evolvability, and collaborability. Accordingly, this paper builds an autonomous waterborne transportation system, and the architecture is composed of the object layer, cyberspace layer, cognition layer, and application layer, the proposed suggestions made in the construction of the architecture are reflected in the inter-relationships at all layers. Through the cooperation of four layers, the autonomous waterborne transportation system can autonomously complete the system functions, such as system control and transportation service. In the end, the characteristics of autonomous systems are concluded, from which the future primary research directions and the challenges of autonomous systems are provided. Full article
(This article belongs to the Special Issue Engineering Safety Critical Maritime Systems)
Show Figures

Figure 1

Back to TopTop