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. ,
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
Effective analysis for engineering real-time fixed priority schedulers, IEEE Transactions on Software Engineering, vol.21, issue.5, pp.475-480, 1995. ,
Eos : A real-time operating system adapts to application architectures, IEEE Micro, pp.41-49, 1996. ,
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
Evolution of the chorus open microkernel architecture : the stream project, Proceeding of the 5th International Workshop on Configurable Distributed Systems, pp.7-13, 1995. ,
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
QNX : Microkernel Technology for Open Systems Handheld Computing, Pen and Portable Computing Conference and Exposition, 1994. ,
BASEMENT: A distributed real-time architecture for vehicle applications, Real-Time Systems, vol.19, issue.2, pp.223-244, 1996. ,
DOI : 10.1007/BF00337680
Kernel-level threads for dynamic, hard real-time environments, Proceedings 16th IEEE Real-Time Systems Symposium, 1995. ,
DOI : 10.1109/REAL.1995.495194
Distributed fault-tolerant real-time systems: the Mars approach, IEEE Micro, vol.9, issue.1, pp.25-40, 1989. ,
DOI : 10.1109/40.16792
Advances in Real-Time Systems, chapter Predictability and Consistency in Real-Time Database Systems, pp.509-531, 1995. ,
The MAFT architecture for distributed fault tolerance, IEEE Transactions on Computers, vol.37, issue.4, pp.398-405, 1988. ,
DOI : 10.1109/12.2183
Designing real-time dependable distributed systems, 1991. ,
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
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. ,
Mechanisms for system-level fault tolerance in real-time systems, International Conference on Robotics, Vision, and Parallel P rocessing for Industrial Automation, 1994. ,
Implementing a predictable real-time multiprocessor kernel the spring kernel, Proceeding of the 7th IEEE Workshop on Real- Time Operating Systems and Software, 1990. ,
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
Fault-Tolerant Real-Time Systems ? The Problem of Replica Determinism, 1996. ,
Predictably Dependable Computing Systems, chapter The PDCS Implementation of MARS Hardware and Software, pp.209-224, 1995. ,
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
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
Principles of Real-Time Systems, chapter Design and Implementation of Maruti-II, pp.72-102, 1994. ,
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
Analysis of deadline scheduled real-time systems, 1996. ,
Genericity and upgradability in ultra-dependable real-time architectures, 1996. ,
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. ,
Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique ,
Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, p.38330 ,
78153 LE CHESNAY Cedex Unité de recherche INRIA Sophia-Antipolis, 2004. ,