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

概述

        德国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、ercosek、arinc653 等实时操作系统、支持 can、flexray、lin、ethernet（standard/avb/time-triggered）、ttp、arinc664(afdx) 等总线
    ♦ 可以导入 dbc、fbex、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 过渡的时间特性需求的满足

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