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.
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.
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
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 |
