Reliable Software Technologies - Ada-Europe 2002: 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings (Google eBook)

Front Cover
Johann Blieberger, Alfred Strohmeier
Springer Science & Business Media, Jun 5, 2002 - Computers - 366 pages
0 Reviews
This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe 2002, held in Vienna, Austria, in June 2002.
The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.
  

What people are saying - Write a review

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

Selected pages

Contents

Embedded Systems Unsuitable for Object Orientation
1
On Architectural Stability and Evolution
13
From Crash to Byzantine Failures
24
Bridging Physical and Virtual Worlds
51
Evaluating Performance and Power of ObjectOriented Vs Procedural Programming in Embedded Processors
65
OMCINTEGRAL Memory Management
76
Language Issues of Compiling Ada to Hardware
88
Software Development Reengineering An Experience Report
100
Adding Design by Contract to the Ada Language
205
Static Dependency Analysis for Concurrent Ada 95 Programs
219
A Practical Approach to Data Flow Analysis for Ada 95
231
An Empirical Study
245
About the Difficulties of Building a PrettyPrinter for Ada
257
A Tailorable Distributed Programming Environment
269
Modeling and Schedulability Analysis of Hard RealTime Distributed Systems Based on Ada Components
282
Transparent Environment for Replicated Ravenscar Applications
297

Development of a Control System for Teleoperated Robots Using UML and Ada95
113
Using a Secure Java Microkernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications
125
A POSIXAda Interface for ApplicationDefined Scheduling
136
The Influence of Code Analysis on Design
151
HighIntegrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT
163
How to Use GNAT to Efficiently Preprocess New Ada Sentences
179
Strengthening and Extending RunTime Checks in Ada
193
Concurrency Control in Transactional Drago
309
An Ada Binding to the IEEE 10031q POSIX Tracing Standard
321
GNAT Ada Database Development Environment
334
Ada Interfaces and the Listener Paradigm
344
A Case Study
357
Author Index
367
Copyright

Common terms and phrases

Bibliographic information