Codesign and simulated fault injection of safety-critical embedded systems using systemC

EDCC-8 - Proceedings of the 8th European Dependable Computing Conference

Volumn , Issue , 2010, Pages 221-229

  Perez, Jon ^a   Azkarate Askasua, Mikel ^a   Perez, Antonio ^a  

^a IK4 IKERLAN   (Spain)

Author keywords

Codesign; Fault injection; IEC 61508; Odometry; Safety; SystemC

Indexed keywords

A-TRAIN; CO-DESIGNS; DEVELOPMENT PROCESS; EXECUTABLE MODELING; FAILURE MODE AND EFFECT ANALYSIS; FAULT INJECTION; FAULT INJECTION TECHNIQUES; FAULT TOLERANCE MECHANISMS; INTERNATIONAL SAFETY STANDARDS; ODOMETRY; REFINEMENT STEP; SAFETY-CRITICAL; SAFETY-CRITICAL EMBEDDED SYSTEMS; SENSOR FUSION; SYSTEMC;

EMBEDDED SYSTEMS; FAILURE ANALYSIS; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; MACHINE DESIGN; STANDARDIZATION;

QUALITY ASSURANCE;

EID: 77954338402     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDCC.2010.34     Document Type: Conference Paper

References (18)

1. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr, "Basic concepts and taxonomy of dependable and secure computing," in IEEE Transactions on Dependable and Secure Computing, vol. 1, 2004, pp. 11-33.
2. IEC, "IEC 61508-7: Overview of techniques and measures," 1998-12 2000.
3. IEEE-1666, "Standard SystemC language reference manual," 2005.
4. S. Misera, H. T. Vierhaus, and A. Sieber, "Fault injection techniques and their accelerated simulation in SystemC," in 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD), 2007, pp. 587-595.
5. M. Lajolo, M. Rebaudengo, M. S. Reorda, M. Violante, and L. Lavagno, "Evaluating system dependability in a co-design framework," in Design, Automation and Test in Europe Conference and Exhibition (DATE), 2000, pp. 586-590.
6. S. Blanc, A. Bonastre, and P. J. Gil, "Dependability assessment of by-wire control systems using fault injection," Journal of Systems Architecture: the EUROMICRO Journal, vol. 55, no. 2, pp. 102-113, 2009.
7. A. Benso and P. Prinetto, Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation. Springer, 2003.
8. C. Bolchini, A. Miele, and D. Sciuto, "Fault models and injection strategies in SystemC specifications," in 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools (DSD), 2008, pp. 88-95.
9. H. D. Patel and S. K. Shukla, "Model-driven validation of SystemC designs," in 44th ACM/IEEE Design Automation Conference (DAC), 2007, pp. 29-34.
10. R. A. Shafik, P. Rosinger, and B. M. Al-Hashimi, "SystemC-based minimum intrusive fault injection technique with improved fault representation," in 14th IEEE International On-Line Testing Symposium (IOLTS), 2008, pp. 99-104.
11. C. Yung-Yuan, W. Yi-Chiang, and P. Jian-Min, "SoC-level fault injection methodology in SystemC design platform," in 7th International Conference on System Simulation and Scientific Computing (ICSC), 2008, pp. 680-687.
12. M. Malvezzi, B. Allota, M. Rinchi, M. Bruzzo, and P. De Bernardi, "Odometric estimation for automatic train protection and control systems," in 8th World Congress on Railway Research (WCRR), Korea, 2008.
13. L. Pugi, M. Malvezzi, M. Rinchi, and G. Cocci, "A multipurpose platform for hil testing of safe relevant railway subsystem," in IEEE/ASME International Conference on Advanced Intelligent Mechatronics, 2005, pp. 282-288.
14. A. Mirabadi, F. Schmid, and N. Mort, "Multisensor integration methods in the development of a fault-tolerant train navigation system," The Journal of Navigation, vol. 56, no. 3, pp. 385-398, 2003.
15. W. Ying, Z. Xue-Gong, Z. Bo, L. Liang, and P. Cheng-Lian, "A MDA based SoC modeling approach using UML and SystemC," in The Sixth IEEE International Conference on Computer and Information Technology (CIT), 2006, pp. 245-245.
16. J. Gracia, J. C. Baraza, D. Gil, and P. J. Gil, "Comparison and application of different vhdl-based fault injection techniques," in IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2001, pp. 233-241.
17. P. Winter, Compendium on ERTMS - European Railway Traffic Management System. DW Media Group GmbH, 2009.
18. P. Peti, R. Obermaisser, and H. Kopetz, "Out-of-norm assertions," in Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'05), San Francisco, California, USA, 2005, pp. 280 - 291.