Reliable Software Technologies - Ada-Europe 2002

1. Front Matter

   Pages I-XIII

   PDF

2. Invited Papers

   1. Embedded Systems Unsuitable for Object Orientation

      • Maarten Boasson

      Pages 1-12

   2. On Architectural Stability and Evolution

      • Mehdi Jazayeri

      Pages 13-23

   3. Encapsulating Failure Detection: From Crash to Byzantine Failures

      • Assia Doudou, Benoît Garbinato, Rachid Guerraoui

      Pages 24-50

   4. Contextware: Bridging Physical and Virtual Worlds

      • Alois Ferscha

      Pages 51-64

3. Embedded Systems

   1. Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors

      • Alexander Chatzigeorgiou, George Stephanides

      Pages 65-75

   2. OMC-INTEGRAL Memory Management

      • Jose Manuel Pérez Lobato, Eva Martín Lobo

      Pages 76-87

   3. Language Issues of Compiling Ada to Hardware

      • Michael Ward, Neil C. Audsley

      Pages 88-99

4. Case Studies

   1. Software Development Reengineering — An Experience Report

      • Adrian Hoe

      Pages 100-112

   2. Development of a Control System for Teleoperated Robots Using UML and Ada95

      • Francisco J. Ortiz, Alejandro S. Martínez3, Barbara Álvarez, Andres Iborra, José M. Fernández

      Pages 113-124

   3. Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications

      • Walter Binder, Balázs Lichtl

      Pages 125-135

5. Real-Time Systems

   1. A POSIX-Ada Interface for Application-Defined Scheduling

      • Mario Aldea Rivas, Michael González Harbour

      Pages 136-150

6. High-Integrity Systems

   1. Closing the Loop: The Influence of Code Analysis on Design

      • Peter Amey

      Pages 151-162

   2. High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT

      • Paul Parkinson, Franco Gasperoni

      Pages 163-178

7. Ada Language

   1. How to Use GNAT to Efficiently Preprocess New Ada Sentences

      • Javier Miranda, Francisco Guerra, Ernestina Martel, José Martín, Alexis González

      Pages 179-192

   2. Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada

      • Robert Dewar, Olivier Hainque, Dirk Craeynest, Philippe Waroquiers

      Pages 193-204

   3. Adding Design by Contract to the Ada Language

      • Ehud Lamm

      Pages 205-218

8. Program Analysis

   1. Static Dependency Analysis for Concurrent Ada 95 Programs

      • Zhenqiang Chen, Baowen Xu, Jianjun Zhao, Hongji Yang

      Pages 219-230

   2. DataFAN: A Practical Approach to Data Flow Analysis for Ada 95

      • Krzysztof Czarnecki, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf

      Pages 231-244

   3. Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study

      • Yuen T. Yu, Man F. Lau

      Pages 245-256

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002.
The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.

• Ada
• Ada-Programming
• Dependable Computing
• Distributed Computing
• Embedded Systems
• Formal Methods
• Java
• Program Analysis
• Reliable Systems
• XML
• design
• distributed systems
• modeling
• programming
• robot

• Institute of Computer-Aided Automation, Technical University Vienna, Vienna, Austria

  Johann Blieberger

• Swiss Federal Institute of Technology Lausanne (EPFL), Lausanne, Switzerland

  Alfred Strohmeier

Policies and ethics