Generation of fault-tolerant static scheduling for real-time distributed embedded systems with multi-point links

Proceedings - 15th International Parallel and Distributed Processing Symposium, IPDPS 2001

Volumn , Issue , 2001, Pages 1265-1272

  Girault, A ^a   Lavarenne, C ^b   Sighireanu, M ^c   Sorel, Y ^d  

^a INRIA BIP   (France)

^b INRIA SOSSO   (France)

^c UNIVERSITÉ PARIS DESCARTES   (France)

^d INRIA ROCQUENCOURT   (France)

Author keywords

Algorithm Architecture Adequation method; distribution heuristics; multi component architectures; Real time embedded systems; software implemented fault tolerance; static scheduling

Indexed keywords

ALGORITHMS; FAULT TOLERANCE; HEURISTIC METHODS; PARALLEL PROCESSING SYSTEMS; REAL TIME SYSTEMS; REDUNDANCY; SCHEDULING;

ALGORITHM ARCHITECTURES; DISTRIBUTION HEURISTICS; MULTICOMPONENTS; REAL-TIME EMBEDDED SYSTEMS; SOFTWARE IMPLEMENTED FAULT TOLERANCES; STATIC SCHEDULING;

EMBEDDED SYSTEMS;

EID: 84981294698     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2001.925102     Document Type: Conference Paper

References (29)

1. T. Anderson and J.C. Knight. A framework for software fault-tolerance in real-time systems. IEEE Trans. on Software Engineering, 9(3):355-364, May 1983.
2. L. Arditi and A. Bouali. Using ESTEREL and formal methods to increase the confidence in the functional validation of a commercial DSP. In ERCIM Workshop on Formal Methods for Industrial Critical Systems, FMICS'99, Trento, Italy, 1999.
3. J.-L. Bergerand and E. Pilaud. SAGA: A software development environment for dependability in automatic control. In SAFECOMP'88. Pergamon Press, 1988.
4. G. Berry, A. Bouali, X. Fornari, E. Ledinot, E. Nassor, and R. de Simone. ESTEREL: a formal method applied to avionic software development. Science of Computer Programming, 36:5-25, 2000.
5. G. Berry and G. Gonthier. The ESTEREL synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
6. A.A. Bertossi and L.V. Mancini. Scheduling algorithms for fault-tolerance in hard-real-time systems. Real-Time Systems Journal, 7(3):229-245, 1994.
7. A.A. Bertossi, L.V. Mancini, and F. Rossini. Fault-tolerant rate-monotonic first-fit scheduling in hard real-time systems. IEEE Trans. on Parallel and Distributed Systems, 10:934-945, 1999.
8. A. Bouali. XEVE: An ESTEREL verification environement. In International Conference on Computer Aided Verification, CAV'98, LNCS, Vancouver, Canada, June 1998. Springer-Verlag.
9. M. Caccamo and B. Buttazzo. Optimal scheduling for fault-tolerant and firm real-time systems. In 5th International Conference on Real-Time Computing Systems and Applications. IEEE Press, October 1998.
10. J.-Y. Chung, J.W.S. Liu, and K.-J. Lin. Scheduling periodic jobs that allow imprecise results. IEEE Trans. on Computers, 39(9):1156-1174, September 1990.
11. D. Powell et al. The Delta-4 approach to dependability in open distributed systems. In 18th IEEE International Symposium on Fault-Tolerant Computing, FTCS'88, pages 246-251, Tokyo, Japan, June 1988. IEEE Computer Society Press.
12. S. Ghosh. Guaranteeing Fault-Tolerance through Scheduling in Real-Time Systems. PhD Thesis, University of Pittsburgh, 1996.
13. S. Ghosh, R. Melhem, and D. Mossé. Fault-tolerant scheduling on a hard real-time multiprocessor system. In H.J. Siegel, editor, 8th International Symposium on Parallel Processing, pages 775-783, Los Alamitos, CA, April 1994. IEEE Computer Society Press.
14. A. Girault, C. Lavarenne, M. Sighireanu, and Y. Sorel. Fault-tolerant static scheduling for real-time distributed embedded systems. Research Report 4006, INRIA, September 2000.
15. T. Grandpierre, C. Lavarenne, and Y. Sorel. Optimized rapid prototyping for real-time embedded heterogeneous multiprocessors. In 7th International Workshop on Hardware/Software Co-Design, CODES'99, Rome, Italy, May 1999.
16. M. Gupta and E. Schonberg. Static analysis to reduce synchronization cost in data-parallel programs. In 23rd ACM Symposium on Principles of Programming Languages, pages 322-332, January 1996.
17. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Pub., 1993.
18. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
19. P. Jalote. Fault-Tolerance in Distributed Systems. Prentice Hall, Englewood Cliffs, New Jersey, 1994.
20. S. Kulkarni and A. Arora. Automating the addition of fault-tolerance. In M. Joseph, editor, 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'00, volume 1926 of LNCS, pages 82-93, Pune, India, September 2000. Springer-Verlag.
21. L. Lamport, R. Shostak, and M. Pease. The Byzantine generals problem. ACM TOPLAS, 4(3):382-401, July 1982.
22. J.-C. Laprie et al. Dependability: Basic Concepts and Terminology. Dependable Computing and Fault-Tolerant Systems. Springer-Verlag, 1992.
23. C. Lavarenne, O. Seghrouchni, Y. Sorel, and M. Sorine. The SYNDEX software environment for real-time distributed systems design and implementation. In European Control Conference, volume 2, pages 1684-1689. Hermès, July 1991.
24. P. LeGuernic, T. Gautier, M. LeBorgne, and C. LeMaire. Programming real-time applications with SIGNAL. Proceedings of the IEEE, 79(9):1321-1336, September 1991.
25. C. Ratel, N. Halbwachs, and P. Raymond. Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE. IEEE Trans. on Software Engineering, 18(9):785-793, September 1992.
26. J. Rushby. Critical system properties: Survey and taxonomy. Reliability Engineering and Systems Safety, 43(2):189-219, 1994. Research Report CSL-93-01.
27. Y. Sorel. Massively parallel computing systems with real time constraints, the "algorithm architecture adequation" methodology. In Massively Parallel Computing Systems Conference, Ischia, Italy, May 1994.
28. VÉRIMAG. The Declarative Code DC, 1.2b edition, June 1999. Available at http://www-verimag.imag.fr/raoul/DC-WWW.
29. A. Vicard. Formalisation et Optimisation des Systèmes Informatiques Distribués Temps-Réel Embarqués. PhD Thesis, University of Paris XIII, July 1999.