This volume contains the proceedings of the twelfth Ada-Europe conference, held in France in 1993. The French name "Ada sans fronti res" (the only French words in the book) symbolizes the unlimitedness and novelty of Ada, as well as Europe-wide interest. Many papers relate to Ada-9X, the new standard that the Ada coimmunity is close to achieving after worldwide consultation and debate about requirements, specification, anddetailed definition. Their focus is on management, real-time, and compiler validation. Part of the conference was on object orientation, together with various issues relating to the general structure of the language, including exceptions to a certain use of genericity and heterogeneous data, efficiency, formal requirements and CASEs, and comparison with a competitor language. A third part relates to real-time, past with performance measurement, present with certification andapplications, and future with the ExTRA project and 9X.
Author(s): Robert F. Mathis (auth.), Michel Gauthier (eds.)
Series: Lecture Notes in Computer Science 688
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1993
Language: English
Pages: 360
Tags: Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Operating Systems
Progress of Ada as an international standard: ISO/IEC JTC1/SC22 WG9 Ada status....Pages 1-12
Graphics development in Ada....Pages 13-18
The olympus attitude and orbital control system A case study in hard real-time system design and implementation....Pages 19-35
Information systems support in Ada 9X....Pages 36-53
The impact of Ada on MIS applications....Pages 54-63
SAMeDL — A pilot project....Pages 64-78
Applying Ada9X to two real time applications: A case study....Pages 79-94
An efficient compiler validation method for Ada 9X....Pages 95-107
Avoiding anomalies in inheritance schemes....Pages 108-113
Object-oriented design of an air defence simulator....Pages 114-124
A comparison of the object oriented features of Ada 9X and C++....Pages 125-141
Use and abuse of exceptions — 12 guidelines for proper exception handling....Pages 142-152
Error-prone exception handling in large Ada systems....Pages 153-170
Structuring iterators to encourage reuse....Pages 171-179
Tool for computing cohesion and coupling in Ada programs: DIANA dependent part....Pages 180-196
Data compatibility in a heterogeneous processor environment....Pages 197-215
An operational computer aided software environment: ILIADE....Pages 216-226
Performance expectations on Ada programs....Pages 227-239
The impact of an Ada run-time system's performance characteristics on scheduling models....Pages 240-248
Distributed run-time system, a protocol for Ada....Pages 249-263
Certification of Ada real time executives for safety critical applications....Pages 264-279
Performance evaluation of parallel Ada programs using an experimental multiprocessor....Pages 280-297
Adam, an Ada simulation toolkit....Pages 298-313
Real and virtual interrupt support: The mapping of a CARTS feature to two different architectures....Pages 314-329
Toward a secondary standard for Hard Real-Time Ada: The Real-Time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35....Pages 330-351
