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.
Author(s): Axel van Lamsweerde (auth.), Dirk Craeynest, Alfred Strohmeier (eds.)
Series: Lecture Notes in Computer Science 2043
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Language: English
Pages: 412
Tags: Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Computer Communication Networks; Special Purpose and Application-Based Systems
Building Formal Requirements Models for Reliable Software....Pages 1-20
Using Ada in Interactive Digital Television Systems....Pages 21-34
Testing from Formal Specifications, a Generic Approach....Pages 35-48
Logic versus Magic in Critical Systems....Pages 49-67
Can Java™ Meet Its Real-Time Deadlines?....Pages 68-87
Parameter-Induced Aliasing in Ada....Pages 88-99
Slicing Tagged Objects in Ada....Pages 100-112
OASIS – An ASIS Secondary Library for Analyzing Object-Oriented Ada Code....Pages 113-122
Building Modern Distributed Systems....Pages 123-135
Reliable Communication in Distributed Computer-Controlled Systems....Pages 136-147
Building Robust Applications by Reusing Non-robust Legacy Software....Pages 148-159
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements....Pages 160-166
Complex Task Implementation in Ada....Pages 167-178
Implementing a Flexible Scheduler in Ada....Pages 179-190
Expression Templates in Ada....Pages 191-202
A Design Pattern for State Machines and Concurrent Activities....Pages 203-214
Component Libraries and Language Features....Pages 215-228
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software....Pages 229-240
Scenario-Based System Assessment....Pages 241-252
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation....Pages 253-265
JEWL: A GUI Library for Educational Use....Pages 266-277
Object-Oriented Stable Storage Based on Mirroring....Pages 278-289
Transaction Support for Ada....Pages 290-304
MaRTE OS: An Ada Kernel for Real-Time Embedded Applications....Pages 305-316
Implementing Ada.Real Time.Clock and Absolute Delays in Real-Time Kernels....Pages 317-327
Defining New Non-preemptive Dispatching and Locking Policies for Ada....Pages 328-336
Modelling Communication Interfaces with ComiX....Pages 337-348
Safe Web Forms and XML Processing with Ada....Pages 349-358
Mapping UML to Ada....Pages 359-370
Ship System 2000, a Stable Architecture under Continuous Evolution....Pages 371-379
Migrating Large Applications from Ada83 to Ada95....Pages 380-391
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK....Pages 392-404
