This book presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'98, held in Uppsala, Sweden, in June 1998.
The 23 revised full papers presented together with two invited contributions were carefully selected by the program committee. The papers address all current aspects of the Ada programming language; they are organized in sections on Ada 95 and Java, Ada 95 language and tools, distributed systems, real-time systems, case studies and experiments, software quality, software development, software architectures, and high integrity systems.
Author(s): Franco Gasperoni (auth.), Lars Asplund (eds.)
Series: Lecture Notes in Computer Science 1411
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1998
Language: English
Pages: 304
Tags: Software Engineering/Programming and Operating Systems; Special Purpose and Application-Based Systems
Embedded opportunities....Pages 1-13
Ada+B the formula for safety critical software development....Pages 14-18
Porting the GNAT tasking runtime system to the Java virtual machine....Pages 19-28
Automating the Ada binding process for Java — How far can we go?....Pages 29-40
Synchronizing multiple clients and servers....Pages 41-52
How to avoid the inheritance anomaly in Ada....Pages 53-64
Inside the distributed systems annex....Pages 65-77
Integrating groups and transactions: A fault-tolerant extension of Ada....Pages 78-89
Implementing and using execution time clocks in Ada hard real-time applications....Pages 90-101
Programming hard real-time systems with optional components in Ada....Pages 102-111
Object oriented abstractions for real-time distributed systems....Pages 112-127
(Astro)physical supercomputing: Ada95 as a safe, object oriented alternative....Pages 128-139
Ada 95 for a distributed simulation system....Pages 140-150
PINROB: A portable API for industrial robots....Pages 151-162
Quality-for-ASIS: A portable testing facility for ASIS....Pages 163-175
Ten years of tool based Ada compiler validations an experience report....Pages 176-187
A two-level matching mechanism for object-oriented class libraries....Pages 188-200
Modern Avionics requirements for the Distributed Systems Annex....Pages 201-212
A case study in quantitative evaluation of real-time software architectures....Pages 213-224
Building modular communication systems in Ada: The Simple-Com approach....Pages 225-237
Symbolic reaching definitions analysis of Ada programs....Pages 238-250
Looking at code with your safety goggles on....Pages 251-262
The Ravenscar tasking profile for high integrity real-time programs....Pages 263-275
Guidance on the use of Ada95 in high integrity systems....Pages 276-287
Ada in the JAS 39 Gripen flight control system....Pages 288-296
