仿真验证分析SystemCCCSSLinux.PPT

汽车电子系统软件构件建模及验证 报 告 人：程米 指导老师：李仁发，李蕊 提纲 选题目的及意义 研究内容与本人工作 相关研究 研究方法、工具及实验 原型系统设计初步 工作进展情况 选题目的及意义 利用交易级建模方法在较高抽象层次对符合AUTOSAR标准的软件构件建模，同时结合SystemC语言及其验证库并在仿真的基础上添加断言验证技术，在系统早期设计阶段对汽车电子系统的软件构件通信方面进行验证和分析。 有利于提高AUTOSAR软件开发效率和验证效率，能在系统早期开发阶段保证系统设计的可靠性，并有助于在汽车电子系统体系结构方面进行探索和分析。 研究内容与本人工作 理论性分析 汽车开放式系统架构(AUTOSAR)的研究 SystemC交易级建模的研究 AUTOSAR软件构件的设计与研究 利用SystemC交易级建模方法实现AUTOSAR软件构件建模及验证的可行性分析 研究内容与本人工作 在建模过程中添加时间行为的方法的研究 系统早期设计阶段的功能性验证及实时性验证方面的研究 基于交易的系统级验证 基于仿真方法的验证技术 基于断言验证技术 研究自适应巡航控制（ACC）系统，完成实验 相关研究 AUTOSAR的研究 SoC中的交易级建模研究 研究热点：分层方案、与RTL复用、与验证相结合 AMBA总线、ABH总线、Wishbone总线 R8简单处理器、MPSoC处理器等 SoC 设计验证技术研究 IP 核/模块级验证、系统级验证、仿真验证、软硬件协同验证、等价性检查、静态时序分析和时序验证、版图验证 研究方法、工具及实验 研究AUTOSAR标准、体系结构及方法论，设计符合AUTOSAR标准的软件构件互连模型 研究SystemC语言及TLM方法，将AUTOSAR概念映射到SystemC概念，实现建模。 利用SystemC提供的时间行为概念在建模过程中集成时间行为 将基于交易的系统级验证、基于仿真方法的验证技术与基于断言的验证技术结合起来，完成功能性验证及实时性验证 研究方法、工具及实验 原型系统设计初步 ACC概念 原型系统设计初步 VFB上的ACC软件构件互连模型 原型系统设计初步 ECU上的ACC软件构件互连模型 原型系统设计初步 AUTOSAR与SystemC的映射关系 原型系统设计初步 ACC控制器状态转换图 原型系统设计初步 ACC控制器软件构件 原型系统设计初步 ACC控制器的测试平台 原型系统设计初步 ACC控制器的测试结果 原型系统设计初步 ACC控制器的测试结果 工作进展情况 嵌入式系统及网络实验室 * 分析目标系统并抽象出系统的模型 创建模型结构并画出模型图 定义模型的接口、参数及变量 创建验证环境 编译并运行模型 实验结果分析 仿真 验证 分析 SystemC + CCSS + Linux Library Model Builder Compiler DAVIS VirSim 工具 ACC汽车 目标汽车 间距 （间距=时间差*汽车速度） 图1 ACC 图 2 VFB上的ACC软件构件互连模型 图 3 ECU上的ACC软件构件互连模型 图4 AUTOSAR与SystemC的映射关系 图 5 ACC控制器状态转换图 s1：停止状态； s2：等待状态； s3：速度控制状态； s4：距离控制状态； 图 6 ACC控制器软件构件 表 1 端口 ?? ?float? ?out? ProsAcc? ?? ?float? ?out? ProsSpeed? ?? ?int? ?in? SafeTimeGap? ?? ?float? ?in? SafeSpeed? ?? ?float? ?in? LeadSpeed? ?? ?float? ?in? CurrDist? ?? ?float? ?in? CurrSpeed? ?Rate? ?Datatype? ?Direction? Name? 表 2 参数 ?0? ?bool? ?read_on_reset? ?DriverInterv? ?1? ?bool? ?read_on_reset? ?LeadVehicl? ?0? ?bool? ?read_on_reset? ?ThrottleStatus? ?0? ?bool? ?read_on_reset? ?BrakeStatus? ?1? ?bool? ?read_on_reset? ?CruiseStatus? ?1? ?bool? ?read_on_reset? ?DriverSwitch? ?5? ?float? ?read_on_reset? ?ExtraDist? ?30