空中客车公司选择GNAT Pro Ada开发无人驾驶航空系统

2020-09-16 22:51:10

空中客车直升机公司选择AdaCore的Gnat Pro Ada作为PowerPC VxWorks 6.x/Cert的依据有几个标准,包括集成到现有开发基础设施的简便性。

值得信赖的软件开发和验证工具提供商AdaCore宣布,空中客车直升机公司(法国)已选择GNAT Pro工具包和Ada编程语言为VSR700原型项目开发新的软件组件。VSR700是空中客车直升机的战术无人机系统(UAS),旨在满足21世纪全球海军和军队的苛刻要求。

空中客车直升机选择AdaCore的GNAT Pro Ada作为PowerPC VxWorks 6.x/Cert的依据有几个标准,包括集成到现有开发基础设施的简便性、开发监控算法的能力以及帮助认证软件达到DO-178C设计保证级别B的能力。

空中客车直升机公司嵌入式软件产品负责人Matthieu Vatinet说:“我们选择AdaCore和Ada语言是因为我们相信,这项技术和相关工具将提高我们软件的可维护性和质量,使我们更容易为某些软件认证目标提供一些证据。”AdaCore的支持质量是一个重要的优势,另一个预期的好处是易于开发成熟的代码。“。

AdaCore商务总监杰米·艾尔(Jamie Ayre)说:“知道空客直升机团队需要为他们的VSR700原型项目开发高度可靠和安全的代码,我们非常高兴他们选择了Ada和AdaCore。Gnat Pro Ada工具套件提供了卓越的验证能力,这将帮助空中客车公司在其开发过程的早期发现问题,此时纠正这些问题最容易,成本也最低。我们的支持服务将解决可能出现的任何问题。“