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