Reliable Software Technologies - Ada-Europe '98
Springer Berlin (Verlag)
978-3-540-64536-8 (ISBN)
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.
Embedded opportunities.- Ada+B the formula for safety critical software development.- Porting the GNAT tasking runtime system to the Java virtual machine.- Automating the Ada binding process for Java - How far can we go?.- Synchronizing multiple clients and servers.- How to avoid the inheritance anomaly in Ada.- Inside the distributed systems annex.- Integrating groups and transactions: A fault-tolerant extension of Ada.- Implementing and using execution time clocks in Ada hard real-time applications.- Programming hard real-time systems with optional components in Ada.- Object oriented abstractions for real-time distributed systems.- (Astro)physical supercomputing: Ada95 as a safe, object oriented alternative.- Ada 95 for a distributed simulation system.- PINROB: A portable API for industrial robots.- Quality-for-ASIS: A portable testing facility for ASIS.- Ten years of tool based Ada compiler validations an experience report.- A two-level matching mechanism for object-oriented class libraries.- Modern Avionics requirements for the Distributed Systems Annex.- A case study in quantitative evaluation of real-time software architectures.- Building modular communication systems in Ada: The Simple-Com approach.- Symbolic reaching definitions analysis of Ada programs.- Looking at code with your safety goggles on.- The Ravenscar tasking profile for high integrity real-time programs.- Guidance on the use of Ada95 in high integrity systems.- Ada in the JAS 39 Gripen flight control system.
| Erscheint lt. Verlag | 20.5.1998 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | XII, 304 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 406 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Mathematik / Informatik ► Informatik ► Software Entwicklung | |
| Informatik ► Theorie / Studium ► Compilerbau | |
| Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik | |
| Schlagworte | action • ADA • ADA 95 • Ada 95 Programming • Distributed Systems • Echtzeit-Verarbeitung • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • High Integrity Systems • Inheritance • Java • Java Virtual Machine • object • Programming language • Real-Time Systems • Safety-Critical Systems • Software Architectures • Software Engineering / Softwareentwicklung • Softwareentwicklung • Tools • Virtual machine |
| ISBN-10 | 3-540-64536-5 / 3540645365 |
| ISBN-13 | 978-3-540-64536-8 / 9783540645368 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
