集成式驗證與認證的案例
航空航天及國防行業的驗證管理（免費領文檔）
此高層摘要展示驗證管理數字線程。本摘要展示了集成式驗證與認證對于加快航空航天及國防行業產品交付的價值所在。閱讀本摘要，了解如何按計劃、按預算驗證產品，消除驗證和認證活動中的孤島。
飛機認證
構建數字化驗證和認證數字孿生有助于企業采用綜合飛機認證方法。與一般性產品執行活動整體關聯的驗證管理可以幫助掃除創新道路上的障礙。
驗證管理數字線程以完整的可追溯性以及與認證機構更緊密的關系來轉變飛機認證。這種數字化轉型對于在復雜行業保持競爭優勢以及克服以下障礙必不可少：
監管不斷加碼，文檔混用
驗證和認證活動中存在的信息孤島造成返工和效率低下
可追溯性欠佳，合作受阻
驗證和認證數字孿生
企業中的設計、測試和認證流程通常由不同團隊完成，每個團隊的可交付成果各不相同。使用驗證管理數字線程可將這些流程與數字孿生技術有機結合。了解如何利用此技術加快新品交付，同時達到甚至超出客戶對性能、安全性和可靠性的期望。
驗證管理解決方案
我們的驗證管理解決方案可確保所有單獨驗證計劃、物品、夾具、儀器、測試和模擬結果之間的完全可追溯性。無論是 OEM、供應商還是初創企業，都可以通過提供單一集成環境來擴大規模并加快認證。這樣可確保所有產品驗證活動均由需求推動，并按正確順序執行。
請閱讀高層摘要，了解詳情。
點擊獲取文檔
http://t8iw4ulf0hpixn8k.mikecrm.com/JH9pbs7
以下為視頻部分截取
▼
點擊獲取文檔
http://t8iw4ulf0hpixn8k.mikecrm.com/JH9pbs7
-END-
展開 ET·ci —持續集成驗證平臺
? 基礎服務與框架模塊
? 定時獲取配置庫上穩定版本代碼以及測試用例，自動進行測試
? 監視配置庫代碼庫/用例庫，識別變更自動進行測試
? 根據一鍵輸入進行自動測試
? 測試流程自動化執行及分析
? 執行監控和過程數據抓取及生成報告并發送信息給相關授權人
? 管理與配置模塊
? 該模塊一般包括項目管理、環境配置和日志管理
? 各集成模塊
? 配置管理工具集成
? 編譯工具集成
? 靜態測試工具集成
? 軟件運行時間評估工具集成
? 單元/集成測試工具集成
? MIL/HIL測試工具
主要功能與優勢
? 軟件開發、測試自動化流程定制，提高軟件質量，縮短軟件研發周期
? 可實現分布式編譯、并行測試、一鍵式部署
? 通過集成軟件開發、測試工具鏈，實現工具自動執行、動態分析
? 采用一定的策略實現對現有資源的統一管理和調度
? 基于同一平臺自動收集過程數據，實現軟件開發過程動態監控與透明化
? 支持持續集成、持續交付、敏捷開發等應用案例
? 一次配置、持續有效、定時啟動、觸發啟動、每日構建、小步快跑、及時糾正
應用&案例
全自動軟件測試調度平臺ET·ci 無論在嵌入式行業還是非嵌入式行業，有很好的應用前景，以下案例是為某控制器開發廠商部署的應用平臺，包含了嵌入式軟件、非嵌入式軟件的測試自動化調度，集成的工具鏈包括：
? 編譯器vc++、gcc
? 配置管理SVN、synergy
? 靜態測試工具鏈QAC、QAC++、QAv
? 單元/集成測試工具Tessy
? 支持linux、windows雙操作系統
? MIL/HIL測試工具Mx-suite等
展開 ANSYS RedHawk-SC多物理驗證解決方案獲得臺積電先進工藝技術認證 附Ansys Redh
ANSYS(納斯達克市場代碼：anss)獲得了臺積電先進的工藝技術下一代芯片上系統(Soc)電源噪聲信號轉換平臺的認證。這有助于共同客戶驗證世界上最大的用于人工智能、機器學習、5G移動和高性能計算(Hpc)應用的芯片的功率需求和可靠性。
使先進的工藝技術能夠在熱熱點和高可變開關活動的存在下可靠地執行，消除了對配電網絡的過度設計。但隨著技術限制的顯著增加，電網大幅增長，合并了數百億個需要大規模并行化和非常高容量的電力節點。
ANSYS與臺積電合作認證ANSYS RedHawk-SC?對于臺積電行業領先的流程節點--包括N16、N12、N7、N6和N5--將與臺積電就其未來的工藝技術密切合作。該認證包括提取、電源完整性和可靠性、信號電遷移(EM)、熱可靠性分析和統計EM預算分析。RedHawk-SC提供了巨大的速度和容量，通過在ansys海景?-一個高度并行的數據庫，由大數據機器學習結構衍生，并為電子設計進行優化。
臺積電(TSMC)設計基礎設施管理司高級主管蘇克·李(Suk Lee)表示：“我們與Ansys的合作，已經解決了5G、AI和HPC等應用程序在硅設計方面的關鍵挑戰。”我們期待著與Ansys繼續合作，以幫助我們的共同客戶以高速和高容量的多物理σ設計解決方案來釋放他們對TSMC的工藝技術的創新，包括我們的5nm技術，這是目前世界上最先進的鑄造解決方案。
下載地址：Ansys Redhawk-SC 中文介紹
展開 Ansys RaptorH憑2.5D/3D集成電路和系統領域抗電磁效應獲三星Foundry認證
Ansys與三星的深入合作將加速AI、高性能計算和5G半導體設計的2.5D/3D IC驗證
Ansys? RaptorH?電磁（EM）仿真解決方案已通過三星Foundry的認證，該解決方案用于研發高級片上系統（SoC）和2.5維/三維集成電路（2.5D/3D-IC）。此次認證使得Ansys能夠幫助三星設計人員及三星Foundry客戶在采用三星新的簽核流程時更準確地分析并降低電磁效應帶來的風險，從而大幅加速先進人工智能（AI）、高性能計算（HPC）以及5G半導體設計的發展。
三星的一系列高級納米硅和2.5D/3D-IC技術需要一種驗證電磁干擾的簽核方法，避免其影響到復雜的多芯片裝配體，而傳統工具在設計上難以滿足這一要求。工程師需要高容量電磁分析工具來準確建模超大型SoC和2.5D/3D裝配體的信號完整性，這些裝配體能以極高的數據速率處理信號。2.5D/3D-IC中信號之間難以量化的相互作用是關鍵故障點，限制了新技術的推廣。
將Ansys? HFSS?的高保真度高頻電磁求解器與Ansys? RaptorX?的高速魯棒性架構結合之后，RaptorH高度集成的分析解決方案有助于三星設計師對電磁現象建模，提高其2.5D/3D芯片裝配體中的頻率，同時確保寄生效應不會影響系統。這將推動這些新型封裝技術更快地進入主流生產，并大幅降低風險。
展開 
ANSYS多物理場仿真解決方案憑借其多晶片集成高級封裝技術獲得了Samsung Foundry認證
ANSYS和三星支持AI、5G、汽車、高性能計算和網絡應用的全新3D-IC參考流程
2019年10月17日，匹茲堡訊– ANSYS（NASDAQ:ANSS）多物理場仿真解決方案憑借其最新的多晶片集成TM (MDI)高級2.5D/3D集成電路 (2.5D/3D-IC)封裝技術獲得了Samsung Foundry認證。 在為人工智能（AI）、5G、汽車、網絡和高性能計算（HPC）等應用設計2.5/3D-IC時，該認證使雙方客戶能夠在更小的尺寸內提高性能并降低功耗。
由三星MDI支持的系統級封裝設計非常復雜，多個晶片以2.5D/3D封裝配置集成在一個interposer上。MDI流能與單個畫布中的分析、實施和物理驗證相結合，并獨具早期系統級路徑發現和復雜的多物理場簽核功能。這些設計廣泛應用于AI、5G、汽車、高速網絡和高性能計算應用，以實現極高的系統帶寬、低延遲和高性能。MDI簽核的ANSYS多物理場仿真解決方案能提供完整的2.5D/3D-IC方法，用于對芯片、封裝和電路板以及系統設計進行寬頻譜范圍內的功率、信號以及熱完整性與可靠性分析，以提高工程效率、實現仿真精度并加速獲得結果。
ANSYS? Icepak?與ANSYS? RedHawk?系列產品的電源、信號和熱完整性及可靠性分析解決方案均獲得了Samsung Foundry的認證，該認證允許通過硅通孔、微凸點、高帶寬存儲器、高速接口和不同晶片對硅interposer進行詳細建模，這對于準確仿真功率、信號和熱完整性效應來說至關重要。
三星電子公司Foundry設計技術團隊副總裁Jung Yun Choi說：“Samsung Foundry和ANSYS高級MDI封裝參考流程使我們雙方的共同客戶能夠通過準確分析芯片、封裝和電路板之間的復雜互連來滿足更高的功率、性能和面積要求，并降低成本，縮短周轉時間。
展開 嵌入式系統 | 基于SCADE Suite模型的驗證
SCADE認證級測試環境 (Qualified Test Environment) 是一套自動化環境，除融合了模型仿真和模型覆蓋驗證功能外，還支持管理仿真用例、仿真規程和仿真結果。
SCADE模型覆蓋分析 (Model Coverage) 支持低層需求的覆蓋驗證。除了可以單獨執行外，更常見的操作是基于QTE進行大規模自動化的模型覆蓋。
以上四個工具可應用于SCADE開發安全關鍵項目中最基本的驗證活動。除此之外，還有SCADE快速原型(Rapid Prototype)，SCADE形式化驗證(Design Verify)（*關于該部分內容可詳細參考《基于SCADE模型的形式化方法》的第五節），SCADE最壞運行時間和堆棧分析(Timing and Stack Optimizer)，SCADE編譯器驗證套件(Complier Verification Kit)，SCADE軟件生命周期管理(ALM)橋接器和SCADE多學科仿真文件生成(FMI/FMU)生成器等工具用于其他的驗證活動。
2
SCADE認證級測試環境Qualified Test Environment
圖表1: SCADE認證級測試環境工作流
大規模的自動化驗證活動推薦使用SCADE的認證級測試環境(Qualified Test Environment)來操作。
展開 嵌入式系統 | 基于SCADE Display模型的驗證
在上期#嵌入式系統Ansys SCADE系列專題內容中，我們為大家帶來了《基于SCADE Suite模型的驗證》的介紹，本次主題將針對基于SCADE Display模型的驗證做相關分享，分別從基于SCADE Display模型的基礎驗證活動、認證級測試環境QTE，以及基于SCADE Display的含Suite模型的白盒聯合仿真等方面做闡述。
1
基于SCADE Display模型的基礎驗證活動
由于SCADE Display同樣是使用基于模型的開發和驗證方式，所以使用SCADE Display后，驗證手段也是在評審、分析和測試的基礎上多了模型仿真。絕大部分驗證活動概念相關的內容可參考《基于SCADE Suite模型的驗證》第一章節的內容，本文不再贅述。下面先介紹大規模自動化驗證前的測試活動。
1.1 模型檢查與模型更正
模型檢查是模型仿真測試的基礎。但不同于SCADE Suite有一系列必需檢查的嚴格的語法語義規則，SCADE Display模型檢查的規則是可定制的，規則主要涉及兩大類：1.
展開 嵌入式系統 | 基于SCADE Suite模型的驗證
本文作為#嵌入式系統Ansys SCADE系列專題內容，此次將主要介紹『基于SCADE Suite模型的驗證』，第一部分是關于驗證手段的介紹，其中包含Ansys SCADE Suite支持的驗證工具介紹；第二部分是介紹如何使用SCADE認證級測試環境；第三至第七部分是其他驗證手段的介紹。
1
基于SCADE Suite模型的驗證
1.1 不含模型的傳統驗證手段
《安全關鍵軟件開發與審定—DO-178C標準實踐指南》書中指出：驗證，是應用于整個軟件生命周期的一個整體性過程。在DO-178C中的驗證，是包括評審、分析和測試的一個組合。評審是提供一個定性的評估；分析是提供正確性的可重復的證據；測試是運行一個系統或系統部件，以驗證它滿足指定的需求并檢測其錯誤。
展開 集成式船舶設計軟件用以加快創新
船舶設計軟件是應對此行業大量復雜性以及實施集成式船舶設計和工程方法的必要工具。
船舶行業新技術
影響船舶行業的一些重要趨勢：全球經濟向著可持續、動蕩不定的方向發展以及對于高附加值船舶和多功能船舶的需求增加。利用船舶行業的新技術，船舶設計師可以應對這些挑戰并將其轉化為競爭優勢。使用船舶設計軟件來實施集成式船舶設計方法，可以打造更好、更高效的船舶并開創更好的創新機遇。
未來船舶設計和工程方面的創新
這些趨勢意味著，未來船舶需以不同方式運作。運用船舶設計軟件，船舶制造商可以：
使用仿真來優化設計和性能
在設計和工程階段保持數據的一致性
使設計流程與船舶建造和運營相連通
實現電動且互聯船舶的構造
增進協同并改進信息管理
掌握集成式軟件的船舶設計基礎知識
經驗豐富的船舶制造商都知道，設計和工程階段影響 85% 的總體構造成本并決定了大約 90% 的船舶性能。船舶生命周期這一關鍵階段的集成式方法可以幫助船舶制造商掌握這些船舶設計基礎知識，從而加快創新、縮短交付時間和生命周期成本、減輕風險并控制設計螺旋。
展開 造船項目管理軟件：集成式數據平臺
集成式項目規劃和執行——在應對不確定性的同時依然保持對于造船項目的控制
點擊免費獲取
http://t8iw4ulf0hpixn8k.mikecrm.com/wTgeFpm
在如今這樣不確定性和競爭不斷加劇的形勢下，船廠必須能夠按預算、按時保質地交付產品。為此，船廠必須高效緩解全新復雜水平帶來的風險，才能保持對造船項目的掌控。采用數據集成式造船項目管理方法是其中的第一步。
集成式項目管理方法的優勢所在
如今，采用集成式項目管理方法已經勢在必行。成功依賴于順利的項目規劃和執行。成本、計劃和技術要求必須與經過充分規劃、資源配置和全面預算的端到端項目管理解決方案進行集成。這樣可以正確捕獲和管理項目關系，從而盡可能地降低風險。通過此項可下載資源，詳細了解集成式項目管理方法的優勢所在。
準確規劃造船項目
集成式項目管理系統可供項目經理構建準確計劃，包括造船項目的資源優化、工作負荷平衡以及關鍵路徑分析。船廠可以充分監控實時項目進度和船舶性能需求和項目截止日期的掙值。閱讀此解決方案簡報，了解更多相關信息。
資料部分截圖
點擊免費獲取
http://t8iw4ulf0hpixn8k.mikecrm.com/wTgeFpm
END
展開 集成式電機控制器選型設計與控制策略
集成式電機控制器接線原理如圖2所示。
圖1 集成式電機控制器電氣架構圖
圖2 集成式電機控制器接線原理圖
3 元件選型
集成式電機控制器（MCU） 包括HCU （高壓控制單元）、IGBT逆變器、PDU （電源分配單元） 等3個部分，下面分別介紹。
3.1 HCU
HCU （高壓控制器單元） 主要由電源電路、控制芯片（DSP/FPGA） 及其外圍電路、控制電路、檢測電路、I/0電路、CAN通信電路、傳感器組成，負責檢控三合一電機控制器內部元件，以及與外部設備通信。檢測電路負責收集控制器內部霍爾傳感器（L1、L2）、電壓傳感器 （V1、V2、V3、V4、V5、V6） 發出三相電流和接觸器前后端電壓信號，用以判斷當前控制器內部元件狀態，以及收集電機內部旋轉變壓器、溫度傳感器反饋過來的旋變和溫度信號，了解電機當前狀態。
展開 
博格華納丨集成式電驅動模塊iDM
iDM系列產品擁有高集成度、高效率和輕量化的優異特性，提供三種型號——iDM200 和iDM220，可根據設計架構和不同應用，輕松集成于乘用車和輕型商用車的前軸或后軸上。除純電動汽車外，iDM也適用于P4混合動力汽車，即電機位于前輪驅動車輛的后軸上。
iDM系列產品的主要優勢在于其可擴展和模塊化的架構，且支持各種齒輪速比和電機尺寸。iDM的工作電壓為220-480V直流電壓（VDC），根據客戶的不同的整車電壓平臺，該系列產品可提供高達160kW的峰值功率和3800N.m的峰值扭矩。這一先進電驅動產品可確保電機平穩安靜地運行，而其發卡式扁線定子繞組電機技術提供卓越的性能表現和出色的噪聲、振動與聲振粗糙度。
到2025年之前，博格華納的iDM電驅動系統還將提供峰值功率達到300kW、峰值扭矩達到4500N.m的產品。
值得一提的是，iDM模塊中使用的所有組件均為博格華納全自主研發的成熟技術，且都可作為高集成模塊或獨立新能源汽車驅動系統解決方案。此外，該產品支持整車平臺各類軟件功能需求，并提供支持車輛動態和能源管理的高級版本控制器。其軟件架構符合當前市場需求，易集成于AUTOSAR等通用平臺，可滿足ASIL D安全等級需求。
為應對現代車輛系統中不斷增加的數據交換需求，博格華納的先進控制器還可與CAN，CAN FD總線和flexray配合使用。
iDM電驅動系統主要由八個模塊構成：高性能電機、傳動系統冷卻模塊、電機控制模塊、信號連接接口、高壓電源接口、傳動軸接口以及駐車鎖死系統。
展開 集成式電機控制器選型設計與控制策略
集成式電機控制器接線原理如圖2所示。
圖1 集成式電機控制器電氣架構圖
圖2 集成式電機控制器接線原理圖
3 元件選型
集成式電機控制器（MCU） 包括HCU （高壓控制單元）、IGBT逆變器、PDU （電源分配單元） 等3個部分，下面分別介紹。
3.1 HCU
HCU （高壓控制器單元） 主要由電源電路、控制芯片（DSP/FPGA） 及其外圍電路、控制電路、檢測電路、I/0電路、CAN通信電路、傳感器組成，負責檢控三合一電機控制器內部元件，以及與外部設備通信。檢測電路負責收集控制器內部霍爾傳感器（L1、L2）、電壓傳感器 （V1、V2、V3、V4、V5、V6） 發出三相電流和接觸器前后端電壓信號，用以判斷當前控制器內部元件狀態，以及收集電機內部旋轉變壓器、溫度傳感器反饋過來的旋變和溫度信號，了解電機當前狀態。
展開 集成式電子液壓制動系統的復合制動協調控制
對制動力切換的過渡工況問題，Numasato等對液壓制動系統與電機的響應特性進行校正，解決兩者響應特性上的差異，但同時導致了系統整體的響應滯后.TERUO通過搭建濾波器，讓電機額外響應制動力需求的高頻信號，但由于高頻信號所占原信號的比例不大，導致該策略控制效果不理想.朱智婷等提出了一種包含制動力分配修正和電機力補償模塊的協調控制策略，制動減速度跟蹤誤差明顯減小，但該策略僅停留在仿真階段.清華大學呂辰基于所開發的具有協調式能量回饋功能的制動防抱死系統(energy-regeneration anti-lock brake system，EABS)，提出了回饋制動耦合非線性主動補償控制算法，令驅動電機對軸系彈性及齒側間隙耦合等非線性環節進行主動補償，仿真結果表明制動過程中沖擊度減小了67%，但沒有做進一步的試驗驗證.
展開 Tessy — 嵌入式軟件單元測試 / 集成測試工具
Tessy源自戴姆勒 - 奔馳公司的軟件技術實驗室，由德國Hitex公司負責銷售及技術支持服務，是一款專門針對嵌入式軟件進行單元/集成測試的工具。它可以對C/C++代碼進行單元、集成測試，可以自動化搭建測試環境、執行測試、評估測試結果并生成測試報告，其多樣化的測試用例導入生成方式和與測試需求關聯的特色，使Tessy在測試組織和測試管理上也發揮了良好的作用。目前Tessy廣泛應用在汽車電子主流客戶中。
主要特點
在V模型開發中，Tessy主要應用在單元測試和集成測試階段。單元測試通過運行代碼檢測出函數中錯誤，比如算法錯誤、接口問題等；集成測試則在單元測試的基礎上驗證單元之間接口的正確性。基于越早發現bug開發成本越低的原則，在進行代碼功能驗證的過程中，按照V流程右半部分先完成單元測試再進行集成測試的測試順序更為有效。
另外，Tessy也可以滿足各類標準（如ISO26262、IEC61508、EN50128/50129等）對測試的需求，比如Tessy可以滿足ISO26262中各等級對單元/集成測試的要求，當然Tessy本身也通過了TUV的認證，證明該軟件是安全可靠的，可以在安全相關的軟件研發過程中使用。
主要功能
? 自動生成測試環境、一鍵執行及評估結果
Tessy可以自動生成驅動程序、樁函數，幫助測試人員提高單元測試效率。
Tessy支持一鍵執行測試，并自動對測試結果進行評估，可生成多種形式的報告。
? 便捷的測試用例設計方式
除軟件界面手動設計測試用例外，Tessy還支持導入導出多種格式的測試用例。
展開 