Lecture Notes in Computer Science

Reliable Software Technologies - Ada-Europe 2001

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

Editors: Craeynest, Dirk, Strohmeier, Alfred (Eds.)

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-3-540-45136-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-42123-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (6 chapters)

  • Testing from Formal Specifications, a Generic Approach

    Marie-Claude Gaudel

    Pages 35-48

  • Reliable Communication in Distributed Computer-Controlled Systems

    Luís Miguel Pinho, Francisco Vasques

    Pages 136-147

  • Expression Templates in Ada

    Alexandre Duret-Lutz

    Pages 191-202

  • MaRTE OS: An Ada Kernel for Real-Time Embedded Applications

    Mario Aldea Rivas, Michael González Harbour

    Pages 305-316

  • Implementing Ada.Real Time.Clock and Absolute Delays in Real-Time Kernels

    Juan Zamorano, José F. Ruiz, Juan Antonio de la Puente

    Pages 317-327

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-3-540-45136-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-42123-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Reliable Software Technologies - Ada-Europe 2001
Book Subtitle
6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings
Editors
  • Dirk Craeynest
  • Alfred Strohmeier
Series Title
Lecture Notes in Computer Science
Series Volume
2043
Copyright
2001
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45136-5
DOI
10.1007/3-540-45136-6
Softcover ISBN
978-3-540-42123-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XVI, 412
Topics