安全關鍵型軟件的案例
Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
Ansys SCADE認證的代碼生成器可確保最高級別的安全性，并為系統工程師和軟件工程師提供預測準確性和速度。我們與霍尼韋爾的合作將為行業客戶開發安全關鍵型軟件提供一體化、綜合全面的解決方案。”
Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
Ansys SCADE認證的代碼生成器可確保最高級別的安全性，并為系統工程師和軟件工程師提供預測準確性和速度。我們與霍尼韋爾的合作將為行業客戶開發安全關鍵型軟件提供一體化、綜合全面的解決方案。”
Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
本次技術聯合將確保航空航天、汽車及其他行業的安全關鍵型系統自動完成驗證，具備安全可靠性能
主要亮點
霍尼韋爾航空航天集團使用Ansys仿真技術加速安全關鍵型嵌入式系統的研發、分析和認證
將霍尼韋爾自主開發的基于模型的驗證解決方案與Ansys基于模型的研發環境集成，能夠可靠地設計、仿真和測試自動駕駛汽車、電動飛機和安全關鍵型代碼的嵌入式代碼
通過全新深入的合作，Ansys將為霍尼韋爾航空航天集團提供基于模型的研發解決方案，以加速在各個垂直行業對自動駕駛汽車、電動飛機和安全關鍵型代碼中的安全關鍵型嵌入式系統的研發、分析與認證。
安全關鍵型嵌入式軟件必須符合嚴格且復雜的行業法規。這種關鍵型軟件的驗證和確認是一項成本高昂、耗時耗力的工作，和許多手動操作過程一樣，它也容易出錯。霍尼韋爾與Ansys合作開發的基于模型的可靠工作流程進一步擴展了兩家公司的測試與分析功能，在整個軟件研發過程中提供自動化、效率與價值。將霍尼韋爾自主開發的基于模型的驗證解決方案與Ansys基于模型的研發環境集成，能夠可靠地設計、仿真和測試廣泛應用的嵌入式代碼。
Ansys聯合霍尼韋爾確保航空航天、汽車和其他行業的安全關鍵系統得到自動驗證，且安全和可靠
霍尼韋爾航空航天集團高級技術總監Jeff Radke表示：“Ansys與我們共同致力于轉型軟件研發。此次合作將有助于降低研發成本，縮短霍尼韋爾產品的上市時間。
展開 ANSYS和KRONO-SAFE推出面向關鍵航空航天應用的集成型軟件平臺
ANSYS和KRONO-SAFE推出面向關鍵航空航天應用的集成型軟件平臺
http://www.ansys.com/zh-CN/About-ANSYS/news-center/06-21-17-ansys-krono-safe-deliver-integrated-software-platform
新平臺支持航空航天產業研發能夠在多核系統上運行的安全關鍵型航空航天應用
2017年6月21日，匹茲堡訊——得益于KRONO-SAFE和ANSYS（NASDAQ: ANSS）推出的全新集成型解決方案，航空航天客戶能為最新一代航空航天計算機設計和研發安全關鍵型軟件。這款首次上市的解決方案能為航空航天和國防產業的高可靠性應用確保關鍵性、安全性和安全認證。
為打造更安全的飛機，最新的航空航天計算機不僅需要優化機組維護和成本，同時還要能夠處理傳統的安全關鍵型操控應用，并提供現代化的維護監控功能。KRONO-SAFE的集成型實時操作系統平臺ASTERIOS?配合ANSYS的嵌入式軟件ANSYS? SCADE Suite?，能為航空航天客戶提供實時的集成型流程，其非常適合滿足單核或多核平臺上運行的安全關鍵型航空電子多速率應用的需求。SCADE Suite可用于安全自動化應用軟件的研發，ASTERIOS能夠提供安全自動化實時集成功能、并針對多核平臺進行擴展，而這款全新的航空電子自動化設計流程則是集二者之大成。
這款綜合解決方案是在智能安全平臺（S3P）研發項目中完成研發的。S3P項目旨在研發安全智能的軟件研發與執行平臺，以促進物聯網設備、網關和應用的快速低成本研發、部署及使用。
展開 
新能源汽車試驗T型槽平臺：電池包碰撞與電機耐久測試專用方案
在新能源汽車研發與質檢領域，電池包碰撞測試與電機耐久測試是評估核心部件安全性與可靠性的關鍵環節。新能源汽車試驗T型槽平臺作為測試的核心基準載
新能源汽車試驗T型槽平臺：電池包碰撞與電機耐久測試專用方案
在新能源汽車研發與質檢領域，電池包碰撞測試與電機耐久測試是評估核心部件安全性與可靠性的關鍵環節。新能源汽車試驗T型槽平臺作為測試的核心基準載體，其結構設計與性能參數直接決定測試數據的性與測試過程的安全性。本文結合新能源汽車試驗平臺、電池包測試專用T型槽、電機耐久試驗基準臺等高頻關鍵詞，針對性解析適配電池包碰撞與電機耐久測試的專用方案，為新能源汽車核心部件測試提供實操支撐。
一、專用平臺核心性能要求：適配新能源測試嚴苛場景
新能源汽車電池包碰撞測試需承受瞬時強沖擊載荷（可達10-20g），電機耐久測試需長期耐受高頻振動（頻率50-2000Hz），因此專用T型槽平臺需滿足三大核心性能：一是剛性，確保沖擊與長期振動下無塑性變形；二是定點，保障測試件安裝同軸度與位置精度；三是安全防護，適配高壓、高沖擊的測試環境。平臺精度等級優先選用00級（平面度≤0.02mm/m），槽寬公差控制在H6級，為測試提供穩定基準。
二、電池包碰撞測試專用方案：強沖擊下的穩定支撐
1.材質與結構優化：選用QT600強度球墨鑄鐵，經高溫時效+振動時效+自然時效三重處理，殘余應力去除率≥99%，搭配“箱型封閉框架+加密加強筋”結構，筋板厚度≥35mm，臺面厚度≥150mm，可承受20g瞬時沖擊載荷，臺面撓度≤0.01mm/m。
2.定點與固定設計：采用寬幅T型槽（槽寬36-45mm），間距100-150mm，搭配12.9級強度防松螺栓與專用防滑夾具，確保電池包測試件牢固固定，碰撞過程中無移位；臺面對稱分布定點銷孔，定點精度≤±0.01mm，保障每次測試安裝位置一致性。
展開 5/19 Ansys 2021 R1 車載安全關鍵軟件解決方案介紹
03
講師介紹
周霄
安全關鍵嵌入式軟件專家
多年從事安全關鍵嵌入式軟件研發、管理及咨詢工作，熟悉航空、軌交、汽車行業安全關鍵系統軟件的研發流程以及相應的功能安全標準，有著扎實的技術功底和豐富的項目實戰經驗。
域控軟件安全隔離關鍵技術剖析：MCU域 VS SOC域
安全隔離的需求
功能安全開發中，軟件階段由軟件V模型左邊的軟件安全需求SSR開始。SSR是從技術安全需求TSR中提取出軟件的功能安全需求，大多數情況下具有不同的ASIL等級。
圖1 功能安全軟件開發V模型
隨后，軟件安全需求會被分配到軟件架構中的軟件組件中。不同ASIL等級的軟件安全需求被分配到軟件組件過后，帶來了級聯失效的問題。若放任不同ASIL等級軟件組件在一個系統中運行，可能會存在低ASIL等級軟件組件失效從而引發高ASIL等級軟件組件失效的風險。
ISO26262 對軟件組件之間的交互進行了分析并提出了免于干擾（Freedom from Interference）的需求，安全隔離則旨在隔離軟件系統中安全相關與安全無關的軟件組件，以及不同ASIL等級的軟件組件。
軟件內存基礎
首先讓我們來了解內存的基本知識。RAM與ROM是ECU中常見的存儲器類型，它們在數據存儲和訪問方面扮演著重要的角色。
RAM（Random Access Memory）是一種臨時存儲器，用于存儲計算機正在運行的程序和數據。它具有快速的讀寫速度和隨機訪問的特點。
ROM（Read-Only Memory）是一種只讀存儲器，用于存儲固定的程序指令和數據。ROM中的數據在計算機斷電時不會丟失，因此被稱為非易失性存儲器。
然而在軟件視角中，軟件被編譯后會被分為不同的段進行存放。
展開 ANSYS 2020 R1為產品全生命周期實現數字線程仿真
使用ANSYS SCADE改善自動駕駛安全關鍵型軟件研發
最新版本的ANSYS? SCADE可進一步加速AV嵌入式控制軟件的設計，其整合多種新功能，旨在縮短研發時間并將整個研發周期安全關鍵型軟件自動代碼生成的成本降低50%以上。
ANSYS 2020 R1增強了ANSYS SCADE Vision的可擴展性，不僅可進一步加速測試工作，而且還可通過在客戶云集群上創建與數據湖的直接連接來改善大型AI感知軟件項目的安全性。
使用ANSYS Twin Builder減少研發時間提高工作效率
ANSYS? Twin Builder? 現包含ANSYS Twin Builder Battery Wizard，其可縮短各行業構建、仿真和測試整個電池供電電氣系統的研發時間。
A123系統公司仿真工程業務部資深經理Shawn Zhang稱：“A123使用ANSYS Twin Builder為其48V電池組研發執行熱仿真。在仿真技術的幫助下，A123可確定電氣性能的熱相關性，設計散熱電源，計算溫度分布并預測電池使用壽命。此外，A123還可利用ANSYS Twin Builder的ROM技術，簡化復雜的3D熱仿真，在確保仿真精準性的同時，將仿真所需的時間從幾天顯著地縮短到幾秒。”
此外，ANSYS Twin Builder還對其業界領先的ROM功能進行了創新性改進，包括捕捉更高非線性組件的功能以及與工具無關靜態ROM構建器的集成等，可實現ROM的實時可視化。Twin Builder還可為Modelica及運行時間生成提供改進的工作流程。
汽車和5G芯片電子的電源及熱可靠性解決方案
ANSYS? Redhawk-SC?的最新更新可幫助工程師深入地了解更復雜的設計并大幅減少仿真運行時間，從而顯著提高性能和準確度。
展開 Panasonic Automotive采用Ansys技術優化未來交通技術的功能安全性分析
相關閱讀
Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
Ansys攜手EMA推出EMA3D Charge將改進電子組件的設計與安全性
航空航天 | 2021 Ansys Innovation大會
新課程上線 | Ansys SCADE Display基礎課程
嵌入式系統 | 基于Ansys SCADE Display的人機交互界面設計
全方位實時連接Ansys最新動態
了解更多工程仿真資訊、產品介紹與更新以及行業最新趨勢
立即訂閱Ansys官方郵件推送，實時掌握精彩內容！
立即訂閱
*我希望收到Ansys及其合作伙伴的信息更新及推送，我可以隨時取消訂閱。Ansys隱私聲明
展開 報名 | Ansys SCADE 2022 R1 新功能
Ansys SCADE 在2022 R1新版本中支持航空航天與國防領域（DO-178C、ARINC 661、FACE）、汽車領域（ISO 26262、 AUTOSAR）和工業領域（IEC 61508、EN 50128）中安全、可互操作嵌入式軟件的國際標準。
3月22日，Ansys 2022 R1新品發布系列網絡研討會中將推出『Ansys SCADE 2022 R1 新功能』主題內容，將介紹SCADE Achitect的新功能，SCADE Suite UI的改進，SCADE Display實現的新功能以及SCADE Lifecycle的優化等等，歡迎大家預約本場活動。
時間
3月22日（星期二），16:00-17:00
面向受眾
SCADE工具用戶、航空航天、軌道交通、汽車電子領域中系統架構設計、軟件開發驗證等
講師介紹
沈軼燁 | Ansys高級應用工程師
Ansys高級應用工程師，負責系統事業部的安全關鍵領域的系統和軟件的開發驗證。
展開 Ansys助力SPEC Innovations在NASA挑戰賽中向登月邁進
相關閱讀
Ansys攜手羅克韋爾自動化擴展數字孿生連接優化工業運營
“中車SCADE軟件建模勞動競賽”圓滿結束
Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
Ansys攜手EMA推出EMA3D Charge將改進電子組件的設計與安全性
能源公司ENGIE攜手Ansys加快零碳能源發展
Navantia運用Ansys數字化轉型解決方案設計新一代海軍艦艇
全方位實時連接Ansys最新動態
了解更多工程仿真資訊、產品介紹與更新以及行業最新趨勢
立即訂閱Ansys官方郵件推送，實時掌握精彩內容！
立即訂閱
*我希望收到Ansys及其合作伙伴的信息更新及推送，我可以隨時取消訂閱。Ansys隱私聲明
展開 
Ansys助力Air Race E競賽電動飛機完成首次飛行
相關閱讀
Ansys助力EasyMile提高電動自動駕駛汽車安全性
CES 2022 | Ansys隆重揭曉最新可持續交通仿真方案
Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
Panasonic Automotive采用Ansys技術優化未來交通技術的功能安全性分析
Ansys祝賀紅牛車隊勇奪一級方程式世界錦標賽冠軍
全方位實時連接Ansys最新動態
了解更多工程仿真資訊、產品介紹與更新以及行業最新趨勢
立即訂閱Ansys官方郵件推送，實時掌握精彩內容！
立即訂閱
*我希望收到Ansys及其合作伙伴的信息更新及推送，我可以隨時取消訂閱。Ansys隱私聲明
展開 保時捷攜手Ansys助推99X Electric在E級方程式中獲歷史性勝利
如欲了解更多信息，敬請訪問：media.porsche.com/formulae
相關閱讀
Ansys助力Air Race E競賽電動飛機完成首次飛行
Ansys助力EasyMile提高電動自動駕駛汽車安全性
CES 2022 | Ansys隆重揭曉最新可持續交通仿真方案
Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
Panasonic Automotive采用Ansys技術優化未來交通技術的功能安全性分析
Ansys祝賀紅牛車隊勇奪一級方程式世界錦標賽冠軍
全方位實時連接Ansys最新動態
了解更多工程仿真資訊、產品介紹與更新以及行業最新趨勢
立即訂閱Ansys官方郵件推送，實時掌握精彩內容！
展開 新思科技推出Ansys 2026 R1版本，通過聯合解決方案和AI驅動型產品重塑工程領域
Synopsys OptoCompiler?與Ansys Lumerical軟件集成，實現連接器件級光子設計與先進系統級光學仿真的設計工作流程。這種集成通過自動生成 Verilog-A 模型，并確保不同工具之間的光學行為保持一致，提升了器件設計人員與系統級光子工程師之間的協作效率。同時，該工作流程還消除了設計與仿真環境之間的手動數據轉換步驟，為先進光子應用節省了時間并提高了可靠性。
除了Ansys SCADE?基于模型的軟件開發解決方案外，新思科技還提供了一款可靠的控制軟件測試自動化解決方案——TPT。這些協同技術，將共同幫助客戶強化其開發工作流程、簡化驗證，并加速交付高質量、可靠的嵌入式系統。SCADE可提供嚴謹的安全關鍵型軟件開發環境，而TPT可實現自動化測試生成、執行和分析，使團隊能夠加速迭代、強化早期驗證，并提高復雜控制軟件的質量。這兩種解決方案的結合，可以減少手動驗證工作量，并提高客戶構建跨領域任務關鍵型控制系統的自動化程度，包括高級駕駛輔助、電氣化動力總成、飛行控制、發動機控制和航空電子系統。
恩智浦半導體（NXP Semiconductors）全球安全副總裁Tina Lamers表示：“現代汽車微控制器和處理器集成了更高水平的功能、安全機制和可配置性。只有將器件級安全分析無縫集成到ECU和車輛級安全概念中，才能充分理解其對系統安全的貢獻。因此，功能安全成為了芯片供應商、一級供應商和原始設備制造商（OEM）的共同責任。”
借助AI支持的數字工程技術，
推動更早、更智能的設計迭代
Ansys 2026 R1版本引入生成式AI和該產品組合的首批智能體（agentic）功能，其強化了AI增強型產品組合，可加速驗證、加快設計探索并實現復雜工作流程的自動化，從而使工程團隊在開發周期的每個階段都能獲得更智能、更快速的洞察。
展開 物聯網行業工程仿真解決方案
就互聯汽車和飛機系統等最復雜的產品而言，驗證成百上千萬行安全關鍵型嵌入式軟件代碼是一種重要的方法。
4、集成
由于產品復雜性隨著時間推移不斷提升，工程師要將設計流程分解為較小的階段。這種組件級、自底向上的設計方法支持非常深入徹底的組件級驗證，但在組件被裝配成系統的后期階段可能產生很多問題。這種系統和子系統級的集成工作往往導致過度設計、成本過高，甚至會為了滿足產品發布時限要求而進行錯誤的設計權衡。
5、耐用性
物聯網的一大吸引力就是數萬億部傳感器和通信系統經過部署能支持全天候不間斷地采集和共享有用的信息。這些系統不僅要在預期的環境中可靠工作，還應在極端艱苦的條件下工作，而后者往往是難以提前定義的。雖然不是所有產品都要在極端條件下工作，但產品的耐用性都要通過測試檢驗。分析并確保各種工作條件下的性能是一項核心設計挑戰。
三 仿真驅動研發的平臺級解決方案
研究顯示，在統一平臺上整合仿真驅動產品研發功能的產品開發團隊與沒有這么做的團隊相比，滿足產品發布時限要求的概率能提升24%，縮短產品開發時間的概率能提升37%。優飛迪提供的離散工業應用仿真功能以及綜合平臺，能幫助交付集成型物聯網產品開發解決方案。
對于支持物聯網的互聯汽車而言，高級駕駛人員輔助系統（ADAS）是其發展進程中的一項關鍵技術挑戰。該系統的集成需要傳感器、安全關鍵型嵌入式軟件、數據處理和完整的系統工程視圖。此前上述元素被分隔在不同的工程領域，但系統高度耦合的行為需要集成型工程方法和仿真平臺，在組件和系統級從高級物理域支持整體解決方案。
△ 高級駕駛人員輔助系統中的復雜傳感器
車輛對雷達系統輸入的行為和反應，很大程度上取決于車輛內置的控制軟件。確認和驗證數十萬乃至數百萬行嵌入式軟件代碼、及其與物理組件的相互作用，是關鍵路徑設計工作的組成部分。
展開 