Graphical safety assurance case using Goal Structuring Notation (GSN)—challenges, opportunities and a framework for autonomous trains

M Chelouati, A Boussif, J Beugin… - … & System Safety, 2023 - Elsevier
… we are in process of developing for the safety assurance of the autonomous train. It makes it
… related to traceability, complexity, and efficiency of evidence and arguments in safety cases. …

Deployment of autonomous trains in rail transportation: Current trends and existing challenges

P Singh, MA Dulebenets, J Pasha… - IEEE …, 2021 - ieeexplore.ieee.org
… content analysis method, which is considered as a well-established method for … autonomous
trains‖, ―freight train automation‖, ―passenger train automation‖, ―autonomous train

Standardisation considerations for autonomous train control

J Peleska, AE Haxthausen, T Lecomte - … Applications of Formal Methods, 2022 - Springer
… on methods from artificial intelligence. As a thought experiment, we propose a novel autonomous
train … In contrast to this, we deem the trustworthy safety assurance of autonomous high-…

Risk assessment methodologies for autonomous driving: A survey

WMD Chia, SL Keoh, C Goh… - IEEE transactions on …, 2022 - ieeexplore.ieee.org
… using the environmental level approach is demonstrated by … defines dynamic RA as a safety
assurance strategy for AV in … the generic approach where neural networks are used to train

Toward a hybrid causal framework for autonomous vehicle safety analysis

S Thomas, KM Groth - … Engineers, Part O: Journal of Risk …, 2023 - journals.sagepub.com
… list of all AV safety methodologies currently in use or in … unique requirements of Machine
Learning safety assurance. … automatic train protection systems on high speed railway, …

Safe and secure future AI-driven railway technologies: challenges for formal methods in railway

M Seisenberger, MH ter Beek, X Fan, A Ferrari… - … of Formal Methods, 2022 - Springer
… Certification of autonomous train control systems with Grade of Automation GoA 4 (… We
envision the usage of data or process mining techniques to build digital twins of railway systems …

Safety assurance concepts for automated driving systems

S Ballingall, M Sarvi, P Sweatman - … of Advances and Current Practices in …, 2020 - sae.org
… Similarly, with trains the internationally adopted standard IEC … a comprehensive methodology
for safety assurance is one of … associated assurance cases adapt, preferably autonomously

A vision of intelligent train control

F Flammini, L De Donato, A Fantechi… - … , and Security of Railway …, 2022 - Springer
… driving proposed in reference [3], as well as from the process … that intelligent trains should
adopt when taking autonomous … Furthermore, if we focus on autonomous trains with onboard …

Regulatory sandboxes for safety assurance of autonomous vehicles

JTJ Burd - U. Pa. JL & Pub. Aff., 2021 - HeinOnline
… the concept of safety assurance, describes challenges for assurance measurements in
autonomous vehicles, and presents common methods of safety assurance applied in other …

Safety-assured design and adaptation of learning-enabled autonomous systems

Q Zhu, C Huang, R Jiao, S Lan, H Liang, X Liu… - Proceedings of the 26th …, 2021 - dl.acm.org
approach in addressing system safety and other safety-related properties, vertically across
the functional, software, and hardware layers, and horizontally across the autonomy … to train a …