Abstract
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.
- T. Anderson and P.A. Lee. Fault Tolerance Principles and Practice:. Prentice-Hall International, 2nd edition, 1990. Google Scholar
Digital Library
- Jeremy Andrews. Balancing real time threads, http://kerneltrap.org/linux/balancing real time threads, 2007.Google Scholar
- A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1(1):11--33, Jan-March 2004. Google Scholar
Digital Library
- A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages. Addison Wesley, 4th edition, 2009. Google Scholar
Digital Library
- Flaviu Cristian. Understanding fault-tolerant distributed systems. Communications of the ACM, 34:56--78, 1993. Google Scholar
Digital Library
- Linux Kernel Documentation. Real-time group scheduling, http://www.mjmwired.net/kernel/documentation/scheduler/sched-rt-group.txt.Google Scholar
- O. Marchi dos Santos and A.J.Wellings. Run time detection of blocking time violations in real-time systems. Proceedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2008. Google Scholar
Digital Library
- Dario Faggioli, Antonio Mancina, Fabio Checconi, and Giuseppe Lipari. Design and implementation of a POSIX compliant sporadic server. In Proceedings of the 10th Real-Time Linux Workshop (RTLWS 2008), Colotlan, Mexico, October 2008.Google Scholar
- Paul Menage. Cgroups, http://www.mjmwired.net/kernel/documentation/cgroups.txt, 2004.Google Scholar
- Enrico Mezzetti, Marco Panunzio, and Tullio Vardanega. Temporal isolation with the Ravenscar profile and Ada 2005. Ada Lett., 30:45--55, May 2010. Google Scholar
Digital Library
- José F. Ruiz. Towards a Ravenscar extension for multi-processor systems. Ada Lett., 30:86--90, May 2010. Google Scholar
Digital Library
- Sven thorsten Dietrich and Daniel Walker. The evolution of Real-Time Linux, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.6125.Google Scholar
- Tullio Vardanega. Ravenscar design patterns: reflections on use of the Ravenscar profile. Ada Lett., XXIII:65--73, September 2003. Google Scholar
Digital Library
Index Terms
TTF-ravenscar: a profile to support reliable high-integrity multiprocessor ada applications
Recommendations
The ESA ravenscar benchmark
Ada-Europe'05: Proceedings of the 10th Ada-Europe international conference on Reliable Software TechnologiesThis article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS C implementation featuring the native threading model. ERB is original ...
Toward Extensions to the Ravenscar Profile
We describe an on-going effort to identify a set of enhancements to the Ravenscar profile, intended primarily for applications in the real-time systems domain, but perhaps also applicable to the other domains supported by Ravenscar as currently defined. ...
A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*
The Ravenscar tasking profile for Ada 95 has been designed to allow implementation of highly safety critical systems. Ravenscar defines a tasking system with deterministic behavior and low complexity. We provide a formal model using UPPAAL of the ...






Comments