[发明专利]一种结构分析与设计语言AADL模型的仿真方法

说明书

本发明实施例提供的体系分析与设计语言AADL模型的仿真方法，涉及模型仿真技术领域，根据AADL模型建立对应的Simulink模型，能够有效的对AADL模型的实时性进行仿真分析，进而保证嵌入式实时系统系统的可靠性与实时性，提高了嵌入式应用软件的开发效率。

技术领域

本发明涉及模型仿真技术领域，具体涉及一种体系分析与设计语言AADL模型的仿真方法。

背景技术

结构分析与设计语言(Architecture Analysis and Design Language，AADL)模型作为一种设计和分析软硬件结构的嵌入式实时系统建模语言，把嵌入式应用软件的开发从代码层次提升到模型层次，通过定义构件及构件间的交互对系统结构进行建模。由于AADL模型对系统非功能属性(包括时间属性、能耗、可靠性、安全性等)描述的支持，使其在关键任务嵌入式操作系统领域有着良好的应用前景。

AADL模型是一种嵌入式实时系统的建模语言，就其本身的工具链而言，其相关工具仅能对使用AADL设计的模型进行有效验证，特别是在仿真与实时性分析方面，不能较好地满足设计人员的要求。

发明内容

为解决现有技术的不足，本发明实施例提供了一种体系分析与设计语言AADL模型的仿真方法，该方法包括以下步骤：

S1、对AADL模型的端口进行转换

将AADL模型的数据构件转换成可视化仿真工具Simulink模型支持的数据类型；

将AADL模型的事件端口上的传入事件转换成Simulink-Stateflow模块中的输入事件类型对象，将所述事件端口上的传出事件转换成Simulink-Stateflow模块中的输出事件类型对象；

将所述传入事件及所述传出事件作为Simulink-Stateflow模块状态转移中的触发条件；

将所述事件端口之间的链接关系转换成Simulink-Stateflow模块对应端口之间的链接关系；

S2、对AADL模型的各个构件进行转换

对AADL模型的子程序构件进行转换；

对AADL模型的进程构件进行转换；

对AADL模型的系统构件进行转换；

对AADL模型的硬件构件进行转换；

S3、对AADL模型的行为模块进行转换，生成可仿真AADL模型的Simulink模型

设置周期线程的调度方式，包括：

在线程构件对应的子系统结构下，创建相应的目录结构，用于仿真线程的调度；

在所述目录结构下添加两个状态，分别对应于线程的等待调度状态以及正在调度状态；

在所述目录结构中创建时钟输入端口并将多少时钟输入端口链接到外部时钟输入端口；

在等待调度状态和正在调度状态之间创建相互转换的链接；

在等待调度状态到正在调度状态的转换上添加相应的转换条件，其中，所述转换条件为当前时间与开始等待调度的时间的差不小于设定的阈值；

设置非周期线程的调度方式，包括：

在线程构件对应的子系统结构下，创建相应的目录结构，用于仿真线程的调度；

在所述目录结构下添加两个状态，分别对应于线程的等待调度状态以及正在调度状态；

在所述目录结构中创建事件输入端口并将所述事件输入端口链接到外部事件输入端口；