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

Front Cover
Springer Science & Business Media, May 2, 2001 - Computers - 404 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Building Formal Requirements Models for Reliable Software
1
Using Ada in Interactive Digital Television Systems
21
Testing from Formal Specifications a Generic Approach
35
Logic versus Magic in Critical Systems
49
Can Java Meet Its RealTime Deadlines?
68
ParameterInduced Aliasing in Ada
88
Slicing Tagged Objects in Ada
100
OASIS An ASIS Secondary Library for Analyzing ObjectOriented Ada Code
113
Using the SPARK Toolset for Showing the Absence of RunTime Errors in SafetyCritical Software
229
ScenarioBased System Assessment
241
An Empirical Evaluation
253
A GUI Library for Educational Use
266
ObjectOriented Stable Storage Based on Mirroring
278
Transaction Support for Ada
290
An Ada Kernel for RealTime Embedded Applications
305
Implementing AdaReal_TimeClock and Absolute Delays in RealTime Kernels
317

Building Modern Distributed Systems
123
Reliable Communication in Distributed ComputerControlled Systems
136
Building Robust Applications by Reusing Nonrobust Legacy Software
148
New Developments in Ada 95 RunTime Profile Definitions and Language Refinements
160
Complex Task Implementation in Ada
167
Implementing a Flexible Scheduler in Ada
179
Expression Templates in Ada
191
A Design Pattern for State Machines and Concurrent Activities
203
Component Libraries and Language Features
215
Defining New Nonpreemptive Dispatching and Locking Policies for Ada
328
Modelling Communication Interfaces with COMIX
337
Safe Web Forms and XML Processing with Ada
349
Mapping UML to Ada
359
Ship System 2000 a Stable Architecture under Continuous Evolution
371
Migrating Large Applications from Ada83 to Ada95
380
Porting OBOSS to GNATORK
392
Author Index
405
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information