Reliable Software Technologies - Ada-Europe '99

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

Häftad, Engelska, 1999

AvMichael Gonzalez Harbour,Juan A. de la Puente,Juan A. De La Puente

719 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum1999-05-26
Mått155 x 235 x 26 mm
Vikt709 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor458
Upplaga1999
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540660934

Tillhör följande kategorier

Programvaruutveckling inom Data och it
Programspråk inom Data och it
Affärsförhandlingar inom Ekonomi och ledarskap
Hårdvara inom Data och it
Programmeringsböcker inom Data och it
Systemvetenskap och AI inom Data och it

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.