symtavision—分布式嵌入式系统时间建模分析和验证工具-凯发官方首页

        symtavision工具为luxoft公司提供的一款分布式嵌入式系统时间特性建模、分析和验证工具，主要应用于汽车领域。经纬恒润联合symtavision工具厂商能够为客户提供完整的系统级时间特性建模、分析和验证工具链以及项目咨询服务。

产品介绍
        近年来，随着系统复杂度的提升，由于某任务的执行或报文的传输没有在特定的时间内完成而造成的系统功能性故障的问题愈发普遍，由此，对系统实时性需求的满足正得到越来越多的关注。此外，诸多行业标准，如iso26262、iec61508、en50128等均对分布式系统的时间特性分析和验证有明确的要求。symtavision工具中的symta/s和traceanalyzer模块能够很好的对嵌入式系统进行时间特性建模仿真、分析和验证，进而满足相关功能安全标准的要求。

• symta/s–时间建模、分析和验证工具

 在ecu、总线和系统级不同层面完成实时系统的时间特性建模、分析和验证，相应的有symta/s ecu、symta/s network、symta/s system三种配置可选
 时间特性需求捕获和建模
 软件功能和报文传输响应时间分析，包括最差响应时间分析（wcrtanalysis），时间特性仿真分析（distributionanalysis）和特定情境分析（scenarioanalysis）

 支持系统级的端到端（end-to-end）的时间分析
 系统资源和（软件/网络）架构设计分析及优化
 数据一致性分析（单核或多核cpu）
 支持autosaros、rtaosek、genericosek、ercosek等实时操作系统，支持can、flexray、lin、ethernet(standard/avb/time-triggered）总线
 可以导入dbc、fibex、oil、xml、autosar等配置文件，自动生成模型

• traceanalyzer–时间特性分析和验证工具

 导入ecu任务响应时间或总线报文传输时间记录文件，进行图像化显示，定位问题，对已实现的真实系统的时间特性进行分析
 将系统实际运行的时间特性与需求进行对比，进而对系统时间特性进行验证
 将trace文件生成的时间特性模型导入symta/s进行分析
 可以导入csv、xml、asc、ot1等格式的trace文件
 支持gliwat1、greenhills、isystem、lauterbachtrace32、vector等生成的trace文件的直接导入

产品特性

• 网络的时间特性分析--symta/s network traceanalyzer

 捕获网络传输时间特性需求并建立参考模型
 对因网络变化或更新而产生的报文传输响应时间的影响进行预估
 对网络时间特性参数（如canoffset等）进行优化，降低信号延时
 为gateway信号选择较佳路由策略
 在网络database发布前，对传输时间及信号延时进行评估
 将实际传输时间与需求进行对比，从而对时间特性进行验证，并自动生成报告
 确保从现有网络架构到can-fd和以太网过渡的时间特性需求的满足

• ecu的时间特性分析--symta/s ecu traceanalyzer

 捕获ecu时间特性需求并建立参考模型
 将实际运行时间与需求进行对比，从而对时间特性进行验证，并自动生成报告
 对代码及执行时间进行优化，从而降低cpu负载率
 对软件架构、函数映射及任务调度进行优化，提供软件可靠性
 通过最差情况调度分析确保软件分区和定时保护
 确保单核ecu到多核ecu过渡的时间特性需求的满足--absintait symta/secu stackanalyzer
 保证代码性能的联合方案，其中absint ait可以为symta/s ecu提供任务的最差执行时间（wcet），以便得出更加准确的最差响应时间（wcrt）；同时，stackanalyzer工具可以提供任务的最大堆栈量预计值，避免堆栈溢出错误

• 系统级的时间特性分析--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（activefrontsteering）控制器，是电子控制转向干预技术（electronicallycontrolledsteeringintervention）首次在大的实际项目中的应用。bmw公司使用symtavision公司的symta/s工具来找到软件运行的极端情况，同时生成分析结果和各种图表，而开发人员甚至不需要了解调度分析相关的数学计算公式。symta/s具有丰富的软件接口，可以将采集到的运行数据以xml格式输入到symta/s中。symta/s对所有的情况进行分析，并以图形的方式解释问题发生的原因。