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