EEJournal

industry news
Subscribe Now
February 10, 2025

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
Sci-Fi and Fantasy Books They Should Make into Movies
May 6, 2026
Hollywood has struck gold with The Lord of the Rings and Dune'”so which sci-fi and fantasy books should filmmakers tackle next?...
More from Max's Cool Beans...

featured paper

Quickly and accurately identify inter-domain leakage issues in IC designs

Sponsored by Siemens Digital Industries Software

Power domain leakage is a major IC reliability issue, often missed by traditional tools. This white paper describes challenges of identifying leakage, types of false results, and presents Siemens EDA’s Insight Analyzer. The tool proactively finds true leakage paths, filters out false positives, and helps circuit designers quickly fix risks—enabling more robust, reliable chip designs. With detailed, context-aware analysis, designers save time and improve silicon quality.

Click to read more

featured chalk talk

Analog Output, Isolated Current, & Voltage Sensing Using Isolation Amplifiers
Sponsored by Mouser Electronics and Vishay
In this episode of Chalk Talk, Simon Goodwin from Vishay and Amelia Dalton chat about analog output, and isolated current and voltage sensing using isolation amplifiers. Simon and Amelia also explore the fundamental principles of current and voltage sensing and the variety of voltage and current sensing solutions offered by Vishay that can get your next design up and running in no time.
Click here for more information about Vishay / Dale Reference Designs
Apr 27, 2026
7,795 views