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

  8. APIs and Components

    1. John English
      Pages 266-277
    2. Xavier Caron, Jörg Kienzle, Alfred Strohmeier
      Pages 278-289
    3. Jörg Kienzle, Ricardo Jiménez-Peris, Alexander Romanovsky, M. Patiño Martinez
      Pages 290-304
  9. Real-Time Kernels

    1. Mario Aldea Rivas, Michael González Harbour
      Pages 305-316
    2. Juan Zamorano, José F. Ruiz, Juan Antonio de la Puente
      Pages 317-327
  10. Standard Formats: UML & XML

    1. 1Frank Oppenheimer, Dongming Zhang, Wolfgang Nebel
      Pages 337-348
    2. Mário Amado Alves
      Pages 349-358
    3. Bill Taylor, Einar W. Karlsen
      Pages 359-370
  11. System Evolution

    1. Björn Källberg, Rei Stråhle
      Pages 371-379
    2. Philippe Waroquiers, Stef Van Vlierberghe, Dirk Craeynest, Andrew Hately, Erik Duvinage
      Pages 380-391
    3. Tullio Vardanega, Rodrigo García, Juan Antonio de la Puente
      Pages 392-404
  12. Back Matter
    Pages 405-405

About these proceedings


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

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
  • 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
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment