產品介紹
近年來，隨著系統復雜度的提升，由于某任務的執行或報文的傳輸沒有在特定的時間內完成而造成的系統功能性故障的問題愈發普遍，由此，對系統實時性需求的滿足正得到越來越多的關注。此外，諸多行業標準，如ISO26262、IEC61508、EN50128 等均對分布式系統的時間特性分析和驗證有明確的要求。Symtavision，作為一家具有十年經驗的專注于嵌入式實時系統時間特性解決方案研究的公司，所提供的SymTA/S 和TraceAnalyzer 工具能夠很好滿足對系統實時傳輸信號的需求。
? SymTA/S – 時間建模、分析和驗證工具
? 在 ECU、總線和系統級不同層面完成實時系統的時間特性建模、分析和驗證，相應的有SymTA/S ECU、SymTA/S Network、SymTA/S System 三種配置可選
? 時間特性需求捕獲和建模
? 軟件功能和報文傳輸響應時間分析，包括響應時間分析（WCRT Analysis），時間特性仿真分析（Distribution Analysis）和特定情境分析（Scenario Analysis）
? 支持系統級的端到端（End-to-End）的時間分析
? 系統資源和（軟件/網絡）架構設計分析及優化
? 數據一致性分析（單核或多核CPU）
? 支持AUTOSAR OS、RTA OSEK、Generic OSEK、ERCOSek等實時操作系統，支持CAN、FlexRay、LIN、Ethernet（Standard/AVB/Time-Triggered）、TTP) 等總線
? 可以導入dbc、fibex、oil、xml、AUTOSAR等配置文件，自動生成模型
? TraceAnalyzer – 時間特性分析和驗證工具
? 導入ECU任務響應時間或總線報文傳輸時間記錄文件，進行圖像化顯示，定位問題，對已實現的真實系統的時間特性進行分析
? 將系統實際運行的時間特性與需求進行對比，進而對系統時間特性進行驗證
? 將trace文件生成的時間特性模型導入SymTA/S進行分析
? 可以導入CSV、XML、ASC、OT1等格式的trace文件
? 支持 Gliwa T1、Green Hills、iSystem、Lauterbach Trace32、Vector 等生成的trace 文件的直接導入
網絡的時間特性分析
--SymTA/S Network +TraceAnalyzer
? 捕獲網絡傳輸時間特性需求并建立參考模型
? 對因網絡變化或更新而產生的報文傳輸響應時間的影響進行預估
? 對網絡時間特性參數（如CAN offset等）進行優化，降低信號延時
? 為Gateway信號選擇更佳的路由策略
? 在網絡database發布前，對傳輸時間及信號延時進行評估
? 將實際傳輸時間與需求進行對比，從而對時間特性進行驗證，并自動生成報告
? 確保從現有網絡架構到CAN-FD和以太網過渡的時間特性需求的滿足
ECU 的時間特性分析
--SymTA/S ECU+TraceAnalyzer
? 捕獲ECU時間特性需求并建立參考模型
? 將實際運行時間與需求進行對比，從而對時間特性進行驗證，并自動生成報告
? 對代碼及執行時間進行優化，從而降低CPU負載率
? 對軟件架構、函數映射及任務調度進行優化，提供軟件可靠性
? 通過差情況調度分析確保軟件分區和定時保護
? 確保單核ECU到多核ECU過渡的時間特性需求的滿足
--AbsInt aiT+SymTA/S ECU +StackAnalyzer
? 保證代碼性能的聯合方案，其中AbsInt aiT可以為SymTA/SECU 提供任務的差執行時間（WCET），以便得出更加準確的差響應時間（WCRT）；同時，StackAnalyzer 工具可以提供任務的大堆棧量預計值，避免堆棧溢出錯誤
系統級的時間特性分析
--SymTA/S System +TraceAnalyzer
? SymTA/S System包括SymTA/S Network和 SymTA/S ECU模塊，可以把控制器和網絡結合起來，在系統級對信號延時進行建模、分析和驗證
? 進行“傳感器->信號采集任務->總線通信->網關->總線通信-> 控制器任務-> 執行器”整條鏈路的信號延時分析
經緯恒潤
北京市海淀區知春路7號致真大廈D座6層
電話：010-64840808-6105
郵箱：market_dept@hirain.com
網址：www.hirain.com
