Ada-Europe 2010: Valencia, Spain

Jorge Real, Tullio Vardanega (Eds.): Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings. Lecture Notes in Computer Science 6106 Springer 2010, ISBN 978-3-642-13549-1

Keynote Talks

Theodore P. Baker:
What to Make of Multicore Processors for Reliable Real-Time Systems? 1-18
Pedro Albertos, Alfons Crespo, José E. Simó, Adel Fernández:
Control Co-design: Algorithms and Their Implementation. 19-40

Multicores and Ada

Alan Burns, Andy J. Wellings:
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada. 41-53
Björn Andersson, Luís Miguel Pinho:
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012. 54-67
Sergio Saez, Alfons Crespo:
Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems. 68-82

Software Dependability

Patrick J. Graydon, John C. Knight, Xiang Yin:
Practical Limits on Software Dependability: A Case Study. 83-96
Eduardo Brito, Jorge Sousa Pinto:
Program Verification in SPARK and ACSL: A Comparative Case Study. 97-110
Steffen Keul:
Static Versioning of Global State for Race Condition Detection. 111-124

Critical Systems

Rod White:
Using Hardware Support for Scheduling with Ada. 125-138
Enrico Mezzetti, Adam Betts, José Ruiz, Tullio Vardanega:
Cache-Aware Development of High-Integrity Systems. 139-152
Enrico Mezzetti, Marco Panunzio, Tullio Vardanega:
Preservation of Timing Properties with the Ada Ravenscar Profile. 153-166

Real-Time Systems

Juan A. Pastor, Diego Alonso, Pedro Sánchez, Bárbara Álvarez:
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach. 167-180
Patricia López Martínez, Laura Barros, José M. Drake:
Scheduling Configuration of Real-Time Component-Based Applications. 181-195
Andy J. Wellings, Alan Burns:
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005. 196-207

Language Technology

Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann Blieberger:
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005. 208-221
Benjamin M. Brosgol:
A Comparison of Generic Template Support: Ada, C++, C#, and Java^TM. 222-237
Edmond Schonberg:
Towards Ada 2012: An Interim Report. 238-250

Distribution and Persistency

Daniel Sangorrín, Michael González Harbour, Héctor Pérez, J. Javier Gutiérrez:
Managing Transactions in Flexible Distributed Real-Time Systems. 251-264
Jacob Sparre Andersen:
An Efficient Implementation of Persistent Objects. 265-275

Last update Mon May 21 02:19:50 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page