Volume XXIII Number 4 December 2003

Table of Contents

Message from the Chair - Currie Colket ...............................................................................................................................................1

Newsletter Info ..........................................................................................................................................................................................3

Proceedings of the 12^th International Real-Time Ada Workshop

Title Page ...................................................................................................................................................................................................10

Session: New Core Language Features............................................................................................................................................... 11

Session: Integration vs. Orthogonality............................................................................................................................................... 13

Is Java Augmented with the RTSJ a Better Real-Time ... Technology than Ada 95? - AJ Wellings....................................... 16

Session: Current Real-Time AIs........................................................................................................................................................... 22

Dynamic Ceiling Priorities in GNAT Implementation Report-J Miranda et al............................................................................... 24

Managing Multiple Execution-Time Timers from a Single Task- MG Harbour and MA Rivas................................................. 28

Session: Flexible Scheduling in Ada.................................................................................................................................................... 32

Task Attribute-Based Scheduling - Extending Ada's Support for Scheduling-A Burns and AJ Wellings............................. 36

Application-Defined Scheduling in Ada-MA Rivas and MG Harbour......................................................................................... 42

Space & Time Partitioning with ARINC 653 and pragma Profile-JL Tokar................................................................................... 52

Session: Ravenscar Status and Future................................................................................................................................................ 55

Static Analysis of Ravenscar Programs-PN Amey and BJ Dobbing............................................................................................. 59

Ravenscar Design Patterns: Reflections on Use of the Ravenscar Profile-T Vardanega.......................................................... 65

Verifying, Validating and Monitoring the Open Ravenscar Real Time Kernel-R Maia et al...................................................... 74

Execution-Time Clocks and Ravenscar Kernels-JA de la Puente and J Zamorano..................................................................... 82

An Approach to Formal Verification of Real Time Concurrent Ada Programs-DJ Howe and S Michell................................. 87

Session: Generating New AIs............................................................................................................................................................... 93

Session: The Future of IRTAW........................................................................................................................................................... 96

A Quarterly Publication of SIGAda,

the ACM Special Interest Group on Ada