Reliability assessment of safety-relevant automotive systems in a model-based design flow

To support the reliability assessment of safety-relevant distributed automotive systems and reduce its complexity, this paper presents a novel approach that extends virtual prototyping towards error effect simulation. Besides the common functional and timed system simulation, error injection is used to stress error tolerance mechanisms. A quantitative assessment of the overall system reliability is performed by observing the system reactions and identifying incorrect system behavior. To foster the industrial application, the analysis is integrated in a model-based design flow, starting at the modeling level to assemble and parameterize the virtual prototype and to configure the analysis. The feasibility of the proposed approach is demonstrated by analyzing a representative safety-relevant automotive use case.

[1]  Cristiana Bolchini,et al.  An Application-Level Dependability Analysis Framework for Embedded Systems , 2011, 2011 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems.

[2]  Yung-Yuan Chen,et al.  SoC-level fault injection methodology in SystemC design platform , 2008, 2008 Asia Simulation Conference - 7th International Conference on System Simulation and Scientific Computing.

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

[4]  Li Shang,et al.  System-level reliability modeling for MPSoCs , 2010, 2010 IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[5]  Antonio Dasilva,et al.  LEON3 ViP: A Virtual Platform with Fault Injection Capabilities , 2010, 2010 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools.

[6]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[7]  Daniel M. Russell,et al.  Model-driven development within a legacy system: an industry experience report , 2005, 2005 Australian Software Engineering Conference.

[8]  Chin-Long Wey,et al.  Robustness analysis of the FlexRay system through fault tree analysis , 2010, Proceedings of 2010 IEEE International Conference on Vehicular Electronics and Safety.

[9]  Kwang-Ting Cheng,et al.  SCEMIT: A SystemC error and mutation injection tool , 2010, Design Automation Conference.

[10]  Shadi Moazzeni,et al.  An Optimized Simulation-Based Fault Injection and Test Vector Generation Using VHDL to Calculate Fault Coverage , 2009, 2009 10th International Workshop on Microprocessor Test and Verification.

[11]  Mikel Azkarate-askasua,et al.  Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC , 2010, 2010 European Dependable Computing Conference.

[12]  Donatella Sciuto,et al.  Fault Models and Injection Strategies in SystemC Specifications , 2008, 2008 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools.

[13]  Sarita V. Adve,et al.  Relyzer: exploiting application-level fault equivalence to analyze application resiliency to transient faults , 2012, ASPLOS XVII.

[14]  Heinrich Theodor Vierhaus,et al.  Fault Injection Techniques and their Accelerated Simulation in SystemC , 2007, 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007).