在具有實(shí)時(shí)性要求的復(fù)雜分布式控制系統(tǒng)開發(fā)過程中，對(duì)系統(tǒng)時(shí)間特性進(jìn)行建模、分析和后期驗(yàn)證是非常必要的。為了解決相關(guān)問題，經(jīng)緯恒潤聯(lián)合Symtavision工具原廠可以為客戶提供系統(tǒng)級(jí)時(shí)間特性建模、分析和驗(yàn)證的工具鏈以及項(xiàng)目咨詢服務(wù)。
.png)
產(chǎn)品介紹
近年來，隨著系統(tǒng)復(fù)雜度的提升，由于某任務(wù)的執(zhí)行或報(bào)文的傳輸沒有在特定的時(shí)間內(nèi)完成而造成的系統(tǒng)功能性故障的問題愈發(fā)普遍，由此，對(duì)系統(tǒng)實(shí)時(shí)性需求的滿足正得到越來越多的關(guān)注。此外，諸多行業(yè)標(biāo)準(zhǔn)，如ISO-26262、IEC61508、 EN50128等均對(duì)分布式系統(tǒng)的時(shí)間特性分析和驗(yàn)證有明確的要求。Symtavision作為一家具有十年經(jīng)驗(yàn)的專注于嵌入式實(shí)時(shí)系統(tǒng)時(shí)間特性解決方案研究的公司，所提供的SymTA/S和TraceAnalyzer工具能夠很好的滿足對(duì)系統(tǒng)實(shí)時(shí)傳輸信號(hào)的需求。
·SymTA/S ? 時(shí)間建模、分析和驗(yàn)證工具
1. 在ECU、總線和系統(tǒng)級(jí)不同層面完成實(shí)時(shí)系統(tǒng)的時(shí)間特性建模、分析和驗(yàn)證，相應(yīng)的有SymTA/S ECU、SymTA/S Network、SymTA/S System 三種配置可選
2. 時(shí)間特性需求捕獲和建模
3. 軟件功能和報(bào)文傳輸響應(yīng)時(shí)間分析，包括最差響應(yīng)時(shí)間分析（WCRT Analysis），時(shí)間特性仿真分析（Distribution Analysis）和特定情境分析（Scenario Analysis）
4. 支持系統(tǒng)級(jí)的端到端（End-to-End）的時(shí)間分析
5. 系統(tǒng)資源和（軟件/網(wǎng)絡(luò)）架構(gòu)設(shè)計(jì)分析及優(yōu)化
6. 數(shù)據(jù)一致性分析（單核或多核CPU）
7. 支持AUTOSAR OS、RTA OSEK、Generic OSEKERCOSek等實(shí)時(shí)操作系統(tǒng)，支持CAN、FlexRay、LIN、Ethernet（Standard/ AVB/Time-Triggered）、TTP等總線
8. 可以導(dǎo)入dbc、fibex、oil、xml、AUTOSAR等配置文件， 自動(dòng)生成模型
·TraceAnalyzer ? 時(shí)間特性分析和驗(yàn)證工具
1. 導(dǎo)入ECU任務(wù)響應(yīng)時(shí)間或總線報(bào)文傳輸時(shí)間記錄文件，進(jìn)行圖像化顯示，定位問題，對(duì)已實(shí)現(xiàn)的真實(shí)系統(tǒng)的時(shí)間特性進(jìn)行分析
2. 將系統(tǒng)實(shí)際運(yùn)行的時(shí)間特性與需求進(jìn)行對(duì)比，進(jìn)而對(duì)系統(tǒng)時(shí)間特性進(jìn)行驗(yàn)證
3. 將trace文件生成的時(shí)間特性模型導(dǎo)入SymTA/S進(jìn)行分析
4. 可導(dǎo)入CSV、XML、ASC、OT1等格式的trace文件
5. 支持Gliwa T1、Green Hills、iSystem、Lauterbach Trace32、Vector 等生成的trace文件的直接導(dǎo)入
1.網(wǎng)絡(luò)的時(shí)間特性分析—SymTA/S Network +TraceAnalyzer
·捕獲網(wǎng)絡(luò)傳輸時(shí)間特性需求并建立參考模型
·對(duì)因網(wǎng)絡(luò)變化或更新而產(chǎn)生的報(bào)文傳輸響應(yīng)時(shí)間的影響進(jìn)行預(yù)估
·對(duì)網(wǎng)絡(luò)時(shí)間特性參數(shù)（如CAN offset等）進(jìn)行優(yōu)化，降低信號(hào)延時(shí)
·為Gateway信號(hào)選擇最佳路由策略
·在網(wǎng)絡(luò)database發(fā)布前，對(duì)傳輸時(shí)間及信號(hào)延時(shí)進(jìn)行評(píng)估
·將實(shí)際傳輸時(shí)間與需求進(jìn)行對(duì)比，從而對(duì)時(shí)間特性進(jìn)行驗(yàn)證，并自動(dòng)生成報(bào)告
·確保從現(xiàn)有網(wǎng)絡(luò)架構(gòu)到CAN-FD和以太網(wǎng)過渡的時(shí)間特性需求的滿足
2. ECU 的時(shí)間特性分析—SymTA/S ECU+TraceAnalyzer
·捕獲ECU時(shí)間特性需求并建立參考模型
·將實(shí)際運(yùn)行時(shí)間與需求進(jìn)行對(duì)比，從而對(duì)時(shí)間特性進(jìn)行驗(yàn)證， 并自動(dòng)生成報(bào)告
·對(duì)代碼及執(zhí)行時(shí)間進(jìn)行優(yōu)化，從而降低CPU負(fù)載率
·對(duì)軟件架構(gòu)、函數(shù)映射及任務(wù)調(diào)度進(jìn)行優(yōu)化，提供軟件可靠性
·通過最差情況調(diào)度分析確保軟件分區(qū)和定時(shí)保護(hù)
·確保單核ECU到多核ECU過渡的時(shí)間特性需求的滿足
·保證代碼性能的聯(lián)合方案，其中AbsInt aiT可以為SymTA/S ECU提供任務(wù)的最差執(zhí)行時(shí)間（WCET），以便得出更加準(zhǔn)確的最差響應(yīng)時(shí)間（WCRT）；同時(shí)，StackAnalyzer工具可以提供任務(wù)的最大堆棧量預(yù)計(jì)值，避免堆棧溢出錯(cuò)誤
3. 系統(tǒng)級(jí)的時(shí)間特性分析—SymTA/S System +TraceAnalyzer
·SymTA/S System 包括 SymTA/S Network 和 SymTA/S ECU模塊，可以把控制器和網(wǎng)絡(luò)結(jié)合起來，在系統(tǒng)級(jí)對(duì)信號(hào)延時(shí)進(jìn)行建模、分析和驗(yàn)證
·進(jìn)行“傳感器 -> 信號(hào)采集任務(wù) -> 總線通信 -> 網(wǎng)關(guān) -> 總線通信 -> 控制器任務(wù) -> 執(zhí)行器”整條鏈路的信號(hào)延時(shí)分析
應(yīng)用&案例
1. FIAT通過時(shí)間分析將CAN總線負(fù)載率提高到70%
菲亞特研發(fā)部門一直采用SymTA/S來開發(fā)和驗(yàn)證CAN總線系統(tǒng)。工程師在開發(fā)下一代車型的時(shí)候，在系統(tǒng)ECU數(shù)量增多但不計(jì)劃采用FlexRay總線的前提下，將更大的發(fā)揮CAN總線的通信能力（負(fù)載率提高到70%以上），但同時(shí)通過工具能夠確保設(shè)計(jì)的CAN總線滿足響應(yīng)時(shí)間（Deadline）的要求。
2. 寶馬公司通過時(shí)間分析確保AFS系統(tǒng)的時(shí)間可靠性
BMW公司使用Symtavision公司的SymTA/S工具來找到軟件運(yùn)行的極端情況，同時(shí)生成分析結(jié)果和各種圖表，而開發(fā)人員甚至不需要了解調(diào)度分析相關(guān)的數(shù)學(xué)計(jì)算公式。SymTA/S具有豐富的軟件接口，可以將采集到的運(yùn)行數(shù)據(jù)以XML格式輸入到SymTA/S中。SymTA/S對(duì)所有的情況進(jìn)行分析，并以圖形的方式解釋問題發(fā)生的原因。
