Overview
- Editors:
-
-
Dirk Craeynest
-
Offis nv/sa - Aubay Group, Offis & K.U. Leuven, Zaventem, Belgium
-
Alfred Strohmeier
-
EPFL-DI-LGL, Swiss Federal Institute of Technology Lausanne (EPFL), Lausanne EPFL, Switzerland
Access this book
Other ways to access
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.
Similar content being viewed by others
Article
Open access
13 July 2020
Table of contents (32 papers)
-
-
Invited Papers
-
-
- Pascal Héraud, Thierry Lelégard
Pages 21-34
-
-
-
- Benjamin Brosgol, Brian Dobbing
Pages 68-87
-
Program Analysis
-
- Wolfgang Gellerich, Erhard Plödereder
Pages 88-99
-
- Zhengqiang Chen, Baowen Xu, Hongji Yang
Pages 100-112
-
- Alexei Kuchumov, Sergey Rybin, Alfred Strohmeier
Pages 113-122
-
Distributed Systems
-
- Laurent Pautet, Thomas Quinot, Samuel Tardieu
Pages 123-135
-
- Luís Miguel Pinho, Francisco Vasques
Pages 136-147
-
- Francisco Guerra Santana, Javier Miranda González, José Miguel Santos Espino, José Carlos Rodríguez Calero
Pages 148-159
-
Real-Time Systems
-
-
- Alfons Crespo, Patricia Balbastre, Silvia Terrasa
Pages 167-178
-
- Guillem Bernat, Alan Burns
Pages 179-190
-
-
Dependable Systems
-
- Darren Foulger, Steve King
Pages 229-240
-
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