AdaCore at embedded world 2025 with Spark and Rust technologies

As the demand for robust, verifiable, secure, and high-performance software grows, AdaCore provides developers with the tools they need to build reliable embedded systems. Visitors to the booth will have the opportunity to explore:

• SPARK technology: a programming language designed for high-assurance applications in aerospace, automotive, and industrial automation.
• Rust for high-integrity systems: leveraging AdaCore’s expertise in safety-critical software, Rust is gaining traction as a powerful tool for embedded development, offering memory safety and modern concurrency features.
• Live demonstrations and expert insights: attendees can experience firsthand how AdaCore’s solutions support rigorous software assurance, from static analysis to formal methods and secure system development.

“AdaCore has always been committed to advancing the state of high-assurance software development, and embedded world is the perfect venue to showcase our latest innovations in SPARK and Rust,” said José Ruiz, Product Manager at AdaCore. “We look forward to engaging with engineers and industry leaders tackling the challenges of safety, security, and reliability in embedded systems.”

embedded world 2025 provides a global platform for embedded technology experts to connect, share knowledge, and discover the latest advancements in the industry. AdaCore invites attendees to visit booth 4-148 to learn more about its comprehensive suite of development tools and to discuss their specific project needs with AdaCore’s team of experts.

For more news on events or embedded systems, check out other articles on our website.