Ada in Europe: First International Eurospace-Ada-Europe Symposium Copenhagen, Denmark, September 26–30, 1994 Proceedings [1 ed.] 3540588221, 9783540588221

Table of contents :
Opening address: Ada 9X....Pages 1-10
Run-time check elimination for Ada 9X....Pages 11-23
Adequacy of the new generation of multithreading operating systems to the Ada Tasking Model....Pages 24-32
Merging Ada 9X and C++ in a graphics system software architecture....Pages 33-42
The AECSS fault tolerant distributed Ada testbed and application....Pages 43-59
A front-end to HOOD....Pages 60-62
Tool support for high integrity Ada software....Pages 63-75
Testing Ada abstract data types using formal specifications....Pages 76-89
Formal methods for a space software development environment....Pages 90-103
Object orientation is not always best!....Pages 104-110
Beyond abstract data types: Giving life to objects....Pages 111-120
Test methods and tools for SOHO Mass Memory Unit software....Pages 121-129
Integrating modular, Object Oriented Programming, and application generator technologies in large real time and distributed developments....Pages 130-146
A new approach for HOOD/Ada mapping....Pages 147-154
Shlaer/Mellor or Rumbaugh? A discussion of two popular Object-Oriented Methods....Pages 155-161
How should military Ada software be documented?....Pages 162-169
Evolving an Ada curriculum to 9X....Pages 170-174
Recommendations and proposals for an Ada strategy in the Space Software Development Environment....Pages 175-203
Life ADA: An APSE integrating multiple compilers....Pages 204-214
Extended application of Ada to cover ECBS with O4S....Pages 215-230
Development of a lightweight object-based software process model under pragmatic constraints....Pages 231-257
ESSPASE: European Space Software Product Assurance Support Environment....Pages 258-269
Test philosophy and validation stategy of on-board real time software in envisat-1 satellite radar-altimeter....Pages 270-281
A knowledge-based System for diagnosis in Veterinary Medicine....Pages 282-287
Event diagnosis and recovery in real-time on-board autonomous mission control....Pages 288-301
Safety aspects of the Ariane 5 on-board software....Pages 302-321
Ada controls the European robotic arm....Pages 322-332
Automatic generation of ada source code for the Rafale Mission computer....Pages 333-348
The Real-time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35 or How to avoid and control proliferation of new Ada Real time extensions....Pages 349-354
A fully reusable class of objects for synchronization and communication in Ada 9X....Pages 355-386
Interfacing computer communications from ada in a diverse and evolving environment....Pages 387-396
Cost-benefit analysis for software-reuse — A decision procedure....Pages 397-405
Ex2: Integrating Ada and extra support in a doubly portable extended executive designed for hard real time systems....Pages 406-420
Distribution of tasks within a centrally scheduled local area network....Pages 421-432
Handling interrupts in Ada 9X....Pages 433-439
Tuning Ada programs in advance....Pages 440-464
CEDEX A tool for the selection of a development and execution environment for real time on-bord applications....Pages 465-482
Portability effort estimates for real time applications written in Ada through static code analysis....Pages 483-488
FAA certification of Ada Run-Time Systems....Pages 489-498
Panel on safety and reliability held on September 28, 1994....Pages 499-508
Experiences integrating object-oriented analysis with Joint Application Development (JAD)....Pages 509-521