Reliable Software Technologies-Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003 : Proceedings

by Ada-Europe International Conference on Reliable Software Technologies; Rosen, Jean-Pierre; Strohmeier, Alfred

• ISBN13: 9783540403760
• ISBN10: 3540403760
• Format: Paperback
• Copyright: 2003-06-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 8th International Conference on Reliable Software Technologies, Ada-Europe 2003, held in Toulouse, France in June 2003. The 29 revised full papers presented together with 3 invited papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on Ravenscar, language issues, static analysis, distributed information systems, software metrics, software components, formal specification, real-time kernel, software testing, and real-time systems design.

Table of Contents

An Invitation to Ada 2005	p. 1
Modules for Crosscutting Models	p. 24
Software Fault Tolerance: An Overview	p. 45
High Integrity Ravenscar	p. 68
Adding Temporal Annotations and Associated Verification to Ravenscar Profile	p. 80
Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software	p. 92
Booch's Ada vs. Liskov's Java: Two Approaches to Teaching Software Design	p. 102
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Specification for Java	p. 113
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada	p. 129
Busy Wait Analysis	p. 142
Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation	p. 153
Quasar: A New Tool for Concurrent Ada Programs Analysis	p. 168
A Graphical Environment for GLADE	p. 182
The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project	p. 196
Transactions and Groups as Generic Building Blocks for Software Fault Tolerance	p. 208
Getting System Metrics Using POSIX Tracing Services	p. 220
Some Architectural Features of Ada Systems Affecting Defects	p. 232
Evidential Volume Approach for Certification	p. 246
A Survey of Physical Unit Handling Techniques in Ada	p. 258
Charles: A Data Structure Library for Ada95	p. 271
A Quality Model for the Ada Standard Container Library	p. 283
Experiences on Developing and Using a Tool Support for Formal Specification	p. 297
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95	p. 309
Running Ada on Real-Time Linux	p. 322
A Round Robin Scheduling Policy for Ada	p. 334
A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95	p. 344
A Test Environment for High Integrity Software Development	p. 359
Normalized Restricted Random Testing	p. 368
Testing Safety Critical Ada Code Using Non Real Time Testing	p. 382
The Standard UML-Ada Profile	p. 394
HRT-UML: Taking HRT-HOOD onto UML	p. 405
A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST	p. 417
Author Index	p. 429
Table of Contents provided by Blackwell. All Rights Reserved.