2023年2月9日

公司带来广泛的认证和安全标准经验锈社区AdaCore信任提供者的软件开发和验证工具,高兴地宣布,它现在是一个银锈基金会的成员,一个独立的非盈利组织,致力于引领铁锈编程语言和生态系统。“我们期待扩展我们长期致力于高完整性语言和安全认证嵌入式开发生锈的编程语言。“超过25年来,AdaCore一直致力于支持安全的需要,关键任务与高完整性软件开发工具和服务行业。AdaCore最初集中在Ada,先进的编程语言专门为长期发展,安全至上,认证的软件。多年来,这种关注超越了Ada语言正式可核查的火花子集,C和c++,仿真软件和Stateflow模型。AdaCore是与亚铁系统,一家科技公司专业锈编程语言,分享其专业知识与生锈的安全认证工具链安全社区。伙伴关系目前有望带来锈ASIL-D-level环境。这项工作的第一个结果是出版的语言规范文档。“AdaCore兴奋加入锈基金会,”昆汀Ochem说,首席产品官AdaCore。“我们期待扩展我们长期致力于高完整性语言和安全认证嵌入式开发生锈的编程语言。“AdaCore供应关键任务软件开发和验证工具,安全至上,强调安全的系统。 Over the years, customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as commercial and military avionics, defense systems, automotive, railway, space, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing worldwide customer base. AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris