AdaCore will exhibit its latest tools and technologies for high-integrity software development at Embedded World 2026, held at NürnbergMesse from 10–12 March.
The company is expanding its product and service offerings to address the growing complexity and regulatory pressure within the automotive, aerospace, defence, and industrial markets. At Booth 4-116, experts will provide interactive demonstrations of SPARK for functional safety and software correctness, alongside Rust workflows specifically designed for embedded systems and CodeSonar integrations for deep static analysis of C and C++.
The exhibition will serve as a hub for discussing multi-language development across Ada, SPARK, Rust, and C/C++. Engineering teams can engage with experts on critical topics including memory safety, the application of Large Language Models in functional safety contexts, and best practices for DevSecOps and Continuous Integration and Continuous Deployment (CI/CD) pipelines. To further support these complex systems, AdaCore is introducing new public and enterprise training services aimed at skill development for multi-language environments.
The event program includes several technical sessions led by AdaCore representatives. On Tuesday, a workshop will focus on integrating GitLab for embedded DevOps. Wednesday features a technical talk on safety and security by design through formal methods, exploring SPARK’s role in building provably safe software. The final day includes an exhibitor forum on moving from bare-metal Rust to certifiable systems on modern SoCs, followed by a session on using CI/CD to drive measurable software quality improvements.
“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.”
