安全關鍵型嵌入式系統的案例
Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
本次技術聯合將確保航空航天、汽車及其他行業的安全關鍵型系統自動完成驗證，具備安全可靠性能
主要亮點
霍尼韋爾航空航天集團使用Ansys仿真技術加速安全關鍵型嵌入式系統的研發、分析和認證
將霍尼韋爾自主開發的基于模型的驗證解決方案與Ansys基于模型的研發環境集成，能夠可靠地設計、仿真和測試自動駕駛汽車、電動飛機和安全關鍵型代碼的嵌入式代碼
通過全新深入的合作，Ansys將為霍尼韋爾航空航天集團提供基于模型的研發解決方案，以加速在各個垂直行業對自動駕駛汽車、電動飛機和安全關鍵型代碼中的安全關鍵型嵌入式系統的研發、分析與認證。
安全關鍵型嵌入式軟件必須符合嚴格且復雜的行業法規。這種關鍵型軟件的驗證和確認是一項成本高昂、耗時耗力的工作，和許多手動操作過程一樣，它也容易出錯。霍尼韋爾與Ansys合作開發的基于模型的可靠工作流程進一步擴展了兩家公司的測試與分析功能，在整個軟件研發過程中提供自動化、效率與價值。將霍尼韋爾自主開發的基于模型的驗證解決方案與Ansys基于模型的研發環境集成，能夠可靠地設計、仿真和測試廣泛應用的嵌入式代碼。
Ansys聯合霍尼韋爾確保航空航天、汽車和其他行業的安全關鍵系統得到自動驗證，且安全和可靠
霍尼韋爾航空航天集團高級技術總監Jeff Radke表示：“Ansys與我們共同致力于轉型軟件研發。此次合作將有助于降低研發成本，縮短霍尼韋爾產品的上市時間。
展開 Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
本次技術聯合將確保航空航天、汽車及其他行業的安全關鍵型系統自動完成驗證，具備安全可靠性能
主要亮點
霍尼韋爾航空航天集團使用Ansys仿真技術加速安全關鍵型嵌入式系統的研發、分析和認證
將霍尼韋爾自主開發的基于模型的驗證解決方案與Ansys基于模型的研發環境集成，能夠可靠地設計、仿真和測試自動駕駛汽車、電動飛機和安全關鍵型代碼的嵌入式代碼
通過全新深入的合作，Ansys將為霍尼韋爾航空航天集團提供基于模型的研發解決方案，以加速在各個垂直行業對自動駕駛汽車、電動飛機和安全關鍵型代碼中的安全關鍵型嵌入式系統的研發、分析與認證。
安全關鍵型嵌入式軟件必須符合嚴格且復雜的行業法規。這種關鍵型軟件的驗證和確認是一項成本高昂、耗時耗力的工作，和許多手動操作過程一樣，它也容易出錯。霍尼韋爾與Ansys合作開發的基于模型的可靠工作流程進一步擴展了兩家公司的測試與分析功能，在整個軟件研發過程中提供自動化、效率與價值。將霍尼韋爾自主開發的基于模型的驗證解決方案與Ansys基于模型的研發環境集成，能夠可靠地設計、仿真和測試廣泛應用的嵌入式代碼。
Ansys聯合霍尼韋爾確保航空航天、汽車和其他行業的安全關鍵系統得到自動驗證，且安全和可靠
霍尼韋爾航空航天集團高級技術總監Jeff Radke表示：“Ansys與我們共同致力于轉型軟件研發。此次合作將有助于降低研發成本，縮短霍尼韋爾產品的上市時間。
展開 適用于關鍵嵌入式軟件系統的仿真解決方案
適用于關鍵嵌入式軟件系統的仿真解決方案
http://www.ansys.com/zh-CN/products/embedded-software
嵌入式軟件
嵌入式系統與軟件開發
嵌入式軟件越來越普遍地用于智能設備，但不完美的代碼可能會導致眾多產品故障。據業界領導者預計，每 1,000 行嵌入式軟件代碼包含 8 個漏洞。為了管理這一質量風險，以及達到更高的軟件認證標準，您需要充分利用嵌入式軟件開發工具和認證代碼生成器。
ANSYS 提供基于模型的嵌入式軟件開發和仿真環境，環境內置自動代碼生成器，以加快嵌入式軟件開發項目的速度。系統和軟件工程師利用 ANSYS SCADE 解決方案生動地設計、驗證并自動生成高可靠性要求的關鍵系統和軟件應用。SCADE 解決方案具有較高的可互操作性，并且能夠輕松集成，從而實現開發優化并加強各團隊成員之間的溝通。
展開 Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
本次技術聯合將確保航空航天、汽車及其他行業的安全關鍵型系統自動完成驗證，具備安全可靠性能
主要亮點
霍尼韋爾航空航天集團使用Ansys仿真技術加速安全關鍵型嵌入式系統的研發、分析和認證
將霍尼韋爾自主開發的基于模型的驗證解決方案與Ansys基于模型的研發環境集成，能夠可靠地設計、仿真和測試自動駕駛汽車、電動飛機和安全關鍵型代碼的嵌入式代碼
通過全新深入的合作，Ansys將為霍尼韋爾航空航天集團提供基于模型的研發解決方案，以加速在各個垂直行業對自動駕駛汽車、電動飛機和安全關鍵型代碼中的安全關鍵型嵌入式系統的研發、分析與認證。
安全關鍵型嵌入式軟件必須符合嚴格且復雜的行業法規。這種關鍵型軟件的驗證和確認是一項成本高昂、耗時耗力的工作，和許多手動操作過程一樣，它也容易出錯。霍尼韋爾與Ansys合作開發的基于模型的可靠工作流程進一步擴展了兩家公司的測試與分析功能，在整個軟件研發過程中提供自動化、效率與價值。將霍尼韋爾自主開發的基于模型的驗證解決方案與Ansys基于模型的研發環境集成，能夠可靠地設計、仿真和測試廣泛應用的嵌入式代碼。
Ansys聯合霍尼韋爾確保航空航天、汽車和其他行業的安全關鍵系統得到自動驗證，且安全和可靠
霍尼韋爾航空航天集團高級技術總監Jeff Radke表示：“Ansys與我們共同致力于轉型軟件研發。此次合作將有助于降低研發成本，縮短霍尼韋爾產品的上市時間。
展開 
Stimulus—需求形式化建模和驗證工具
image_process=/format,webp" data-initial-src="https://img.jishulink.com/202312/attachment/afac58041bee4413a266a3319db69322.jpg"></figure>
</div><p class="ql-align-center"><br></p><ul><li>仿真及驗證需求規范</li></ul><p> Stimulus使系統架構師能夠模擬需求，并在設計開始之前檢測到模糊、不正確、缺失或沖突的需求，從而創建安全關鍵型嵌入式系統驗證所需的高質量規范。Stimulus使用“自然語言”對需求進行建模、仿真并驗證需求，Stimulus中包含了豐富的時間與邏輯運算符，例如：“當……時”“如果”“大于”“只有”等。通過對需求按照運算符進行重新書寫，可以驗證需求中是否存在沖突；通過對仿真結果的觀察，來驗證需求規范中是否存在沖突與缺陷，進而保證了需求規范的正確性。開發團隊可以用更少的時間重新定義需求、重寫和重新調試代碼，從而減少實現高質量結果所需的開發迭代。</p><p> </p><ul><li>生成測試用例及系統驗證</li></ul><p> 在驗證階段，Stimulus還使測試工程師能夠自動生成測試向量和測試目標，并檢查嵌入式代碼是否符合其規范。Stimulus可以根據需求描述自動生成符合需求的測試用例（需求可以是高層次需求或者低層次需求），也可以在Stimulus中使用“自然語言”描述測試場景，并生成符合測試場景的測試用例。Stimulus不但可以根據需求生成測試用例，還可以監測系統輸出是否符合需求規格說明中的要求。
展開 