Evaluating system dependability in a co-design framework

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2000, Pages 586-590

  Lajolo, M ^a   Rebaudengo, M ^a   Sonza Reorda, M ^a   Violante, M ^a   Lavagno, L ^b  

^a POLITECNICO DI TORINO   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CO-DESIGNS; DESIGN CYCLE; EVALUATING SYSTEMS; FAULT INJECTION TECHNIQUES; SAFETY CRITICAL APPLICATIONS; SYSTEM DEPENDABILITY;

DESIGN; EMBEDDED SYSTEMS; EXHIBITIONS; TOOLS;

AVAILABILITY;

EID: 0008201174     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2000.840844     Document Type: Conference Paper

References (8)

1. F. Balarin, E. Sentovich, M. Chiodo, P. Giusto, H. Hsieh, B. Tabbara, A. Sangiovanni Vincentelli, A. Jurecska, L. Lavagno, C. Passerone, K. Suzuki, Hardware-Software Codesign of Embedded Systems, Kluwer Academic Publishers, 1998
2. A. Balboni, W. Fornaciari, D. Sciuto, TOSCA: A pragmatic approach to co-design automation of control-dominated systems in Hw/Sw codesign, in Hardware-Software codesign, G. De Micheli, M. G. Sami, Kluwer Academic Publishers, 1996
3. R. Ernst, J. Henkel, T. Benner, Hardware-Software Cosynthesis for Microcontrollers, IEEE Design & Test of Computers, pp. 64-75, 1993
4. J. Clark, D. Pradhan, Fault Injection: A method for Validating Computer-System Dependability, IEEE Computer, June 1995, pp. 47-56
5. R. von Hanxleden, A. Botorabi, S. Kupczyk, A Codesign Approach for Safety-Critical Automotive Applications, IEEE Micro, 1998, no.5, pp. 66-79
6. Y. le Guédart, L. Marneffe, F. Scheerens, J. P. Blanquart, T. Boyer, Functional and Faulty Behavior Analysis: Some experiments and Lessons Learnt, Proc. IEEE Int'l Conf. Fault-Tolerant Computing Systems, 1999, pp. 348-351
7. K. Goswami, R. Iyer, L. Young, DEPEND: A Simulation-Based Environment for System Level Dependability Analysis, IEEE Transactions on Computer, Volume 46, Number 1, Jan. 1997, 60-74
8. J. Carreira, H. Madeira, J. Silva, Xception: Software Fault Injection and Monitoring in Processor Functional Units, DCCA-5, Conference on Dependable Computing for Critical Applications, 1995, pp. 135-149