Reliable Software Technologies -- Ada-Europe 2003

1. Front Matter

   Pages I-XIII

   PDF

2. Invited Papers

   1. An Invitation to Ada 2005

      • Pascal Leroy

      Pages 1-23

   2. Modules for Crosscutting Models

      • Mira Mezini, Klaus Ostermann

      Pages 24-44

   3. Software Fault Tolerance: An Overview

      • Jörg Kienzle

      Pages 45-67

3. Ravenscar

   1. High Integrity Ravenscar

      • Peter Amey, Brian Dobbing

      Pages 68-79

   2. Adding Temporal Annotations and Associated Verification to the Ravenscar Profile

      • Alan Burns, Tse-Min Lin

      Pages 80-91

   3. Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software

      • Niklas Holsti, Thomas Långbacka

      Pages 92-101

4. Language Issues

   1. Booch’s Ada vs. Liskov’s Java: Two Approaches to Teaching Software Design

      • Ehud Lamm

      Pages 102-112

   2. A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Specification for Java™

      • Benjamin M. Brosgol, Andy Wellings

      Pages 113-128

   3. Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada

      • Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers

      Pages 129-141

5. Static Analysis

   1. Busy Wait Analysis

      • Johann Blieberger, Bernd Burgstaller, Bernhard Scholz

      Pages 142-152

   2. Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation

      • Johann Blieberger, Bernd Burgstaller

      Pages 153-167

   3. Quasar: A New Tool for Concurrent Ada Programs Analysis

      • Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau

      Pages 168-181

6. Distributed Information Systems

   1. A Graphical Environment for GLADE

      • Ernestina Martel, Francisco Guerra, Javier Miranda, Luis Hernández

      Pages 182-195

   2. The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project

      • Mário Amado Alves, Alípio Jorge, Matthew Heaney

      Pages 196-207

   3. Transactions and Groups as Generic Building Blocks for Software Fault Tolerance

      • Marta Patiño-Martínez, Ricardo Jiménez-Peris, Alexander Romanovsky

      Pages 208-219

7. Metrics

   1. Getting System Metrics Using POSIX Tracing Services

      • Agustín Espinosa Minguet, Vicente Lorente Garcés, Ana García Fornes, Alfons Crespo i Lorente

      Pages 220-231

   2. Some Architectural Features of Ada Systems Affecting Defects

      • William M. Evanco, June Verner

      Pages 232-245

   3. Evidential Volume Approach for Certification

      • Silke Kuball, Gordon Hughes

      Pages 246-257

8. Software Components

   1. A Survey of Physical Unit Handling Techniques in Ada

      • Christoph Grein, Dmitry A. Kazakov, Fraser Wilson

      Pages 258-270

The8thInternationalConferenceonReliableSoftwareTechnologies,Ada-Europe 2003,tookplaceinToulouse,France,June18–20,2003.ItwassponsoredbyAda- Europe, the European federation of national Ada societies, and Ada-France, in cooperation with ACM SIGAda. It was organized by members of Adalog, CS, UPS/IRIT and ONERA. Toulouse was certainly a very appropriate place for this conference. As the heart of the European aeronautic and space industry, it is a place where so- ware development leaves no place for failure. In the end, reliability is a matter of human skills. But these skills build upon methods, tools, components and c- trolled practices. By exposing the latest advances in these areas, the conference contributed to ful?lling the needs of a very demanding industry. As in past years, the conference comprised a three-day technical program, during which the papers contained in these proceedings were presented, along with vendor presentations. The technical program was bracketed by two tutorial days, when attendees had the opportunity to catch up on a variety of topics related to the ?eld, at both introductory and advanced levels. On Friday, a workshopon“QualityofServiceinComponent-BasedSoftwareEngineering”was held. Further, the conference was accompanied by an exhibition where vendors presented their reliability-related products.

• Software
• design
• formal specification
• information system
• real-time
• testing

• Adalog, Arcueil, France

  Jean-Pierre Rosen

• Software Engineering Laboratory, Swiss Federal Institute of Technology Lausanne, Lausanne EPFL, Switzerland

  Alfred Strohmeier

Policies and ethics