Abstract is missing.
- Session summary: new core language featuresJoyce L. Tokar, Brian Dobbing. 11-12 [doi]
- Session summary: integration versus orthogonality (RTSJ scheduling policies versus Ada's)Andy J. Wellings, Joyce L. Tokar. 13-15 [doi]
- Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95?Andy J. Wellings. 16-21 [doi]
- Report of session: current real-time AIsMichael González Harbour, Tullio Vardanega. 22-23 [doi]
- Dynamic ceiling priorities in GNAT implementation reportJavier Miranda, Edmond Schonberg, Miguel Masmano, Jorge Real, Alfons Crespo. 24-27 [doi]
- Managing multiple execution-time timers from a single taskMichael González Harbour, Mario Aldea Rivas. 28-31 [doi]
- Report of session: flexible scheduling in AdaAlan Burns 0001, Andy J. Wellings, Tullio Vardanega. 32-35 [doi]
- Task attribute-based scheduling: extending Ada's support for schedulingAlan Burns 0001, Andy J. Wellings. 36-41 [doi]
- Application-defined scheduling in AdaMario Aldea Rivas, Michael González Harbour. 42-51 [doi]
- Space & Time Partitioning with ARINC 653 and pragma profileJoyce L. Tokar. 52-54 [doi]
- Session: status and future of the Ravenscar profileBrian Dobbing, Juan Antonio de la Puente. 55-57 [doi]
- Static analysis of Ravenscar programsPeter Amey, Brian Dobbing. 58-64 [doi]
- Ravenscar design patterns?: reflections on use of the Ravenscar profileTullio Vardanega. 65-73 [doi]
- Verifying, validating and monitoring the open Ravenscar real time kernelRicardo Maia, Flávio Moreira, R. Barbosa, Diamantino Costa, Kjeld Hjortaes, Patricia Rodríguez, Luís Miguel Pinho. 74-81 [doi]
- Execution-time clocks and Ravenscar kernelsJuan Antonio de la Puente, Juan Zamorano. 82-86 [doi]
- An approach to formal verication of real time concurrent Ada programsDouglas J. Howe, Stephen Michell. 87-92 [doi]
- Report of session: generating new AIsAlan Burns 0001, Tullio Vardanega. 93-95 [doi]
- Session summary: the future of IRTAWTullio Vardanega, Luís Miguel Pinho. 96 [doi]