25th Ada-Europe

International Conference on
Reliable Software Technologies
(AEiC 2021)

7-10 June 2021, Virtual Event

Overview

The 25th Ada‐Europe International Conference on Reliable Software Technologies (AEiC 2021), initially scheduled to take place in Santander, Spain, will be held online from the 7th to the 10th of June 2021, using the underline.io conference platform. The conference program includes parallel tutorials on Monday 7th, and a technical program and vendor exhibition from Tuesday to Thursday. The conference also includes breaks and virtual social events that will allow networking among the participants.

Preliminary Program

You may download the Preliminary Program in PDF here: Ada-Europe 2021 Preliminary Program (0.6MB)

Final Program

You may download the Final Program in PDF here: Ada-Europe 2021 Final Program (2.2MB)

Conference Structure

In addition to the five tutorials, this year’s conference has three core days including:

  • Keynotes: Three guest speakers will deliver their talks in the central hours of the conference.
  • Technical sessions: They include papers submitted to the journal track that are heading towards final acceptance and open‐access publication, together with industrial, invited and vendor presentations.
  • A Work‐in‐Progress session: It contains contributions of evolving and early‐stage ideas, or new research directions. They are presented in a special session consisting of a round of very short presentations of the highlights of each contribution, followed by a poster session in the same virtual space where the breaks are held.

COLOR LEGEND
Journal-track presentation
Industrial presentation
Invited presentation
Vendor presentation
Keynote
Work-in-Progress presentation
Breaks and social events

The technical sessions are designed with the flipped‐conference concept, where the audience can access the pre‐recorded presentation materials in advance. The live sessions are devoted to short presentations of the highlights of each contribution, allowing ample time for questions and answers with the presenter. The recorded materials will also be available for some time after their sessions.

Overview of the Week

Monday 7th Tuesday 8th Wednesday 9th Thursday 10th
Welcome Social Event Ice-Beaking Social Event and Opening Welcome Social Event Welcome Social Event
5 Parallel Tutorials Technical Session 1:
Scheduling and mixed-critically systems
Technical Session 3:
Autonomous systems
Technical Session 5:
Validation and verification tools
Keynote 1 Work-in-Progress Session Technical Session 6:
Emerging applications with reliability requirements
Technical Session 2:
Software modeling
Keynote 2 Keynote 3
Social Event Technical Session 4:
Ada issues and Ravenscar
Technical Session 7:
Safety challenges
Ice-Breaking Social Event Social Event Best Presentation Award,
Closing Session and Party

The program runs between 12:30 and 18:30 CEST, to allow participation from different time zones.

Keynote Talks

In each of the three main conference days, a keynote will be delivered to address hot topics of relevance in the conference scope, with ample time for questions and answers. The keynotes will be:

  • Ángel Conde, Data Analytics and Artificial Intelligence team leader at IKERLAN (Spain), who will present his work on Software reliability in the Big Data era with an industry‐minded focus.
  • Alfons Crespo, who is with the Institute of Automation and Industrial Informatics of the Universitat Politècnica de València (Spain), will give an answer to the question Why a hypervisor‐based approach is the best alternative for mixed‐criticality systems.
  • Tucker Taft, who is Director of Language Research at AdaCore (USA), will talk on A sampling of Ada 2022.

Detailed information regarding these keynotes can be found here.

Social Events

The virtual conference platform will offer a space under the gather.town environment to allow informal and lively gathering of the participants. This space will have different areas, such as rooms, tables, and corners where a participant can approach to talk though videoconferencing with participants in the same virtual area. This facility will be used for the breaks, poster session, exhibition and social events. For more details see the Social Events section.

Technical Sessions

Given the current sanitary situation and the need to resort to a virtual format for the conference, we will all experience the advantages and benefits of exploring new formats. The technical sessions are designed with the flipped‐conference concept, where the audience can access the pre‐recorded presentation materials in advance and the live sessions are devoted to short presentations of the highlights of each contribution, allowing ample time for questions and answers with the presenter. The recorded materials will also be available for some time after their sessions. The technical sessions include papers submitted to the journal track that are heading towards final acceptance and open‐access publication, together with industrial, invited and vendor presentations.

Work-In-Progress Session

The Work‐in‐Progress session contains contributions of evolving and early‐stage ideas, or new research directions. They are presented in a special session consisting of a round of very short presentations of the highlights of each contribution, followed by a poster session in the same virtual space where the breaks are held.

Exhibition

From Tuesday to Thursday the conference platform will provide access to virtual booths where participants will be able to find information on the conference exhibitors and chat with them or request meetings. The virtual break lounge where the breaks and social events will take place will also have a space for meeting with the exhibitors.

The exhibitors present at the conference are:

Tutorials

Five four‐hour parallel tutorials are offered on Monday 7th:

  • TU‐1: Programming mobile robots with ROS2 and the RCLAda Ada client library, by Alejandro R. Mosteo
  • TU‐2: Introduction to the development of safety critical software, by Jean‐Pierre Rosen
  • TU‐3: Parallel programming with Ada and OpenMP, by Sara Royuela, S. Tucker Taft, Luis Miguel Pinho
  • TU‐4: Timing verification from UML & MARTE design models: techniques & tools, by Laurent Rioux, Julio Medina and Shuai Li
  • TU‐5: Programming shared memory computers, by Jan Verschelde

Detailed information regarding these tutorials can be found here.

Social Program

The virtual conference platform will offer a space under the gather.town environment to allow informal and lively gathering of the participants. This space may have different areas, such as rooms, tables, and corners where a participant can approach to talk though videoconferencing with participants in the same virtual area. This facility will be used for the breaks, poster session, exhibition and social events. Particular themes for some of the social events will be announced in the conference platform and in the web page.

Registration

Participation for the full event, including tutorials, is free for Ada‐Europe members and only 60€ for all others. Registration is required for all.

Conference Schedule

Monday 7th June
12:30-13:00 Welcome Social Event
in gather.town
5 Parallel Tutorials
13:00-15:00 Programming mobile robots with ROS2 and the RCLAda Ada Client Library
Alejandro R. Mosteo
Introduction to the development of safety‐critical software
Jean‐Pierre Rosen
Parallel programming with Ada and OpenMP
Sara Royuela, S. Tucker Taft and Luis Miguel Pinho
Timing verification from UML & MARTE design models: techniques & tools
Laurent Rioux, Julio Medina and Shuai Li
Programming shared memory computers
Jan Verschelde
15:00-15:30 Simultaneous break
in gather.town
5 Parallel Tutorials
15:30-17:30 Programming mobile robots with ROS2 and the RCLAda Ada Client Library
Alejandro R. Mosteo
Introduction to the development of safety‐critical software
Jean‐Pierre Rosen
Parallel programming with Ada and OpenMP
Sara Royuela, S. Tucker Taft and Luis Miguel Pinho
Timing verification from UML & MARTE design models: techniques & tools
Laurent Rioux, Julio Medina and Shuai Li
Programming shared memory computers
Jan Verschelde
17:30-18:30 Ice-Breaking Social Event
in gather.town


Tuesday 8th June
12:30-13:15 Ice-Breaking Social Event
in gather.town
13:15-13:30 Welcome and Opening Session
Technical Session 1:
Scheduling and mixed-critically systems
Chair: Miguel Pinho
13:30-13:45 Contributions to the implementation of global schedulers for
mixed‐criticality systems
Laurent Pautet, Thomas Robert and Samuel Tardieu
13:45‐14:00 Feasibility interval and sustainable scheduling simulation with CRPD on
uniprocessor platform
Hai Nam Tran, Frank Singhoff, Stéphane Rubini and Jalil Boukhobza
14:00-14:15 Removing bias from the judgment day: A Ravenscar‐based toolbox
for quantitative comparison of EDF‐to‐RM uniprocessor scheduling
D. Perale and T. Vardanega
14:15-14:30 Formally specifying the behaviour of a mixed criticality scheduler
Alan Burns
14:30-14:45 Short break
in gather.town
Keynote 1
Chair: Michael Gonzalez Harbour
14:45-15:45 Software reliability in the Big Data era with an industry‐minded focus
Ángel Conde
15:45-16:15 Break
in gather.town
Technical Session 2:
Software modeling
Chair: Frank Singhoff
16:15-16:30 RoBMEX: ROS‐based modeling framework for end‐users and experts
Matheus Ladeira, Yassine Ouhammou and Emmanuel Grolleau
16:30-16:45 Using Ada for model verification
Tonu Naks, M. Anthony Aiello and S. Tucker Taft
16:45-17:00 User Requirements Notation: Beneficial requirements modelling
Daniel Amyot
17:00-17:15 Vendor presentation
Pierre Dissaux, Ellidiss
17:15-18:00 Social Event
in gather.town
Bring your own regional food


Wednesday 9th June
12:30-13:00 Welcome Social Event
in gather.town
Technical Session 3:
Autonomous systems
Chair: Daniela Cancila
13:00-13:15 Towards functional safety compliance of matrix‐matrix multiplication for
machine learning‐based autonomous systems.
Javier Fernández Muñoz, Jon Perez, Irune Agirre, Imanol Allende,
Jaume Abella and Francisco Cazorla
13:15‐13:30 Towards dynamic safety assurance for Industry 4.0
Muhammad Atif Javed, Faiz Ul Muram, Hans Hansson,
Sasikumar Punnekkat and Henrik Thane
13:30-13:45 Safe and secure platooning of automated guided vehicles in Industry 4.0
Muhammad Atif Javed, Faiz Ul Muram, Sasikumar Punnekkat and Hans Hansson
13:45-14:00 The great responsibility of next‐generation system software: Enabling
determinism on highperformance embedded platforms
Marco Solieri
Work‐in‐Progress Session
Chair: Jorge Real
14:00-14:05 How windows size and number can influence the schedulability of
hierarchically‐scheduled timepartitioned distributed real‐time systems
Andoni Amurrio, Mario Aldea, J. Javier Gutiérrez and Ekain Azketa
14:05-14:10 Auto‐generated coherent data store for concurrent
modular embedded systems

James Kimmet
14:10-14:15 Adoption of ACPS in nuclear reactor analysis
Christian Castagna, Daniela Cancila and Antonio Cammi
14:15-14:20 Fuzion – Safety through simplicity
Fridtjof Siebert
14:20-14:25 First steps towards an IEEE 802.1AS clock for EDF scheduling in
distributed real‐time systems
Hector Perez, Diego García and J. Javier Gutiérrez
14:25-14:30 M2OS for Arduino Uno: Ada tasks and Arduino libraries working together
Mario Aldea Rivas and Héctor Pérez Tijero
14:30-14:35 Queuing ports for mesh based many‐core processors
David García Villaescusa, Mario Aldea Rivas
and Michael González Harbour
14:35-14:40 Ember: An embedded robotics library in SPARK
Kristoffer Nyborg Gregertsen
14:40-15:30 Break and Work‐in‐Progress Poster Session
in gather.town
Keynote 2
Chair: Tullio Vardanega
15:30‐16:30 Why hypervisor‐based approach is the best alternative for mixed‐criticality systems
Alfons Crespo
Technical Session 4:
Ada issues and Ravenscar
Chair: Laurent Pautet
16:30 -16:45 A correct‐by‐construction AADL runtime, proof of a safety‐critical middleware
using SPARK/Ada
Jerome Hugues
16:45‐17:00 AdaMM: A precompiler for memory model aware programming on
higher language level
Johann Blieberger
17:00‐17:15 More Ada in non‐Ada systems
Ahlan Marriott
17:15‐17:30 PTC Ada and Real‐Time Java Solutions
Shawn Fanning and Marie Daub
17:30‐18:15 Social Event
in gather.town
Regional festivals and celebrations


Thursday 10th June
12:30-13:00 Welcome Social Event
in gather.town
Technical Session 5:
Validation and verification tools
Chair: Patricia Balbastre
13:00-13:15 Static analysis for Ada, C/C++ and Python: different languages,
different needs.
Maurizio Martignano
13:15‐13:30 ASIS vs. Libadalang: a comparative assessment
Jean‐Pierre Rosen
13:30-13:45 Ghost entities and optimization
David Lesens
13:45-14:00 Vendor presentation
Massimo Bombino, Vector
Technical Session 6:
Emerging applications with reliability requirements
Chair: Juan Antonio de la Puente
14:00‐14:15 A case study for risk assessment in AR‐equipped socio‐technical systems
Soheila Sheikh Bahaei, Barbara Gallina and Marko Vidovi¢
14:15‐14:30 A low‐latency and fault‐tolerant framework for distributed and
deep neural networks over the cloud‐to‐things continuum
Daniel R. Torres, Cristian Martín, Bartolomé Rubio and Manuel Díaz
14:30‐14:45 Reliability‐oriented design of on‐board satellite boot software against
single event effects
Óscar R. Polo, Jonatan Sánchez, Antonio da Silva, Pablo Parra,
Agustín Martínez Hellín,  Alberto Carrasco and Sebastián Sánchez
14:45 -15:00 Building and maintaining critical software investments
Jamie Ayre, AdaCore
15:00-15:30 Break
in gather.town
Keynote 3
Chair: António Casimiro
15:30‐16:30 A sampling of Ada 2022
Tucker Taft
Technical Session 7:
Safety challenges
Chair: Kristoffer Nyborg Gregertsen
16:30-16:45 Certifiable safety critical multi‐core for avionics
Gary Gilliland
16:45‐17:00 Brook SC: High‐level certification‐friendly programming for GPU‐powered
safety critical systems
Leonidas Kosmidis
17:00‐17:15 Machine learning and high criticality applications
Giacomo Gentile
17:15‐17:30 Towards Linux based safety systems ‐ A statistical approach for software
execution path coverage
Imanol Allende, Nicholas Mc Guire, Jon Perez, Lisandro G. Monsalve
and Roman Obermaisser
17:30‐18:15 Short Break
in gather.town
17:45-18:00 Best Presentation Award and Closing Session
in gahter.town
18:00-18:30 Closing Party
in gather.town