Ada-Europe '93: 12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993. Proceedings

by Michel Gauthier (Editor)

Overview

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.

Product Details

ISBN-13:	9783540568025
Publisher:	Springer Berlin Heidelberg
Publication date:	07/16/1993
Series:	Lecture Notes in Computer Science , #688
Edition description:	1993
Pages:	360
Product dimensions:	6.10(w) x 9.17(h) x 0.03(d)

Table of Contents

Progress of Ada as an international standard: ISO/IEC JTC1/SC22 WG9 Ada status.- Graphics development in Ada.- The olympus attitude and orbital control system A case study in hard real-time system design and implementation.- Information systems support in Ada 9X.- The impact of Ada on MIS applications.- SAMeDL — A pilot project.- Applying Ada9X to two real time applications: A case study.- An efficient compiler validation method for Ada 9X.- Avoiding anomalies in inheritance schemes.- Object-oriented design of an air defence simulator.- A comparison of the object oriented features of Ada 9X and C++.- Use and abuse of exceptions — 12 guidelines for proper exception handling.- Error-prone exception handling in large Ada systems.- Structuring iterators to encourage reuse.- Tool for computing cohesion and coupling in Ada programs: DIANA dependent part.- Data compatibility in a heterogeneous processor environment.- An operational computer aided software environment: ILIADE.- Performance expectations on Ada programs.- The impact of an Ada run-time system's performance characteristics on scheduling models.- Distributed run-time system, a prool for Ada.- Certification of Ada real time executives for safety critical applications.- Performance evaluation of parallel Ada programs using an experimental multiprocessor.- Adam, an Ada simulation toolkit.- Real and virtual interrupt support: The mapping of a CARTS feature to two different architectures.- Toward a secondary standard for Hard Real-Time Ada: The Real-Time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35.