Ada-Europe 1998: Uppsala, Sweden

Lars Asplund (Ed.): Reliable Software Technologies - Ada-Europe '98, 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings. Lecture Notes in Computer Science 1411 Springer 1998, ISBN 3-540-64536-5

Invited Speaker

Franco Gasperoni:
Embedded Opportunities. 1-13
Pierre Chapront:
Ada+B The Formula for Safety Critical Software Development. 13-18

Ada 95 and Java

Laurent Millet, Ted Baker:
Porting the GNAT Tasking Runtime System to the Java Virtual Machine. 19-28
David E. Emery, Robert F. Mathias, Karl A. Nyberg:
Automating the Ada Binding Process for Java- How Far Can We Go? 29-40

Ada 95 Language and Tools

Mordechai Ben-Ari:
Synchronizing Multiple Clients and Servers. 41-52
Guido Schumacher, Wolfgang Nebel:
How to Avoid the Inheritance Anomaly in Ada. 53-64

Distributed Systems

Laurent Pautet, Samuel Tardieu:
Inside the Distributed Systems Annex. 65-77
Marta Patiño-Martínez, Ricardo Jiménez-Peris, Sergio Arévalo:
Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada. 78-89

Real-Time Systems

Michael González Harbour, Mario Aldea Rivas, J. J. Gutiérrez García, José C. Palencia Gutiérrez:
Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications. 90-101
Agustín Espinosa, Vicente Julián, Carlos Carrascosa, Andrés Terrasa, Ana García-Fornes:
Programming Hard Real-Time Systems with Optional Components in Ada. 102-111
Scott Arthur Moody:
Object Oriented Abstractions for Real-Time Distributes Systems. 112-127

Case Studies and Experiments

Martin J. Stift:
(Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative. 128-139
Helge Hagenauer, Werner Pohlmann:
Ada 95 for a Distributed Simulation System. 140-150
Michael González Harbour, R. Gómez Somarriba, Alfred Strohmeier, J. Jacot:
PINROB: A Portable API for Industrial Robots. 151-162

Software Quality

Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey:
Quality-for-ASIS: A Portable Testing Facility for ASIS. 163-175
Michael Tonndorf:
Ten Years of Tool Based Ada Compiler Validations. An Experience Report. 176-187

Software Development Methods and Techniques

Saeed Araban, A. S. M. Sajeev:
A Two-Level Matching Mechanism for Object-Oriented Class Libraries. 188-200
Bruce Lewis, Steve Vestal, David J. McConnell:
Modern Avionics Requirements for the Distributed Systems Annex. 201-212

Software Architectures

José L. Fernández, Bárbara Álvarez, Francisco José García Izquierdo, Ángel Pérez, Juan Antonio de la Puente:
A Case Study in Quantitative Evaluation of Real-Time Software Architectures. 213-224
Jesús M. González-Barahona, Pedro de las Heras Quirós, José Centeno-González, Francisco J. Ballesteros:
Building Modular Communication Systems in Ada: The Simple_Com Approach. 225-237

High Integrity Systems

Johann Blieberger, Bernd Burgstaller:
Symbolic Reaching Definitions Analysis of Ada Programs. 238-250
Ken Wong:
Looking at Code With Your Safety Goggles On. 251-262
Alan Burns, Brian Dobbing, G. Romanski:
The Ravenscar Tasking Profile for High Integrity Real-Time Programs. 263-275
Steve Michell, Mark Saaltink:
Guidance on the Use of Ada95 in High Integrity Systems. 276-287
Bo Frisberg:
Ada in the JAS 39 Gripen Flight Control System. 288-296