industry news
Subscribe Now

SPARK and Rust Take Center Stage for AdaCore at Embedded World 2025

AdaCore, a leader in high-integrity software development tools, is excited to announce its participation in Embedded World 2025, which will take place from March 11th to 13th in Nuremberg, Germany. This year, AdaCore will showcase its cutting-edge solutions for safety and security-critical embedded systems, with a special focus on SPARK and Rust technologies.

As the demand for robust, verifiable, secure, and high-performance software grows, AdaCore remains at the forefront of innovation, providing developers with the tools they need to build reliable embedded systems. Visitors to the AdaCore 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 information or to schedule a meeting with AdaCore at Embedded World 2025, please contact info@adacore.com.

About AdaCore
AdaCore delivers software development and verification tools for high-integrity systems. With decades of experience supporting aerospace, automotive, rail, and defense industries, AdaCore’s solutions enable developers to build safe, secure, and reliable software. Learn more at www.adacore.com.

Leave a Reply

featured blogs
May 2, 2025
I can safely say that I've never seen a wheeled-legged robot that can handle rugged terrains, muddy wetlands, and debris-strewn ruins like this...

featured paper

How Google and Intel use Calibre DesignEnhancer to reduce IR drop and improve reliability

Sponsored by Siemens Digital Industries Software

Through real-world examples from Intel and Google, we highlight how Calibre’s DesignEnhancer maximizes layout modifications while ensuring DRC compliance.

Click here for more information

featured chalk talk

Motor Control Innovation with PSOC™ Control C3
Sponsored by Mouser Electronics and Infineon
PSOC™ Control is Infineon’s newest family of MCUs developed for motor control applications. This family of high-performance Arm® Cortex®- M33 MCUs enables designers to innovate and solve complex design problems for applications like HVAC, home appliances, robotics, telecom and server power supplies, light electric vehicle chargers, solar inverters, and industrial drives. In this episode of Chalk Talk, Perfecto Martinez from Infineon and Amelia Dalton explore how Infineon’s PSOC™ Control C3 is ??enabling developers to create highly efficient and secured motor control and power systems.
May 2, 2025
7,652 views