买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：北京神舟航天软件技术有限公司

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

主权项：1.一种结构分析与设计语言AADL模型的仿真方法，其特征在于，包括：S1、对AADL模型的端口进行转换将AADL模型的数据构件转换成可视化仿真工具Simulink模型支持的数据类型；将AADL模型的事件端口上的传入事件转换成Simulink-Stateflow模块中的输入事件类型对象，将所述事件端口上的传出事件转换成Simulink-Stateflow模块中的输出事件类型对象；将所述传入事件及所述传出事件作为Simulink-Stateflow模块状态转移中的触发条件；将所述事件端口之间的链接关系转换成Simulink-Stateflow模块对应端口之间的链接关系；S2、对AADL模型的各个构件进行转换对AADL模型的子程序构件进行转换；对AADL模型的进程构件进行转换；对AADL模型的系统构件进行转换；对AADL模型的硬件构件进行转换；S3、对AADL模型的行为模块进行转换，生成可仿真AADL模型的Simulink模型设置周期线程的调度方式，包括：在线程构件对应的子系统结构下，创建相应的目录结构，用于仿真线程的调度；在所述目录结构下添加两个状态，分别对应于线程的等待调度状态以及正在调度状态；在所述目录结构中创建时钟输入端口并将所述时钟输入端口链接到外部时钟输入端口；在等待调度状态和正在调度状态之间创建相互转换的链接；在等待调度状态到正在调度状态的转换上添加相应的转换条件，其中，所述转换条件为当前时间与开始等待调度的时间的差不小于设定的阈值；设置非周期线程的调度方式，包括：在线程构件对应的子系统结构下，创建相应的目录结构，用于仿真线程的调度；在所述目录结构下添加两个状态，分别对应于线程的等待调度状态以及正在调度状态；在所述目录结构中创建事件输入端口并将所述事件输入端口链接到外部事件输入端口；在等待调度状态和正在调度状态上创建相互转换的链接；在等待调度状态到正在调度状态的转换上添加相应的转换条件，其中，所述转换条件为事件输入端口上接收到事件；设置混合线程的调度方式，包括：在线程构件对应的子系统结构下，创建相应的目录结构，用于仿真线程的调度；在所述目录结构下添加两个状态，分别对应于线程的等待调度状态以及正在调度状态；在所述目录结构中创建时钟输入端口并将所述时钟输入端口链接到外部时钟输入端口；在所述目录结构中创建事件输入端口并将所述事件输入端口链接到外部事件输入端口；在等待调度状态和正在调度状态上创建相互转换的链接；在等待调度状态到正在调度状态的转换上添加相应的转换条件，其中，所述转换条件为当前时间与开始等待调度的时间的差不小于设定的阈值且事件输入端口上接收到事件；设置定时线程的调度方式，包括：在线程构件对应的子系统结构下，创建相应的目录结构，用于仿真线程的调度；在所述目录结构下添加两个状态，分别对应于线程的等待调度状态以及正在调度状态；在所述目录结构中创建时钟输入端口并将所述时钟输入端口链接到外部时钟输入端口；在等待调度状态和正在调度状态之间创建相互转换的链接；在等待调度状态到正在调度状态的转换上添加相应的转换条件，其中，所述转换条件为当前时间与时钟输入端口上次接收到数据的时间的差不小于设定的阈值；对各个线程的状态进行转换，包括：解析线程的行为模型，提取出行为模型中定义的状态以及状态转换关系；在线程构件对应的子系统构件下创建对应的目录结构；根据行为模型中定义的状态，在所述目录结构中创建对应的状态；根据行为模型中定义的状态转换关系，在所述目录结构中创建相应的状态转换关系并根据行为模型中的状态转换条件为chart结构中的状态转换赋予相应的转换条件；对线程的端口通信方式进行转换，包括：对数据端口的通信方式进行转换；对事件端口的通信方式进行转换；对线程的子程序访问进行转换，包括：解析AADL模型，分析函数调度的对应关系；链接由调度模块到被调函数的链接线，所述链接线由一对相反方向的连线构成，用于表示调用函数时的操作；链接由被调函数到调度模块的链接线，所述链接线由一对相反方向的连线构成，用于表示函数返回时进行的操作；S4、对所述Simulink模型进行验证，包括：对线程调度进行仿真验证，包括：分别为所述Simulink模型各个线程构件添加三个输出端口，分别为当前线程被调度的总次数输出端口、线程开始调度的时间输出端口、线程结束调度的时间输出端口；分别为各个线程构件添加一个用于记录数据的功能模块，其中，所述三个输出端口为所述功能模块的输入；为所述功能模块创建相应的.m文件；对流延时进行仿真验证，包括：解析AADL模型，获取所述AADL模型中的输出端口；分别为各个输出端口创建一个用于记录输出时间的功能模块并将所述功能模块与输出端口相连；为所述功能模块创建相应的.m文件。

全文数据：

权利要求：

百度查询： 北京神舟航天软件技术有限公司 一种结构分析与设计语言AADL模型的仿真方法