Safety analysis for vehicle guidance systems with dynamic fault trees-Reference-Cited by-同舟云学术

Safety analysis for vehicle guidance systems with dynamic fault trees

Author:

Ghadhab Majdi,Junges Sebastian,Katoen Joost-Pieter,Kuntz Matthias,Volk Matthias^ORCID

Funder

CDZ

DFG

Publisher

Elsevier BV

Subject

Industrial and Manufacturing Engineering,Safety, Risk, Reliability and Quality

Reference48 articles.

1. ISO. ISO 26262: road vehicles - functional safety. 2011.

2. Fault trees and sequence dependencies;Dugan,1990

3. The probabilistic model checking landscape;Katoen,2016

4. Model checking for probability and time: from theory to practice;Kwiatkowska,2003

5. Probabilistic model checking;Baier,2016

Cited by 40 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. SAFEST: Fault Tree Analysis Via Probabilistic Model Checking;2024 Annual Reliability and Maintainability Symposium (RAMS);2024-01-22

3. Analysing Residual Risks when Introducing Monitoring and Diagnosis into Systems;2023 10th International Conference on Dependable Systems and Their Applications (DSA);2023-08-10

4. Brake-by-wire architecture design and analysis in accordance with functional safety standard;Proceedings of the Institution of Mechanical Engineers, Part D: Journal of Automobile Engineering;2023-07-01