【摘 要】
：
针对综合模块化航空电子系统(Integrated Modular Avionics,IMA)存在周期任务和非周期任务,以及任务间依赖关系,传统方法不能准确验证其实时任务可调度性的问题,本文提出了一
【机 构】
：
中国航空工业集团公司西安航空计算技术研究所
【基金项目】
：
国防基础科研项目资助(JCKY2016607B006),工信部民机科研(MJ-2017-S-39)
论文部分内容阅读
针对综合模块化航空电子系统(Integrated Modular Avionics,IMA)存在周期任务和非周期任务,以及任务间依赖关系,传统方法不能准确验证其实时任务可调度性的问题,本文提出了一种基于Stopwatch时间自动机的ARINC653实时任务可调度性验证方法,利用模型检验工具UPPAAL对IMA系统进行建模仿真,并结合统计模型检验(Statistical Model Checking,SMC)与符号模型检验(Symbolic Model Checking,MC)来验证其可调度性。实验结果表明
其他文献
本文分析知识付费商业模式下中国知识青年消费者对知识消费的选择和行为辩护,研究显示版权意识影响互联网知识消费选择,版权意识强则更倾向于选择付费。针对西方对中国"无版
鼻饲法是将胃管经一侧鼻腔插入胃内，经胃管向病人注入流质食物、水分及药物等。鼻饲法对于昏迷病人、口腔疾患、吞咽困难、不能有口进食的病人以及某些手术后的病人，病情危重的
葛根素注射液有明显的扩张血管作用,常用于血管意外所致的瘫痪及冠心病等.近年,我们应用含葛根素注射液在内的中西医结合方法治疗突发性耳聋取得良好效果,现介绍如下.
目的探讨鼻渊舒口服液在鼻窦手术前后的辅助治疗作用.方法1 24例病例随机分为治疗组和对照组.治疗组74例.对照组50例,治疗组手术前后除给常规抗生素、激素和粘液溶解、排除剂
由于手术室工作环境的特殊性，容易造成对医护人员的危害。各种开放性、创伤性治疗及不良工作环境，以及高强度的工作性质，对护理人员的身心健康都造成了较大的危害。我们只有正确
2021年2月26日,中顺洁柔公布了2020年度业绩快报。报告显示,预计2020年中顺洁柔实现营收78.50亿元,同比增加18.31%;预计实现净利润9.05亿元,同比增加49.82%;预计基本每股收益
乙型肝炎（HBV）病毒感染，严重威胁着人类的健康。在我国乙型肝炎流行状况十分严重，乙型肝炎表面抗原阳性率大约为10％，大学新生感染率约为5．4％，虽低于全国平均水平，但因其群居特性和生活