基于SystemC的AUTOSAR软件验证与虚拟原型的时间行为集成
1. SystemC与AUTOSAR概述
传统的行为建模工具(如Simulink)无法进行详细的时序仿真,而SystemC能够实现整个系统的仿真。在系统级设计方面,SystemC的独特价值在于可以使用一种设计语言对嵌入式分布式系统的功能、目标架构和基础设施进行设计和建模。它能分别对软件应用在其底层目标架构和基础设施上进行仿真和评估,还引入了设计的仿真概念并提供仿真内核,包含了AUTOSAR中没有的时序表示和时序行为。将SystemC和AUTOSAR两种方法结合使用,能够带来更高的价值,可在较高抽象层次将时序行为集成到通信和应用中,实现互联的AUTOSAR软件组件的仿真,从而在设计早期检测出由时序引起的错误,影响AUTOSAR设计流程的配置和映射决策。
2. AUTOSAR与SystemC的相似性
- 结构方面 :AUTOSAR软件组件模板和SystemC语言在结构上有很多相似之处。两者都有包含行为元素的实体,并且都能形成有序的层次结构。因此,AUTOSAR软件组件通常可以用SystemC模块(SC MODULE)来表示,AUTOSAR组合也可以映射到SC MODULE。
- 可调度实体方面 :一般来说,AUTOSAR可运行实体可以直接映射到SystemC进程。由于AUTOSAR和SystemC都区分两种类型的可调度实体,因此可以将AUTOSAR第1类可运行实体一对一映射到SC METHODs,将第2类可运行实体映射到SC THREADs。这意味着两者都可以通过事件触发可调度实体并等待触发。