凯发官方首页-凯发娱乐登录 > 新闻中心 > 产品动态
symtavision — 分布式控制系统时间建模分析和验证工具
德国symtavision公司是分布式控制系统时间建模、分析和验证工具的供应商。为客户提供系统级时间特性建模、分析和验证的工具链以及项目咨询服务。在具有实时性要求的复杂的分布式控制系统开发过程中，对系统时间特性进行建模、分析和后期验证是非常必要的。
.png)
产品介绍
近年来，随着系统复杂度的提升，由于某任务的执行或报文的传输没有在特定的时间内完成而造成的系统功能性故障的问题愈发普遍，由此，对系统实时性需求的满足正得到越来越多的关注。此外，诸多行业标准，如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）
.png)
♦ 支持系统级的端到端（end-to-end）的时间分析
♦ 系统资源和（软件/网络）架构设计分析及优化♦ 数据一致性分析（单核或多核cpu）
♦ 支持autosar os、rta osek、generic osek、ercosek等实时操作系统，支持can、flexray、lin、ethernet（standard/avb/time-triggered）、ttp) 等总线
♦ 可以导入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过渡的时间特性需求的满足
• 将实际运行时间与需求进行对比，从而对时间特性进行验证，并自动生成报告
• 对代码及执行时间进行优化，从而降低cpu负载率
• 对软件架构、函数映射及任务调度进行优化，提供软件可靠性
• 确保软件分区和定时保护
• 确保单核ecu到多核ecu过渡的时间特性需求的满足
--absint ait symta/s ecu stackanalyzer
• 保证代码性能的联合方案，其中absint ait可以为symta/secu 提供任务的wcet，以便得出更加准确的wcrt；同时，stackanalyzer 工具可以避免堆栈溢出错误
系统级的时间特性分析
--symta/s system traceanalyzer
.png)
• symta/s system包括symta/s network和 symta/s ecu模块，可以把控制器和网络结合起来，在系统级对信号延时进行建模、分析和验证
• 进行“传感器->信号采集任务->总线通信->网关->总线通信-> 控制器任务-> 执行器”整条链路的信号延时分析
• 进行“传感器->信号采集任务->总线通信->网关->总线通信-> 控制器任务-> 执行器”整条链路的信号延时分析