Presentation Slides

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

Keynote Talks

Jon Perez. IEC-61508 Certification of mixed-criticality systems based on multicore and partitioning.

Javier Rodríguez. Software Development of Safety-Critical Railway Systems.

Andras Balazs. The central on-board computer of the Philae lander in the context of the Rosetta space mission.

Regular Sessions

Regular session 1: Language Technology

D. Pavletic, M. Voelter, S.A. Raza, B. Kolb, T. Kehrer. Extensible Debugger Framework for Extensible Languages.

H. Khanfar, B. Lisper, A.N. Masud. Static Backward Program Slicing for Safety-Critical Systems.

G. Nelissen, D. Pereira, L.M. Pinho- A Novel Runtime Monitoring Architecture for Safe and Efficient Inline Monitoring

Regular session 2: Real-Time Applications

J. Zamorano, J. Garrido. Schedulability analysis of PWM tasks for the UPMSat-2 ADCS.

S. Urueña, N. Pérez, B. Calvo, C. Flores, A. Jung. Guaranteeing timing requirements in the IXV On-Board Software.

D. Garrido, M. Díaz. Maintenance of Reliable Distributed Applications with Open-Source Middlewares: Fifteen Years Later.

Regular session 3: Critical Systems

A. Baldovin, A. Zovi, G. Nelissen, S. Puri. The CONCERTO methodology for model-based development of avionics software

H. Mkaouar, B. Zalila, J. Hugues, Jmaiel. From AADL model to LNT specification.

O. Jaradat, I. Bate, S. Punnekkat>. Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases

Regular session 4: Multi-core, distributed systems

S. Catellani, L. Bonato, S. Huber, E. Mezzetti. Challenges in the Implementation of MrsP.

L.M. Pinho, B. Moore, S. Michell, S.T. Taft. An Execution Model for Fine-Grained Parallelism in Ada

J.Fernández, H. Pérez, J.J. Gutiérrez, M. González Harbour. AFDX Emulator for an ARINC-based Training Platform.

Special Session

Advances on Methods

F. Sánchez-Ledesma, J. A. Pastor, D. Alonso, B. Álvarez. A Task-Based Concurrency Scheme for Executing Component-Based Applications.

J.S. Andersen. Persistent Containers with Ada 2012.

S. Law, A. Coombes, M. Bennett, I. Ellis, S. Hutchesson. Effective Worst-Case Execution Time Analysis of DO178C Level A Software

Industrial Sessions

Ada Applications

P. Gast, D. Lesens. From Ada 83 to Ada 2012.

D. Sands. Automated trading with Ada.

B. Lundin. WCS – Warehouse Control System in Ada.

Critical Systems in Industry

Tools at Work

Other slides

C. Brandon.Reliability for Interplanetary CubeSats.