Reliable Software Technologies - Ada-Europe '99

1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings

AvMichael Gonzalez Harbour,Juan A. de la Puente

Häftad, Engelska, 1999

Del i serien Lecture Notes in Computer Science

552 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe '99, held in Santander, Spain in June 1999.The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a large number of submissions. All current issues associated with the Ada programming language are addressed. The papers are organized in sections on Ravenscar profile and high-integrity systems, software architectures and design, testing, formal methods, education, distributed systems, real-time scheduling and kernels, tools, hardware/software codesign, fault-tolerance, and case studies.

Produktinformation

Utgivningsdatum:1999-05-26
Mått:155 x 235 x 26 mm
Vikt:709 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:458
Upplaga:1999
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540660934

Utforska kategorier

Programvaruutveckling inom Data och IT
Programspråk inom Data och IT

Innehållsförteckning

Invited Paper.- An Architectural Perspective of Real-Time Ada Applications.- Ravenscar Profile and High Integrity Systems.- A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects.- An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch.- Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT.- An Ada95 Solution for Certification of Embedded Safety Critical Applications.- Software Architectures and Design.- Architectural Frameworks: Defining the Contents of Architectural Descriptions.- Mapping Object-Oriented Designs to Ada.- Efficient and Extensible Multithreaded Remote Servers?.- Testing.- Report on the VERA Experiment.- Acceptance Testing of Object Oriented Systems.- Formal Methods.- Environment for the Development and Specification of Real-Time Ada Programs.- Interprocedural Symbolic Evaluation of Ada Programs with Aliases.- Automatic Veri.cation of Concurrent Ada Programs.- Translating Time Petri Net Structures in Ada 95 Statements.- Education.- Railway Scale Model Simulator.- Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine.- Distributed Systems.- yaRTI, a Ada 95 HLA Run-Time Infrastructure.- An Ada95 Implementation of a Network Coordination Language with Code Mobility.- CORBA & DSA: Divorce or Marriage?.- How to Modify the GNAT Frontend to Experiment with Ada Extensions?.- On the Use of Controlled Types for Fossil Collection in a Distributed Simulation System.- An Application (Layer 7) Routing Switch with Ada95 Software.- Ada Binding to a Shared Object Layer.- Real-Time Scheduling and Kernels.- The Ceiling Protocol in Multi-moded Real-Time Systems1.- A “Bare-Machine” Implementation of Ada Multi-tasking Beneath the Linux Kernel.- Implementing a NewLow-Level Tasking Support for the GNAT Runtime System?.- Tools.- MetaScribe, an Ada-Based Tool for the Construction of Tranformation Engines.- An Adaptation of Our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogeneous Applications Using Persistence.- Browsing a Component Library Using Non-functional Information.- The Role of Ada in Hardware/Software Codesign.- Hw/Sw Codesign of Embedded Systems.- Hardware/Software Embedded System Specification and Design Using Ada and VHDL1.- System on Chip Specification and Design Languages Standardization.- Fault Tolerance.- An Incremental Recovery Cache Supporting Software Fault Tolerance.- Shared Recoverable Objects.- Fault Tolerance by Transparent Replication for Distributed Ada 95.- Case Studies.- A Case Study in the Reuse of On-Board Embedded Real-Time Software.- Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches.