Volume XXI Number 1 March 2001
Table of Contents
Message from the Chair - Ben Brosgol............................................................................................................................................ 1
Proceedings of the 10th International Real-Time Ada Workshop.................................................................................................. 3
Preface - Michael Gonzalez Harbour..................................................................................................................................................... 4
Status and Future of the Ravenscar Profile: Session Summary - Andy Wellings......................................................................... 5
Tasking and Object Orientation: Session Summary - Stephen Michell........................................................................................... 9
New Scheduling/Dispatching Policies: Session Summary - Lars Asplund.................................................................................. 11
Distribution and Real-Time: Session Summary - Luís Miguel Pinho............................................................................................. 14
Analysis of the J Consortium Real-Time Java Proposal: Session Summary - Tullio Vardanega............................................... 17
Extending Ada's Real-Time Systems Annex with the POSIX Scheduling Services - Rivas and Harbour............................... 20
Implementation of mode changes with the Ravenscar profile - A. Alonso and J.A. de la Puente............................................ 27
Issues with using Ravenscar and the Ada Distributed Systems Annex - Audsley and Wellings....................................... 33
Implementing a High-Integrity Executive using Ravenscar - Audsley, Burns and Wellings.................................................... 40
Non-Preemptive Dispatching and Locking Policies - Alan Burns................................................................................................. 46
On Developing and Verifying Design Abstractions for Reliable Concurrent Programming - Burns and Wellings........... 48
The Ravenscar Profile for High-Integrity Java Programs - Brian Dobbing................................................................................... 56
Towards a Real-Time Distributed Systems Annex in Ada - J.J.G. Garcia and M.G. Harbour..................................................... 62
Combining Tasking and Transactions: Open Multithreaded Transactions - J. Kienzle and A. Romanovsky........................ 67
Position paper: Completing the Ravenscar Profile - Stephen Michell........................................................................................... 75
Programming Atomic Multicasts in CAN - L. Pinho, R. Vasques and L. Ferreira........................................................................ 79
The Design and Implementation of the Open Ravenscar Profile - de la Puente, Zamorano, Ruiz, Fernandez, Garcia........... 85
A Semantics for Dynamic Ceiling Priorities in Ada - Real, Llamosi, and Crespo......................................................................... 91
Using the Ravenscar Profile for Space Applications - T. Vardanega and G. Caspersen............................................................ 96
Extensible Protected Types: Proposal Status - Wellings, Johnson, Sanden, Kienzle, Wolf, and Michell............................. 105
Call for Papers SIGAda 2001 ........................................................................................................................................................111
Ada Europe 2001 Preliminary Program ....................................................................................................................................113
Ada WOW from SIGAda 2000 ................................................................................................................................................117
Issue 0, Issue 1, Issue 2, Issue 3
A Quarterly Publication of SIGAda,
the ACM Special Interest Group on Ada