An STPA-based formal composition framework for trustworthy autonomous maritime systems

D Dghaym, TS Hoang, SR Turnock, M Butler, J Downes… - Safety science, 2021 - Elsevier
A key risk with autonomous systems (AS) is the trustworthiness of the decision-making and
control mechanisms that replace human control. To be trustworthy, systems need to remain …

[PDF][PDF] Deriving safety requirements for autonomous systems

R Alexander, N Herbert, T Kelly - 4th SEAS DTC technical conference, 2009 - Citeseer
In any safety engineering effort, deriving safety requirements is a key activity. Doing this for
autonomous systems (AS) is challenging. However, several existing techniques can be …

Safety verification for autonomous ships

B Rokseth, OI Haugen, IB Utne - MATEC web of …, 2019 - matec-conferences.org
Autonomous and unmanned ships are approaching reality. One of several unsolved
challenges related to these systems is how to perform safety verification. Although this …

[HTML][HTML] A framework to model the STPA hierarchical control structure of an autonomous ship

M Chaal, OAV Banda, JA Glomsrud, S Basnet… - Safety Science, 2020 - Elsevier
The demand for risk and safety analysis is becoming greater due to the increased
complexity of modern systems such as autonomous ships. Safety is one of the main …

Conceptualizing the key features of cyber‐physical systems in a multi‐layered representation for safety and security analysis

NH Carreras Guzman, M Wied, I Kozine… - Systems …, 2020 - Wiley Online Library
Many safety‐related systems are evolving into cyber‐physical systems (CPSs), integrating
information technologies in their control architectures and modifying the interactions among …

Deriving verification objectives and scenarios for maritime systems using the systems-theoretic process analysis

B Rokseth, IB Utne, JE Vinnem - Reliability Engineering & System Safety, 2018 - Elsevier
The process applied for verification of maritime systems lacks the ability to properly examine
complex networks of interconnections. Verification is mainly focused on single failures of …

Preliminary results of a system-theoretic assessment of maritime autonomous surface ships' safety

K Wróbel, P Krata, J Montewka - … on Marine Navigation and Safety od …, 2019 - transnav.eu
While a system-theoretic approach to the safety analysis of innovative socio-technical
systems gains a growing acceptance among academia, safety issues of Maritime …

[HTML][HTML] Towards the development of a system-theoretic model for safety assessment of autonomous merchant vessels

K Wróbel, J Montewka, P Kujala - Reliability Engineering & System Safety, 2018 - Elsevier
As the initiatives to develop and implement autonomous merchant vessels into the global
shipping industry are gaining momentum, their safety remains in the spotlight. It is argued …

System-theoretic approach to safety of remotely-controlled merchant vessel

K Wróbel, J Montewka, P Kujala - Ocean Engineering, 2018 - Elsevier
Unmanned merchant vessels' prototypes are expected to come into operation within a few
years. This revolutionary shift in the shipping industry is feared to negatively impact the …

A system-theoretic approach to safety and security co-analysis of autonomous ships

XY Zhou, ZJ Liu, FW Wang, ZL Wu - Ocean Engineering, 2021 - Elsevier
The autonomous ship carrying valuable cargoes and passengers in a more effective and
cost-saving manner will soon be state of the art technology, which most likely shall be …