Spain

The forthcoming Ada 2022 revision of the Ada standard includes a number of significant new features, which together 
make the language more expressive and productive in a multicore context, while enhancing its safety and support for 
more complete abstractions with formal contracts. This talk will introduce these key new features with a series of 
examples: 
• parallel loops and blocks, coupled with static detection of data races and potential blocking 
• iterator syntax for incorporating filters and user‐defined iterator procedures 
• libraries for atomic operations, including fetch‐and‐add and compare‐and‐swap 
• aggregates, literals, images, and map‐reduce for user‐defined types 
• libraries for arbitrary precision integer and rational arithmetic 
• more expressive contracts using delta aggregates and declare expressions 
• the Jorvik profile as the next step up from the Ravenscar profile

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

A sampling of Ada 2022

stages 

COLING, the International Conference on Computational Linguistics, is one of the premier conferences for natural language processing and computational linguistics. Often grouped within the field of artificial intelligence, but actually pre-dating the development of artificial intelligence, advances in computational linguistics and natural language processing are now some of the major drivers behind the use of artificial intelligence for commercial and social applications – for example, on-line search, machine translation and with voice-assisted conversational devices.

First established in 1965, the biennial COLING conference is held in diverse parts of the globe and attracts participants from both top-ranked research centers and emerging countries. Today, the most important developments in our field are taking place not only in universities and academic research institutes, but also in industrial research departments and in technological startups. COLING conferences provide opportunities for all these communities to showcase their exciting developments.

COLING 2020

COLING, the International Conference on Computational Linguistics, is one of the premier conferences for natural language processing and computational linguistics. Often grouped within the field of artificial intelligence, but actually pre-dating the development of artificial intelligence, advances in computational linguistics and natural language processing are now some of the major drivers behind the use of artificial intelligence for commercial and social applications – for example, on-line search, machine translation and with voice-assisted conversational devices.

keynote

[![](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

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.

Certifiable safety critical multi-core for avionics

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

Machine learning and high criticality applications

Several industrial domains are currently developing innovative safety-related autonomous systems characterized by increasing software complexity and high-performance requirements. Due to these features, different research initiatives aim to pave the way towards the usage of Linux for the development of such complex safety-related systems. However, the high execution path variability of the Linux kernel challenges test coverage-based verification, Highly Recommended (HR) technique by safety standards. This research describes a novel statistical analysis method for Linux kernel execution path coverage quantification, which includes the uncertainty estimation of the software execution. The method is applied to a simple, but reproducible case study, and the results of which are analyzed and explained.

Towards Linux based safety systems - A statistical approach for software execution path coverage

In order to build reliable Big Data software, we should prepare ourselves to the distributed fallacy, “A distributed 
system will always fail”. In this way, Big Data systems have been architected for survival of multiple system failures 
from the ground up. We will make a little introduction about different Big Data frameworks and their architectural 
decisions in order to be able to survive to multiple system failures in order to be reliable. 
Next, we will focus on the Industrial Internet of Things (IIoT). IIoT nowadays is an exploding trend with significant 
implications for the global economy. It spans industries including manufacturing, mining, agriculture, oil and gas, and 
utilities. It also encompasses companies that depend on durable physical goods to conduct business, such as 
organizations that operate hospitals, warehouses and ports or that offer transportation, logistics and healthcare 
services. Not surprisingly, the IIoT’s potential payoff is enormous. A specific example of this potential use is the 
Predictive maintenance of assets, saving over scheduled repairs, reducing overall maintenance costs and eliminating 
breakdowns up. For example, Thames Water, one of the largest providers of water in the UK, is using sensors and 
real‐time data to help the utility company anticipate equipment failures and respond more quickly to critical 
situations, such as leaks or adverse weather events. However, analyzing such large quantities of usually out‐of‐order 
real‐time data from different sensors and system is a real challenge with Big Data analytics frameworks. 
The final part of the talk will be composed of a hands‐on workshop where we will use Apache Zeppelin, Apache Kafka, 
Apache Avro, Apache Cassandra and Spark´s Structured Streaming API to see how we can solve challenges of related 
to IIoT projects such as handling late unordered data. 
All the code used along with the developer environment be available at GitHub right after the keynote.

Premium content

A sampling of Ada 2022

Downloads

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

Building and maintaining critical software investments

Similar lecture

Bilingual Lexical Access and Cognate Idiom Comprehension