Spain

AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies

Brook SC: High-level certification-friendly programming for GPU-powered safety critical systems

AAMAS (International Conference on Autonomous Agents and Multiagent Systems) is the largest and most influential conference in the area of agents and multiagent systems. The aim of the conference is to bring together researchers and practitioners in all areas of agent technology and to provide a single, high-profile, internationally renowned forum for research in the theory and practice of autonomous agents and multiagent systems. AAMAS is the flagship conference of the non-profit International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).

The AAMAS conference series was initiated in 2002 in Bologna, Italy as a joint event comprising the 6th International Conference on Autonomous Agents (AA), the 5th International Conference on Multiagent Systems (ICMAS), and the 9th International Workshop on Agent Theories, Architectures, and Languages (ATAL).

Subsequent AAMAS conferences have been held in Melbourne, Australia (July 2003), New York City, NY, USA (July 2004), Utrecht, The Netherlands (July 2005), Hakodate, Japan (May 2006), Honolulu, Hawaii, USA (May 2007), Estoril, Portugal (May 2008), Budapest, Hungary (May 2009), Toronto, Canada (May 2010), Taipei, Taiwan (May 2011), Valencia, Spain (June 2012), Minnesota, USA (May 2013), Paris, France (May 2014), Istanbul, Turkey (May 2015), Singapore (May 2016), São Paulo (2017) and Stockholm, Sweden (2018), Montreal (May 2019), Auckland (May 2020, Virtual), London (May 2021, Virtual).
<br>
<br>



A ticket is required to attend this event, please register using the link below:

https://aamas2022-conference.auckland.ac.nz/attending/registration/

Registration Is Required

AAMAS 2022

AAMAS (International Conference on Autonomous Agents and Multiagent Systems) is the largest and most influential conference in the area of agents and multiagent systems. The aim of the conference is to bring together researchers and practitioners in all areas of agent technology and to provide a single, high-profile, internationally renowned forum for research in the theory and practice of autonomous agents and multiagent systems. AAMAS is the flagship conference of the non-profit International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).

technical paper

[![](https://assets.underline.io/uploads/markdown_image/1/image/359fc42963be9dbef8d1acac451d7c3e.png)](https://www.ada-europe.org/conference2021)

### Welcome Message from our Co-Chairs

Through this message, we want to give you our warmest welcome to the 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021). The special circumstances we all go through have made the conference a virtual event. Nonetheless, this will allow us to take advantage of the benefits of this format by using the Underline.io platform that allows remote participation of speakers and attendees and a virtual exhibition.
The platform will also provide a virtual space through Gather.Town to facilitate social interaction among participants, which, in addition to presenting state of the art research results, is one of the most important goals of a conference. This platform will hold various social events together with breaks and a poster session. 

The conference schedule includes a four-day program and exhibition from Monday to Thursday, with parallel tutorials on Monday, and keynotes, technical sessions and a Work-in-Progress session on the remaining three days. The technical sessions include the presentations of 13 journal-track papers, 5 industrial presentations and 6 invited talks on leading topics on reliable software technologies. The program will be completed with three outstanding keynotes that will delight the participants.

The main conference activities will be from 13:00 to 18:00 Central European Summer Time (CEST) to allow participants from America to Central Asia to attend to the conference sessions. Virtual social events are scheduled at the beginning and the end of each day. We encourage you to participate in these activities as well as visiting the exhibition. We look forward to meeting you virtually in June 2021!

**J. Javier Gutiérrez and Mario Aldea Rivas**
 // AEiC 2021 Program Co-Chairs

![](https://assets.underline.io/uploads/markdown_image/1/image/609207a715bd5da2ea56e9a32b0d17ae.png)
![](https://assets.underline.io/uploads/markdown_image/1/image/5bd0a9396b4c6903d0ca52825b81fbe6.png)




Please register with AEiC to be able to enter the conference on Underline.io. If you have already registered, please login to Underline.io to be able to see full conference content. In case you do not have an Underline account, please create one. Thank you 

Please login to your Underline account

Augmented Reality (AR) technologies are used as human-machine interface within various types of safety-critical systems. In order to avoid unreasonable risk, it is required to detect new types of dependability threats (faults, errors, failures). These dependability threats could be introduced within the systems by new technologies. Based on the context of ImmerSAFE project and due to spread of AR technologies we target AR. In our previous work, we have designed extensions for SafeConcert metamodel to capture AR-related dependability threats (focusing on faults and failures). The extensions provide modeling and analysis capabilities that can be used for modeling and analyzing \hl{different entities and their behaviors} in AR-equipped socio-technical systems. \hl{Despite provision of various modeling and analyzing techniques, there has been no detailed investigation of providing an integrated framework for risk assessment in AR-equipped socio-technical systems.} In this paper, we provide an integrated framework based on our proposed extensions. In addition, we design and execute a case study, with our industrial partners, active in the automotive domain. We aim at validating modeling and analysis capabilities of the framework and finding out if the proposed extensions would be helpful in capturing system risks caused by new AR-related dependability threats. We conduct qualitative analysis based on Concerto-FLA analysis technique, which is an analysis technique for socio-technical systems included in CHESS toolset.

A case study for risk assessment in AR-equipped socio-technical systems

The current dependency of Artificial Intelligence (AI) systems on Cloud computing implies higher transmission latency and bandwidth consumption. Moreover, it challenges the real-time monitoring of physical objects, e.g., the Internet of Things (IoT). Edge systems bring computing closer to end devices and support time-sensitive applications. However, Edge systems struggle with state-of-the-art Deep Neural Networks (DNN) due to computational resource limitations. In this proposal, an introduced framework combines the Edge-Cloud architecture concept with BranchyNet advantages to support fault-tolerant and low-latency AI predictions. The implementation and evaluation of this framework allow assessing the benefits of running Distributed DNN (DDNN) in the Cloud-to-Things continuum. Compared to a Cloud-only deployment, the results obtained show an improvement of 45.34% in the response time. Furthermore, this proposal presents an extension for Kafka-ML that reduces rigidness over the Cloud-to-Things continuum managing and deploying DDNN.

A low-latency and fault-tolerant framework for distributed and deep neural networks over the cloud-to-things continuum

In space missions, boot software is in charge of the initialisation sequence of flight computers. The processor module in which it runs has a high tolerance to radiation, although not all devices have the same tolerance level. A boot software design capable of recovering from errors in the most vulnerable devices shall provide greater system reliability. This work has been carried out in the context of the boot software development for the control unit of the Energetic Particle Detector instrument on-board the Solar Orbiter mission. This mission operates close to the Sun where high-energy particles can cause single event effects on electronic devices, especially SDRAM and EEPROM, which show lower radiation tolerance than the other devices. This fact motivates this work, where a sensitivity analysis of the incidence of single event effects on the behaviour of the boot software is carried out. Specifically, a fault injection environment has been used to analyse the effect of “stuck-at” bits on the boot software ability to deploy and pass control to the application software. The results show the boot software vulnerability to this kind of permanent effects and have led to the implementation of a reliability-oriented design, presented in this paper.

Reliability-oriented design of on-board satellite boot software against single event effects

Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. Join us in this talk to learn about the comprehensive solutions we provide to build and maintain critical software investments.

Building and maintaining critical software investments

Safety Critical Multicore for Avionics Creating a multicore platform for safety critical avionics is the next major step for most avionics manufactures. While multicore processors are commonly used in most all other markets, the avionics industry has taken years to trust multicore technologies. This delayed acceptance is understandable due to an avionics system’s stringent safety and deterministic requirements which are not commonplace in many other industries. As a result, years of study have been invested to determine the challenges multicore processors pose for safety critical systems and then followed by the development of technologies and strategies that mitigate those challenges. Certification authorities and industry suppliers have invested in numerous studies and discussions over recent years to identify the issues multicore processors pose for safety critical systems. Formalized positions of these efforts are the FAA CAST-32A Positioning Paper, and EASA’s multicore certification review item (CRI). The crux of these papers (regarding software) focuses on bounding and controlling the interference patterns that exists when processor cores share resources. Unless interference patterns are addressed, real-time operations can be erratic and worse case execution (WCE) times can be longer than in a single core system. This paper will highlight the challenges of implementing multicore processors for any avionics developer. It will present Deos SafeMC and show how it helps address CAST-32A concerns. Specifically, the paper will introduce the means of which Deos SafeMC minimizes and bounds contention issues within multicore environments. For example, Deos cache partitioning and memory pooling features enable the user to configure the memory architecture to minimize cache thrashing. In addition, Deos provides the system architect the tools required to schedule applications across all cores in such a way that developers can coordinate applications such that they minimize conflicts over shared resources. While the paper uses Deos SafeMC an example of how one can address items brought up in CAST-32A, non-Deos users should also gain an insight into the concern multicore processors pose and to consider way in which they can be resolved.

Premium content

Brook SC: High-level certification-friendly programming for GPU-powered safety critical systems

Downloads

Next from AEiC 2021 - 25th Ada-Europe International Conference on Reliable Software Technologies

A case study for risk assessment in AR-equipped socio-technical systems

Similar lecture

Intelligent Communication over Realistic Wireless Networks in Multi-Agent Cooperative Games

Stay up to date with the latest Underline news!

PRESENTATIONS

CONFERENCES

COMPANY

RESOURCES