首页 新闻 SEAKR工程公司使用AdaCore技术为航天器系统开发软件

SEAKR工程公司使用AdaCore技术为航天器系统开发软件

2分钟阅读

当SEAKR工程公司决定将其关键任务空间数据记录器应用升级到一个新的硬件平台时,他们将他们的软件保存在Ada中。

SEAKR工程公司是最先进的航天器电子产品的领先供应商,是卫星固态数据记录器开发的先驱。SEAKR的产品在国际空间站、绕地球轨道运行的卫星和飞往木星的探测器上都有。它们帮助探索地球大气层,传递对全球气候科学至关重要的气候和业务天气数据。它们加强了美国的情报,并通过提高其天基能力来改善美国的作战网络。

为了提高Ada代码的效率和可靠性,他们将开发环境升级为GNAT Pro,AdaCore在高保证(可靠性、安全性、安全性)、效率和长期可维护性至关重要的空间关键软件系统的生产的完整解决方案。

SEAKR的人员工程师Mike Jelks已经使用Ada编程超过30年,他了解Ada强大的类型、任务处理、受保护对象和面向对象特性的好处。Jelks说:“通过正确地使用强类型,您可以减少错误并在编译时捕获它们,而不是在以后的开发过程中。”Ada不鼓励或防止许多在C和c++中导致问题的糟糕编程实践。你在C语言中会犯的常见错误,在Ada中不太可能犯。”

AdaCore的商务总监Jamie Ayre强调说:“Ada通过早期发现和纠正错误节省了资金,这在C和c++中很典型。的小昆虫专业编译器在编译期间检测绝大多数的编码错误。有些错误是通过标准的Ada运行时检查捕获的,而GNATcheck通过强制执行特定于项目的Ada编码标准,帮助消除额外的潜在错误。结合AdaCore业界著名的专家支持,客户可以从完整的软件开发包中获益,这使他们能够高效地构建关键的软件平台。”

Jelks指出:“那些为太空部门创建关键应用程序的公司,对风险的容错能力较低,即使他们更熟悉其他语言,也可以很好地使用Ada。”