As embedded systems grow in complexity and regulatory scrutiny intensifies across automotive, aerospace, defence, and industrial markets, engineering teams face increasing pressure to deliver software that is demonstrably safe, secure, and maintainable over the long term. Against this backdrop, AdaCore continues to advance its integrated toolchain and services portfolio. At Booth 4-116, AdaCore experts will showcase expanded product and service offerings, including interactive SPARK demonstrations highlighting the value of formal methods for functional safety and software correctness, Rust workflows for embedded systems, and CodeSonar integrations for deep static analysis of C and C++.

AdaCore to Showcase Expanded Product Portfolio at Embedded World 2026

Attendees will also have the opportunity to engage directly with AdaCore engineers to discuss multi-language embedded development with Ada, SPARK, Rust, and C/C++, including how to address memory safety, the use of Large Language Models in the context of functional safety, as well as best practices around DevSecOps and Continuous Integration and Continuous Deployment (CI/CD). Visitors can also discover new public and enterprise training services that will enable teams to develop the skills required to deal with the complexity of multi-language systems.

AdaCore’s presence at embedded world goes beyond the exhibition floor with several scheduled talks and workshops designed to share practical insights:
  • Workshop: GitLab for Embedded DevOps - collaborative session on integrating DevSecOps practices into embedded software delivery (Tuesday, 14:00–17:00).
  • Technical Talk: Safety and Security by Design Through Formal Methods - an exploration of SPARK’s role in building provably safe software, including real-world use cases (Wednesday, 15:00–15:30).
  • Exhibitor Forum: From Bare-Metal Rust to Certifiable Embedded Systems on Modern SoCs - discussion on advancing Rust in safety-critical environments (Thursday, 09:30–10:00).
  • Session: Using CI/CD for Grass Roots Software Quality Improvements - practical guidance on leveraging CI/CD pipelines to drive measurable quality gains (Thursday, 10:00–10:30).
“Attendees at Embedded World are looking for innovative ways to improve the way they build embedded systems, ,” said Mark Hermeling, Head of Technical Marketing at AdaCore. “AdaCore offers a broad set of tools for high-integrity software development and we invite attendees to visit our talks or our booth to learn how our tools help improve the safety and security of your projects. ”

For further details on AdaCore’s presence at Embedded World 2026, including a complete agenda and demo information, please visit: www.adacore.com/events/embedded-world-europe-2026.