The MAFT Architecture for Distributed Fault Tolerance
IEEE Transactions on Computers - Fault-Tolerant Computing
Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
Fault-tolerant computer system design
Fault-tolerant computer system design
Tasking profiles (session summary)
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems
IEEE Transactions on Computers
A generic fault-tolerant architecture for real-time dependable systems
A generic fault-tolerant architecture for real-time dependable systems
Status and future of the Ravenscar profile session summary
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
Reliable Communication in Distributed Computer-Controlled Systems
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Timing Analysis of Reliable Real-Time Communication in CAN Networks
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System
IEEE Transactions on Computers
Hi-index | 0.00 |
This paper proposes and environment intended for the development of fault-tolerant real-time Ada 95 applications conferming to the Ravenscar profile. This environment is based on the transparent replication of application components, and it provides a set of generic task interaction objects, which are used as the basic building blocks of the supported applications. These objects provide the usual task interaction mechanisms used in hard real-time applications, and allow applications to be developed without considering replication and distribution issues.