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.
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.
