Fault-tolerant distributed deployment of embedded control software

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volumn 27, Issue 5, 2008, Pages 906-919

  Pinello, Claudio ^b,c   Carloni, Luca P ^a,d   Sangiovanni Vincentelli, Alberto L ^a,b  

^a IEEE

^b UNIVERSITY OF CALIFORNIA   (United States)

^c CADENCE DESIGN SYSTEMS   (United States)

^d Fu Foundation School of Engineering and Applied Science   (United States)

Author keywords

Automotive electronics; Embedded control software; Fault tolerance; Real time embedded systems

Indexed keywords

COMPUTER SOFTWARE; ELECTRONIC EQUIPMENT; EMBEDDED SYSTEMS; FAULT TOLERANCE; REAL TIME SYSTEMS;

AUTOMOTIVE ELECTRONICS; EMBEDDED CONTROL SOFTWARE; REAL-TIME EMBEDDED SYSTEMS;

AUTOMOBILES;

EID: 42649083995     PISSN: 02780070     EISSN: None     Source Type: Journal    
DOI: 10.1109/TCAD.2008.917971     Document Type: Article

References (41)

1. E. A. Lee, "What's ahead for embedded software?" Computer, vol. 33, no. 9, pp. 18-26, Sep. 2000.
2. D. Tennenhouse, "Proactive computing," Commun. ACM, vol. 43, no. 5, pp. 43-50, May 2000.
3. H. Gill, "Challenges for critical embedded systems," in Proc. 10th IEEE Int. Work. Object-Oriented Real-Time Dependable Syst., Sedona, AZ, Feb. 2005, pp. 7-9.
4. A. Sangiovanni-Vincentelli, "Electronic-system design in the automobile industry," IEEE Micro, vol. 23, no. 3, pp. 8-18, May/Jun. 2003.
5. E. A. Lee, "Absolutely positively on time: What would it take?" Computer, vol. 38, no. 7, pp. 85-87, Jul. 2005.
6. R. Isermann, R. Schwarz, and S. Stolzl, "Fault-tolerant drive-by-wire systems," IEEE Control Syst. Mag., vol. 22, no. 5, pp. 64-81, Oct. 2002.
7. J. Laprie, Ed., Depend Ability: Basic Concepts and Terminology in English, French, German, Italian and Japanese, ser. Dependable Computing and Fault-Tolerant Systems, vol. 5, New York: Springer-Verlag, 1992.
8. A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone, "The synchronous language twelve years later," Proc. IEEE, vol. 91, no. 1, pp. 64-83, Jan. 2003.
9. R. Alur et al., "Hierarchical modeling and analysis of embedded systems," Proc. IEEE, vol. 91, no. 1, pp. 11-28, Jan. 2003.
10. S. Edwards, L. Lavagno, E. Lee, and A. Sangiovanni-Vincentelli, "Design of embedded systems: Formal methods, validation and synthesis," Proc. IEEE, vol. 85, no. 3, pp. 266-290, Mar. 1997.
11. G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty, "Model-integrated development of embedded software," Proc. IEEE, vol. 91, no. 1, pp. 145-164, Jan. 2003.
12. H. Kopetz and D. Millinger, "The transparent implementation of fault tolerance in the time-triggered architecture," in Proc. Dependable Comput. Critical Appl., San Jose, CA, 1999, p. 191.
13. C. Pinello, L. P. Carloni, and A. L. Sangiovanni-Vincentelli, "Fault-tolerant deployment of embedded software for cost-sensitive real-time feedback-control applications," in Proc. Conf. Des., Autom. Test Eur., Feb. 2004, pp. 1164-1169.
14. C. Pinello, "Design of safety-critical applications, a synthesis approach," Ph.D. dissertation, Univ. California, Berkeley, Aug. 2004.
15. F. Cristian, "Understanding fault-tolerant distributed systems," Commun. ACM, vol. 34, no. 2, pp. 56-78, Feb. 1991.
16. P. Jalote, Fault Tolerance in Distributed Systems. Englewood Cliffs, NJ: Prentice-Hall, 1994.
17. V. Izosimov, P. Pop, P. Eles, and Z. Peng, "Design optimization of time- and cost-constrained fault-tolerant distributed embedded systems," in Proc. Conf. Des., Autom. Test Eur., 2005, pp. 864-869.
18. V. Izosimov, P. Pop, P. Eles, and Z. Peng, "Synthesis of fault-tolerant schedules with transparency/performance trade-offs for distributed embedded systems," in Proc. Conf. Des., Autom. Test Eur., 2006, pp. 706-711.
19. V. Izosimov, P. Pop, P. Eles, and Z. Peng, "Synthesis of fault-tolerant embedded systems with checkpointing and replication," in Proc. 3rd IEEE Int. Workhop Electron. Des., Test Appl., 2006, pp. 440-447.
20. H. Kopetz and G. Grunsteidl, "TTP: A protocol for fault-tolerant real-time systems," Computer, vol. 27, no. 1, pp. 14-23, Jan. 1994.
21. B. M. N. Kandasamy and J. P. Hayes, "Transparent recovery from intermittent faults in time-triggered distributed systems," IEEE Trans. Comput., vol. 52, no. 2, pp. 113-125, Feb. 2003.
22. T. Grandpierre, C. Lavarenne, and Y. Sorel, "Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors," in Proc. 7th Int. Workshop Hardware/Software Co-Des., May 1999, pp. 74-78.
23. C. Dima, A. Girault, C. Lavarenne, and Y. Sorel, "Off-line real-time fault-tolerant scheduling," in Proc. Euromicro, Mantova, Italy, Feb. 2001, pp. 410-417.
24. A. J. Wellings, L. Beus-Dukic, and D. Powell, "Real-time scheduling in a generic fault-tolerant architecture," in Proc. RTSS, Dec. 1998, p. 390.
25. T. A. Henzinger, B. Horowitz, and C. M. Kirsch, "Embedded control systems development with GIOTTO," in Proc. Languages, Compilers, Tools Embedded Syst., 2001, pp. 64-72.
26. A. Casavola and E. Garone, "Adaptive fault tolerant actuator allocation for overactuated plants," in Proc. 26th Am. Control Conf., New York, NY, Jul. 2007, pp. 3985-3990.
27. H. Siu, Y. Chin, and W. Yang, "Reaching strong consensus in the presence of mixed failure types," Inf. Sci., vol. 108, no. 1, pp. 157-180, Jul. 1998.
28. J. Engblom and B. Jonsson, "Processor pipelines and their properties for static WCET analysis," in Proc. 2nd. Int. Conf. EMSOFT, 2002, vol. 2491, pp. 334-348.
29. C. Ferdinand et al., "Reliable and precise WCET determination for a real-life processor." in Proc. 2nd. Int. Conf. EMSOFT, 2001, vol. 2211, pp. 469-485.
30. J. Dennis, "Data flow supercomputers," Computer, vol. 13, no. 11, pp. 48-56, Nov. 1980.
31. E. A. Lee and D. G. Messerschmitt, "Synchronous data flow," Proc. IEEE, vol. 75, no. 9, pp. 1235-1245, Sep. 1987.
32. A. Benveniste and G. Berry, "The synchronous approach to reactive and real-time systems," Proc. IEEE, vol. 79, no. 9, pp. 1270-1282, Sep. 1991.
33. M. Barborak, M. Malek, and A. Dahbura, "The consensus problem in fault-tolerant computing," ACM Comput. Surv., vol. 25, no. 2, pp. 171-220, Jun. 1993.
34. M. L. McKelvin, G. Eirea, C. Pinello, S. Kanajan, and A. L. Sangiovanni-Vincentelli, "A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems," in Proc. Conf. Embedded Softw., Sep. 2005, pp. 237-246.
35. C. Dima, A. Girault, and Y. Sorel, "Static fault-tolerant real-time scheduling with "pseudo-topological" orders," in Proc. FORMATS/FTRTFT, 2004, pp. 215-230.
36. M. Baleani, "Fault-tolerant platforms for automotive safety-critical applications," in Proc. Int. Conf. Compilers, Archit. Synthesis Embedded Syst., 2003, pp. 170-177.
37. F. Brasileiro, P. Ezhilchelvan, S. Shrivastava, N. Speirs, and S. Tao, "Implementing fail-silent nodes for distributed systems," IEEE Trans. Comput., vol. 45, no. 11, pp. 1226-1238, Nov. 1996.
38. T. Yang and A. Gerasoulis, "List scheduling with and without communication delays," Parallel Comput., vol. 19, no. 12, pp. 1321-1344, Dec. 1993.
39. K. Ahn, J. Kim, and S. Hong, "Fault-tolerant real-time scheduling using passive replicas0" in Proc. Pacific Rim Int. Symp. Fault-Tolerant Syst., 1997, pp. 98-103.
40. S. Ghosh, R. Melhem, and D. Mosse, "Fault-tolerant scheduling on a hard real-time multiprocessor system," in Proc. 8th Int. Parallel Process. Symp., Los Alamitos, CA, 1994, pp. 775-782.
41. INRIA, SynDEx Webpage. [Online]. Available: http://www-rocq.inria. fr/syndex/