AdaCore is an innovative provider of advanced software development and verification tools designed to support the creation of secure UAV systems for mission- and safety-critical applications.
Unmanned Systems Technology (UST) is pleased to welcome AdaCore to its global supplier ecosystem. As a Gold Partner, the company is showcasing its comprehensive development toolkits that enable manufacturers and developers to create highly reliable and certifiable software systems for drones and unmanned platforms.
AdaCore’s development solutions support Ada, C/C++, and Rust programming languages and are compatible with over a hundred off-the-shelf and custom operating systems and platforms. Designed for safety- and mission-critical environments, the company’s tools support DO-178B/C certification up to DAL-A, helping UAV developers build software that is resilient to failure and highly resistant to cyberattack while meeting stringent aerospace regulatory requirements.
Key features of AdaCore’s development solutions include:
All-in-One Development Toolkits: Integrated compilation, verification, and compliance tools supporting Ada, C/C++, and Rust across a wide range of embedded and server environments.
DevOps-Ready Development Tools: Industrial-grade GCC and LLVM-based compilers that integrate easily into off-the-shelf or custom pipelines with configurable runtime libraries.
Advanced Verification Capabilities: Static and dynamic analysis tools for bug detection, cybersecurity weakness identification, unit testing, fuzzing, and structural code coverage up to MC/DC.
Certification & Compliance Support: Tools designed to support DO-178 certification and FACE standards, with Software Bills of Materials (SBOMs) provided in the SPDX format for seamless integration into vulnerability management and reporting systems.
Formal Verification with SPARK: Advanced memory safety and runtime error elimination through SPARK, a specialized version of Ada designed for high-integrity systems.
AdaCore’s technologies are widely used to develop and secure critical UAV avionics software, including flight control and navigation systems, propulsion and subsystem management software, and communications and surveillance systems. By enabling rigorous testing, debugging, and verification, the company’s tools help developers identify vulnerabilities early and maintain long-term reliability for complex unmanned platforms.
In addition to commercial UAV applications, AdaCore’s solutions support the development of defense-grade unmanned systems designed to operate in demanding and contested environments. The development toolkits enable the creation of resilient software capable of supporting AI-enabled systems, advanced sensors, and evolving mission requirements across platforms that may remain in service for decades.
To learn more about AdaCore’s trusted UAV software development solutions, visit their full profile on Unmanned Systems Technology.
