Reliable Software Technologies - Ada-Europe 2001

1. Front Matter

   Pages I-XV

   PDF

2. Invited Papers

   1. Building Formal Requirements Models for Reliable Software

      • Axel van Lamsweerde

      Pages 1-20

   2. Using Ada in Interactive Digital Television Systems

      • Pascal Héraud, Thierry Lelégard

      Pages 21-34

   3. Testing from Formal Specifications, a Generic Approach

      • Marie-Claude Gaudel

      Pages 35-48

   4. Logic versus Magic in Critical Systems

      • Peter Amey

      Pages 49-67

   5. Can Java™ Meet Its Real-Time Deadlines?

      • Benjamin Brosgol, Brian Dobbing

      Pages 68-87

3. Program Analysis

   1. Parameter-Induced Aliasing in Ada

      • Wolfgang Gellerich, Erhard Plödereder

      Pages 88-99

   2. Slicing Tagged Objects in Ada

      • Zhengqiang Chen, Baowen Xu, Hongji Yang

      Pages 100-112

   3. OASIS – An ASIS Secondary Library for Analyzing Object-Oriented Ada Code

      • Alexei Kuchumov, Sergey Rybin, Alfred Strohmeier

      Pages 113-122

4. Distributed Systems

   1. Building Modern Distributed Systems

      • Laurent Pautet, Thomas Quinot, Samuel Tardieu

      Pages 123-135

   2. Reliable Communication in Distributed Computer-Controlled Systems

      • Luís Miguel Pinho, Francisco Vasques

      Pages 136-147

   3. Building Robust Applications by Reusing Non-robust Legacy Software

      • Francisco Guerra Santana, Javier Miranda González, José Miguel Santos Espino, José Carlos Rodríguez Calero

      Pages 148-159

5. Real-Time Systems

   1. New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements

      • Joyce L. Tokar

      Pages 160-166

   2. Complex Task Implementation in Ada

      • Alfons Crespo, Patricia Balbastre, Silvia Terrasa

      Pages 167-178

   3. Implementing a Flexible Scheduler in Ada

      • Guillem Bernat, Alan Burns

      Pages 179-190

6. Language and Patterns

   1. Expression Templates in Ada

      • Alexandre Duret-Lutz

      Pages 191-202

   2. A Design Pattern for State Machines and Concurrent Activities

      • Bo I. Sandén

      Pages 203-214

   3. Component Libraries and Language Features

      • Ehud Lamm

      Pages 215-228

7. Dependable Systems

   1. Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software

      • Darren Foulger, Steve King

      Pages 229-240

   2. Scenario-Based System Assessment

      • Silke Kuball

      Pages 241-252

The Sixth International Conference on Reliable Software Technologies, Ada- Europe 2001, took place in Leuven, Belgium, May 14-18, 2001. It was sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda, and it was organized by members of the K.U. Leuven and Ada- Belgium. This was the 21st consecutive year of Ada-Europe conferences and the sixth year of the conference focusing on the area of reliable software technologies. The use of software components in embedded systems is almost ubiquitous: planes fly by wire, train signalling systems are now computer based, mobile phones are digital devices, and biological, chemical, and manufacturing plants are controlled by software, to name only a few examples. Also other, non-embedded, mission-critical systems depend more and more upon software. For these products and processes, reliability is a key success factor, and often a safety-critical hard requirement. It is well known and has often been experienced that quality cannot be added to software as a mere afterthought. This also holds for reliability. Moreover, the reliability of a system is not due to and cannot be built upon a single technology. A wide range of approaches is needed, the most difficult issue being their purposeful integration. Goals of reliability must be precisely defined and included in the requirements, the development process must be controlled to achieve these goals, and sound development methods must be used to fulfill these non-functional requirements.

• Ada
• Ada-programming
• Unified Modeling Language (UML)
• XML
• dependable computing
• distributed computing
• distributed systems
• extended mark-up language (XML)
• formal methods
• program analysis
• real-time
• reliable systems
• safety-critical systems
• software architecture

• Offis nv/sa - Aubay Group, Offis & K.U. Leuven, Zaventem, Belgium

  Dirk Craeynest

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

  Alfred Strohmeier

Policies and ethics