Understanding fault-tolerant distributed systems
Communications of the ACM
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
Ravenscar design patterns?: reflections on use of the Ravenscar profile
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Run Time Detection of Blocking Time Violations in Real-Time Systems
RTCSA '08 Proceedings of the 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX
Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX
Temporal isolation with the ravenscar profile and Ada 2005
ACM SIGAda Ada Letters
Towards a ravenscar extension for multi-processor systems
ACM SIGAda Ada Letters
| Hi-index | 0.00 |
Although the Ravenscar profile of Ada has achieved a measure of success in the development of high-integrity system, it is often criticised for not having enough expressive power to deal with common real-time programming patterns. This has led to a call for more facilities to be added to the profile. These have been turned down by the Ada standardization body for fear of "feature creep" and the lack of clear and consistent motivation. This paper proposes a coherent profile to support the construction of fault-tolerant high-integrity real-time programs.