空中客车公司选择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工具套件提供了卓越的验证能力，这将帮助空中客车公司在其开发过程的早期发现问题，此时纠正这些问题最容易，成本也最低。我们的支持服务将解决可能出现的任何问题。“
