1. Heim
  2. Proceedings of the International Seminar on Safety and Security of Autonomous Vessels (ISSAV) and European STAMP Workshop and Conference (ESWC) 2019
  3. Towards Simulation-based Verification of Autonomous Navigation Systems

Kapitel

Konferenz Details

Proceedings of the International Seminar on Safety and Security of Autonomous Vessels (ISSAV) and European STAMP Workshop and Conference (ESWC) 2019's Cover Image
Proceedings of the International Seminar on Safety and Security of Autonomous Vessels (ISSAV) and European STAMP Workshop and Conference (ESWC) 2019
License
Format
Konferenz
ISBN
978-83-956696-0-6
Erstveröffentlichung
08 Feb 2020
Sprachen
Englisch
Urheberrechte
© 2020 AuthorsThis work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Towards Simulation-based Verification of Autonomous Navigation Systems

Uneingeschränkter Zugang
Online veröffentlicht am: 06 Feb 2020
License
Format
Konferenz
ISBN
978-83-956696-0-6
Erstveröffentlichung
08 Feb 2020
Sprachen
Englisch
Urheberrechte
© 2020 AuthorsThis work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Towards Simulation-based Verification of Autonomous Navigation Systems
Assessment of the Required Subdivision Index for Autonomous Ships based on Equivalent Safety
Empirical analysis of complex network for marine traffic situation
Trustworthy versus Explainable AI in Autonomous Vessels
The Risks of Remote Pilotage in an Intelligent Fairway – preliminary considerations
A Targets Detection Approach Based on an improved R-CNN Algorithm for Inland River Crossing Area Marine Radar Image
Developing a Framework for Trustworthy Autonomous Maritime Systems
Korean Technical Innovation: toward Autonomous Ship and Smart Shipbuilding to Ensure Safety
Safety related cyber-attacks identification and assessment for autonomous inland ships
Prediction Model of Human Error Probability in Autonomous Cargo Ships
Comparison of system modelling techniques for autonomous ship systems
An initial hierarchical systems structure for systemic hazard analysis of autonomous ships
Development of functional safety requirements for DP-driven servicing of wind turbines
Towards STAMP approach based protection of Underwater Cultural Heritage
System-theoretic process analysis for safety analysis of cooperative material handling machinery – Concept and initial experiences
A comparative safety assessment for Direct Current and Direct Current with hybrid supply power systems in a windfarm Service Operation Vessel using System- Theoretic Process Analysis
Changing risks in existing gas infrastructure in the Netherlands: are traditional hazard analysis methods equipped for an energy transition?
STPA Based Approach for a Resilience Assessment at an Early Design Stage of a Cruise Ship
Border crossing point as a socio-technical system: applying STAMP and STPA to border security
Towards maritime traffic coordination in the era of intelligent ships: a systems theoretic study
Exploring the Modeling of Attack Strategies for STPA