Reliable SoftwareTechnologies — Ada-Europe 2001

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

  • Dirk Craeynest
  • Alfred Strohmeier
Conference proceedings Ada-Europe 2001

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

Table of contents

  1. Front Matter
    Pages I-XV
  2. Invited Papers

    1. Pascal Héraud, Thierry Lelégard
      Pages 21-34
    2. Benjamin Brosgol, Brian Dobbing
      Pages 68-87
  3. Program Analysis

    1. Wolfgang Gellerich, Erhard Plödereder
      Pages 88-99
    2. Zhengqiang Chen, Baowen Xu, Hongji Yang
      Pages 100-112
    3. Alexei Kuchumov, Sergey Rybin, Alfred Strohmeier
      Pages 113-122
  4. Distributed Systems

    1. Laurent Pautet, Thomas Quinot, Samuel Tardieu
      Pages 123-135
    2. Luís Miguel Pinho, Francisco Vasques
      Pages 136-147
    3. Francisco Guerra Santana, Javier Miranda González, José Miguel Santos Espino, José Carlos Rodríguez Calero
      Pages 148-159
  5. Real-Time Systems

    1. Alfons Crespo, Patricia Balbastre, Silvia Terrasa
      Pages 167-178
    2. Guillem Bernat, Alan Burns
      Pages 179-190
  6. Language and Patterns

    1. Alexandre Duret-Lutz
      Pages 191-202
  7. Dependable Systems

About these proceedings

Introduction

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.

Keywords

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

Editors and affiliations

  • Dirk Craeynest
    • 1
  • Alfred Strohmeier
    • 2
  1. 1.Offis nv/sa - Aubay GroupOffis & K.U. LeuvenZaventemBelgium
  2. 2.EPFL-DI-LGLSwiss Federal Institute of Technology Lausanne (EPFL)Lausanne EPFLSwitzerland

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45136-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42123-8
  • Online ISBN 978-3-540-45136-5
  • Series Print ISSN 0302-9743
  • About this book