本次技術聯合將確保航空航天、汽車及其他行業的安全關鍵型系統自動完成驗證，具備安全可靠性能

通過全新深入的合作，Ansys將為霍尼韋爾航空航天集團提供基于模型的研發解決方案，以加速在各個垂直行業對自動駕駛汽車、電動飛機和安全關鍵型代碼中的安全關鍵型嵌入式系統的研發、分析與認證。

安全關鍵型嵌入式軟件必須符合嚴格且復雜的行業法規。這種關鍵型軟件的驗證和確認是一項成本高昂、耗時耗力的工作，和許多手動操作過程一樣，它也容易出錯?；裟犴f爾與Ansys合作開發的基于模型的可靠工作流程進一步擴展了兩家公司的測試與分析功能，在整個軟件研發過程中提供自動化、效率與價值。將霍尼韋爾自主開發的基于模型的驗證解決方案與Ansys基于模型的研發環境集成，能夠可靠地設計、仿真和測試廣泛應用的嵌入式代碼。

Ansys聯合霍尼韋爾確保航空航天、汽車和其他行業的安全關鍵系統得到自動驗證，且安全和可靠

霍尼韋爾航空航天集團高級技術總監Jeff Radke表示：“Ansys與我們共同致力于轉型軟件研發。此次合作將有助于降低研發成本，縮短霍尼韋爾產品的上市時間。通過本次合作，我們可以簡化工作流程并最大限度降低代碼的出錯風險，規避復雜的手動過程并帶來顯著的優勢，從而使工程師能專注于新一代系統和產品的創新。”

Ansys產品高級副總裁Shane Emswiler指出：“如果嵌入式系統含有不完善的代碼，就可能導致災難性的全面系統故障。Ansys SCADE認證的代碼生成器可確保最高級別的安全性，并為系統工程師和軟件工程師提供預測準確性和速度。我們與霍尼韋爾的合作將為行業客戶開發安全關鍵型軟件提供一體化、綜合全面的解決方案?！?/p>