Detail of Sessions

All Sessions of the conference will take place in the Auditorium of VIP Executive Art's Hotel.

Proceedings

The proceedings, published by Springer Verlag as Lecture Notes in Computer Science Vol. 10873, are already available online. Springer provides to conference participants free access to the proceedings for a period of 4 weeks, through the following link:

https://link.springer.com/book/10.1007/978-3-319-92432-8

Presentation abstracts, including abstracts of papers accepted for presentation and abstracts of industrial presentations, can also be downloaded through the following link:

Presentation Abstracts (pdf, 3.3MB)

Opening Session

Conference Overview (Tuesday, 08:45 - 09:00)

Presentation

Regular Sessions

Safety and Security (Tuesday, 11:00 - 12:40)

Chair: Marcus Völp

Using Safety Contracts to Verify Design Assumptions During Runtime
Omar Jaradat and Sasikumar Punnekkat
Presentation

Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation
Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson and Stefano Puri
Presentation

Presentation
The IRONSIDES Project: Final Report
Barry Fagin and Martin Carlisle
Presentation

Presentation
Concurrent Reactive Objects in Rust - Secure by Construction
Marcus Lindner, Jorge Aparicio and Per Lindgren

Ada 202X (Tuesday, 16:30 - 17:50)

Chair: Luis Miguel Pinho

Safe Dynamic Memory Management in Ada and SPARK
Maroua Maalej, Yannick Moy and Tucker Taft
Presentation 

Safe Non-Blocking Synchronization in Ada2x
Johann Blieberger and Bernd Burgstaller
Presentation

Presentation
Alire: a Library Repository Manager for the Open Source Ada Ecosystem
Alejandro R. Mosteo
Presentation

Handling Implicit Overhead (Wednesday, 11:00 - 12:40)

Chair: Michael González Harbour

On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks
Jorge Garrido, Juan Zamorano, Alejandro Alonso and Juan A. de La Puente
Presentation

Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling
Filip Markovic, Jan Carlson and Radu Dobrin
Presentation

Vendor presentation
AdaCore
Presentation

Vendor presentation
PTC
Presentation

Real-Time Scheduling (Wednesday, 16:30 - 17:50)

Chair: Frank Singhoff

Vendor presentation
RAPITA
Presentation

Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar
Jorge Real, Sergio Sáez and Alfons Crespo
Presentation (Best Paper Award)

Theory and Practice of EDF Scheduling in Distributed Real-Time Systems
J. Javier Gutiérrez and Hector Perez
Presentation

New Application Domains (Thursday, 16:30 - 17:50)

Chair: Jorge Real

Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP
Sara Royuela, Xavier Martorell, Eduardo Quiñones and Luis Miguel Pinho
Presentation

Microservice-based Agile Architectures: an Opportunity for Specialized Niche Technologies
Stefano Munari, Sebastiano Valle and Tullio Vardanega
Presentation

Presentation
Real-Time Ada Applications on Android
Alejandro Pérez Ruiz, Mario Aldea Rivas and Michael González Harbour
Presentation

Industrial Sessions

Ada in Industry (Tuesday, 14:00 - 15:30)

Chair: Philippe Gast

Managing the Endianness of Software Building Blocks with GNAT Ada Pragmas: a Case Study
Patricia Lopez Cueva and Marco Panunzio
Presentation

Using Ada in Non-Ada Systems
Ahlan Marriott
Presentation

Easy Ada Tooling with Libadalang
Pierre-Marie de Rodat and Raphaël Amiard
Presentation

Space Systems (Wednesday, 14:00 - 15:30)

Chair: Maurizio Martignano

Ariane 6 Flight Software Designed for a Simpler Validation
Philippe Gast and Cyrille Pierre
Presentation

I3DS - A Modular Sensor Suite for Space Robotics
Kristoffer Nyborg Gregertsen
Presentation

Multi-Concern Dependability-Centered Assurance for Space Systems via ConcertoFLA
Barbara Gallina, Zulqarnain Haider, Anna Carlsson, Silvia Mazzini and Stefano Puri
Presentation

V&V of Safety-Critical Software (Thursday, 11:00 - 12:30)

Chair: Johann Blieberger

Applying Formal Timing Analysis to Satellite Software
Andreas Wortmann
Presentation (Best Presentation Award)

Multicore Timing Analysis for Safety-Critical Software
Ian Broster, Guillem Bernat, Francisco Cazorla, Christos Evripidou and Suzana Milutinovic
Presentation

KhronoSim: Simulation and Testing of Real-Time Critical Cyber-Physical Systems
Gonçalo Gouveia, João Esteves, Cláudio Maia and Luis Miguel Pinho
Presentation

Software Methodologies (Thurdsday, 14:00 - 15:30)

Chair: Andreas Wortmann

C Guidelines Compliance and Deviations (the MISRA and CERT Cases)
Maurizio Martignano
Presentation

Agile in Safety Critical Projects
Pawel Zakrzewski and Janusz Narkiewicz

AGILE-R: Agile Software Development for Railways
Silvia Mazzini, John Favaro, Guido Ioele, Paolo Panaroni, Giancarlo Gennaro and Umile Paone
Presentation

Closing Session

Best presentation award & presentation of next year conference (Thursday 17:50 - 18:20)

Presentation of Ada-Europe 2019, in Warsaw