用户中心
· 企业空间 首页 | 资讯 | 技术 | 产品 | 企业 | 直播 | 专题 | 智能制造 | 论坛| 在线研讨会
北京经纬恒润科技股份有限公司
  • Symtavision — 分布式控制系统时间建模分析和验证工具  
  • 发布时间:2019/9/11 14:02:41   修改时间:2021/5/24 15:17:52 浏览次数:1894
  • 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

  • 企业介绍
经纬恒润成立于2003年,股票代码688326。专注于为汽车、无人运输等领域的客户,提供电子产品、研发服务和高级别智能驾驶整体解决方案。公司总部位于北京,在天津、南通、马来西亚建有研发中心和现代化工厂,形成了完善的研发、生产、营销、服务…  更多>>
  • 联系方式

北京经纬恒润科技股份有限公司

联系人:经纬恒润

地址:北京朝阳区酒仙桥路14号1幢4层

邮编:100000

电话:010-64840808-6117

传真:

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

  • 该空间手机版

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

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



2.详细的需求:
姓名:
单位:
电话:
邮件:
您还没有登录,请登陆,
如果您还没有注册,点击这里注册.
  • 网友反馈
  • 贾抗震 在2024/4/8 15:19:00留言
  • 留言类型:贵公司技术支持人员联系我,
  • 详细留言:关于DCMM项目合作事宜,数据管理成熟度贯标认证
  • 刘先生 在2024/3/18 17:29:00留言
  • 留言类型:我想得到贵公司产品详细资料,我想得到贵公司产品的价格信息,我让贵公司产品销售人员联系我,
  • 详细留言:目前有采购VBA需求,需要贵司销售人员联系我,并提供该产品详细技术参数。提供产品报价。 *需求紧急,请及时联系。
  • Cyoung 在2024/2/28 13:25:00留言
  • 留言类型:我想得到贵公司产品详细资料,我想得到贵公司产品的价格信息,我让贵公司技术支持人员联系我,
  • 详细留言:CP AUTOSAR工具报价及技术支持
  • 詹绪婷 在2024/2/27 10:19:00留言
  • 留言类型:我想得到贵公司产品的价格信息,
  • 详细留言:TC8 3.0测试报价
  • 王豪 在2024/2/26 16:19:00留言
  • 留言类型:我让贵公司技术支持人员联系我,
  • 详细留言:oms4光学属性测量设备进行材料测试(乳白色导光管,黑色pc等),将获取的文件导入speos进行仿真验证。
更多请进入空间管理中心查看
关于我们 | 网站地图 | 联系我们
© 2003-2018    经营许可编号:京ICP证120335号
公安机关备案号:110102002318  服务热线:010-82053688
我要反馈