经纬恒润——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工具可以提供任务的最大堆栈量预计值，避免堆栈溢出错误

        菲亚特研发部门一直采用symta/s来开发和验证can总线系统。工程师在开发下一代车型的时候，在系统ecu数量增多但不计划采用flexray总线的前提下，将更大的发挥can总线的通信能力（负载率提高到70%以上），但同时通过工具能够确保设计的can总线满足响应时间（deadline）的要求。