Blar i NTNU Open på forfatter "Glomsrud, Jon Arne"
-
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 ... -
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 ...