Volume XXII Number 4 Dec 2002
Table of Contents
Message from the Chair - Currie Colket............................................................................................................................................. 1
Author Information ................................................................................................................................................................................3
Proceedings of the 11th International Real Time Ada Workshop
Introduction............................................................................................................................................................................................... 6
IRTAW 2003 Announcement................................................................................................................................................................. 8
User Experiences with the Aonix ObjectAda RAVEN Ravenscar Profile Implementation.......................................................... 10
Experience Report on the Implementation of EPTs for GNAT......................................................................................................... 22
Practical Implementations of Embedded Software Using the Ravenscar Profile.......................................................................... 28
Software Portability Gains Realized with METAH and Ada 95....................................................................................................... 37
Using Ravenscar to Support Fault-Tolerant Real-Time Applications............................................................................................ 47
Precise Response Time Analysis for Ravenscar Kernels................................................................................................................. 53
Modeling and Schedulability Analysis in the Development of Real-Time Distributed Ada Systems...................................... 58
Protected Ceiling Changes.................................................................................................................................................................... 66
Accessing Delay Queues...................................................................................................................................................................... 72
Application-Defined Scheduling in Ada............................................................................................................................................. 77
Language Issues of Compiling Ada to Hardware.............................................................................................................................. 85
Asynchronous Transfer of Control in the Real-Time Specification for Java................................................................................ 95
Session Summary: Future of the Ada Language and Languages Changes such as the Ravenscar Profile........................... 113
Session Summary: Safety Improvements for Consideration.......................................................................................................... 120
Session Summary: Real-Time, Fault Tolerance and Distribution.................................................................................................. 123
Session Summary: Language Changes for Scheduling, Modeling and Analysis...................................................................... 125
Session Summary: Update on the Real-Time Specification for Java............................................................................................. 128
Session Summary: Summary and Plans for next IRTAW............................................................................................................... 131
WG9 Liason Request with SIGAda................................................................................................................................................... 132
Plan for Ada API Management.......................................................................................................................................................... 134
SIGAda 2002 Announcement............................................................................................................................................................ 139
A Quarterly Publication of SIGAda,
the ACM Special Interest Group on Ada