系统功能设计的时间特性分析和验证-shwjiao.pptVIP

时间分析 - What? Why? How? 时间特性-What? Why? How? 时间特性-What? Why? How? 时间分析流程 时间分析流程 时间分析流程 时间分析流程 时间分析流程 Symtavision公司 SymTA/S – 强大的时间建模、分析和优化工具 SymTA/S – 强大的时间建模、分析和优化工具 SymTA/S – 模块介绍 SymTA/S – 模块介绍 SymTA/S – 模块介绍 SymTA/S – 模块介绍 用户案例1--BMW 用户案例2--DAIMILER 用户案例3-- End-to-End ?2010. HiRain Technologies. All rights reserved. * *  －实时系统时间特性建模、分析和验证12/27/2010 内容目录 时间特性建模与分析技术介绍 系统功能的时间建模与分析流程 时间特性分析工具简介 * 内容目录 时间特性建模与分析技术介绍 时间特性建模与分析的对象 时间特性对系统功能和性能的影响 时间特性对系统安全性的影响 系统功能的时间建模与分析流程 时间特性分析工具简介 * 时间特性建模与分析的对象 电控系统系统越来越复杂 硬实时系统 软件复杂度增加 节点个数多 多个总线（CAN、FlexRay） 系统集成时的挑战 风险：可靠性、质量和责任 功能满足但超过时间约束 开发和生产的时间成本 分析的对象 控制器任务间相互影响 总线通信 系统级延时（End-to-End ） 时间特性对系统功能性的影响 控制模块/总线通信瞬时负载增加 软件任务没有被正确调度 信号从传感器到执行器的延时（End-to-End) 报文发送的太晚/抖动（jitter）太大 开发早期进行时间分析的好处 OEM/总体单位（部门） 可以在系统级对总线通信和软件任务的时间进行分析 优化软件任务和通信报文 在开发早期就发现系统规划存在的时间瓶颈 可以估算系统各分模块的延时 Supplier/分系统单位（部门） 清晰明确的时间需求（来源于总体单位） 更确切的控制模块性能需求（硬件性能正好合适，不高也不低） 调度分析 vs 仿真和测试 仿真不会覆盖所有可能的情况（Corner cases) 随着系统复杂度的增加，测试的可行性也在减小 需要更可信的分析结果 内容目录 时间特性建模与分析技术介绍 系统功能的时间建模与分析流程 控制器内部软件的时间行为建模 控制器外部网络通信的时间行为建模 系统时间行为综合分析 系统时间行为验证和优化 时间特性分析工具简介 * 实时系统：任务要在确定的时间内执行 时间特性分析和确认在系统设计和集成过程中非常重要 优势：系统更加可靠，整个研发成本更低 优化系统复杂度(使用成本最低的硬件资源） 提前获得系统的可靠域度和时间瓶颈 降低原型开发时的投入（有针对性解决问题） 验正系统实现时间相关的特性 增加了测试时的覆盖面（时间特性） 验证安全相关的功能的实现 时间分析流程 时间建模和分析步骤 导入 导出 已有全部或部分信息 编辑器 结果观测器 探寻与优化 调度分析 时间建模 反复 时间分析结果 优化结果 负载 延时 瓶颈确认 系统风险和域度 网络参数 任务调度参数 控制器内部时间特性建模 采用嵌入式操作系统管理多个任务 任务之间采用抢占的调度方式 任务之间的抢占、阻塞等因素都会影响任务的执行 中断和抖动对任务执行时间影响很大 网络通信建模 分布式控制系统通信延时对功能正确性与否至关重要 通信采用CAN/CANopen/FlexRay方式通信 重要参数发送/接受的最大延时 可以直接导入DBC/Fibex网络描述文件 无需逐项输入网络参数 系统时间特性分析 单独的ECU任务和总线延时都较容易估算 系统延时参数更有意义 分析信号路由（端到端）的延时 系统时间性能确认 控制器运行参数记录文件 网络报文参数记录文件 确认实现的系统是否满足时间约束条件 数据记录文件 导入 导出 内容目录 时间特性建模与分析技术介绍 系统功能的时间建模与分析流程 时间特性分析工具简介 * Symtavision Technical University of Braunschweig 计算机及通信网络工程研究所独立出来 地址：德国布伦瑞克 10年以上的时间分析工程经验 领先的系统级时间分析和优化的工具供应商 控制器和软件集成 网络和分系统集成 提供完整的设计和验证的解决方案 工具、咨询服务 工程服务 关注领域：嵌入式实时系统 SymTA/S (Symbolic Timing Analysis for Systems) 可对控制器、网络和系统的时间特进行建模、分析和优化 可以跟代码分析工具