[1]
T. Anderson and P.A. Lee. Fault Tolerance: Principles and Practice. Prentice-Hall, Englewood Cliffs, 1981.
Google Scholar
[2]
Elena Troubitsyna. Developing Fault Tolerant Distributed Systems by Refinement. 2010 Fifth International Conference on Software Engineering Advances.
DOI: 10.1109/icsea.2010.34
Google Scholar
[3]
R.J.R. Back, "Refinement calculus, Part II: Parallel and reactive programs". In J. W. de Bakker, W.-P. de Roever, and G. Rozenberg (Eds.), Stepwise Refinement of Distributed Systems, pp.67-93. New York, Springer-Verlag, 1990.
DOI: 10.1007/3-540-52559-9_61
Google Scholar
[4]
Enrique Hernández-Orallo, Joan Vila-Carbó. A proactive backup scheme for reliable real-time transmission. Journal of Parallel and Distributed Computing. 69 (2009) 482-490. Vol. 83-87 (1992), p.119.
DOI: 10.1016/j.jpdc.2009.01.008
Google Scholar
[5]
Valentino G J, Johnson D L. Advanced photonic subsystems toimplement reconfigurable, fault-tolerant avionics [C] // Ban-dak FarisA. DigitalAvionicsSystems. Daytona: DASC, 2001:1C1 /1-1C1 /1.
DOI: 10.1109/dasc.2001.963310
Google Scholar
[6]
Information on http://en.wikipedia.org/wiki/Redundancy_(engineering).
Google Scholar
[7]
ZhangChunxi, Shi Jieqin, Duan Jingyuan, YangYusheng. Fiber-optic network architecture and technology for avionics systems. Journal of Beijing University of Aeronautics and Astronautics. Vol.32 (2006), pp.1390-1394.
Google Scholar
[8]
Gao Meng. Research on Bus Fault-Tolerant Mechanism and Its Verification Method, Aerospace Control and Application. Vol. 36(2) (2010), pp.51-54.
Google Scholar
[9]
Yang Linfeng. Design and implementation of fault tolerant computer reinforcement. Tianjin: Tianjin University, 2003.
Google Scholar
[10]
Guo Xiaosong, Pan Xingjie, Yu Chuanqiang, Yu Ai .Design of a CAN Bus Testing and Control System Based on Fault Tolerant Redundancy. The Eighth International Conference on Electronic Measurement and Instruments, pp.888-892.
DOI: 10.1109/icemi.2007.4350595
Google Scholar
[11]
"IEEE Std 1394-1995. IEEE standard for a high performance serial bus," New York: Institute of Electrical and Electronic Engineers, Inc, 1996.
Google Scholar
[12]
"IEEE Std 1394b-2002. IEEE standard for a high performance serial bus—amendment 2." New York: Institute of Electrical and Electronic Engineers, Inc, 2002.
Google Scholar