Everything we do at AdaCore is centered around helping developers build safe, secure and reliable software. With over two decades of experience working with the most respected companies in industries such as aerospace, defense and railways, we build tools and provide services that ease the complex and often difficult process of developing high-integrity software. As the need for truly secure and reliable applications expands into industries such as automotive, medical, energy, and IoT, we’re excited to bring our time-tested technologies, expertise and services to help a whole new generation of developers.
The late computer scientist Edsger Dijkstra once famously said "Program testing can be used to show the presence of bugs, but never to show their absence." This intrinsic drawback...
As safety-critical industries move beyond experimentation and toward production-grade adoption of Rust, 2026 marks a pivotal transition from promise to practical assurance.
Ada’s data-representation features address one of the most vexing issues with hardware updates: Creating portable code that can define data structures with a specific physical...
Technology Editor Bill Wong recently judged the “Make with Ada” competition and found some interesting feedback that will intrigue embedded developers.
The Ada language is alive and well, as can be confirmed by developers of embedded real-time systems in critical industries worldwide. You’d never know that from some of the misconceptio...
Ada and SPARK are programming languages that are especially applicable in systems demanding high confidence in software reliability, safety, and security.
Crazyflie quadrotor is an open-source project including the hardware. I tried out a project where the control software was rewritten in SPARK, a subset of Ada.
Formal verification, via tools like SPARK, can be used in a similar fashion to static analysis to find all run-time errors in your code, even the most unlikely of errors that ...
From a software design point of view, contracts are a way of modeling requirements. They are a great foundation for safe programming and code correctness.
As a programmer, I try to write code that’s not only functional but also safe, secure, and reliable. But what if some of those things I learn or use aren’t quite right?
The industrialization age of programming by contract is opening a new era in software development. Just as development techniques went from assembly to structured languages and...
C++11 and Ada 2012 are the latest incarnations of C++ and Ada programming languages. Quentin Ochem delves into the similarities and differences of some new features in each language...
