首页> 中国专利> 基于资源竞争模型的AADL模型可调度性验证方法

基于资源竞争模型的AADL模型可调度性验证方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明公开了一种基于资源竞争模型的AADL模型可调度性验证方法，用于解决现有AADL模型的可调度性分析方法耗时长的技术问题。技术方案是通过分析AADL架构模型中构件间的交互关系得到线程执行顺序关系，并根据这些连接关系生成进程的并发体集合、线程的干扰集。从而建立系统的可调度性分析模型—资源竞争模型。将线程构件的执行时间属性以及利用资源竞争模型计算得到的响应时间相加，并与线程构件的截止时间属性相比较从而得到系统中各个构件的可调度性，进而分析整个系统的可调度性。避免了利用自动机模型时遇到复杂系统会造成状态过多难以计算的问题，对于结构复杂的AADL模型可以在短时间内计算出系统的可调度性分析结果。

著录项

公开/公告号CN104598302B

专利类型发明专利
公开/公告日2017-10-27

原文格式PDF
申请/专利权人西北工业大学;
展开▼

申请/专利号CN201510064421.5
发明设计人董云卫;隗立超;童安乐;
展开▼

申请日2015-02-09
分类号
代理机构西北工业大学专利中心;
代理人王鲜凯
地址 710072 陕西省西安市友谊西路127号
入库时间 2022-08-23 10:02:32

法律信息

法律状态公告日

法律状态信息

法律状态
2017-10-27

授权

授权
2015-05-27

实质审查的生效 IPC(主分类):G06F 9/46 申请日:20150209

实质审查的生效
2015-05-27

实质审查的生效 IPC(主分类):G06F 9/46 申请日:20150209

实质审查的生效
2015-05-06

公开

公开
2015-05-06

公开

公开

相似文献

专利
中文文献
外文文献

1. 基于资源竞争模型的AADL模型可调度性验证方法 [P] . 中国专利： CN104598302B . 2017.10.27
2. 一种基于多处理器的AADL模型的可调度性分析方法 [P] . 中国专利： CN107391866B . 2022.03.04
3. Method for generating component model-based virtual software platform, method for verifying software platform architecture using the same, and apparatus therefor [P] . 日本专利： JP5295269B2 . 2013-09-18

机译：基于组件模型的虚拟软件平台的生成方法，使用该模型的软件平台体系结构的验证方法及其装置
4. Method for generating component model-based virtual software platform, method for verifying software platform architecture using the same, and apparatus therefor [P] . 日本专利： JP2011510418A . 2011-03-31

机译：基于组件模型的虚拟软件平台的生成方法，使用该模型的软件平台体系结构的验证方法及其装置
5. METHOD FOR CONSTRUCTION ANTI-PHONE MODEL AND METHOD FOR UTTERANCE VERIFICATION BASED ON ANTI-PHONE MEDEL [P] . 韩国专利： KR100298177B1 . 2001-08-07

机译：反电话模型的构建方法和基于反电话模型的外观验证方法