Ada-Europe 2002: Vienna, Austria

Johann Blieberger, Alfred Strohmeier (Eds.): Reliable Software Technologies - Ada-Europe 2002, 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings. Lecture Notes in Computer Science 2361 Springer 2002, ISBN 3-540-43784-3

Invited Papers

Maarten Boasson:
Embedded Systems Unsuitable for Object Orientation. 1-12
Mehdi Jazayeri:
On Architectural Stability and Evolution. 13-23
Assia Doudou, Benoît Garbinato, Rachid Guerraoui:
Encapsulating Failure Detection: From Crash to Byzantine Failures. 24-50
Alois Ferscha:
Contextware: Bridging Physical and Virtual Worlds. 51-64

Embedded Systems

Alexander Chatzigeorgiou, George Stephanides:
Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors. 65-75
Jose Manuel Pérez Lobato, Eva Martín Lobo:
OMC-INTEGRAL Memory Management. 76-87
Michael Ward, Neil C. Audsley:
Language Issues of Compiling Ada to Hardware. 88-99

Case Studies

Adrian Hoe:
Software Development Reengineering - An Experience Report. 100-112
Francisco J. Ortiz, Alejandro S. Martínez, Bárbara Álvarez, Andrés Iborra, José M. Fernández:
Development of a Control System for Teleoperated Robots Using UML and Ada95. 113-124
Walter Binder, Balázs Lichtl:
Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications. 125-135

Real-Time Systems

Mario Aldea Rivas, Michael González Harbour:
A POSIX-Ada Interface for Application-Defined Scheduling. 136-150

High-Integrity Systems

Peter Amey:
Closing the Loop: The Influence of Code Analysis on Design. 151-162
Paul Parkinson, Franco Gasperoni:
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT. 163-178

Ada Language

Francisco Javier Miranda González, Francisco Guerra Santana, Ernestina Martel, José Martín, Alexis González:
How to Use GNAT to Efficiently Preprocess New Ada Sentences. 179-192
Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers:
Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada. 193-204
Ehud Lamm:
Adding Design by Contract to the Ada Language. 205-218

Program Analysis

Zhengqiang Chen, Baowen Xu, Jianjun Zhao, Hongji Yang:
Static Dependency Analysis for Concurrent Ada 95 Programs. 219-230
Krzysztof Czarnecki, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf:
DataFAN: A Practical Approach to Data Flow Analysis for Ada 95. 231-244
Yuen-Tak Yu, Man Fai Lau:
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study. 245-256

Tools

Sergey Rybin, Alfred Strohmeier:
About the Difficulties of Building a Pretty-Printer for Ada. 257-268
Ernestina Martel, Francisco Guerra Santana, Francisco Javier Miranda González:
A Tailorable Distributed Programming Environment. 269-281

Distributed Systems

Julio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour:
Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components. 282-296
Luís Miguel Pinho, Francisco Vasques:
Transparent Environment for Replicated Ravenscar Applications. 297-308
Marta Patiño-Martínez, Ricardo Jiménez-Peris, Jörg Kienzle, Sergio Arévalo:
Concurrency Control in Transactional Drago. 309-320

Libraries, APIs, and Bindings

Agustín Espinosa Minguet, Ana García-Fornes, Alfons Crespo:
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard. 321-333
Michael Erdmann:
GNAT Ada Database Development Environment. 334-343

Object-Orientation

Jean-Pierre Rosen:
Ada, Interfaces and the Listener Paradigm. 344-356
Alejandro Alonso, Roberto López, Tullio Vardanega, Juan Antonio de la Puente:
Using Object Orientation in High Integrity Applications: A Case Study. 357-366