+612 9045 4394
 
CHECKOUT
Reliable Software Technologies - Ada-Europe '99 : 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings - Michael Gonzalez Harbour

Reliable Software Technologies - Ada-Europe '99

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

Paperback Published: 26th May 1999
ISBN: 9783540660934
Number Of Pages: 458

Share This Book:

Paperback

$158.39
or 4 easy payments of $39.60 with Learn more
Ships in 5 to 9 business days

The Fourth International Conference on Reliable Software Technologies, Ada- Europe'99, took place in Santander, Spain, from June 7 to 11, 1999. It was sponsored by Ada Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda and Ada Spain, and it was organized by members of the University of Cantabria and the Technical University of Madrid, in Spain. This was the 19th consecutive year of Ada Europe conferences, which have always been the main Ada events in Europe, with their counterparts being the ACM SIGAda conferences in the USA (formerly Tri Ada). The conference is not just devoted to the Ada language, but rather to the more general area of reliable software technologies. In this sense, there are papers on formal methods, testing, software architectures and design, software engineering tools, etc. We believe that the role of reliable software technologies is becoming increasingly important, as computer applications control more and more of our everyday systems. The goal of our conference is to contribute to advancing the state of the art of all the technologies that help us in achieving better and more reliable software at a lower overall cost.

Invited Paper
An Architectural Perspective of Real-Time Ada Applicationsp. 1
Ravenscar Profile and High Integrity Systems
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objectsp. 12
An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switchp. 26
Re-engineering a Safety-Critical Application Using SPARK 95 and GNORTp. 39
An Ada95 Solution for Certification of Embedded Safety Critical Applicationsp. 52
Software Architectures and Design
Architectural Frameworks: Defining the Contents of Architectural Descriptionsp. 64
Mapping Object-Oriented Designs to Adap. 76
Efficient and Extensible Multithreaded Remote Serversp. 91
Testing
Report on the VERA Experimentp. 103
Acceptance Testing of Object Oriented Systemsp. 114
Formal Methods
Environment for the Development and Specification of Real-Time Ada Programsp. 124
Interprocedural Symbolic Evaluation of Ada Programs with Aliasesp. 136
Automatic Verification of Concurrent Ada Programsp. 146
Translating Time Petri Net Structures into Ada 95 Statementsp. 158
Education
Railway Scale Model Simulatorp. 170
Ada 95 as a Foundation Language in Computer Engineering Education in Ukrainep. 181
Distributed Systems yaRTI, an Ada 95 HLA Run-Time Infrastructurep. 187
An Ada95 Implementation of a Network Coordination Language with Code Mobilityp. 199
CORBA & DSA: Divorce or Marriage?p. 211
How to Modify the GNAT Frontend to Experiment with Ada Extensionsp. 226
On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systemp. 238
An Application (Layer 7) Routing Switch with Ada95 Softwarep. 250
Ada Binding to a Shared Object Layerp. 263
Real-Time Scheduling and Kernels The Ceiling Protocol in Multi-moded Real-Time Systemsp. 275
A "Bare-Machine" Implementation of Ada Multi-tasking Beneath the Linux Kernelp. 287
Implementing a New Low-Level Tasking Support for the GNAT Runtime Systemp. 298
Tools
MetaScribe, an Ada-based Tool for the Construction of Transformation Enginesp. 308
An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing and Handling of Data between Heterogeneous Applications using Persistencep. 320
Browsing a Component Library Using Non-functional Informationp. 332
The Role of Ada in Hardware/Software Codesign HW/SW Co-design of Embedded Systemsp. 344
Hardware/Software Embedded System Specification and Design Using Ada and VHDLp. 356
System on Chip Specification and Design Languages Standardizationp. 371
Fault Tolerance
An Incremental Recovery Cache Supporting Software Fault Tolerancep. 385
Shared Recoverable Objectsp. 397
Fault Tolerance by Transparent Replication for Distributed Ada 95p. 412
Case Studies
A Case Study in the Reuse of On-board Embedded Real-Time Softwarep. 425
Development of Flight Control Software in Ada: Architecture and Design Issues and Approachesp. 437
Author Indexp. 451
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540660934
ISBN-10: 3540660933
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 458
Published: 26th May 1999
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.41
Weight (kg): 0.65