架構驗證的案例
Axivion Suite：靜態代碼分析與架構驗證工具
Axivion Architecture Verification
實現架構驗證可確保系統結構保持清晰明了。為創建軟件架構的結構模型，您可以手動設置，也可以從UML模型或其他形式的圖形結構中導入。軟件架構侵蝕和架構債務變得透明，因此可以有效地應對。為了檢查代碼是否符合架構，需標記偏差、阻止進一步的架構侵蝕。已存在的架構設計債務可以通過有針對性的重構措施加以糾正，您可以在架構驗證的結果報告中直接監控這些措施。
可根據您的開發環境進行定制
Axivion Static Code Analysis與Axivion Architecture Verification無縫集成到您現有的開發環境中。這些工具可高度定制以滿足您的個性化需求。我們的專家將支持整個執行過程，確保您從項目之初就能從中獲益。
提高生產力
減少代碼缺陷
減少代碼占用空間
降低風險
按時發布功能
減少對個人的依賴
提高客戶滿意度
保障投資
Axivion 功能 - 發現項目中的軟件侵蝕
軟件侵蝕（又稱技術債務）描述了隨著時間的推移，軟件的可維護性、可擴展性及可重用性變得更加困難甚至不可能的過程。程序代碼會被不斷修改，以增強軟件功能或適應新要求。由于復雜軟件通常由一個團隊開發，他們對于不熟悉的代碼部分可能有不同的預期。這可能會導致一個人修改代碼時沒有意識到會影響其他部分的代碼，從而違反架構或功能限制。雖然這可能不會損害軟件的功能，但會給未來的任務帶來額外負擔。
在安全性方面，軟件侵蝕會降低系統的可靠性，并危及其功能安全性。因此，軟件可能不再符合認證標準（如ISO、DoD、MISRA），從而阻礙了某些應用領域的成功認證。
展開 RISC-V芯課程 | 從微架構到系統：基于新思科技RISC-V驗證方案構建高效可靠的RISC-V 驗證閉環
新思科技芯課程全新RISC-V系列即將推出，本次課程內容共4講，首場【從微架構到系統：基于新思科技RISC-V驗證方案構建高效可靠的RISC-V 驗證閉環】將于5月15日上線，深度剖析RISC-V在現代SoC設計中的核心驗證難點及挑戰，并重點介紹新思科技RISC-V相關的動態驗證方案，通過將STING的高效激勵生成能力與ImperasDV的精準檢查能力與新思科技的VCS、Verdi深度融合，展示如何構建一個涵蓋“激勵生成- 高速仿真- 深度調試-覆蓋率收斂”的仿真驗證方案。歡迎了解并預約更多系列課程：
1. 5/15: 從微架構到系統：基于新思科技RISC-V驗證方案構建高效可靠的RISC-V 驗證閉環
2. 5/22: 形式驗證為RISC-V內核保駕護航
3. 5/29: ZeBu高性能Emulator 助力RISC-V高效驗證
4. 6/5: FC QIK & AI FUSION：高效賦能RISC-V后端實現
講師簡介：
范宇杰 | 新思科技資深應用工程師
擁有多年SOC與CPU驗證經驗，近年來專注于RISC-V生態系統及新思科技RISC-V及CPU相關驗證方案的推廣與支持。
課程時間：
2026.05.15（周五），14:00-15:00
歡迎掃碼進入課程報名入口，了解更多RISC-V系列芯課程！
展開 中國海裝機組成功驗證弱電網架構適應性技術
為了提高風電機組弱電網架構的適應性和應對越來越復雜的電網問題，中國海裝在提高機組弱電網適應能力、改進機組控制策略、智能支持電網運行等方面采取措施。
電網次同步振蕩是行業難題，困擾國內外業界專家多年，中國海裝去年利用序阻抗分析方法成功解決了景峽風場次同步振蕩問題，經風場實際運行驗證已徹底解決。本次是技術推廣后再一次充分驗證了中國海裝解決電網次同步振蕩技術的有效性和可靠性。
不忘初心，砥礪前行。隨著新疆哈密風電項目風機再次抵擋新疆三塘湖地區電網次同步振蕩“襲擊”，驗證了中國海裝機組次同步振蕩抑制技術在不同電網復雜工況下的超強適應性，標志著中國海裝已全面掌握抑制電網次同步振蕩技術，具備推廣化的條件，同時也意味著中國海裝將不斷加強電網適應性技術、智能電網支撐技術，努力成為我國具有優勢特色的風電整體解決方案提供商。
展開 成功編碼：加強制造業的軟件生命周期
從簡化工作流程、提高性能到符合法規要求，架構驗證與軟件質量保證流程的整合站在了創新的最前沿。了解如何在工業自動化領域保持競爭力。
軟件分析和測試在工業自動化中發揮著至關重要的作用。雖然手動測試對于解決微妙問題，尤其是與人類安全相關的問題，仍然至關重要，但自動化測試在速度、可擴展性和成本效益方面具有明顯優勢，可確保自動化系統的可靠性。
整合自動化分析和測試協議使行業有能力提高生產力和產品質量，同時降低與人為錯誤相關的風險，因為糾正人為錯誤既耗時又成本高昂。
擁有穩健的架構驗證流程是完善代碼的基石，可使自動化變得高效、合規。它通過識別代碼合規性偏差、潛在瓶頸和漏洞，幫助簡化工作流程、改善數據流并提高整體性能。
通過架構驗證和靜態代碼分析縮小創新差距
麥肯錫的一份報告強調，制造商在推出工業 4.0 解決方案之前往往會陷入 "分析癱瘓"。當他們等待一個成熟的、理想狀態的數據和 IT/OT（信息技術/運營技術） 架構被定義和實施時，他們就會錯過一個經驗證的且實用的最小可行架構所帶來的更短的影響時間。
"互操作性和集成是關鍵考慮因素。自動化系統應與各種 IT 系統無縫集成，以促進數據傳輸、轉換和協調，"數據與分析咨詢、研究和教育公司 DBP Institute 的創始人兼管理負責人Prashanth H. Southekal說道。
Qt Group質量保證客戶服務部門的Daniel Simon博士也表達了同樣觀點，他強調了維護軟件架構的重要性："如果不追蹤軟件架構，就會失去對復雜性的總體把握，從而遇到麻煩。由于軟件會隨著時間的推移而退化，可維護性也會降低，因此您有可能無法及時將產品推向市場。我們稱之為'創新差距' —— 在某些時候，軟件會達到無法處理的復雜程度。軟件無法再更改。
展開 
探索Axivion Suite 7.7：高達100%的MISRA C/C++標準覆蓋范圍等
本文翻譯自：Explore Axivion Suite 7.7: Up to 100% MISRA C/C++ coverage and more
原文作者：Farida Kutar, Qt Group
我們很高興地宣布，用于靜態代碼分析與架構驗證的Axivion Suite 7.7正式發布。
近二十年來，Axivion Suite一直為嵌入式開發人員提供高效強大的靜態代碼分析與架構驗證工具，致力于確保軟件的長期質量。作為Qt Group質量保證產品的一部分，Axivion Suite將繼續滿足開發人員的技術需求，同時簡化和加速整體開發和測試工作流程。
這就是為什么最新發布的Axivion Suite 7.7的主要功能都與安全性、用戶友好性及擴展兼容性有關：
100%涵蓋MISRA C:2023標準
MISRA（汽車工業軟件可靠性協會）標準提供了編碼標準和指南，有助于確保軟件的安全性、可靠性及質量。雖然其重點是汽車行業，但其標準也可應用于軟件發揮重要作用的其他安全關鍵型行業，如醫療設備、航空航天或工業自動化。2023年初，最新的MISRA C:2012第4號修正案（MISRA C:2012 AMD4）發布，這是針對C11和C18語言版本的一系列修正案中的最后一項。
在最新發布的Axivion Suite中，MISRA檢查器現在可以全面支持MISRA C:2012標準和MISRA C:2023標準，包括所有相關修正案。因此，Axivion Suite 7.7涵蓋了100%所有可自動測試的MISRA C規則和指令。這使開發人員能夠遵守最重要的編碼指南，尤其是與安全相關的嵌入式應用程序，并防止可能導致事故或功能失常的軟件相關故障。
展開 Qt客戶案例：針對自動化技術固件的架構分析和MISRA檢查
作為架構驗證的一部分，現有的Enterprise Architect UML模型將被自動導入并檢查代碼是否符合規范。Axivion Suite將融入TR-Electronic測試構建工具鏈，對于軟件來說，其中至關重要的是符合CERT?編程規范。
成功實踐
TR-Electronic此前部署了一些測試工具，用于自動檢查固件的外部質量，例如功能適用性、效率等。隨著Axivion Suite的引入，現在還擁有了一款高效的工具，用于自動檢測軟件的內部質量。
此工具套件將在每次構建后負責自動檢查固件代碼和架構。分析能夠可靠地檢查指標閾值的遵循情況，以及公司特定的和通用的編程規則（如MISRA和CERT?），并指出違反既定軟件架構的情況。架構驗證確保始終符合接口要求，以便支持各個模塊的封裝。
在持續的代碼開發過程中，尤其是在出現架構違例的情況下，迅速的反饋周期很快對編程質量產生了正面效果。這得益于定期且有意義的反饋，不僅可以促使編碼及時進行修正，還可以幫助開發者更快地學習和掌握技能。
總體而言，TR-Electronic大幅減少了在驗證軟件架構和代碼方面所需的人力成本。同時，Axivion Suite通過確保固件開發的安全性，完善了開發團隊現有的工具鏈。
關于TR-ELECTRONIC
TR-Electronic專注于為自動化技術產業開發、制造和銷售傳感器及執行器。旋轉編碼器業務部門的產品采用光學或磁學掃描，用于檢測旋轉軸的角度運動。磁致伸縮線性編碼器可以在不接觸的情況下測量線性運動的位移，例如在液壓缸內的應用。運動業務部門的智能緊湊驅動器可作為執行器或過程驅動。定制的控制和測量模塊融入了專業的壓力和沖壓技術，進一步完善了整個產品組合。組件業務部門提供自動化組件。
展開 Qt客戶案例：符合醫療軟件架構要求的高標準源代碼檢查解決方案
為在如此龐大的團隊中始終保持高質量的軟件品質，西門子醫療的計算機斷層掃描（CT）嵌入式軟件團隊需要一款自動分析和驗證軟件架構及源代碼的自動化工具，同時需要與現有系統保持兼容。他們在Axivion Suite中找到了答案：Axivion工具套件完全契合高標準的要求。
“得益于在實施過程中的支持以及專業服務團隊的出色支持，我們很快就輕松地將Axivion Suite集成到我們的開發環境中。現在軟件中幾乎不存在架構違例，而且在全球范圍內，我們的開發團隊都實現了更高標準的架構符合性代碼。”
面對挑戰
遵守全球標準是至關重要的，尤其是在醫療技術領域。西門子醫療的CT設備嵌入式軟件團隊所使用的任何驗證架構和代碼的工具，不僅需要滿足IEC 62304國際標準所涵蓋的醫療器械軟件開發規范，還必須滿足客戶的高要求，例如確保遵守美國國防部的要求。除了遵循通用的標準之外，還需將CT設備嵌入式軟件團隊的個人編碼準則納入檢查。在此方面，任何新工具都應確保自動化分析和檢查能無縫地融入全球分布的團隊工作流程中，對現有代碼與新代碼進行系統性化檢查。
其中一個必不可少的前提條件是，新工具必須與開發者已經熟悉的專有系統兼容，如IDE、構建環境、編譯器和配置管理系統。此外，開發過程是在虛擬機中使用原生Linux構建，然后通過Windows啟動，所以任何新工具都需要能夠適應這種配置。
在選擇工具時，軟件架構是一個需要重點考慮的關鍵因素，因為西門子醫療的CT設備嵌入式軟件團隊正借助UML工具不斷改進這一架構。
作為自動化分析和檢查過程的一部分，該工具必須能夠持續確保與這些工具建模的軟件架構以及設計準則的一致性。
展開 Qt質量管理工具簡介
Qt質量管理工具：
您在軟件質量管理中需要的一切
您可以利用Qt質量保證工具執行跨技術、跨設備的GUI測試，整個測試框架的代碼覆蓋率分析、靜態代碼分析，并檢查軟件架構的合規性。您可單獨使用一種工具，或成對使用，或同時使用所有工具，以攔截軟件侵蝕。
質量管理工具包的最新成員來自靜態代碼分析和軟件架構驗證方面的技術領導者。2022年8月，Qt官宣收購Axivion，為質量保證系列增添新成員。Axivion自成立以來一直是軟件架構和靜態代碼分析領域的新一代技術領導者。
Axivion除了經典的靜態代碼分析（當然通常被理解為一種檢測錯誤的方法）之外，它還檢查各種標準編碼指南，例如 MISRA、AUTOSAR C++14 和傳統代碼指標。此外，Axivion Suite 能幫助您檢查軟件架構的合規性。
Qt質量管理工具主要使用場景
GUI測試工具概述
*SQUISH: 來自FROGLOGIC收購
Squish GUI Tester是一款用于GUI功能自動化測試的工具。在強大的Squish IDE中，用戶可通過錄制、編寫、調試、執行腳本或使用行為驅動開發的測試用例為他們的桌面、移動、Web或嵌入式GUI和人機交互界面（HMI）設計自動化方案。Squish可跨平臺、跨設備和跨技術工作，支持當今市場上幾乎所有開發框架的自動化，對Qt框架的支持更是無與倫比。
功能特點
強大靈活的UI控件識別
通過用戶友好、直觀且功能強大的Squish IDE記錄、重構、調試、執行和維護您的腳本。
直觀的集成開發環境
通過用戶友好、直觀且功能強大的Squish IDE記錄、重構、調試、執行和維護您的腳本。
易讀易用的腳本語言
自動化GUI測試用例支持Python(2、3)、JavaScript、Perl、Ruby和Tcl五種腳本語言。
展開 MBSE咨詢服務與工具——MBSE在汽車行業的應用
概述
為應對汽車電氣化、智能網聯化的挑戰，業界的主流方向為：由分布式的控制單元向中央域控制器轉變，汽車軟件架構向SOA架構發展。傳統的整車開發過程在面對多學科綜合、功能安全需求、產品功能追溯、復雜多核異構等問題時，便顯得力不從心。
將基于模型的系統工程（Model Based System Engineering, MBSE）方法應用于整車開發過程中，可解決傳統整車研發過程中的工程數據一致性、可驗證性、可追溯性的問題，降低整車產品開發難度、盡早發現和避免潛在風險，進而提升開發效率和降低開發成本以及后期維護成本。
MBSE在功能開發和驗證中的應用
咨詢服務
MBSE流程咨詢與實施:車載嵌入式軟件流程、需求管理、需求采集、需求分析、功能設計、架構設計、需求形式化驗證、功能驗證、架構驗證、需求發布和復用過程和工具咨詢及實施
MBSE相關培訓:用例分析、基于模型的需求分析、SysML/UML建模語言、基于Rhapsody的系統工程仿真等方法培訓
MBD流程咨詢及服務:嵌入式高性能多核異構平臺的前沿智能算法快速驗證咨詢,基于模型的嵌入式軟件國產化平臺快速驗證定制服務
相關工具
展開 Qt客戶案例 | 軟件侵蝕防護：面向快速發展的汽車行業的導航軟件
與此同時，在所有開發階段都要確保系統架構保持可持續性、一致性和易于維護。這是唯一能夠在長期內快速、經濟高效地實現新需求并滿足汽車行業的高質量要求的方法。EB本身同樣面臨著額外的挑戰，因為設計這些復雜的軟件解決方案需要的不僅僅是幾位開發者在同一地點齊心協力地工作。逐漸發展成更大型的開發團隊已成趨勢，多數項目通常會由來自世界各地的上百名員工共同協作完成。其中面臨的挑戰在于確保所有參與項目的人員都能夠實時掌握信息并維持相同的技術知識水平。當新成員加入開發團隊時，必須盡快幫助他們了解項目內容并參與到生產過程中。
“Axivion Suite為EB街道導航系統實現新功能的過程中提供了關鍵性的支持，并確保我們軟件解決方案有長期的質量保證。”
解決方案
在EB的日常開發工作中，Axivion Suite從一開始就滿足了兩個核心需求：首先，該軟件工具會定期自動檢查，確認基于UML建模工具所建立的高層級架構與具體設計與實際代碼之間的一致性。同時，Axivion Suite不斷檢查具體設計是否滿足高層級架構要求。違背架構要求的信息會匯入定期報告，根據部署場景，可以通過電子郵件發送給單個團隊經理或整個開發團隊，或者作為儀表板消息顯示，或在正常的集成開發環境中提供。針對每個具體情況，可以決定采取相應的對策，如代碼修正或架構跟蹤。在這個過程中，關鍵在于確保項目相關人員始終能夠透明地獲取到這些信息。這樣可以幫助團隊做出明智的決策，例如在某些情況下優先考慮快速有效的開發，而將常規系統維護視為次要任務。他們也可能會決定不立即進行調整，但對這些違背架構要求信息的保留以便后期重新調整優先級是至關重要的。
為了確保Axivion Suite迅速成為EB日常開發工作的一部分，作為解決方案提供商，Axivion已在引入新工具的每個階段進行了指導。
展開 汽車架構開發中的整車熱管理系統開發方法研究
3.2架構樣車裝車及試驗驗證
3.2.1架構樣車裝車
為了保證架構樣車能在架構開發周期內更高效及時地完成相關開發策略與技術方案的試驗驗證，并基于試驗結果完成技術方案與成本優化，需根據架構開發主計劃對不同架構樣車方案制定有針對性的裝車計劃與試驗方案。
對于完全選用現有成熟模塊進行裝車的樣車方案，其裝車及試驗驗證計劃應安排在技術方案固化前，并預留1～2個月的優化方案制定與驗證時間。
對于核心模塊部件正在開發中的樣車方案，為保證架構樣車試驗代表性，架構樣車裝車計劃應緊隨模塊樣件/樣機交付節點，并根據架構開發主計劃合理預留優化方案制定與驗證時間。
3.2.2架構樣車試驗驗證
架構樣車整車熱管理試驗需以驗證架構的整車熱管理系統特征是否實現為目的，結合架構樣車裝車方案特點有針對性地進行試驗方案制定與試驗實施。如架構樣車的整車熱管理系統試驗驗證成功，則共同的工程解決方案有效，可以順利拓展到架構內各車型的整車熱管理系統開發中。
4架構內拓展車型的整車熱管理系統的高效開發
架構樣車的整車熱管理系統通過試驗驗證、共同的工程解決方案得到認可以后，同一架構內所開發的拓展車型，熱管理系統方案由成熟的架構樣車方案演變而來，方案設計無需從零開始。架構樣車裝車方案已經考慮了多款動力總成性能帶寬，架構樣車的整車熱管理系統試驗驗證結果具備較強的代表性，熱管理系統方案合理性已在架構樣車上得到比較充分的驗證。另外拓展車型可以在模塊化庫中選擇熱管理相關模塊和核心零部件，與架構樣車的熱管理相關模塊和核心零部件具有很強的共用性、繼承性和拓展性。因此，拓展車型的整車熱管理系統開發將更加可靠，開發周期將大大縮短。
展開 
什么是數字孿生？有哪些關鍵能力？
包括電子電氣系統的架構設計和驗證、電氣連接設計和驗證、電纜和線束設計和驗證等。相關仿真包括電子電氣系統的信號完整性、傳輸損耗、電磁干擾、耐久性、PCB散熱等方面的分析。
軟件設計、調試與管理。包括軟件系統的設計、編碼、管理、測試等，同時支撐軟件系統全過程的管理與bug閉環管理。
設計全過程管理。系統設計全過程的管理和協同，包括設計數據和流程、設計仿真和過程、各種MCAD/ECAD/軟件設計工具和仿真工具的整合應用與管理。
本文摘編自《復雜裝備系統數字孿生：賦能基于模型的正向研發和協同創新》，經出版方授權發布。
來源于：來源：大數據DT 作者：方志剛，西門子工業軟件大中華區副總裁兼CTO
展開 基于新架構的智能汽車整車線束設計研究
在實際工作執行期間，需要根據一個環節，對電子電氣架構方案進行物理、邏輯的優化設計，保證在真正含義能夠促進電氣電器件解決方案的優化設計。對于電子電氣系統，其中存在電氣器件、軟件、機械等，基于其中的相關需求，促進設計工作的有效執行，保證愛測試的規范性以及操作工作的合理性。
4）電子電器件、相關設備的開發。在該階段實際執行過程中，需要對電子電器件進行合理研究。基于設計系統硬件、軟件、機械系統需求的設計，保證各個分工工作在零件供應商方面進行完成。在工作中還需要注意到：零件供應商的工作階段，要根據自身測試規范，對電子器件進行合理驗證，以保證電子器件的構建滿足汽車廠家的設計要求，符合硬件、軟件、機械系統的開發。
5）對整車系統架構的設計方案進行驗證。在實際驗證工作中，要基于相關的測試規范，為其找出適合整車電子電氣架構方案驗證工作。
6）在對整車電子電氣架構設計目標進行驗證期間，需要對存在的目標可信性進行思考，保證電子電氣架構設計需求目標得以優化實現。
3. 電子電氣架構發展趨勢
隨著汽車向電動化、智能化、網聯化方向發展，整車電器功能越來越復雜，為實現復雜度越來越高的汽車功能配置，汽車電子電氣系統也在不斷進行適用性調整，出現各式各樣的汽車電子電氣新架構。汽車電子電氣新架構總體發展方向主要如下幾個方面：
1）電控單元（ECU）的整合程度將提升，控制單元的集成化越來越高，單個控制器的功能范圍擴大，整車的控制器數量呈現下降趨勢。
2）車載傳感器數量將飛速增加，為確保車輛有充足的安全冗余，汽車將安裝具有多個具備相似功能的傳感器。
展開 基于新架構的智能汽車整車線束設計研究
在工作中還需要注意到：零件供應商的工作階段，要根據自身測試規范，對電子器件進行合理驗證，以保證電子器件的構建滿足汽車廠家的設計要求，符合硬件、軟件、機械系統的開發。
5）對整車系統架構的設計方案進行驗證。在實際驗證工作中，要基于相關的測試規范，為其找出適合整車電子電氣架構方案驗證工作。
6）在對整車電子電氣架構設計目標進行驗證期間，需要對存在的目標可信性進行思考，保證電子電氣架構設計需求目標得以優化實現。
3. 電子電氣架構發展趨勢
隨著汽車向電動化、智能化、網聯化方向發展，整車電器功能越來越復雜，為實現復雜度越來越高的汽車功能配置，汽車電子電氣系統也在不斷進行適用性調整，出現各式各樣的汽車電子電氣新架構。汽車電子電氣新架構總體發展方向主要如下幾個方面：
1）電控單元（ECU）的整合程度將提升，控制單元的集成化越來越高，單個控制器的功能范圍擴大，整車的控制器數量呈現下降趨勢。
2）車載傳感器數量將飛速增加，為確保車輛有充足的安全冗余，汽車將安裝具有多個具備相似功能的傳感器。從長期考慮，汽車行業將開發更完善的傳感器解決方案來減少傳感器數量和成本，從而使汽車的成本下降。
3）傳感器將更智能，為實現信息傳輸的高效性，集成化的智能傳感器將需要完成部分傳統ECU完成的工作。為確保傳感器的正常運轉，新一代傳感器清潔系統，例如除冰除塵等，將是新發展趨勢。
4）“汽車以太網”勢不可擋將成為整車支柱。汽車交互的數據量的提升，互聯環境下的安全保障，以及跨行業標準協議的需求很有可能催生汽車以太網。本地互聯網絡、控制器區域網絡等傳統網絡將繼續在汽車上應用，但僅限于封閉式的低級網絡。
展開 汽車系統設計的整體解決方案（免費領文檔）
重點是快速的迭代優化和對跨域架構的評估和驗證。
獲取完整文檔
﹀
﹀
點擊鏈接 ：http://avz6v7gw1lfs7v7u.mikecrm.com/9hNbL9z
以下為部分截取
▼
掃碼獲取完整文檔
﹀
﹀
