Fault tree analysis of embedded systems using SystemC

Proceedings - Annual Reliability and Maintainability Symposium

Volumn , Issue , 2005, Pages 77-81

  Zarandi, Hamid Reza ^a   Miremadi, Seyed Ghassem ^a,b,c  

^a SHARIF UNIVERSITY OF TECHNOLOGY   (Iran)

^b Sharif University of Technology ^*  (Iran)

^c IEEE   (Iran)

Author keywords

Embedded system; Fault tree analysis; Hardware software components; SystemC

Indexed keywords

HARDWARE/SOFTWARE COMPONENTS; SYSTEMC; DEPENDABILITY; UNIFIED LANGUAGE;

COMPUTER HARDWARE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; RELIABILITY; FAULT TREE ANALYSIS; INTEROPERABILITY;

FAULT TREE ANALYSIS; EMBEDDED SYSTEMS;

EID: 27744534095     PISSN: 0149144X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. L. Kaufman, J. B. Dugan, R. Manian, "System Reliability Analysis of an Embedded Hardware/Software System using Fault Trees." Proc. Ann. Reliability & Maintainability Symp., (January) 1999, pp. 135-141.
2. P. Liggesmeyer, M. Rothfelder, "Improving System Reliability with Automatic Fault Tree Generation." Proc. Twenty-Eight Int. Symp. on Fault Tolerant Computing, (June) 1998, pp. 90-99.
3. R. Manian, J. B. Dugan, D. Coppit, K. Sullivan,"Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems", Proc. Third IEEE Int. High-Assurance Systems Engineering Symp., (November) 1998, pp. 13-14.
4. P. Leggismeyer, O. Maeckel, "Quantifying the Reliability of Embedded Systems by Automated Analysis." Proc. Int. Conference on Dependable Systems and Networks, (July) 2001, pp. 89-96.
5. J. C. Knight, L. G. Nakano, "Software Test Techniques for System Fault-Tree Analysis." Proc. 16th Int. Conf. on Computer Safety, Reliability, and Security, (September) 1997.
6. K. J. Sullivan, J. B. Dugan, D. Coppit, "The Galileo Fault Tree Analysis Tool." Proc. Of th 29th Int. Conf. on Fault Tolerant Computing, (June) 1999, pp. 232-235.
7. Open SystemC Initiative, http://www.systemc.org
8. A. Ejlali, S. G. Miremadi, "Time-to-Failure Tree." Proc. Ann. Reliability & Maintainability Symp., (January) 2003, pp 148-152.
9. N. G. Leveson, S. S. Cha, T. J. Shimeall, "Safety Verification of ADA Programs using Software Fault Trees." IEEE Software, Vol. 8, No. 4, (July) 1991, pp. 48-59.
10. A. Aho, R. Sethi, J. Ullman, Compilers: Principles, Techniques and Tools, Addison-Wesley, 1986.
11. Synopsis Inc., http://www.synopsys.com