Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles von Arne Glomsrud, Jon, Kemna, Stephanie, Vasanthan, Chanjei, Zhao, Luman, McGeorge, Dag, Arne Pedersen, Tom, Rye Torben, Tobias, Rokseth, Børge, Trong Nguyen, Dong

Volltext

Reinforcement Learning-Based Tracking Control of USVs in Varying Operational Conditions von Martinsen, Andreas B, Lekkas, Anastasios M, Gros, Sébastien, Glomsrud, Jon Arne, Pedersen, Tom Arne

Volltext

A framework to model the STPA hierarchical control structure of an autonomous ship von Chaal, Meriam, Valdez Banda, Osiris A., Glomsrud, Jon Arne, Basnet, Sunil, Hirdaris, Spyros, Kujala, Pentti

Volltext

A Comparative Study of STPA-Extension and the UFoI-E Method for Safety and Security Co-analysis von Carreras Guzman, Nelson H., Zhang, Jin, Xie, Jing, Glomsrud, Jon Arne

Volltext

Towards simulation-based verification of autonomous navigation systems von Pedersen, Tom Arne, Glomsrud, Jon Arne, Ruud, Else-Line, Simonsen, Aleksander, Sandrib, Jarle, Eriksen, Bjørn-Olav Holtung

Volltext

Towards contract-based verification for autonomous vessels von Torben, Tobias Rye, Smogeli, Øyvind, Glomsrud, Jon Arne, Utne, Ingrid B., Sørensen, Asgeir J.

Volltext

Evolution of Safety in Marine Systems: From System-Theoretic Process Analysis to Automated Test Scenario Generation von Pedersen, Tom Arne, Neverlien, Åse, Glomsrud, Jon Arne, Ibrahim, Imran, Mo, Sigrid Marie, Rindarøy, Martin, Torben, Tobias, Rokseth, Børge

Volltext

A Structured Approach to Risk Assessment of Machine Learning Applications von Fackrell, Justin, Glomsrud, Jon Arne, Eisinger, Siegfried

Volltext

Modular Assurance of Complex Systems Using Contract-Based Design Principles von McGeorge, Dag, Glomsrud, Jon Arne

Volltext bestellen

System Verification, Processes and Testing von Perez, Tristan, Morozov, Andrey, Rokseth, Børge, Glomsrud, Jon Arne, Luckuck, Matthew, Myklebust, Thor, Torben, Tobias Valentin Rye, Yang, Xue

Volltext bestellen

System Verification, Processes and Testing von Perez, Tristan, Morozov, Andrey, Rokseth, Børge, Glomsrud, Jon Arne, Luckuck, Matthew, Myklebust, Thor, Torben, Tobias Valentin Rye, Yang, Xue

Volltext bestellen

Empirical Studies of Methods for Safety and Security Co-analysis of Autonomous Boat von Erik Nilsen, Torkildson, Li, Jingyue, Johnsen, Stig Ole, Glomsrud, Jon Arne

Volltext

The Ecosystem of Trust (EoT): Enabling effective deployment of autonomous systems through collaborative and trusted ecosystems von Glomsrud, Jon Arne, Bach, Tita Alissa

Volltext bestellen

Proceedings of the International Seminar on Safety and Security of Autonomous Vessels (ISSAV) and European STAMP Workshop and Conference (ESWC) 2019 von Hirdaris, Spyros, Basnet, Sunil, Alejandro Valdez Banda, Osiris, Kujala, Pentti

Volltext

Modular Assurance of Complex Systems Using Contract-Based Design Principles von McGeorge, Dag, Glomsrud, Jon Arne

Volltext

Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles von Glomsrud, Jon Arne, Kemna, Stephanie, Vasanthan, Chanjei, Zhao, Luman, McGeorge, Dag, Pedersen, Tom Arne, Torben, Tobias Rye, Rokseth, Børge, Nguyen, Dong Trong

Volltext

The Ecosystem of Trust (EoT): Enabling effective deployment of autonomous systems through collaborative and trusted ecosystems von Glomsrud, Jon Arne, Tita Alissa Bach

Volltext

Towards contract-based verification for autonomous vessels von Smogeli, Øyvind Rasmussen, Glomsrud, Jon Arne, Utne, Ingrid Bouwer, Sørensen, Asgeir Johan

Volltext bestellen

Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic von Torben, Tobias, Glomsrud, Jon Arne, Pedersen, Tom Arne, Utne, Ingrid Bouwer, Sørensen, Asgeir Johan

Volltext bestellen

A Comparative Study of STPA-Extension and the UFoI-E Method for Safety and Security Co-analysis von Carreras Guzman, Nelson Humberto, Zhang, Jin, Xie, Jing, Glomsrud, Jon Arne

Volltext bestellen