Overview

The 27th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2023) will take place in Lisbon, Portugal, and will be an in-presence only event. The conference schedule comprises a panel with invited experts, a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops.

The conference will take place at Hotel Fénix Lisboa, which is located in the centre of Lisbon, easily accessible by metro from the airport, and in walking distance to downtown. The first day of the conference (June 13th) is a holiday in Lisbon, and there will be a lot of popular festivities all around. If you can stay over before or after the conference, there's a lot to see around. Check the Venue page for more info.

The call for contributions is available on this page and in PDF.

Conference Program Synopsis

Morning Before Lunch After Lunch Afternoon Evening
Tuesday,
13th June
Tutorials
Tutorial 1:
The HAC Ada Compiler

(Gautier de Montmollin)
Tutorial 2:
Controlling I/O Devices
with Ada and the
Linux Simple I/O Library

(Philip Munts)
Welcome
Reception
Tutorial 3:
Everything you always
wanted to know about
characters and strings

(Jean-Pierre Rosen)
Tutorial 4:
Introduction to the
development of safety
critical software

(Jean-Pierre Rosen)
Tutorial 5:
Rust Fundamentals

(Luis Miguel Pinho
and Tiago Carvalho)
Tutorial 6:
Concurrency and
Parallelism in Rust

(Luis Miguel Pinho
and Tiago Carvalho)
Wednesday,
14th June
Technical Presentations
Keynote Talk Session 1:
Verification and validation 1
Session 2:
Advanced systems
Session 3:
Reliability and performance
Conference
Banquet
WiP posters shown during breaks WiP posters shown during breaks
Thursday,
15th June
Technical Presentations
Panel Session 4:
Verification and validation 2
Session 5:
Reliable programming
Session 6:
Real-time systems
WiP posters shown during breaks WiP posters shown during breaks
Friday,
16th June
Satellite Events
Workshop 1: DeCPS (Challenges and New Approaches
for Dependable and Cyber-Physical System Engineering)
Workshop 2: ADEPT (AADL by its practitioners)

Final Program

The final program in PDF is available here: Ada-Europe 2023 program

Booklet of Presentations

The booklet of presentations in PDF is available here: Ada-Europe 2023 booklet of presentations

Conference Core Composition

The core conference program features five distinct types of technical presentations, with different duration, all followed by various manners of discussion time. In the visual synopsis of the program schedule, each distinct presentation type is denoted by a specific colour code.

Colour Code Duration
Journal-track talk Long, 30 minutes
Industrial-track talk Medium, 20 minutes
Work-in-progress-track talk Short, 10 minutes plus poster
Keynote 1 hour
Panel Discussion 1 hour 30 minutes

All papers presented at the conference in the journal track, the industrial track and the work-in-progress track have undergone peer review. All track chairs took it on themselves to assure that the review process was strictly free of conflict of interests between authors and reviewers.

It is a characterizing trait of the AEiC conference series that the presentations of such diverse contributions are combined into by-theme and not by-track presentation sessions, in order that authors and participants alike all enjoy all flavours of the program in a mixed as opposed to segregated combination.

Conference Core Schedule

Wednesday, 14 June
09:00 - 09:15 Welcome & Opening
09:15 - 10:30 Keynote talk
Applications of Liquid Types for more Reliable Software
Alcides Fonseca, FCUL, Portugal

Chair: António Casimiro
10:30 - 11:30 Break
11:30 - 12:30 Session 1: Verification and validation 1
Chair: Elena Troubitsyna
Systematic Review on Contract-based Safety Assurance and Guidance for Future Research
Samina Kanwala, Faiz Ul Muramb and Muhammad Atif Javedc
Compositional Verification of Embedded Real-Time Systems
Mohammed Aristide Foughali, Pierre-Emmanuel Hladik and Alexander Zuepke
12:30 - 14:00 Lunch
14:00 - 15:30 Session 2: Advanced systems
Chair: Frank Singhoff
VR-based Teleoperation of Autonomous Ground Vehicles for Operation Recovery
Georg Jäger, Gero Licht, Norman Seyffer and Stefan Reitmann
Denoising Autoencoder-based Defensive Distillation as an Adversarial Robustness Algorithm
Bakary Badjie, José Cecílio and António Casimiro
Software-based security approach for networked embedded devices
José Ferreira, Alan Oliveira, André Souto and José Cecílio
Cooperative Autonomous Driving in Simulation
Gonçalo Costa, José Cecílio and António Casimiro
Exploring Trade-offs in Explainable AI
Dene Brown and Glenn Hawe
Cataloging Prompt Patterns to Enhance the Discipline of Prompt Engineering
Douglas C. Schmidt, Jesse Spencer-Smith, Quchen Fu and Jules White
Achieving Crash Fault Tolerance In Autonomous Vehicle Autopilot Software Stacks Through Safety-Critical Module Rejuvenation
Federico Lucchetti
Safety-critical software in the EROSS+ on-orbit servicing project
Kristoffer Nyborg Gregertsen, Vincent Dubanchet, Carolina Pinto Dos Santos Serra and Juan Antonio Bejar Romero
15:30 - 16:30 Break
16:30 - 18:00 Session 3: Reliability and performance
Chair: Björn Andersson
Exploiting container based microservices for reliable smart mobility applications
Paolo Ferrari, Emiliano Sisinni and Massimiliano Gaffurini
Towards Reliable Distributed Edge-Cloud Applications
Michael Pressler, Dirk Ziegenbein and Arne Hamann
Monintainer: An orchestration-independent extensible container-based monitoring solution for large clusters
Miguel Correia, Wellington Oliveira and José Cecílio
Analyzing the performance of persistent storage for fault-tolerant stateful fog applications
Zeinab Bakhshi, Guillermo Rodriguez-Navas and Hans Hansson
20h00 - 23:00 Conference Banquet


Thursday, 15 June
09:00 - 10:30 Panel
Promises and Challenges of AI-enabled Software Development Tools for Safety-Critical Application

Douglas Schmidt, Vanderbilt University, USA
Jochen Quante, Robert Bosch GmbH, Germany
Jon Pérez Cerrolaza, IKERLAN, Spain
Björn Andersson, SEI - Carnegie Mellon University, USA

Chair: Tullio Vardanega
10:30 - 11:30 Break
11:30 - 12:30 Session 4: Verification and validation 2
Chair: Luis Miguel Pinho
Symbolic Assurance Refinement for CPS
Dionisio de Niz and Lutz Wrage
Towards a Methodology to Design Provably Secure Cyber-Physical Systems
Felipe Lisboa Malaquias, Georgios Giantamidis, Stylianos Basagiannis, Simone Fulvio Rolllini and Isaac Amundson
Safety of the Intended Functionality Concept Integration into a Validation Tool Suite
Víctor J. Expósito Jiménez, Helmut Martin, Bernhard Winkler, Joaquim M. Castella Triginer, Heiko Scharke and Hannes Schneider
Application of a method for evaluation of software used in naval nuclear means
Eduardo Bezerra
12:30 - 14:00 Lunch
14:00 - 15:30 Session 5: Reliable programming
Chair: Alejandro R. Mosteo
Automatic test value generation for Ada
Léo Creuse, Matthieu Eyraud and Viviane Garèse
Mechanization of the Ravenscar profile in Coq
Jerome Hugues
A Real-Time Parallel Programming Approach for Rust
Hugo Silva, Tiago Carvalho and Luis Miguel Pinho
Security Hardening Ada Programs through Innovative Fuzz Testing
Paul Butcher
An Update On the Tasking Profiles in Ada 2022
Patrick Rogers
Ada on a New Embedded Target
Dylan Eskew
15:30 - 16:30 Break
16:30 - 18:00 Session 6: Real-time systems
Chair: José Cecílio
Worst Case Execution Time Estimation of Multicore and GPU Software: A Pedestrian Detection Use Case
Van Rodiguez-Ferrandez, Alvaro Jover-Alvarez, Matina Maria Trompouki, Leonidas Kosmidis and Francisco J Cazorla
A POSIX/RTEMS monitoring tool and a benchmark to detect real-time scheduling anomalies
Blandine Djika Mezatio, Georges Kouamou, Frank Singhoff and Alain Plantec
Time-Predictable Task-to-Thread Mapping in Multi-Core Processors
Mohammad Samadi, Sara Royuela, Luis Miguel Pinho, Tiago Carvalho and Eduardo Quiñones
Fine-grained adaptive parallelism for automotive systems through AMALTHEA and OpenMP
Adrian Munera, Sara Royuela, Michael Pressler, Harald Mackamul, Dirk Ziegenbein and Eduardo Quiñones
Closing of Core Program