Conference Facts and Acts



Now that the conference is over, this site wants to serve as the memory to what happened. It also aims to be useful for those who want to recall some of the presentations, or those who couldn't attend the sessions in Valencia.

If you took pictures during the conference and want to share some of them through this web page, please contact Jorge Real.



Proceedings



The proceedings have been published as volume 6106 of Springer's Lecture Notes in Computer Science. To access the volume information from Springer's web page, please click here.



Presentations and videos



Both presentation slides and videos are available for most of the talks. Just follow the links in the table below. The sessions are ordered as follows:



- Keynote Talks

- All 6 Regular Sessions in their chronological order

- Industrial Presentations

- Invited Session on Software Vulnerabilities and Security

- Vendor Sessions



In addition to the contents below, you can also download the Guide to the Industrial Sessions.

Session Author(s) Title Slides Video Keynote Talks T. Baker What to Make of Multicore Processors for Reliable Real-Time Systems?

PDF Watch Keynote Talks P. Albertos Control Co-design: Algorithms and their Implementation

PDF Watch Keynote Talks J. Sutton Ada: Made for the 3.0 World

PDF Watch Session Author(s) Title Slides Video Multicores and Ada A. Burns,

A. Wellings Dispatching Domains for Multiprocessor Platforms and their Representation in Ada

PDF Watch Multicores and Ada B. Andersson,

M. Pinho Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012

PDF Watch Multicores and Ada S. Sáez,

A. Crespo Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems

PDF Watch Session Author(s) Title Slides Video Software Dependability P. Graydon,

J. Knight, X. Yin Practical Limits on Software Dependability

N/A N/A Software Dependability E. Brito,

J. Sousa Pinto Program Verification in Spark and ACSL: A Comparative Case Study

PDF Watch Software Dependability S. Keul Static Versioning of Global State for Race Condition Detection

PDF Watch Session Author(s) Title Slides Video Critical Systems R. White Using Hardware Support for Scheduling with Ada

PDF Watch Critical Systems E. Mezzetti,

A. Betts, J. Ruiz,

T. Vardanega Cache-aware Development of High-Integrity Systems

PDF Watch Critical Systems E. Mezzetti,

M. Panunzio,

T. Vardanega Preservation of Timing Properties with the Ada Ravenscar Profile

PDF Watch Session Author(s) Title Slides Video Real-Time Systems J. Pastor,

P. Sánchez,

D. Alonso,

B. Álvarez Towards the Definition of a Pattern Sequence for Real-Time Applications using a Model-Driven Engineering Approach

PDF Watch Real-Time Systems P. López,

L. Barros,

J.M. Drake Scheduling Configuration of Real-Time Component-Based Applications

PDF Watch Real-Time Systems A. Wellings,

A. Burns The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005

PDF Watch Session Author(s) Title Slides Video Language Technology G. Hong,

B. Burgstaller,

J. Blieberger AdaStreams: A Type-based Programming Extension for Stream-parallelism with Ada 2005

PDF Watch Language Technology B. Brosgol A Comparison of Generic Template Support: Ada, C++, C#, and Java

PDF Watch Language Technology E. Schonberg Towards Ada 2012: An Interim Report

PDF Watch Session Author(s) Title Slides Video Distribution and

Persistency D. Sangorrín,

M. González-Harbour,

H. Pérez,

J.J. Gutiérrez Managing Transactions in Flexible Distributed Real-Time Systems

PDF Watch Distribution and

Persistency J.S. Andersen An Efficient Implementation of Persistent Objects

PDF Watch Session Author(s) Title Slides Video Industrial Presentations R. López,

A.I. Rodríguez HRT-UML and Ada Ravenscar Profile: A Methodological Approach to the Design of Level-B Spacecraft Software

PDF Watch Industrial Presentations E. Wedin

(Presentation by

R. White) Applying Model-Driven Architecture and Spark Ada - a Spark Ada Model Compiler for xtUML

PDF Watch Industrial Presentations I. Lafoz Ada 95 Usage within the Airbus Military Advanced Refuelling Boom System

N/A Watch Industrial Presentations B. Lozano Ada 95 Usage within the Airbus Military Generic Test Environment System

PDF Watch Industrial Presentations M. Sobczak Implementing Polymorphic Callbacks for Ada/C++ Bindings

PDF Watch Industrial Presentations B. Moore A Reusable Work Seeking Parallel Framework for Ada 2005

PDF Watch Industrial Presentations F. Piron Database Programming with Ada

PDF Watch Industrial Presentations J. O'Leary,

A. Srivastava Future Enhancements to the US FAA's En-Route Automation Modernization Program (ERAM) and the Next generation Air Transportation System (NextGen)

PDF Watch Industrial Presentations B. Lewis System Architecture Virtual Integration Case Study

N/A N/A Industrial Presentations D. Kleidermacher

(Presentation by

F. van den Berg) Lessons Learned from the First High Assurance (EAL6+) Common Criteria Software Certification

N/A N/A Industrial Presentations S.T. Taft An Introduction to ParaSail: Parallel Specification and Implementation Language

PDF Watch Session Author(s) Title Slides Video Software Vulnerabilities

and Security S. Michell Software Vulnerabilities on Programming Languages and Applications

PDF N/A Session Author(s) Title Slides Video Vendor Session J. Ruiz GNAT Pro Innovations for High-Integrity Development

PDF N/A Vendor Session T. Elliston HOOD, STOOD and AADL

PDF N/A Vendor Session T. Grosman Atego Introduction - The Work as One Concept

PDF N/A Vendor Session R. Chapman Spark Pro and Beyond - An Update from Spark Team

PDF N/A



