Overview

The 28^th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2024) will take place in Barcelona, Spain, and will be an in-presence only event. The conference schedule comprises a keynote and an invited talk, a panel with invited experts, a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials and hackaton, and satellite workshops.

The conference will take place in UPC Campus Nord, easily accessible by metro from the airport and city centre. If you can stay over before or after the conference, there's a lot to see around. Check the Practical Information section of the website for more info.

The call for contributions is available on this page.

Conference Program Synopsis

	Morning	Before Lunch	After Lunch	Afternoon	Evening
Tuesday, 11th June Tutorials and Hackathon	T1: Lock-free programming in Ada 2022		T2: Ada for business applications		Welcome Reception: Jardí de l'Abadessa
	T3: Rust fundamentals		T4: Concurrency and parallelism with Rust
	T5: Modeling concurrent state machines in TLA+		T6: Introduction to the development of safety critical software
	T7: METASAT: programming high-performance RISC-V technologies for space		T8: Introduction to certifiable general purpose GPU programming for safety-critical systems
	Hackathon: Optimizing AI-driven workflows within a mission-critical cyber-physical system
Wednesday, 12th June Technical Presentations	Keynote	Session 1: Fault Tolerance and Reliability in Heterogeneous Systems	Invited talk	Session 3: Security and Safety in Embedded Systems	Conference Banquet: 7 portes
			Session 2: Software Verification and Code Generation
			Invited talk
Thursday, 13th June Technical Presentations	Panel	Session 4: Machine Learning and Optimization for Embedded Systems	Session 5: Real-Time Systems and Their Analysis	Session 6: Advancements in RTOS and Embedded Software Development	Post conference chill-out: Moritz brewery
Friday, 14th June Satellite Events	Workshop 1: DeCPS (Challenges and New Approaches for Dependable and Cyber-Physical System Engineering)
	Workshop 2: ADEPT (AADL by its practitioners)
	Workshop 3: Safe AI (Enabling the use of AI in Safety-Critical Systems)
	Workshop 4: Ada Developers

Final Program

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

Booklet of Presentations

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

Conference Core Composition

The core conference program features seven 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	25 minutes
Industrial-track talk	15 minutes
Work-in-progress-track talk	10 minutes
Vendor	15 minutes
Keynote	1 hour
Panel Discussion	1 hour
Inivited talk	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

Tuesday, 11 June
17h45 - 19:15	Conference registration (BSC facilities), MareNostrum V visit and welcome aperitive
19h30 - 23:00	Welcome dinner at Jardí de l'Abadessa

Wednesday, 12 June
08:30 - 09:00	Registration (UPC - Vertex building)
09:00 - 09:15	Welcome & Opening
09:15 - 10:15	Keynote talk Strategies to build safety relevant high-performance HW/SW platforms for critical embedded systems Francisco J. Cazorla, Jaume Abella, Barcelona Supercomputing Center, Spain Chair: Björn Andersson, Software Engineering Institute - Carnegie Mellon University, USA
10:15 - 11:00	Break
11:00 - 12:30	Session 1: Fault Tolerance and Reliability in Heterogeneous Systems Chair: Tullio Vardanega, University of Padua, Italy
	HyFAR: a cost-effective Hypervisor-based Fault tolerance Approach for Heterogeneous Automotive Real-time Systems Johannes Lex, Ralph Mader, Margull Ulrich, Dietmar Fey
	Enhancing Scalability of Static Code Analysis through Graph Database and Pattern Matching Quentin Dauprat,Paul Dorbec, Gaetan Richard, Jean-Pierre Rosen
	EUROCITY presentation Emma Claus
	FDN (Flexible Digital Network) for RTOS in the Automotive Industry Ramon Llorca, Iñigo Alconada and Andreu Montiel
	Re-configurable and Scalable Honeynet for Cyber-Physical Systems Luís Sousa, José Cecílio, Pedro Ferreira, Alan Oliveira
12:30 - 13:30	Lunch
13:30 - 14:00	Invited talk Simplifying the life-cycle management of complex application workflows Rosa Maria Badia, Barcelona Supercomputing Center, Spain Chair: Sara Royuela, Barcelona Supercomputing Center, Spain
14:00 - 15:00	Session 2: Software Verification and Code Generation Chair: Hai Nam Tran, University of Brest, France
	Modelling Task Priority in Symbolic Predictive Analysis for Embedded Software in Ada Ranjani Krishnan, Ashutosh Gupta
	A Framework for Static Analysis and Verification of Low-Level RTOS Code Vignesh Manjunath, Marcel Baunach
	Algebraic Effects and Static Analysis for Safety-Critical Applications in Fuzion Fridtjof Siebert, Michael Lill, Max Teufel
15:00 - 15:30	Invited talk The Compute Continuum: An Efficient Use of Edge-to-Cloud Computing Resources Eduardo Quiñones, Barcelona Supercomputing Center, Spain Chair: Luis Miguel Pinho, ISEP, Portugal
15:30 - 16:00	Break
16:00 - 17:30	Session 3: Security and Safety in Embedded Chair: Matthias Becker, KTH - Royal Institute of Technology, Sweden
	Zero-Trust Design and Assurance Patterns for Cyber-Physical Systems Saqib Hasan, Isaac Amundson, David Hardin
	Assuring the Safety of Rechargeable Energy Storage Systems in Electric Vehicles Faiz Ul Muram, Muhammad Atif Javed, Paul Pop
	Implementing Unsafe Features on top of a Safe Intermediate Language S. Tucker Taft
	Software-based Security Framework for Edge and Mobile IoT José Cecílio, Alan Sa, André Souto
	A Framework for Improving Portability and Ensuring Correctness of Operating System Kernels Vignesh Manjunath, Marcel Baunach
20h00 - 23:00	Conference Banquet at 7 portes

Thursday, 13 June
09:15 - 10:15	Panel AI for Safety-Critical Systems: How "I" Should the AI be? Kerstin Bach, Norwegian University of Science and Technology Irune Yarza, Ikerlan Marta Barroso, Barcelona Supercomputing Center Chair/Moderator: Cristina Seceleanu, Mälardalen University, Sweden
10:15 - 11:00	Break
11:00 - 12:30	Session 4: Machine Learning and Optimization for Embedded Systems Chair: Prof. Dr. Kerstin Bach, Norwegian University of Science and Technology, Norway
	MLino Bench: A Comprehensive Benchmarking Tool for Evaluating ML Models on Edge Devices Vlad-Eusebiu Baciu, Johan Stiens, Bruno Da Silva
	An Autoencoder Architecture for Network Intrusion Detection in Embedded Systems Niccolò Borgioli, Federico Aromolo, Linh Thi Xuan Phan, Giorgio Buttazzo
	Gradient Descent Algorithm for the Optimization of Fixed Priorities in Real-Time Systems Juan M. Rivas, J. Javier Gutiérrez, Ana Guasque, Patricia Balbastre
	Software verification and Generative AI – Some practical examples and considerations Maurizio Martignano, Andrea Damiani, Daniele Gui, Sabina Magalini and Leonardo Nucciarelli
12:30 - 13:30	Lunch
13:30 - 15:00	Session 5: Real-Time Systems and Their Analysis Chair: Alejandro Mosteo, CUD Zaragoza, Spain
	Toward Linux-based safety-critical systems — Execution time variability analysis of Linux system calls Markel Galarraga, Charles-Alexis Lefebvre, Jon Perez-Cerrolaza, Jose A. Pascual
	Using MAST for Modeling and Response-Time Analysis of Real-Time Applications with GPUs Iosu Gomez, Unai Díaz de Cerio, Jorge Parra, Juan M. Rivas, J. Javier Gutiérrez, Michael González Harbour
	Using AdaCore's GNAT for CUDA for Safety Critical GPU Code Development and Verification Dimitris Aspetakis, Matina Maria Trompouki, Leonidas Kosmidis, Jose Ruiz and Gabor Marosy
	An Iterative Benchmark Configuration Method for Quantifying Multi-Core Interference Sébastien Levieux, Frank Singhoff, Stéphane Rubini, Philippe Plasson, Pierre-Vincent Gouel, Lee-Roy Malac-Allain, Lucas Miné, Gabriel Brusq
	Task-to-Thread Mapping in OpenMP Using Fuzzy Decision Making Mohammad Samadi, Tiago Carvalho, Luis Miguel Pinho, Sara Royuela
15:00 - 15:30	Break
15:30 - 17:00	Session 6: Advancements in RTOS and Embedded Software Chair: Irune Yarza, Ikerlan, Spain
	Unishyper: A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems Bo Jiang, Keyang Hu, Wang Huang, Lei Wang, Ce Mo, Yu Chen, Ju Ren
	The MATERIAL Framework: Modeling and AuTomatic Code Generation of Edge Real-TIme AppLications under the QNX RTOS Matthias Becker, Daniel Casini
	HiRTOS: A Multi-Core RTOS writen in SPARK Ada J. German Rivera
	Supporting Ada in the ROSE compiler Peter Pirkelbauer, Chunhua Liao, Pei-Hung Lin, David Wright, Charles Reynolds, Daniel Quinlan
	Improving availability in a robotic application without loss of safety Gema Rincon, Carlos-F. Nicolas, Tomaso Poggi
17:00 - 17:30	Awards Closing of Core Program
19h15 - 23:00	Conference chill-out at Moritz brewery