Symtavision—分布式嵌入式系統時間建模分析和驗證工具

        Symtavision工具為Luxoft公司提供的一款分布式嵌入式系統時間特性建模、分析和驗證工具，主要應用于汽車領域。經緯恒潤聯合Symtavision工具廠商能夠為客戶提供完整的系統級時間特性建模、分析和驗證工具鏈以及項目咨詢服務。

產品介紹
        近年來，隨著系統復雜度的提升，由于某任務的執行或報文的傳輸沒有在特定的時間內完成而造成的系統功能性故障的問題愈發普遍，由此，對系統實時性需求的滿足正得到越來越多的關注。此外，諸多行業標準，如ISO26262、IEC61508、EN50128等均對分布式系統的時間特性分析和驗證有明確的要求。Symtavision工具中的SymTA/S和TraceAnalyzer模塊能夠很好的對嵌入式系統進行時間特性建模仿真、分析和驗證，進而滿足相關功能安全標準的要求。

• SymTA/S–時間建模、分析和驗證工具

? 在ECU、總線和系統級不同層面完成實時系統的時間特性建模、分析和驗證，相應的有SymTA/S ECU、SymTA/S Network、SymTA/S System三種配置可選
? 時間特性需求捕獲和建模
? 軟件功能和報文傳輸響應時間分析，包括最差響應時間分析（WCRTAnalysis），時間特性仿真分析（DistributionAnalysis）和特定情境分析（ScenarioAnalysis）

? 支持系統級的端到端（End-to-End）的時間分析
? 系統資源和（軟件/網絡）架構設計分析及優化
? 數據一致性分析（單核或多核CPU）
? 支持AUTOSAR OS、RTA OSEK、Generic OSEK、ERCOSek等實時操作系統，支持CAN、FlexRay、LIN、Ethernet(Standard/AVB/Time-Triggered）總線
? 可以導入dbc、fibex、oil、xml、AUTOSAR等配置文件，自動生成模型

• TraceAnalyzer–時間特性分析和驗證工具

? 導入ECU任務響應時間或總線報文傳輸時間記錄文件，進行圖像化顯示，定位問題，對已實現的真實系統的時間特性進行分析
? 將系統實際運行的時間特性與需求進行對比，進而對系統時間特性進行驗證
? 將trace文件生成的時間特性模型導入SymTA/S進行分析
? 可以導入CSV、XML、ASC、OT1等格式的trace文件
? 支持Gliwa T1、Green Hills、iSystem、LauterbachTrace32、Vector等生成的trace文件的直接導入

產品特性

• 網絡的時間特性分析--SymTA/S Network+TraceAnalyzer

? 捕獲網絡傳輸時間特性需求并建立參考模型
? 對因網絡變化或更新而產生的報文傳輸響應時間的影響進行預估
? 對網絡時間特性參數（如CAN offset等）進行優化，降低信號延時
? 為Gateway信號選擇較佳路由策略
? 在網絡database發布前，對傳輸時間及信號延時進行評估
? 將實際傳輸時間與需求進行對比，從而對時間特性進行驗證，并自動生成報告
? 確保從現有網絡架構到CAN-FD和以太網過渡的時間特性需求的滿足

• ECU的時間特性分析--SymTA/S ECU+TraceAnalyzer

? 捕獲ECU時間特性需求并建立參考模型
? 將實際運行時間與需求進行對比，從而對時間特性進行驗證，并自動生成報告
? 對代碼及執行時間進行優化，從而降低CPU負載率
? 對軟件架構、函數映射及任務調度進行優化，提供軟件可靠性
? 通過最差情況調度分析確保軟件分區和定時保護
? 確保單核ECU到多核ECU過渡的時間特性需求的滿足--AbsIntaiT+SymTA/SECU+StackAnalyzer
? 保證代碼性能的聯合方案，其中AbsInt aiT可以為SymTA/S ECU提供任務的最差執行時間（WCET），以便得出更加準確的最差響應時間（WCRT）；同時，StackAnalyzer工具可以提供任務的堆棧量預計值，避免堆棧溢出錯誤

• 系統級的時間特性分析--SymTA/S System+TraceAnalyzer

? SymTA/S System包括SymTA/S Network和SymTA/S ECU模塊，可以把控制器和網絡結合起來，在系統級對信號延時進行建模、分析和驗證
? 進行“傳感器->信號采集任務->總線通信->網關->總線通信->控制器任務->執行器”整條鏈路的信號延時分析

應用&案例

• FIAT通過時間分析將CAN總線負載率提高到70%

        菲亞特研發部門一直就采用SymTA/S來開發和驗證CAN總線系統。工程師在開發下一代車型的時候，在系統ECU數量增多但不計劃采用FlexRay總線的前提下，將CAN總線的通信能力發揮到較大（負載率提高到70%以上），但同時通過工具能夠確保設計的CAN總線滿足Deadline的要求。

• 寶馬公司通過時間分析確保AFS系統的時間可靠性

        寶馬公司開發的AFS（ActiveFrontSteering）控制器，是電子控制轉向干預技術（electronicallycontrolledsteeringintervention）首次在大的實際項目中的應用。BMW公司使用Symtavision公司的SymTA/S工具來找到軟件運行的極端情況，同時生成分析結果和各種圖表，而開發人員甚至不需要了解調度分析相關的數學計算公式。SymTA/S具有豐富的軟件接口，可以將采集到的運行數據以XML格式輸入到SymTA/S中。SymTA/S對所有的情況進行分析，并以圖形的方式解釋問題發生的原因。