Reliable Software Technologies - Ada-Europe 2010 : 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings

by Real, Jorge; Vardanega, Tullio

• ISBN13: 9783642135491
• ISBN10: 3642135498
• Format: Paperback
• Copyright: 2010-06-25
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the proceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2010, held in Valencia, Spain, on June 14-18, 2010. The 17 papers presented were carefully reviewed and selected from 40 submissions. Topics of interest to the conference are software dependability, critical, real-time and distributed systems, and language technology, all under the more general heading of Reliable Software Technologies.

Table of Contents

Keynote Talks
What to Make of Multicore Processors for Reliable Real-Time Systems?	p. 1
Control Co-design: Algorithms and Their Implementation	p. 19
Multicores and Ada
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada	p. 41
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012	p. 54
Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems	p. 68
Software Dependability
Practical Limits on Software Dependability: A Case Study	p. 83
Program Verification in SPARK and ACSL: A Comparative Case Study	p. 97
Static Versioning of Global State for Race Condition Detection	p. 111
Critical Systems
Using Hardware Support for Scheduling with Ada	p. 125
Cache-Aware Development of High-Integrity Systems	p. 139
Preservation of Timing Properties with the Ada Ravenscar Profile	p. 153
Real-Time Systems
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach	p. 167
Scheduling Configuration of Real-Time Component-Based Applications	p. 181
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005	p. 196
Language Technology
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005	p. 208
A Comparison of Generic Template Support: Ada, C++, C#, and JavaÖ	p. 222
Towards Ada 2012: An Interim Report	p. 238
Distribution and Persistency
Managing Transactions in Flexible Distributed Real-Time Systems	p. 251
An Efficient Implementation of Persistent Objects	p. 265
Author Index	p. 277
Table of Contents provided by Ingram. All Rights Reserved.