Symtavision工具为Luxoft公司提供的一款分布式嵌入式系统时间特性建模、分析和验证工具，主要应用于汽车领域。经纬恒润联合Symtavision工具厂商能够为客户提供完整的系统级时间特性建模、分析和验证工具链以及项目咨询服务。
产品介绍
近年来，随着系统复杂度的提升，由于某任务的执行或报文的传输没╲有在特定的时间内完成而造成的系统功能性故障的问题▅愈发普遍，由此，对系统实时性需求的满足正得到越来越多的关注。此外，诸多行业标准，如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、ERC OSEK等实时操作系统，支持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、Lauterbach Trace32、Vector等生成的trace文件的直接导ぷ入
产品特性
- 网络的时间特性分①析--SymTA/S Network+TraceAnalyzer
· 捕获网络传输时间特性需求并建立参考模型
· 对因网络╳变化或更新而产生的报文传输响应时间的影响进行预估
· 对网络时间☉特性参数（如CAN offset等）进行优化，降低信号延时
· 为Gateway信号选择较佳路由√策略
· 在网络database发布前，对传输时间及信号延时进行评估
· 将实际传输时间与需求进行对比，从而对时间特↑性进行验证，并自动生▽成报告
· 确保从现有网络架构到CAN-FD和以太网过渡的时间特性需★求的满足
- ECU的时间特性分析--SymTA/S ECU+TraceAnalyzer
· 捕获ECU时间特性需求并建立参考模
· 将实〖际运行时间与需求进行对比，从而对时间特性进行验证，并自动生成报卐告
· 对代码及执行时间进行优化，从而降低CPU负载率
· 对软件架构、函数映射及任务调度进行优化，提供软⌒件可靠性
· 通过情况调度分析确保软件分区和定时保护
· 确保单核ECU到多核ECU过渡的㊣时间特性需求的满足
-系统级的时间特性分析--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（Active Front Steering）控制器，是电子控制☆转向干预技术（electronically controlled steering intervention）首次在大的实际项目中的应用。BMW公司使用SymTA/S工具来找到软件运行的极端情况，同时生成分析结果和各种图表，而◣开发人员甚至不需要了解调度分析相关的数学计算公式。SymTA/S具有丰富的软件接口，可以将采集到的运行数据以XML格式输入到〗≡SymTA/S中。SymTA/S对所有的情况进行分析，并以图形的√方式解释问题发生的原因。
