Reliable Software Technologies - Ada-Europe '98

1. Front Matter

   PDF

2. Embedded opportunities

   • Franco Gasperoni

   Pages 1-13

3. Ada+B the formula for safety critical software development

   • Pierre Chapront

   Pages 14-18

4. Porting the GNAT tasking runtime system to the Java virtual machine

   • Laurent Millet, Ted Baker

   Pages 19-28

5. Automating the Ada binding process for Java — How far can we go?

   • David E. Emery, Robert F. Mathis, Karl A. Nyberg

   Pages 29-40

6. Synchronizing multiple clients and servers

   • Mordechai Ben-Ari

   Pages 41-52

7. How to avoid the inheritance anomaly in Ada

   • Guido Schumacher, Wolfgang Nebel

   Pages 53-64

8. Inside the distributed systems annex

   • Laurent Pautet, Samuel Tardieu

   Pages 65-77

9. Integrating groups and transactions: A fault-tolerant extension of Ada

   • Marta Patiño-Martínez, Ricardo Jiménez-Peris, Sergio Arévalo

   Pages 78-89

10. Implementing and using execution time clocks in Ada hard real-time applications

    • M. González Harbour, M. Aldea Rivas, J. J. Gutiérrez García, J. C. Palencia Gutiérrez

    Pages 90-101

11. Programming hard real-time systems with optional components in Ada

    • Agustín Espinosa, Vicente Julián, Carlos Carrascosa, Andrés Terrasa, Ana García-Fornes

    Pages 102-111

12. Object oriented abstractions for real-time distributed systems

    • Scott Arthur Moody

    Pages 112-127

13. (Astro)physical supercomputing: Ada95 as a safe, object oriented alternative

    • Martin J. Stift

    Pages 128-139

14. Ada 95 for a distributed simulation system

    • Helge Hagenauer, Werner Pohlmann

    Pages 140-150

15. PINROB: A portable API for industrial robots

    • M. González Harbour, R. Gómez Somarriba, A. Strohmeier, J. Jacot

    Pages 151-162

16. Quality-for-ASIS: A portable testing facility for ASIS

    • Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey

    Pages 163-175

17. Ten years of tool based Ada compiler validations an experience report

    • Michael Tonndorf

    Pages 176-187

18. A two-level matching mechanism for object-oriented class libraries

    • S. Araban, A. S. M. Sajeev

    Pages 188-200

19. Modern Avionics requirements for the Distributed Systems Annex

    • Bruce Lewis, Steve Vestal, David McConnell

    Pages 201-212

20. A case study in quantitative evaluation of real-time software architectures

    • José L. Fernández, Bárbara álvarez, Francisco García, ángel Pérez, Juan A. de la Puente

    Pages 213-224

This book presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'98, held in Uppsala, Sweden, in June 1998.
The 23 revised full papers presented together with two invited contributions were carefully selected by the program committee. The papers address all current aspects of the Ada programming language; they are organized in sections on Ada 95 and Java, Ada 95 language and tools, distributed systems, real-time systems, case studies and experiments, software quality, software development, software architectures, and high integrity systems.

• Action
• Ada
• Ada 95
• Java
• Java Virtual Machine
• distributed systems
• inheritance
• object
• programming language
• tools
• virtual machine

Policies and ethics