AdaCore

We’re sharing our journey of building a dedicated crate that provides support for the AMD Zynq UltraScale+ MPSoC. In this blog, we cover how we orchestrated the boot process across Exception Levels, implemented exception handling, initialised UART, and integrated Newlib to provide limited std support. Read the blog 👉 https://bit.ly/47d2WC1

Hardware-Driven Security: Can CHERI Fix the "Blind Spots" of Software Testing? This work combines fuzz testing with CHERI hardware. Unlike heuristic-based sanitizers, CHERI uses hardware-enforced capabilities - pointers with defined bounds, permissions, and tags - to ensure deterministic memory protection. The results show improved detection of memory issues across both legacy and memory-safe code, supporting a shift towards a more proactive, verification-driven approach to software security. Read the blog 👉https://bit.ly/4lAJlBz

At Embedded World Jose Ruiz spoke with Ken Briodagh about Rust for embedded systems and why memory safe languages like Rust and Ada are becoming an important choice for software developers. They touch on why memory safety is important and how easy it is to get started with Rust. Watch the video 👉 https://lnkd.in/eeeUpmBV

In today’s interconnected world, software security is paramount, with rising cyberattacks driving a fundamental shift in development practices. The “Secure by Design” paradigm promotes integrating security throughout the software development lifecycle, rather than treating it as an afterthought. This paper introduces an approach that leverages memory-safe hardware, a processor enhanced with Capability Hardware Enhanced RISC Instructions (CHERI), and fuzz testing to strengthen early-stage security verification in embedded real-time systems. Read the paper 👉 https://bit.ly/3P4Xafw

Over the past three days at embedded world Exhibition&Conference, the AdaCore team has had many insightful conversations. We hope you were able to attend one of our talks or visit us at Booth # 4-116 to explore our tools for high-integrity software development. Thank you to everyone who connected with us. If you didn’t have the chance to stop by, feel free to get in touch 👉 https://bit.ly/4sgJSer

AdaCore is delighted to announce unlimited access to GNAT IQ for all of our current customers. GNAT IQ is AdaCore’s AI-powered GNAT documentation chatbot. GNAT IQ fills the gap between reading or searching our extensive documentation and asking an expert for help. Built using retrieval-augmented generation, GNAT IQ fuses documentation search with Large-Language Model (LLM)-powered generative AI to return answers that include citations to our documentation - so you can follow up and gain deeper insights, as needed. Read more in our Blog 👉 https://bit.ly/40LjzAT

Don’t miss AdaCore’s talks and workshops at #EW2026 next week. You can also visit us at Booth 4-116 for insights and demos of our tools for high-integrity software development. More details on our sessions 👉 https://bit.ly/47f8mMA

🚨 Only a few days to go until #EW2026. Don’t miss Mark Hermeling's workshop with GitLab, along with the rest of AdaCore’s conference talks at Embedded World 2026. Learn more about our sessions: https://bit.ly/40ca8KE

📢 Software supply-chain security is becoming a central focus for governments and industry alike. Our latest blog explains how the AdaCore build system has achieved SLSA build level 3 compliance. Combined with CMMC Level 2 conformance and updated engineering procedures, this enables AdaCore to implement SSDF's recommendations and meet the objectives of Executive Order 14028. Customers will also receive provenance files through AdaCore product delivery channels to strengthen their own software supply-chain practices. Read more here 👉 https://bit.ly/4bbACB5

🎉 Today marks World Engineering Day, a great opportunity to celebrate our engineers. Our teams work on high-integrity systems where safety, security and reliability are paramount. Watch the video to hear what it’s like to be an engineer at AdaCore.