Embedded World Europe 2026

Workshop with GitLab: GitLab for Embedded DevOps

Mark Hermeling Head of Technical Marketing, AdaCore

Class 5.2 - GitLab for Embedded DevOps: Integrated AI for Both DevSecOps Adoption and Product Delivery

The embedded field faces increasing pressure to deliver innovative, valuable solutions in shorter time frames while maintaining rigorous security and safety standards and adopting new compliance standards. The adoption of a new RTOS or Hardware is a great time to create greater alignment of your Embedded SDLC with DevOps. Teams that are having to learn new technology are frequently also more open to new processes, role definitions and development metrics. This session is technical, but also shows the art of the possible in ramping up your organization's modernization of the Embedded SDLC.

Safety and Security by Design Through Formal Methods

Mark Hermeling Head of Technical Marketing, AdaCore

Session 3.9 Safety & Security - Reliability Testing

The importance of security for software systems is increasing. Traditionally, these systems have been built using non-memory safe languages. Time and effort are then spent on testing to find and fix memory safety issues. Memory safety (in languages such as Rust or Ada) can make things easier, it allows developers to programmatically handle memory issues.

Formal methods provide further improvements by proving the absence of memory issues, absence of run-time errors, and functional correctness. SPARK is an open-source language that offers deductive formal verification.

In this presentation, we will explore how the SPARK programming language can be used in a mixed-language system to achieve security and safety by design. We will briefly explore the main concepts and then present automotive use cases, including NVIDIA and Zenseact.

From Bare-Metal Rust to Certifiable Embedded Systems on Modern SoCs

Jose Ruiz Embedded Product Manager, AdaCore

Exhibitor Forum

Rust is increasingly considered for safety-critical embedded software, yet experience on bare-metal complex SoCs remains limited. This talk presents a bare-metal Rust board support package (BSP) for an AMD Zynq UltraScale+ MPSoC, covering boot, exceptions, and interrupts. Our Rust BSP enables dynamic memory allocation, heap-allocated data structures, and formatted output without the overhead of a full operating system. We describe a minimal standard library, discuss practical challenges, and outline future work toward certifying the embedded runtime, including coding-standard compliance and coverage analysis.

Using CI/CD for Grass Roots Software Quality Improvements

Mark Hermeling Head of Technical Marketing, AdaCore

Session 5.10 Software & Systems Engineering - DevOps & CI/CD Pipeline

Most projects do not have an objective metric to measure their software quality. Instead, managers talk about test passes vs test failures, number of open defects or percentage of completion of the test suite. We live in the age of DevSecOps, of Continuous Integration and Continuous Deployment and should be able to compute an objective metric for software quality and manage improvements around that number.

In this best-practices presentation, Mark will demonstrate how easily available tools for test automation and code coverage can be combined with policies and frameworks into your CI/CD pipeline. The result is objective software quality metrics that help the team self-manage to continuously improve quality.