Memory-Safe Code for Embedded Systems: Ada, SPARK & Rust in EEI #54
Elektor Engineering Insights #54
Wednesday, July 30, 2025 | 16:00 CEST (10:00 AM EDT, 14:00 UTC)
In the next edition of Elektor Engineering Insights, Elektor teams up with AdaCore to explore the role of memory-safe programming languages in embedded and safety-critical systems. Our guest, Quentin Ochem, Chief Product and Revenue Officer at AdaCore, will walk viewers through the practical applications and key differences of Ada, SPARK, and Rust, as well as their impact on modern software reliability.
With security and resilience now essential in embedded design, this session will explore the advantages of formal verification, static analysis, and safe language toolchains — all backed by Quentin’s extensive work with industrial partners including Nvidia and CodeSecure.
Key Takeaways from EEI #54:
-
Language trade-offs: Ada, SPARK, Rust vs. legacy C/C++
-
How static analysis and formal methods ensure code safety
-
Where memory-safe languages fit in today’s embedded workflows
-
Status of Rust specification and industrial adoption
-
Insights into AdaCore’s role in high-assurance software projects
The session will be hosted by Brian Tristam Williams and includes a live Q&A, giving attendees a chance to ask Quentin directly about trends in tooling, system security, and next-gen development stacks.
GIVEAWAY
Attendees will be entered to win 1 of 5 copies of From Rubbing Amber to Swiping Glass — Elektor’s hardcover book celebrating the history and evolution of electricity in technology.
View the book
This €25 engineering session is free to attend, thanks to our sponsor Bridgetek.
Can’t join live? Register to receive the full replay.
If you enjoyed this article, you will like the following ones: don't miss them by subscribing to :
