Ansys与霍尼韦尔合作加速安全关键型软件研发

本次技术联合将确保航空航天、汽车及其他行业的安全关键型系统自动完成验证，具备安全可靠性能

通过全新深入的合作，Ansys将为霍尼韦尔航空航天集团提供基于模型的研发解决方案，以加速在各个垂直行业对自动驾驶汽车、电动飞机和安全关键型代码中的安全关键型嵌入式系统的研发、分析与认证。

安全关键型嵌入式软件必须符合严格且复杂的行业法规。这种关键型软件的验证和确认是一项成本高昂、耗时耗力的工作，和许多手动操作过程一样，它也容易出错。霍尼韦尔与Ansys合作开发的基于模型的可靠工作流程进一步扩展了两家公司的测试与分析功能，在整个软件研发过程中提供自动化、效率与价值。将霍尼韦尔自主开发的基于模型的验证解决方案与Ansys基于模型的研发环境集成，能够可靠地设计、仿真和测试广泛应用的嵌入式代码。

Ansys联合霍尼韦尔确保航空航天、汽车和其他行业的安全关键系统得到自动验证，且安全和可靠

霍尼韦尔航空航天集团高级技术总监Jeff Radke表示：“Ansys与我们共同致力于转型软件研发。此次合作将有助于降低研发成本，缩短霍尼韦尔产品的上市时间。通过本次合作，我们可以简化工作流程并最大限度降低代码的出错风险，规避复杂的手动过程并带来显著的优势，从而使工程师能专注于新一代系统和产品的创新。”

Ansys产品高级副总裁Shane Emswiler指出：“如果嵌入式系统含有不完善的代码，就可能导致灾难性的全面系统故障。Ansys SCADE认证的代码生成器可确保最高级别的安全性，并为系统工程师和软件工程师提供预测准确性和速度。我们与霍尼韦尔的合作将为行业客户开发安全关键型软件提供一体化、综合全面的解决方案。”