Fault Tree Analysis for the Design Exploration of Fault Tolerant Automotive Architectures

[1]  José Rufino,et al.  Fault-tolerant broadcasts in CAN , 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).

[2]  Alberto L. Sangiovanni-Vincentelli,et al.  A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems , 2005, EMSOFT.

[3]  David Coppit,et al.  The Galileo fault tree analysis tool , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

[4]  Michael C. Gaunt,et al.  Development of a Steer-by-Wire System for the GM Sequel , 2006 .

[5]  Alberto L. Sangiovanni-Vincentelli,et al.  Fault-Tolerant Distributed Deployment of Embedded Control Software , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[6]  Donald D. Chamberlin.  XQuery: An XML query language , 2002, IBM Syst. J..

[7]  Günther Bauer.  The Time-Triggered Paradigm , 2003 .

[8]  Marco Di Natale,et al.  Towards a Methodology for the Quantitative Evaluation of Automotive Architectures , 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

[9]  Yiannis Papadopoulos,et al.  Model-based synthesis of fault trees from Matlab-Simulink models , 2001, 2001 International Conference on Dependable Systems and Networks.

[10]  A. Sharif Heger,et al.  Calculating exact top-event probabilities using ΣΠ-Patrec , 1995 .

[11]  Alberto L. Sangiovanni-Vincentelli,et al.  Electronic-System Design in the Automobile Industry , 2003, IEEE Micro.

[12]  Joanne Bechta Dugan,et al.  Dependability assessment using binary decision diagrams (BDDs) , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[13]  Syed Masud Mahmud,et al.  Performance Analysis of Fault Tolerant TTCAN System , 2005 .

[15]  Hermann Kopetz,et al.  Fault containment and error detection in the time-triggered architecture , 2003, The Sixth International Symposium on Autonomous Decentralized Systems, 2003. ISADS 2003..