导读 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表示。