]. R. Agn91 and . Agne, Global cyclic scheduling : A method to guarantee the timing behavior of distributed real-time systems, The Journal of Real-Time Systems, vol.3, issue.1, pp.45-66, 1991.

P. Barrett, A. Hilborne, P. Verissimo, L. Rodrigues, P. Bond et al., The Delta-4 extra performance architecture (XPA), [1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium, pp.481-488, 1990.
DOI : 10.1109/FTCS.1990.89386

. A. Btw95, K. Burns, A. Tindell, and . Wellings, Effective analysis for engineering real-time fixed priority schedulers, IEEE Transactions on Software Engineering, vol.21, issue.5, pp.475-480, 1995.

]. G. Cas96 and . Castelli, Eos : A real-time operating system adapts to application architectures, IEEE Micro, pp.41-49, 1996.

J. [. Chen and . Lin, Dynamic priority ceilings: A concurrency control protocol for real-time systems, Real-Time Systems, vol.11, issue.4, pp.325-346, 1990.
DOI : 10.1007/BF01995676

]. M. Gie95 and . Gien, Evolution of the chorus open microkernel architecture : the stream project, Proceeding of the 5th International Workshop on Configurable Distributed Systems, pp.7-13, 1995.

R. [. Ghosh, D. Melhem, and . Mossé, Fault-tolerant scheduling on a hard real-time multiprocessor system, Proceedings of 8th International Parallel Processing Symposium, pp.272-284, 1997.
DOI : 10.1109/IPPS.1994.288216

]. D. Hil94 and . Hildebrand, QNX : Microkernel Technology for Open Systems Handheld Computing, Pen and Portable Computing Conference and Exposition, 1994.

H. [. Hansson, M. Lawson, S. Strömberg, and . Larsson, BASEMENT: A distributed real-time architecture for vehicle applications, Real-Time Systems, vol.19, issue.2, pp.223-244, 1996.
DOI : 10.1007/BF00337680

G. [. Humphrey, J. Wallace, and . Stankovic, Kernel-level threads for dynamic, hard real-time environments, Proceedings 16th IEEE Real-Time Systems Symposium, 1995.
DOI : 10.1109/REAL.1995.495194

H. Kopetz, A. Damm, C. Koza, M. Mulazzani, W. Scwabl et al., Distributed fault-tolerant real-time systems: the Mars approach, IEEE Micro, vol.9, issue.1, pp.25-40, 1989.
DOI : 10.1109/40.16792

S. [. Kim and . Son, Advances in Real-Time Systems, chapter Predictability and Consistency in Real-Time Database Systems, pp.509-531, 1995.

. [. Kieckhafer, A. Walter, P. Finn, and . Thambidurai, The MAFT architecture for distributed fault tolerance, IEEE Transactions on Computers, vol.37, issue.4, pp.398-405, 1988.
DOI : 10.1109/12.2183

]. G. Lan91 and . Le-lann, Designing real-time dependable distributed systems, 1991.

J. [. Liu and . Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973.
DOI : 10.1145/321738.321743

. Hades, A Middleware Support for Distributed Safety-Critical Real-Time Applications29 [LL88] J. Lundelius and N. Lynch. A new fault-tolerant algorithm for clock synchronization, Information and Computation, vol.77, pp.1-36, 1988.

]. D. Mos94 and . Mossé, Mechanisms for system-level fault tolerance in real-time systems, International Conference on Robotics, Vision, and Parallel P rocessing for Industrial Automation, 1994.

K. L. Molesky, C. Ramamritham, J. Shen, G. Stankovic, and . Zlokapa, Implementing a predictable real-time multiprocessor kernel the spring kernel, Proceeding of the 7th IEEE Workshop on Real- Time Operating Systems and Software, 1990.

M. [. Nett, P. Mock, and . Theisohn, Managing dependencies-a key problem in fault-tolerant distributed algorithms, Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing, pp.2-10, 1997.
DOI : 10.1109/FTCS.1997.614071

]. S. Pol96 and . Poledna, Fault-Tolerant Real-Time Systems ? The Problem of Replica Determinism, 1996.

A. [. Reisinger, G. Steininger, and . Leber, Predictably Dependable Computing Systems, chapter The PDCS Implementation of MARS Hardware and Software, pp.209-224, 1995.

J. [. Ramamritham, P. Stankovic, and . Shiah, Efficient scheduling algorithms for real-time multiprocessor systems, IEEE Transactions on Parallel and Distributed Systems, vol.1, issue.2, pp.184-194, 1990.
DOI : 10.1109/71.80146

J. [. Salles, J. Arlat, and . Fabre, Can we rely on COTS microkernels for building fault-tolerant systems?, Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, 1997.
DOI : 10.1109/FTDCS.1997.644723

H. Saksena, J. Da-silva, and A. Agrawala, Principles of Real-Time Systems, chapter Design and Implementation of Maruti-II, pp.72-102, 1994.

D. [. Schmidt, S. Levine, and . Mungee, The design of the TAO real-time object request broker, Computer Communications, vol.21, issue.4, 1997.
DOI : 10.1016/S0140-3664(97)00165-5

]. M. Spu96 and . Spuri, Analysis of deadline scheduled real-time systems, 1996.

L. [. Wellings, A. Beus-dukic, D. Burns, and . Powell, Genericity and upgradability in ultra-dependable real-time architectures, 1996.

]. J. Xu93 and . Xu, Multiprocessor scheduling of processes with release times, deadlines, precedence, and exclusion relations, IEEE Transactions on Software Engineering, vol.19, issue.2, pp.139-154, 1993.

I. Unité-de-recherche and . Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique

I. Unité-de-recherche and . Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, p.38330

I. Unité-de-recherche, . Rocquencourt, . Domaine-de-voluceau, and . Rocquencourt, 78153 LE CHESNAY Cedex Unité de recherche INRIA Sophia-Antipolis, 2004.