• 新闻
  • 产品
  • 合作伙伴

LDRA和Green Hills软件提供行业领先的多核开发和验证方案

LDRA工具套件和Green Hills软件公司的INTEGRITY-178 tuMP实时系统、多种IDE实现了优化集成,真正为高安全和安全关键行业的开发人员提供高可靠性的应用软件开发

Wirral, U.K., and Santa Barbara, CA. 12 May 2015 — LDRA公司是编码规则检查,自动化软件验证,源码分析和测试工具行业的领导者,Green Hills软件公司在高可靠性操作系统方面,是全球范围内的领导者,在高安全和安全关键性市场上已经为合作伙伴提供了基于多核平台的高可靠性的应用开发方案。

随着多核平台的不断出现和应用,为新的验证工具铺平道路,这些验证工具需要完全支持高可靠、高安全以及安全关键领域的所有验证工作。 ...

        ... ...

》了解详细信息

进入新闻室