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

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Volumn , Issue , 2013, Pages 417-422

  Reiter, Sebastian ^a   Pressler, Michael ^a   Viehl, Alexander ^a   Bringmann, Oliver ^b   Rosenstiel, Wolfgang ^b  

^a FZI RESEARCH CENTER FOR INFORMATION TECHNOLOGY   (Germany)

^b UNIVERSITY OF TÜBINGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE SYSTEMS; MODEL-BASED DESIGN; QUANTITATIVE ASSESSMENTS; RELIABILITY ASSESSMENTS; SYSTEM BEHAVIORS; SYSTEM RELIABILITY; VIRTUAL PROTOTYPE; VIRTUAL PROTOTYPING;

COMPUTER AIDED DESIGN; DISTRIBUTED PARAMETER CONTROL SYSTEMS; INDUSTRIAL APPLICATIONS; TIME SHARING SYSTEMS;

RELIABILITY ANALYSIS;

EID: 84877751120     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASPDAC.2013.6509632     Document Type: Conference Paper

References (18)

1. CHESS project page. http://chess-project.ning.com. April 2012.
2. IEEE 1666-2011-IEEE standard for standard SystemC language reference manual.
3. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. pages 11-33, Jan.-March 2004.
4. C. Bolchini and A. Miele. An application-level dependability analysis framework for embedded systems. In Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), 2011 IEEE International Symposium on, pages 171-178, Oct. 2011.
5. Cristiana Bolchini, Antonio Miele, and Donatella Sciuto. Fault models and injection strategies in SystemC specifications. In Digital System Design Architectures, Methods and Tools, 2008. DSD '08. 11th EUROMICRO Conference on, pages 88-95, Sept. 2008.
6. Yung-Yuan Chen, Yi-Chiang Wang, and Jian-Min Peng. SoC-level fault injection methodology in SystemC design platform. In System Simulation and Scientific Computing, 2008. ICSC 2008. Asia Simulation Conference-7th International Conference on, pages 680-687, Oct. 2008.
7. FlexRay Consortium. FlexRay communications system protocol specification version 3.0. Revision A, 2010.
8. A. da Silva and S. Sanchez. LEON3 ViP: A virtual platform with fault injection capabilities. In Digital System Design: Architectures, Methods and Tools (DSD), 2010 13th Euromicro Conference on, pages 813-816, Sept. 2010.
9. Siva Kumar Sastry Hari, Sarita V. Adve, Helia Naeimi, and Pradeep Ramachandran. Relyzer: exploiting application-level fault equivalence to analyze application resiliency to transient faults. In Proceedings of the seventeenth international conference on Architectural Support for Programming Languages and Operating Systems, pages 123-134, 2012.
10. Kuen-Long Leu, Yung-Yuan Chen, Chin-Long Wey, and Jwu-E Chen. Robustness analysis of the FlexRay system through fault tree analysis. In Vehicular Electronics and Safety (ICVES), 2010 IEEE International Conference on, pages 30-35, July 2010.
11. Peter Lisherness and Kwang-Ting (Tim) Cheng. SCEMIT: A SystemC error and mutation injection tool. In Design Automation Conference (DAC), 2010 47th ACM/IEEE, pages 228-233, June 2010.
12. A. MacDonald, D. Russell, and B. Atchison. Model-driven development within a legacy system: an industry experience report. In Software Engineering Conference, 2005. Proceedings. 2005 Australian, pages 14-22, March-April 2005.
13. S. Misera, H.T. Vierhaus, and A. Sieber. Fault injection techniques and their accelerated simulation in SystemC. In Digital System Design Architectures, Methods and Tools, 2007. DSD 2007. 10th Euromicro Conference on, pages 587-595, Aug. 2007.
14. S. Moazzeni, S. Poormozaffari, and A. Emami. An optimized simulationbased fault injection and test vector generation using VHDL to calculate fault coverage. In Microprocessor Test and Verification (MTV), 2009 10th International Workshop on, pages 55-60, Dec. 2009.
15. J. Perez, M. Azkarate-askasua, and A. Perez. Codesign and simulated fault injection of safety-critical embedded systems using SystemC. In Dependable Computing Conference (EDCC), 2010 European, pages 221-229, April 2010.
16. P. Popp, M. DiNatale, P. Giusto, S. Kanajan, and C. Pinello. Towards a methodology for the quantitative evaluation of automotive architectures. In Design, Automation Test in Europe Conference Exhibition, 2007. DATE '07, pages 1-6, April 2007.
17. The Object Management Group (OMG). MDA Guide V1.0.1.
18. Yun Xiang, T. Chantem, R.P. Dick, X.S. Hu, and Li Shang. System-level reliability modeling for MPSoCs. In Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2010 IEEE/ACM/IFIP International Conference on, pages 297-306, Oct. 2010.