【摘 要】
：
分区可调度性验证是影响综合模块化航电系统(IMA)可靠性与安全性的关键问题。为解决现有的模型驱动验证方法难以满足系统整体验证需求或需要繁琐的二次建模的问题,提出一种基
【机 构】
：
中国民航大学电子信息与自动化学院,中国民航大学工程技术训练中心
【基金项目】
：
天津市自然科学基金项目(18JCQNJC05000);中国民航大学科研启动基金项目(2014QD10X)
论文部分内容阅读
分区可调度性验证是影响综合模块化航电系统(IMA)可靠性与安全性的关键问题。为解决现有的模型驱动验证方法难以满足系统整体验证需求或需要繁琐的二次建模的问题,提出一种基于体系结构分析与设计语言(AADL)的IMA分区可调度性验证建模方法。在构建分区静态体系结构模型的基础上,通过AADL行为附件建模描述系统中任务的调度过程。再采用AADL Inspector工具对模型中的任务调度行为进行动态仿真,根据仿真结果即可对IMA分区可调度性进行评估。案例实验表明,该方法能够有效发现分区调度配置信息中的错误。此外,只需
其他文献
以新疆农业博览中心钢结构网架工程为例,对网架结构采用格构式拔杆整体提升施工方法的可行性进行探讨。通过对格构式拔杆的设计选型与布置、施工方案选择,以及对格构式拔杆、
<正> 1 前言目前,结构可靠度理论和设计方法在上部结构的许多方面,已从定性处理阶段发展到定量分析阶段,并制定出了我国"建筑结构设计统一标准".支承上部结构的基础是工程结
<正>随着我国体育事业兴起,越来越多的人参与到运动健身的行列中来,青少年运动员如何健康运动、如何有效提高运动能力越来越受到广泛的关注。尽管营养补充剂不能够替代日常正
农村商业银行的主要业务对象是农村当地的中小企业,为中小企业的融资和地方经济的发展提供资金支持,从而实现构建和谐社会、促进农村发展的目标。从金融机构相关研究来看,大
在课堂教学中,恰当的肢体语言能够吸引并稳定学生注意力。探讨教师肢体语言在课堂教学中的调控功能,能够帮助教师树立肢体语言意识,对学生进行积极暗示,从而提高课堂效率。
<正>随着我国经济的发展和人们生活水平的提高,进口化妆品越来越受到国内消费者的追捧,进口化妆品的销量每年增速在20%以上。2015年成为进口化妆品集中爆发的一年,2015年1-7
我国历代写意人物画家,一直把纯焦墨线和浓淡墨线作为人物造型的主要手段,并运用线的长短粗细、刚柔强弱、轻重徐疾、浓淡干湿、转折顿挫,表现人物形象的轮廓体积、质感神态
目的探究类风湿关节炎合并间质性肺炎(RA-ILD)的临床特点,为RA-ILD早期诊断提供指导依据。方法 169例类风湿关节炎(RA)患者为研究对象,将其中合并间质性肺炎(ILD)患者45例设