Skip to main content
SpringerLink
Log in

Reliable Software Technologies - Ada-Europe 2001

6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Dirk Craeynest

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alfred Strohmeier

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2043)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 papers)

  1. Front Matter

    Pages I-XV
    Download chapter 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
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation