Presentation Slides

On this page, you will find the slides of the various presentations of the conference

Keynote Talks

Robert Lainé: Lessons Learned and Often Forgotten

Alun Foster: From ARTEMIS to ECSEL: Growing a Large Eco-System for High-Dependability Systems

Mohamed Shawky: Future Challenges in Design Tools and Frameworks for Embedded Systems; Application to Intelligent Transportation Systems

Regular Sessions

Regular Session 1: Formal Methods

I. Lopatkin and A. Romanovsky: Rigorous Development of Fault-Tolerant Systems through Co-Refinement

Bernd Burgstaller and Johann Blieberger: Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects

Jiale Zhou, Yue Lu and Kristina Lundqvist: A TASM-based Requirements Validation Approach for Safety-critical Embedded Systems

Regular Session 2: Uses of Ada

A. De Matos Pedro, D. Pereira, L. M. Pinho and J. Sousa Pinto: Towards a Runtime Verification Framework for the Ada Programming Language

S. Sáez, J. Real and A. Crespo: Reliable Handling of Real-Time Scheduling Attributes on Multiprocessor Platforms in Ada 2012

L. M. Pinho, B.Moore and S. Michell: Parallelism in Ada: Status and Prospects

Regular Session 3: Real-Time Scheduling

Alan Burns and Andy Wellings: Deadline-Aware Programming and Scheduling

Manar Qamhieh and Serge Midonnet: Schedulability Analysis for Directed Acyclic Graphs on Multiprocessor Systems at a Subtask Level

Sergio Sáez and Alfons Crespo: Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels

Regular Session 4: Applications

A. Jaouen, E. Borde, L. Pautet and T. Robert: PDP 4PS: Periodic-Delayed Protocol for Partitioned Systems

Gerhard Hanis and Burkhard Stadlmann: OBUs' Development and Maintenance of a Train Control System for Low Density Traffic Lines

A. Iliasov, I. Lopatkin and A. Romanovsky: Practical Formal Methods in Railways - the SafeCap Approach

Industrial Tracks

Ada in Aerospace

Tucker Taft: Safe Parallel Language Extensions for Ada 202X

J. Arroyo and B. Lozano: Test Means at Airbus Defence and Space, Military Aircraft business line. Making Ada the Heart of an All-Encompassing Aircraft Test Life-Cycle

G. Blondelle, P. Gaufillet and S.Mazzini: PolarSys, open source tools for embedded systems, and use cases

Ada in Railway

Christian Scholz: Agile Software Development compliant to Safety Standards?

Ana Rodriguez: Critical software For the First European Rail Traffic Management System

Robert Cholay: AdDoc (beyond a document generator)

Experience Report

A. Colin, R. Braff and A. Coombes: Modified Condition/Decision Coverage (MC/DC) of Ada case statements

Jacob Sparre Andersen: Privacy Leaks in Java Classes

J. A.de La Puente, A. Alonso, J. Zamorano, J. Garrido, E. Salazar and M. A. De Miguel: Experience in spacecraft on-board software development