Andrea Bristol is the PR and Marketing Campaigns Manager at AdaCore. A marketer for over 18 years, Andrea is a Fellow of the Chartered Institute of Marketing. In her spare time, she can be found at the stables with her dressage horse Nemo or being mum-taxi to her 3 children.
11 entries written by Andrea Bristol
Modern systems, ranging from data centers to embedded devices, incorporate numerous controllers, accelerators, and firmware. At scale, “test more” cannot prove the absence of whole failure classes, which attackers exploit, so the focus is shifting to engineering security from the outset. At DEF CON, NVIDIA’s Adam Zabrocki and Marko Mitic highlighted the challenge of securing a proprietary, billion-core architecture.
On Ada Lovelace Day, we celebrate a strong year for the Ada programming language, recognised for safety, reliability and high performance in high-integrity systems. In 2025, Ada re-entered the spotlight, reaching the TIOBE top ten, reflecting renewed interest across safety-critical and embedded domains. With robust typing, memory safety, and efficient, low-level control without a garbage collector, Ada remains a proven choice for organisations prioritising security, assurance and long-term maintainability.
As the software landscape grows ever more complex and interconnected, the demand for resilient, high-assurance systems continues to rise, especially within critical national infrastructure and defense. At the recent DARPA Resilient Software Systems Colloquium, a series of panel discussions shed light on how government agencies are not only adopting formal methods but also realizing tangible benefits.
Governments trust memory-safe languages like Ada and Rust — so do we. See why memory safety is essential for secure systems.
In this blog, we discover Fuzz Testing and how GNATFuzz can be used as part of AdaCore’s GNAT Dynamic Analysis Suite.
AdaCore and Lynx Software Technologies have reaffirmed their longstanding technology partnership to support avionics and defense customers developing safety-critical applications with Ada. Both companies will showcase their software solutions at the Army Aviation Mission Solutions Summit (“QuadA”) conference and exposition in Nashville, Tennessee, May 14-16. AdaCore and Lynx solutions are used in hundreds of military and aerospace programs worldwide.
This article unpacks what it means to be Secure by Design, outlining practical measures for integrating security into the software lifecycle. It highlights the critical role of formal methods, particularly the SPARK technology, in delivering on this vision.
What makes our software so vulnerable?The majority of today’s technical systems are largely composed of software. As such, the reliability and security of these systems depend heavily on the reliability and security of their software components. And this is precisely where a major problem lies: increasing connectivity and a large number of known vulnerabilities in commonly used software make our systems highly susceptible to attack.
The March edition of the TIOBE Index shows Ada in the top 20, hitting position 18. This shows a renewed interest in Ada, perhaps due to the increased interest in memory-safe languages and software safety and correctness in general.
As AdaCore celebrates the start of a new year in business, we reflect on 2024, a year of development and future-proofing combined with consolidating our position as the trusted experts in high-integrity software tools.
As part of our 30 years of AdaCore celebrations, we spoke to some of our founders to discover the stories that built what we are so proud of today.Ed Schonberg and Richard Kenner share some memories.