AdaCore

AdaCore 是一家为任务关键型和安全关键型无人机（UAV）软件提供值得信赖的开发解决方案和工具的供应商。

该公司的 软件开发工具包 可构建安全可靠的系统，这些系统不仅具备抗故障能力，还能高度抵御网络攻击。该方案兼容上百种现成及定制操作系统和平台，同时支持最高达DAL-A级别的DO-178B/C标准。

用于开发安全可靠的无人机软件的一体化开发工具包

AdaCore 的全面 软件开发工具包 为 Ada、C/C++ 和 Rust 提供编译、验证和合规性工具，支持业内范围最广的目标平台，涵盖从小型嵌入式系统到完整的服务器环境。

发展

所有工具均支持 DevOps，采用工业级版本的 GCC 和 LLVM 编译器，并可轻松集成到现成的或自定义的构建管道中。语言运行时可根据资源占用和认证成本的限制进行定制。

验证

本产品为 C/C++ 以及所有版本的 Ada 提供了静态分析工具，具备识别缺陷和检测网络安全漏洞等一系列关键功能。针对 Ada、C/C++ 和 Rust 的动态分析功能包括单元测试、最高支持 MC/DC 的结构化代码覆盖率分析，以及代码模糊测试。

合规

AdaCore 工具支持 FACE（未来机载能力环境）标准，并符合 DO-178 认证的要求。所有 AdaCore 产品的软件物料清单 (SBOM) 均采用行业标准的 SPDX 格式提供，可无缝集成到漏洞管理和报告系统中。

无人机航电系统

无人机（UAV）的航电平台是复杂的系统，必须处理各种任务关键型和软件驱动的功能，包括自动驾驶仪、飞行控制、发动机和电机控制、导航等。 这些系统核心的代码极易受到第三方网络攻击，因此需要采用强健的安全关键型开发方法才能得到全面保护。

AdaCore 的工具使无人机开发人员能够对软件的关键部分进行测试、调试、升级和重写，从而彻底消除任何缺陷或漏洞。此外，这些工具还提供了符合 DO-178C 标准所需的认证库和合格工具，从而简化了工作流程并降低了开发成本。

这些先进的软件工具非常适合用于确保一系列无人机子系统的可靠性，包括：

• 飞行控制与导航 – 确保这些系统达到最高可靠性标准，并在遥控和自主模式下均能表现得稳定、精准且响应迅速
• 子系统管理 – 用于推进控制、电力分配及其他关键子系统的软件必须能在各种环境条件下可靠运行，并在漫长的部署生命周期内保持可维护性
• 通信与监控 – 通信系统、监视系统、ADS-B 以及航电数据网络必须均符合严格的实时运行和网络安全要求，同时能够处理现代无人机和情报、监视与侦察（ISR）应用产生的海量数据吞吐量
• 安全与任务系统 – 用于安全关键型应用（如健康监测、内置测试系统、飞行数据记录仪和任务专用航电设备）的复杂软件，必须在无人机平台的整个生命周期内无故障运行，并且必须经过认证且易于维护

更多信息： 无人机航电开发工具包

国防级无人系统

面向军用和国防专用无人机平台的软件提供了广泛的功能，这些功能需在极其严苛的运行条件下运行，包括对抗性环境、瞬息万变的任务以及最复杂的网络战攻击。

AdaCore 帮助开发人员为最严苛的国防需求开发安全、可靠且值得信赖的任务关键型软件，这些软件融合了人工智能技术以及最先进的传感器和有效载荷，同时支持可能服役数十年的各类平台和军事项目。

更多信息： 用于军用级无人系统的软件工具包

语言