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:
- AdaCore: https://www.adacore.com/
- PTC: http://www.ptc.com/developer‐tools
- Ada‐Europe: http://www.ada‐europe.org/
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 |