用户中心
· 企业空间 首页 | 资讯 | 技术 | 产品 | 企业 | 博客 | 论坛| 在线研讨会
恒润科技
  • Symtavision — 分布式控制系统时间建模分析和验证工具  
  • 发布时间:2019/9/11 14:02:41   修改时间:2019/9/11 14:08:31 浏览次数:117
  • 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等实时操作系统,支持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过渡的时间特性需求的满足
     
     --AbsInt aiT+SymTA/S ECU +StackAnalyzer
    保证代码性能的联合方案,其中AbsInt aiT可以为SymTA/SECU 提供任务的最差执行时间(WCET),以便得出更加准确的最差响应时间(WCRT);同时,StackAnalyzer 工具可以提供任务的最大堆栈量预计值,避免堆栈溢出错误
     
    系统级的时间特性分析
    --SymTA/S System +TraceAnalyzer
     
     
    SymTA/S System包括SymTA/S Network和 SymTA/S ECU模块,可以把控制器和网络结合起来,在系统级对信号延时进行建模、分析和验证
    进行“传感器->信号采集任务->总线通信->网关->总线通信-> 控制器任务-> 执行器”整条链路的信号延时分析


    经纬恒润

    北京市海淀区知春路7号致真大厦D座6层

    电话:010-64840808-6105

    邮箱:market_dept@hirain.com

    网址:www.hirain.com

  • 企业介绍
恒润科技(HiRain Technologies)是一家持续快速发展的高新技术企业,专业从事汽车、车联网、轨道交通等领域的电子产品研发生产、解决方案咨询服务、研发工具代理以及专业培训等,总部位于北京,设有上海、成都、美国底特律、德国慕尼黑分公司,长春、…  更多>>
  • 联系方式

恒润科技

联系人:秦女士

地址: 北京市海淀区知春路7号致真大厦D座5-10层

邮编:100101

电话:010-64840808-6103

传真:

公司网址:http://www.hirain.com

  • 该空间手机版

扫描此二维码即可访问该空间手机版

  • 在线反馈
1.我有以下需求:



2.详细的需求:
 
姓名:  
单位:
电话:  
邮件:  
您还没有登录,请登陆,
如果您还没有注册,点击这里注册.
  • 网友反馈
  • 邓潮宇 在2019/9/12 16:19:00留言
  • 留言类型:得到贵公司产品详细资料,得到贵公司产品的价格信息,
  • 详细留言:MVB协议分析仪
  • 王娟娟 在2019/9/6 11:37:00留言
  • 留言类型:我想得到贵公司产品的价格信息,我让贵公司产品销售人员联系我,我让贵公司技术支持人员联系我,
  • 详细留言:Aspice lever2 16个过程域需要用到哪些工具?价格大概在多少?
  • 李柏毅 在2019/9/6 9:46:00留言
  • 留言类型:我想得到贵公司产品详细资料,我想得到贵公司产品的价格信息,我让贵公司产品销售人员联系我,
  • 详细留言:Helix QAC/QAC++ — 软件静态测试工具
  • 陈新峰 在2019/8/30 16:44:00留言
  • 留言类型:贵公司产品销售人员联系我,
  • 详细留言:需要一套电性能检测设备,将电压电流温度等信息传送至PLC。
  • 在2019/8/30 9:43:00留言
  • 留言类型:我想得到贵公司产品的价格信息,
  • 详细留言:需求一款代码静态测试工具,想询问Helix QAC价格,往联系
更多请进入空间管理中心查看
关于我们 | 网站地图 | 联系我们
© 2003-2018    经营许可编号:京ICP证120335号
公安机关备案号:110102002318  服务热线:010-82053688
我要反馈