在具有实时性要求的复杂分布式控制系统开发过程中，对系统时间特性进行建模、分析和后期验证是非常必要的。为了解决相关问题，经纬恒润联合Symtavision工具原厂可以为客户提供系统级时间特性建模、分析和验证的工具链以及项目咨询服务。
近年来，随着系统复杂度的提升，由于某任务的执行或报文的传输没有在特定的时间内完成而造成的系统功能性故障的问题愈发普遍，由此，对系统实时性需求的满足正得到越来越多的关注。此外，诸多行业标准，如ISO-26262、IEC61508、 EN50128等均对分布式系统的时间特性分析和验证有明确的要求。Symtavision作为一家具有十年经验的专注于嵌入式实时系统时间特性解决方案研究的公司，所提供的SymTA/S和TraceAnalyzer工具能够很好的满足对系统实时传输信号的需求。
.png "Symtavision — 分布式控制系统时间建模分析和验证工具")
? 支持系统级的端到端（End-to-End）的时间分析
? 系统资源和（软件/网络）架构设计分析及优化
? 数据一致性分析（单核或多核CPU）
? 支持AUTOSAR OS、RTA OSEK、Generic OSEKERCOSek等实时操作系统，支持CAN、FlexRay、LIN、Ethernet（Standard/ AVB/Time-Triggered）、TTP等总线
? 可以导入dbc、fibex、oil、xml、AUTOSAR等配置文件， 自动生成模型
? 导入ECU任务响应时间或总线报文传输时间记录文件，进行图像化显示，定位问题，对已实现的真实系统的时间特性进行分析
? 将系统实际运行的时间特性与需求进行对比，进而对系统时间特性进行验证
? 将trace文件生成的时间特性模型导入SymTA/S进行分析
? 可导入CSV、XML、ASC、OT1等格式的trace文件
? 支持Gliwa T1、Green Hills、iSystem、Lauterbach Trace32、Vector 等生成的trace文件的直接导入
?捕获网络传输时间特性需求并建立参考模型
?对因网络变化或更新而产生的报文传输响应时间的影响进行预估
?对网络时间特性参数（如CAN offset等）进行优化，降低信号延时
?为Gateway信号选择最佳路由策略
? 在网络database发布前，对传输时间及信号延时进行评估
?将实际传输时间与需求进行对比，从而对时间特性进行验证，并自动生成报告
?确保从现有网络架构到CAN-FD和以太网过渡的时间特性需求的满足
? 捕获ECU时间特性需求并建立参考模型
? 将实际运行时间与需求进行对比，从而对时间特性进行验证， 并自动生成报告
? 对代码及执行时间进行优化，从而降低CPU负载率
? 对软件架构、函数映射及任务调度进行优化，提供软件可靠性
? 通过最差情况调度分析确保软件分区和定时保护
? 确保单核ECU到多核ECU过渡的时间特性需求的满足
? 保证代码性能的联合方案，其中AbsInt aiT可以为SymTA/S ECU提供任务的最差执行时间（WCET），以便得出更加准确的最差响应时间（WCRT）；同时，StackAnalyzer工具可以提供任务的最大堆栈量预计值，避免堆栈溢出错误
.png "Symtavision — 分布式控制系统时间建模分析和验证工具")
菲亚特研发部门一直采用SymTA/S来开发和验证CAN总线系统。工程师在开发下一代车型的时候，在系统ECU数量增多但不计划采用FlexRay总线的前提下，将更大的发挥CAN总线的通信能力（负载率提高到70%以上），但同时通过工具能够确保设计的CAN总线满足响应时间（Deadline）的要求。
.png "Symtavision — 分布式控制系统时间建模分析和验证工具")
2. 宝马公司通过时间分析确保AFS系统的时间可靠性
BMW公司使用Symtavision公司的SymTA/S工具来找到软件运行的极端情况，同时生成分析结果和各种图表，而开发人员甚至不需要了解调度分析相关的数学计算公式。SymTA/S具有丰富的软件接口，可以将采集到的运行数据以XML格式输入到SymTA/S中。SymTA/S对所有的情况进行分析，并以图形的方式解释问题发生的原因。
.png "Symtavision — 分布式控制系统时间建模分析和验证工具")