Brian Dobbing
- 1.Barnes, J. High Integrity Ada- The SPARK Examiner Approach, Addison Wesley Longman Ltd (1997).Google Scholar
- 2.Klein, M.H. et al, A Practioner's Handbook for Real- Time Analysis ' A Guide to Rate Monotonic Analysis for Real-Time Systems, Kluwer Academic Publishers (1993) Google ScholarDigital Library
- 3.Bums, A. and Wellings, A.J. Concurrency in Ada, Cambridge University Press (1995) Google ScholarDigital Library
- 4.ACM Ada Letters, Proceedings of the 8~ International Real-Time Ada Workshop: Tasking Profiles (September 1997).Google Scholar
- 5.Object Management Group, UML Specification ad/97-08-02 thru ad/97-08-11 http ://www. om~. org/librarv/schedule/Technologv Ad options.htmgtbl UML Specification (November 1997).Google Scholar
- 6.Aonix Inc, ObjectAda Real-Time Windows NT x PowerPC/Raven (1998)Google Scholar
- 7.RTCA Inc, Software Considerations in Airborne Systems and Equipment Certification, RTCA/DO- 178B/ED-12B. (December 1992)Google Scholar
- 8.Katcher, D. et al, Engineering and Analysis of Fixed Priority Schedulers, in IEEE Trans. Softie Engineering 19 (1993) Google ScholarDigital Library
- 9.Chapman, R., Bums, A., and Wellings A.J., Combining Static Worst-Case Timing Analysis and Program Proof in Real-Time Systems 11(2):145.-171 (September 1996) Google ScholarDigital Library
- 10.and {RM} Intermetrics Inc. Ada95 Reference Manual, ANSFISO/IEC-8652:1995, (January 1995)Google Scholar
Index Terms
- The Ravenscar tasking profile for high integrity real-time programs
Recommendations
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 ...
The Ravenscar Tasking Profile—experience reporting
The Ravenscar Profile was defined at the 18th International Real-Time Ada Workshop as a simple subset of the tasking features of Ada, in order to support efficient, high integrity applications that need to be analysed for their timing properties. Ada ...
Comments