Safety analysis for vehicle guidance systems with dynamic fault trees
作者： Majdi Ghadhab , Sebastian Junges , Joost-Pieter Katoen , Matthias Kuntz , Matthias Volk
DOI: 10.1016/J.RESS.2019.02.005
关键词:
摘要: Abstract This paper considers the design-phase safety analysis of vehicle guidance systems. The proposed approach constructs dynamic fault trees (DFTs) to model a variety concepts and E/E architectures for drive automation. can be used evaluate various quantitative measures by means checking. is accompanied large-scale evaluation: resulting DFTs with up 300 elements constitute larger-than-before DFTs, yet evaluated in matter minutes.
arxiv.org
harvard.edu
sci-hub.se 参考文章(44)
DeJiu Chen, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner, Martin Törngren, Modelling Support for Design of Safety-Critical Automotive Embedded Systems international conference on computer safety reliability and security. ,vol. 5219, pp. 72- 85 ,(2008) , 10.1007/978-3-540-87698-4_9
Bernhard Kaiser, Catharina Gramlich, State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems international conference on computer safety, reliability, and security. ,vol. 92, pp. 195- 209 ,(2007) , 10.1007/978-3-540-30138-7_17
Mark L. McKelvin, Alberto Sangiovanni-Vincentelli, Fault Tree Analysis for the Design Exploration of Fault Tolerant Automotive Architectures SAE World Congress & Exhibition. ,(2009) , 10.4271/2009-01-1377
Axel Legay, Benoît Delahaye, Saddek Bensalem, Statistical Model Checking: An Overview Runtime Verification. pp. 122- 135 ,(2010) , 10.1007/978-3-642-16612-9_11
Lars Grunske, Bernhard Kaiser, Yiannis Papadopoulos, Model-Driven safety evaluation with state-event-based component failure annotations component-based software engineering. ,vol. 3489, pp. 33- 48 ,(2005) , 10.1007/11424529_3
Florian Leitner-Fischer, Stefan Leue, QuantUM: Quantitative Safety Analysis of UML Models Electronic Proceedings in Theoretical Computer Science. ,vol. 57, pp. 16- 30 ,(2011) , 10.4204/EPTCS.57.2
Martin Walker, Mark-Oliver Reiser, Sara Tucci-Piergiovanni, Yiannis Papadopoulos, Henrik Lönn, Chokri Mraidha, David Parker, DeJiu Chen, David Servat, Automatic optimisation of system architectures using EAST-ADL Journal of Systems and Software. ,vol. 86, pp. 2467- 2487 ,(2013) , 10.1016/J.JSS.2013.04.001
Stefano Tonetta, Safety assessment of AltaRica models via symbolic model checking Science of Computer Programming. ,vol. 98, pp. 464- 483 ,(2015) , 10.1016/J.SCICO.2014.06.003
Kuen-Long Leu, Jwu-E Chen, Chin-Long Wey, Yung-Yuan Chen, Generic Reliability Analysis for Safety-Critical FlexRay Drive-By-Wire Systems international conference on connected vehicles and expo. pp. 216- 221 ,(2012) , 10.1109/ICCVE.2012.48
Marc Bouissou, Jean-Louis Bon, A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes Reliability Engineering & System Safety. ,vol. 82, pp. 149- 163 ,(2003) , 10.1016/S0951-8320(03)00143-1