Managing redundancy in CAN-based networks supporting N-Version Programming

Computer Standards and Interfaces

Volumn 31, Issue 1, 2009, Pages 120-127

  Proenza, Julián ^a   Miro Julia, José ^a   Hansson, Hans ^b  

^a UNIVERSITAT DE LES ILLES BALEARS   (Spain)

^b MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

CAN protocol; Distributed computing; N Version Programming; Replica determinism; Software fault tolerance

Indexed keywords

ARCHITECTURE; BLOOD VESSEL PROSTHESES; COMPUTER NETWORKS; CONTROL SYSTEM SYNTHESIS; CONTROL THEORY; ERROR DETECTION; ERRORS; FAULT DETECTION; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; FLIGHT DYNAMICS; NETWORK PROTOCOLS; QUALITY ASSURANCE; REDUNDANCY; RELIABILITY; SCADA SYSTEMS; SENSOR NETWORKS; SOFTWARE RELIABILITY; STANDARDS;

CAN PROTOCOL; DISTRIBUTED COMPUTING; N-VERSION PROGRAMMING; REPLICA DETERMINISM; SOFTWARE FAULT TOLERANCE;

ARCHITECTURAL DESIGN;

EID: 54349091509     PISSN: 09205489     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.csi.2007.11.007     Document Type: Article

References (23)

1. Weyuker E. Difficulties measuring software risk in an industrial environment. IEEE Int. Conf. on Dependable Systems and Networks. DSN 2001 (2001)
2. Littlewood B., Popov P., and Strigini L. Design diversity: an update from research on reliability modeling. Proc. 9th Safety Critical Systems Symposium, Bristol, UK (2001)
3. Popov P., Strigini L., May J., and Kuball S. Estimating bounds on the reliability of diverse systems. IEEE Transactions on Software Engineering 29 4 (2003) 345-359
4. Popov P., Strigini L., and Romanovsky A. Diversity for off-the-shelf components. Fast Abstracts of the IEEE Int. Conf. on Dependable Systems and Networks. DSN 2000. New York, NY (2000)
5. Lala J.H., and Alger L.S. Hardware and software fault tolerance: a unified architectural approach. 18th International Symposium on Fault-Tolerant Computing. FTCS-18. Tokyo, Japan (1988) 240-245
6. Walter C.J. MAFT: an architecture for reliable fly-by-wire flight control. AIAA/IEEE 8th Digital Avionics Systems Conference. San Jose, CA (1988) 415-421
7. Wensley J.H., Lamport L., Goldberg J., Green M.W., Levitt K.N., Melliar-Smith P., Shostak R.E., and Weinstock C.B. SIFT: design and analysis of a fault-tolerant computer for aircraft control. Proceedings of the IEEE 66 10 (1978) 1240-1255
8. Gleeson B.J. Fault tolerance: why should I pay for it?. In: Banatre M., and Lee P.A. (Eds). Hardware and Software Architectures for Fault Tolerance, LNCS-774 (1994), Springer-Verlag 67-77
9. J. Miro-Julia, A network architecture capable of efficiently running fault-tolerant applications, Ph.D. thesis, Computer Science Department. University of California, Los Angeles (UCLA) (1991).
10. Avižienis A. The N-Version approach to fault-tolerant software. IEEE Transactions on Software Engineering 11 12 (1985) 1491-1501
11. ISO. International Standard 11898 - Road Vehicles - Interchange of Digital Information - Controller Area Network (CAN) for High-Speed Communication (1993)
12. Poledna S. Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism (1996), Kluwer Academic Publishers
13. J. Proenza, RCMBnet: A distributed hardware and firmware support for software fault tolerance, Ph.D. thesis, Department of Mathematics and Informatics. Universitat de les Illes Balears (UIB) (2007).
14. Kopetz H. Real-time systems: design principles for distributed embedded applications, real-time systems. Engineering and Computer Science (1997), Kluwer Academic Publishers, Boston
15. Barborak M., Malek M., and Dahbura A. The consensus problem in fault-tolerant computing. ACM Computing Surveys 25 2 (1993) 171-220
16. V. Hadzilacos, S. Toueg, Fault-tolerant broadcasts and related problems, in: S. J. Mullender (Ed.), Distributed Systems, 2nd Edition, ACM-Press, Addison-Wesley, 1993, Ch. 5, pp. 97-145.
17. Rufino J., Veríssimo P., Arroz G., Almeida C., and Rodrigues L. Fault-tolerant broadcast in CAN. Proc. IEEE 28th Int. Symp. Fault-Tolerant Computing. FTCS-28. Munich (Germany) (1998)
18. Proenza J., and Miro-Julia J. MajorCAN: a modification to the Controller Area Network protocol to achieve atomic broadcast. IEEE Int. Workshop on Group Communications and Computations (2000), IWGCC, Taipei, Taiwan
19. In: Powell D. (Ed). Delta-4: A Generic Architecture for Dependable Distributed Computing, Vol. 1 of ESPRIT Research Reports (1991), Springer Verlag, Wien
20. Rufino J., Veríssimo P., and Arroz G. A Columbus' egg idea for CAN media redundancy. Digest of Papers, The 29th International Symposium on Fault-Tolerant Computing Systems (1999), IEEE, Madison, Wisconsin, USA 286-293
21. In: Laprie J.-C. (Ed). Dependability: Basic Concepts and Terminology (1992), Springer-Verlag, Wien
22. Pease M., Shostak R., and Lamport L. Reaching agreement in the presence of faults. Journal of the Association for Computing Machinery 27 2 (1980) 228-234
23. In: Powell D. (Ed). GUARDS - A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems (2001), Kluwer Academic Publishers, Boston