57337.com

登录 | 注册 | English

资讯中心

57337.com  >  资讯中心  >  产品动态

Symtavision — 分布式控制系统时间建模分析和验证工具

       在具有实时性要求的复杂分布式控制系统开发过程中,对系统时间特性进行建模、分析和后期验证是非常必要的。为了解决相关问题,经纬恒润联合Symtavision工具原厂可以为客户提供系统级时间特性建模、分析和验证的工具链以及项目咨询服务。

 

 
产品先容

        近年来,随着系统复杂度的提升,由于某任务的实行或报文的传输没有在特定的时间内完成而造成的系统功能性故障的问题愈发普遍,由此,对系统实时性需求的满足正得到越来越多的关注。此外,诸多行业标准,如ISO-26262、IEC61508、 EN50128等均对分布式系统的时间特性分析和验证有明确的要求。Symtavision作为一家具有十年经验的专注于嵌入式实时系统时间特性解决方案研究的企业,所提供的SymTA/S和TraceAnalyzer工具能够很好的满足对系统实时传输信号的需求。

 
SymTA/S ? 时间建模、分析和验证工具
    ♦  在ECU、总线和系统级不同层面完成实时系统的时间特性建模、分析和验证,相应的有SymTA/S ECU、SymTA/S Network、SymTA/S System 三种配置可选
    ♦  时间特性需求捕获和建模
    ♦  App功能和报文传输响应时间分析,包括最差响应时间分析(WCRT Analysis),时间特性仿真分析(Distribution Analysis)和特定情境分析(Scenario Analysis)

    ♦  支撑系统级的端到端(End-to-End)的时间分析

    ♦  系统资源和(App/网络)架构设计分析及优化

    ♦  数据一致性分析(单核或多核CPU)

    ♦  支撑AUTOSAR OS、RTA OSEK、Generic OSEKERCOSek等实时操作系统,支撑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文件的直接导入

 
1.网络的时间特性分析—SymTA/S Network +TraceAnalyzer

捕获网络传输时间特性需求并建立参考模型

对因网络变化或更新而产生的报文传输响应时间的影响进行预估

对网络时间特性参数(如CAN offset等)进行优化,降低信号延时 

为Gateway信号选择最佳路由策略

 在网络database发布前,对传输时间及信号延时进行评估

将实际传输时间与需求进行对比,从而对时间特性进行验证,并自动生成报告

确保从现有网络架构到CAN-FD和以太网过渡的时间特性需求的满足

 
2. ECU 的时间特性分析—SymTA/S ECU+TraceAnalyzer

 捕获ECU时间特性需求并建立参考模型

• 将实际运行时间与需求进行对比,从而对时间特性进行验证, 并自动生成报告

 对代码及实行时间进行优化,从而降低CPU负载率

• 对App架构、函数映射及任务调度进行优化,提供App可靠性

• 通过最差情况调度分析确保App分区和定时保护

• 确保单核ECU到多核ECU过渡的时间特性需求的满足

• 保证代码性能的联合方案,其中AbsInt aiT可以为SymTA/S ECU提供任务的最差实行时间(WCET),以便得出更加准确的最差响应时间(WCRT);同时,StackAnalyzer工具可以提供任务的最大堆栈量预计值,避免堆栈溢出错误

 
3. 系统级的时间特性分析—SymTA/S System +TraceAnalyzer
 
• SymTA/S System 包括 SymTA/S Network 和 SymTA/S ECU模块,可以把控制器和网络结合起来,在系统级对信号延时进行建模、分析和验证
• 进行“传感器 -> 信号采集任务 -> 总线通信 -> 网关 -> 总线通信 -> 控制器任务 -> 实行器”整条链路的信号延时分析
 
应用&案例
 
1. FIAT通过时间分析将CAN总线负载率提高到70%

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

 
 

2. 宝马企业通过时间分析确保AFS系统的时间可靠性

        BMW企业使用Symtavision企业的SymTA/S工具来找到App运行的极端情况,同时生成分析结果和各种图表,而开发人员甚至不需要了解调度分析相关的数学计算公式。SymTA/S具有丰富的App接口,可以将采集到的运行数据以XML格式输入到SymTA/S中。SymTA/S对所有的情况进行分析,并以图形的方式说明问题发生的原因。

关于恒润
企业概况
企业理念
企业资质
资讯中心
恒润在全球
诚聘英才
校园招聘
实习生招聘
社会招聘
走进恒润
常见问题
市场活动
在线研讨会
线下活动
微信课堂
用户社区
资料下载
恒润月刊
用户留言
个人中心
PMT留言
相关链接
达索企业
IBM-中国
联系大家
电话:010-64840808
邮箱:market_dept@hirain.com
版权所有 ? 57337.com 京ICP备18000642号-1 京公网安备11010802017344号 网站地图 | 招聘信息 | 法律声明 | 隐私保护
XML 地图 | Sitemap 地图