安全關鍵型系統的案例
Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
本次技術聯合將確保航空航天、汽車及其他行業的安全關鍵型系統自動完成驗證，具備安全可靠性能
主要亮點
霍尼韋爾航空航天集團使用Ansys仿真技術加速安全關鍵型嵌入式系統的研發、分析和認證
將霍尼韋爾自主開發的基于模型的驗證解決方案與Ansys基于模型的研發環境集成，能夠可靠地設計、仿真和測試自動駕駛汽車、電動飛機和安全關鍵型代碼的嵌入式代碼
通過全新深入的合作，Ansys將為霍尼韋爾航空航天集團提供基于模型的研發解決方案，以加速在各個垂直行業對自動駕駛汽車、電動飛機和安全關鍵型代碼中的安全關鍵型嵌入式系統的研發、分析與認證。
安全關鍵型嵌入式軟件必須符合嚴格且復雜的行業法規。這種關鍵型軟件的驗證和確認是一項成本高昂、耗時耗力的工作，和許多手動操作過程一樣，它也容易出錯。霍尼韋爾與Ansys合作開發的基于模型的可靠工作流程進一步擴展了兩家公司的測試與分析功能，在整個軟件研發過程中提供自動化、效率與價值。將霍尼韋爾自主開發的基于模型的驗證解決方案與Ansys基于模型的研發環境集成，能夠可靠地設計、仿真和測試廣泛應用的嵌入式代碼。
Ansys聯合霍尼韋爾確保航空航天、汽車和其他行業的安全關鍵系統得到自動驗證，且安全和可靠
霍尼韋爾航空航天集團高級技術總監Jeff Radke表示：“Ansys與我們共同致力于轉型軟件研發。此次合作將有助于降低研發成本，縮短霍尼韋爾產品的上市時間。
展開 Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
本次技術聯合將確保航空航天、汽車及其他行業的安全關鍵型系統自動完成驗證，具備安全可靠性能
主要亮點
霍尼韋爾航空航天集團使用Ansys仿真技術加速安全關鍵型嵌入式系統的研發、分析和認證
將霍尼韋爾自主開發的基于模型的驗證解決方案與Ansys基于模型的研發環境集成，能夠可靠地設計、仿真和測試自動駕駛汽車、電動飛機和安全關鍵型代碼的嵌入式代碼
通過全新深入的合作，Ansys將為霍尼韋爾航空航天集團提供基于模型的研發解決方案，以加速在各個垂直行業對自動駕駛汽車、電動飛機和安全關鍵型代碼中的安全關鍵型嵌入式系統的研發、分析與認證。
安全關鍵型嵌入式軟件必須符合嚴格且復雜的行業法規。這種關鍵型軟件的驗證和確認是一項成本高昂、耗時耗力的工作，和許多手動操作過程一樣，它也容易出錯。霍尼韋爾與Ansys合作開發的基于模型的可靠工作流程進一步擴展了兩家公司的測試與分析功能，在整個軟件研發過程中提供自動化、效率與價值。將霍尼韋爾自主開發的基于模型的驗證解決方案與Ansys基于模型的研發環境集成，能夠可靠地設計、仿真和測試廣泛應用的嵌入式代碼。
Ansys聯合霍尼韋爾確保航空航天、汽車和其他行業的安全關鍵系統得到自動驗證，且安全和可靠
霍尼韋爾航空航天集團高級技術總監Jeff Radke表示：“Ansys與我們共同致力于轉型軟件研發。此次合作將有助于降低研發成本，縮短霍尼韋爾產品的上市時間。
展開 Ansys與霍尼韋爾合作加速安全關鍵型軟件研發
本次技術聯合將確保航空航天、汽車及其他行業的安全關鍵型系統自動完成驗證，具備安全可靠性能
主要亮點
霍尼韋爾航空航天集團使用Ansys仿真技術加速安全關鍵型嵌入式系統的研發、分析和認證
將霍尼韋爾自主開發的基于模型的驗證解決方案與Ansys基于模型的研發環境集成，能夠可靠地設計、仿真和測試自動駕駛汽車、電動飛機和安全關鍵型代碼的嵌入式代碼
通過全新深入的合作，Ansys將為霍尼韋爾航空航天集團提供基于模型的研發解決方案，以加速在各個垂直行業對自動駕駛汽車、電動飛機和安全關鍵型代碼中的安全關鍵型嵌入式系統的研發、分析與認證。
安全關鍵型嵌入式軟件必須符合嚴格且復雜的行業法規。這種關鍵型軟件的驗證和確認是一項成本高昂、耗時耗力的工作，和許多手動操作過程一樣，它也容易出錯。霍尼韋爾與Ansys合作開發的基于模型的可靠工作流程進一步擴展了兩家公司的測試與分析功能，在整個軟件研發過程中提供自動化、效率與價值。將霍尼韋爾自主開發的基于模型的驗證解決方案與Ansys基于模型的研發環境集成，能夠可靠地設計、仿真和測試廣泛應用的嵌入式代碼。
Ansys聯合霍尼韋爾確保航空航天、汽車和其他行業的安全關鍵系統得到自動驗證，且安全和可靠
霍尼韋爾航空航天集團高級技術總監Jeff Radke表示：“Ansys與我們共同致力于轉型軟件研發。此次合作將有助于降低研發成本，縮短霍尼韋爾產品的上市時間。
展開 SCADE — 產品級安全關鍵系統的MBD開發套件
隨著新能源三電、智能駕駛等新技術的應用，汽車中衍生出很多的安全關鍵零部件，如BMS、VCU、MCU、ADAS等，相應的軟件在汽車中的比重越來越大，隨之而來的安全性、可靠性要求也越來越高。
ANSYS主要針對安全關鍵零部件的嵌入式產品級軟件提供了SCADE開發套件，支持嵌入式軟件詳細設計和代碼自動生成，有效縮短產品研制周期，提高產品研制效率，提高產品質量。
產品功能
SCADE開發套件由以下主要部分組成:
? SCADE Architect：支持SysML建模能力，可以利用 SysML模型對系統行為及架構進行建模。還在SysML的基礎上進行封裝定制，擴展出了針對汽車嵌入式系統設計解決方案（AUTOSAR）、AADL及FACE解決方案等。
? SCADE Suite：套件的核心組件，支持控制邏輯詳細建模、仿真驗證、代碼自動生成。基于形式化語言“SCADE”，語法嚴謹，減少代碼生成配置環節，一鍵從模型生成代碼，且代碼生成器通過ISO 26262等行業安全標準認證（TCL3），經過安全認證（ASIL D）的代碼生成器，適用于軟件開發（適用于C 和Ada），支持標定和NI/dSPACE等HIL橋接。
? SCADE Suite Gateway for Simulink：支持將Simulink模型與SCADE模型的雙向轉換。
? SCADE Display：支持HMI詳細設計、仿真驗證、代碼自動生成。支持生成OpenGL/OpenGL Safety/OpenGL ES代碼，代碼生成器的通過行業安全標準認證，適用于軟件開發。
? SCADE Test：支持對SCADE模型進行驗證，包括對SCADE模型進行覆蓋率分析、自動化測試環境以及和目標測試平臺工具的橋接等。
展開 
SCADE—產品級安全關鍵系統的MBD開發套件
產品概述
隨著新能源三電、智能駕駛等新技術的應用，汽車中衍生出很多安全關鍵零部件，如BMS、VCU、MCU、ADAS等，相應的軟件在汽車中的比重越來越大，并且安全性、可靠性要求也越來越高。ANSYS主要針對安全關鍵零部件的嵌入式產品級軟件提供了SCADE開發套件，支持嵌入式軟件詳細設計和代碼自動生成，有效縮短產品研制周期，提高產品研制效率，提高產品質量。
產品功能
SCADE開發套件由以下主要部分組成：
SCADE Architect：專為系統工程師開發；底層SysML?技術是隱藏的，可重復使用的、獨特的模塊功能可用于基于組件的建模，數據字典的導入/導出以及跨模塊層級的數據傳播。Python、OCL、TCL或Java技術中只讀模型庫和完整模型API的管理可實現擴展和定制。此外，還支持從IBM Rhapsody、NoMagic MagicDraw和Sparx Systems Enterprise Architect等模型導入SysML模型，還在SysML的基礎上進行封裝定制，擴展出了針對汽車嵌入式系統設計解決方案（AUTOSAR）、AADL及FACE解決方案等
SCADE Suite：套件的核心組件，支持控制邏輯詳細建模、仿真驗證、代碼自動生成。
展開 康謀分享 | 確保AD/ADAS系統的安全：避免數據泛濫的關鍵！
<p>為確保AD/ADAS系統的安全性，各大車企通常需要<strong>收集、處理和分析</strong>來自于攝像頭、激光雷達等傳感器的數據，以找出提高系統安全性和性能的方法。然而在數據收集過程中，不可避免地會出現<strong>大量無價值數據</strong>，造成<strong>數據泛濫</strong>的情況，進而影響數據的分析處理進程。為此，本文將為大家分享如何通過<strong>合適的指標</strong>及<strong>分析工具</strong>，實現<strong>數據的高效管理、解讀和正確分析</strong>，以避免數據泛濫的不利影響！</p><h2>一、現有問題</h2><p>對于汽車制造商來說，確保AD/ADAS系統的安全性通常需要<strong>收集大量數據。</strong>為了開發、驗證和改進自動駕駛系統，流程通常是相同的：在各種條件下反復進行駕駛測試，累積大量里程。</p><p>這些來自不同來源（攝像頭、GPS、激光雷達、仿真等）的駕駛日志隨后會被處理和分析，以找出提高系統安全性和性能的方法。由于涉及<strong>大量傳感器</strong>、<strong>眾多不同的使用場景</strong>以及<strong>大量的行駛里程</strong>，需要<strong>處理的信息量</strong>會迅速呈<strong>指數級增長。</strong></p><p>面對如此大量待處理的信息，很容易讓人感到不知所措。收集到的很多內容可能<strong>毫無用處</strong>（設想開車行駛的數千公里卻什么有趣的事情都沒發生），而且在這個過程中，一些信息可能會<strong>丟失或損壞</strong>。此外，僅收集數據是不夠的。這些數據需要被<strong>管理、解讀和正確分析</strong>。數據池越大，這個過程就越痛苦和昂貴。
展開 新能源汽車試驗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，保障每次測試安裝位置一致性。
展開 代碼覆蓋率分析：Coco的實際應用
基本的代碼覆蓋率分析是代碼質量保證的關鍵部分。它為開發者提供了明確的指示，表明代碼已經經過測試，能夠讓人對工作成果感到放心。相反，一旦知道代碼還沒有經過測試，開發團隊會變得更加小心謹慎，并開始考慮如何制定新的測試用例以擴大覆蓋范圍。
然而，代碼覆蓋率分析不僅僅是為了讓人安心。
想想那些安全關鍵型系統，例如
醫療設備
、
汽車軟件
甚至是航空航天系統，在這些系統，哪怕是未經測試的代碼中最小的部分出現錯誤，都可能導致嚴重的后果。
還有那些涉及 ISO 標準或歐盟法規的嚴格監管業務領域，比如金融服務。該領域的合規要求甚至規定了一定的代碼覆蓋率。
為了避免錯過任何細節而帶來的風險，Coco這時就派上了用場。
可信賴的高負荷測試助手
對于判斷每個表達式是否經歷了徹底的測試，Coco是您值得信賴的助手。
Coco能幫助開發者在代碼覆蓋率分析中規避常見的陷阱，因為它支持跨平臺、跨編譯器，并支持廣泛的覆蓋率級別，因此它還提供了詳細的信息，以確定某些表達式是否在每種可能的組合中都得到了測試。
Coco支持多種編程語言，包括C、C++、C#和QML。它不局限于某個特定的測試工具，可以整合至任何測試框架中，包括Qt Test Library、GoogleTest、CppUnit和Catch等。
除了這些頂級的基本功能外，Coco還提供高級分析。Coco可以直觀地計算運行測試的最佳順序。這意味著最先運行的測試將增加更多覆蓋率，后面的較少。這樣，即使您不能運行100%的測試，也可以確信您已增加了最大的覆蓋率。
換句話說，Coco的工作原理是在盡可能短的時間內，通過盡可能少的測試來實現最大的覆蓋范圍。
展開 GUI自動化測試助力優質軟件開發
Coco
Coco
是一個用于分析許多應用程序、系統和設備的代碼的工具。Coco通過測量、報告和可視化軟件代碼中函數、語句和條件的測試覆蓋率，自動化了分析過程。它適用于安全關鍵型系統，而且可用于滿足汽車、醫療和其他行業的監管要求。
Test Center
Test Center
是一個用于管理測試結果的集中式平臺，并允許您快速、交叉協作地了解應用程序的運行狀況。它基于Web，而且是輕量級的，可以很輕松地從任何瀏覽器訪問。
GUI軟件測試的挑戰是什么？
任何GUI自動化測試的軟件項目都會遇到一些障礙。我們來看看其中的幾個例子：
預期的行為需要明確
雖然GUI測試自動化讓我們能夠更精確地運行測試用例，但這也意味著您需要更明確地了解預期的行為。這就意味著分析現有的測試用例，以確保它們清楚地說明了正在測試的內容，這樣計算機就知道該做什么。
前期投入
采用自動化測試需要前期投入。需要準備好測試用例和測試方法，并且必須創建初始設置。這包括選擇正確的GUI測試自動化工具，然后學習如何使用該工具。測試用例可能還需要轉換為工具支持的格式。
自動化盲區
由于自動化測試能夠節省大量時間，測試人員可能會傾向于在測試過程的每個方面都實現自動化，進而陷入“自動化盲區”。
GUI自動化測試如何幫助發布質量更佳的軟件
GUI測試自動化為測試人員提供了寶貴的服務，因為它可以在受控情況下分離和分析應用程序或網站的各個方面。您可以放心，通過GUI自動化測試，您的產品最終界面將具有最高的質量，并將從用戶那里得到最少的投訴。這是因為GUI自動化測試檢查了軟件的各個方面，從菜單和側邊欄的可訪問性到跨平臺文本的易讀性。
展開 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不但可以根據需求生成測試用例，還可以監測系統輸出是否符合需求規格說明中的要求。
展開 