4Gaiswinkler G, Gerstinger A. Automated Software Diversi- ty for Hardware Fault Detection [C]// Proceedings of the 14th International Con{erence on Emerging Technologies &. Factory Automation. New York : IEEE, 2009 : l-7.
5Salewski F, Kowalewski S. Hardware/Software Design Considerations for Automotive Embedded Systems [J]. IEEE Transactions on Industrial Informatics, 2008,4 (3) :156-163.
6Huang B,Li X J,Li M,et al. Study of the Impact of Hard- ware Fault on Software Reliability [C]// Proceedings of the 16th International Conference on Software Reliability Engineering. New York : IEEE, 2005 : 64-72.
7Guo H T, Yang X H. A Simple Reliability Block Diagram Method for Safety Integrity Verification [J]. Reliability Engineering ~ System Safety, 2007,92 (9) : 1267-1273.
8Guo H T, Yang X H. Automatic Creation of Markov Mod- els for Reliability Assessment of Safety Instrumented Systems [J]. Reliability Engineering & System Safety, 2008, 93(6):807-815.
9Nabil S, Hamid D. Reliability Analysis of Discrete Event Dynamic Systems with Petri Nets[J]. Reliability Engineering and System Safety,2009,94(11):1848-1861.
10Tomek L,Trivedi K S. Analyses Using Stochastic Reward Nets [M] .Software Fault Tolerance. New York.. John Wiley & Sons,1995:139-166.