Browsing NTNU Open by Author "Glomsrud, Jon Arne"
Now showing items 1-8 of 8
-
An STPA Analysis of the ReVolt - Expanding and Improving the System-Theoretic Process Analysis (STPA) Framework
Solberg, Christine Lovise (Master thesis, 2018)The ReVolt is an idea developed by DNV GL. It is an autonomous vessel designed for container transport between harbors. To test the concept, a co-operational project was started with NTNU. Two master students from the ... -
Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic
Torben, Tobias; Glomsrud, Jon Arne; Pedersen, Tom Arne; Utne, Ingrid Bouwer; Sørensen, Asgeir Johan (Peer reviewed; Journal article, 2022)A methodology for automatic simulation-based testing of control systems for autonomous vessels is proposed. The work is motivated by the need for increased test coverage and formalism in the verification efforts. It aims ... -
Automatic testing of maritime collision avoidance algorithms
Minne, Paal Kristian Eknes (Master thesis, 2017)For Autonomous Surface Vessels (ASVs) to be put into commercial operation and gain public acceptance, they will have to be as safe, or safer then similar vessels operated by humans. Today, maritime control systems are ... -
A Comparative Study of STPA-Extension and the UFoI-E Method for Safety and Security Co-analysis
Carreras Guzman, Nelson Humberto; Zhang, Jin; Xie, Jing; Glomsrud, Jon Arne (Peer reviewed; Journal article, 2021)Emerging challenges in cyber-physical systems (CPSs) have been encouraging the development of safety and security co-analysis methods. These methods aim at mitigating the new risks associated with the convergence of ... -
Empirical Studies of Methods for Safety and Security Co-analysis of Autonomous Boat
Erik Nilsen, Torkildson; Li, Jingyue; Johnsen, Stig Ole; Glomsrud, Jon Arne (Chapter, 2018)Many autonomous systems are safety-critical, e.g., autonomous cars, boats, or aerial vehicles. Autonomous systems rely on software and communications. Security vulnerabilities of software and communication will give ... -
System Verification, Processes and Testing
Perez, Tristan; Morozov, Andrey; Rokseth, Børge; Glomsrud, Jon Arne; Luckuck, Matthew; Myklebust, Thor; Torben, Tobias Valentin Rye; Yang, Xue (Chapter, 2019) -
Systems-Theoretic Process Analysis (STPA) Applied to the Operation of Fully Autonomous Vessels
Zou, Jiahui (Master thesis, 2018)The objective of this master thesis is to assess the feasibility of using the STPA for hazard identification and assessment of complex and fully autonomous operating systems. As a continuous work from autumn 2017, this ... -
Towards contract-based verification for autonomous vessels
Smogeli, Øyvind Rasmussen; Glomsrud, Jon Arne; Utne, Ingrid Bouwer; Sørensen, Asgeir Johan (Peer reviewed; Journal article, 2023)Design and verification of autonomous vessels represent a major interdisciplinary engineering challenge due to the combination of high system complexity and the interaction with dynamic, uncertain, and unstructured ...