支持蓬勃发展的航空航天和国防工业

导读 AdaCore拥有悠久而成功的历史,为英国客户提供服务。该公司与世界上许多主要的航空航天,国防和铁路承包商保持着良好的关系。它是ADS的成员

AdaCore拥有悠久而成功的历史,为英国客户提供服务。该公司与世界上许多主要的航空航天,国防和铁路承包商保持着良好的关系。它是ADS的成员,ADS是英国航空航天,国防,安全和航天领域公司的首要贸易组织。它积极参与与标准相关的工作组和委员会(例如DO-178C)。

“ATI欢迎推出AdaCore的新业务,这将提高英国在安全关键软件方面的能力,”航空航天技术研究所推进与先进系统技术主管Mark Scully说。“ATI一直在与AdaCore合作,因为我们正在促进新的软件开发项目,并很高兴看到这导致英国新的卓越中心和未来的更多合作。”

“我们决定开设AdaCore有限公司是一项更大的企业战略的一部分,该战略旨在将我们的知识产权,工具和服务投资到安全软件系统需求持续增长的地区,”AdaCore集团总裁Cyrille Comar表示。“此举将使我们能够更好地支持我们在英国的现有客户; 在英国生态系统内合作开展新的合同,研究和指导机会; 并分享我们在产品认证和认证方面的专业知识。“

与全球其他国家一样,AdaCore计划在英国扩展其公共Ada培训课程和活动,以帮助新用户快速掌握Ada和SPARK语言。

“世界上许多顶级学术和全球研究型大学都位于英国,我们希望定期与他们合作,扩大我们的GNAT学术计划(GAP)的范围,并满足对安全,可靠和可靠软件的需求,” AdaCore Ltd董事总经理Emma Adby表示。