查询结果:   刘哲旭,樊智勇,赵珍.基于体系结构模型的综合化航电分区可调度性验证[J].计算机应用与软件,2019,36(7):69 - 75,127.
中文标题
基于体系结构模型的综合化航电分区可调度性验证
发表栏目
应用技术与研究
摘要点击数
92
英文标题
SCHEDULABILITY VERIFICATION OF INTEGRATED MODULAR AVIONICS PARTITIONING BASED ON ARCHITECTURE MODEL
作 者
刘哲旭 樊智勇 赵珍 Liu Zhexu Fan Zhiyong Zhao Zhen
作者单位
中国民航大学电子信息与自动化学院 天津 300300 中国民航大学工程技术训练中心 天津 300300    
英文单位
College of Electronic Information and Automation, Civil Aviation University of China, Tianjin 300300, China Engineering Technology Training Center, Civil Aviation University of China, Tianjin 300300, China    
关键词
综合模块化航电 软件分区 体系结构模型 可调度性
Keywords
IMA Software partitioning Architecture model Schedulability
基金项目
天津市自然科学基金项目(18JCQNJC05000);中国民航大学科研启动基金项目(2014QD10X)
作者资料
刘哲旭,讲师,主研领域:飞机系统仿真及测试验证。樊智勇,副教授。赵珍,讲师。 。
文章摘要
分区可调度性验证是影响综合模块化航电系统(IMA)可靠性与安全性的关键问题。为解决现有的模型驱动验证方法难以满足系统整体验证需求或需要繁琐的二次建模的问题,提出一种基于体系结构分析与设计语言(AADL)的IMA分区可调度性验证建模方法。在构建分区静态体系结构模型的基础上,通过AADL行为附件建模描述系统中任务的调度过程。再采用AADL Inspector工具对模型中的任务调度行为进行动态仿真,根据仿真结果即可对IMA分区可调度性进行评估。案例实验表明,该方法能够有效发现分区调度配置信息中的错误。此外,只需一次性建模即可直接完成可调度性验证。与现有方法相比,避免了对AADL模型进行繁琐的二次转化。
Abstract
Partition schedulability verification is a key issue affecting the reliability and safety of integrated modular avionics system(IMA). Existing model-driven verification methods are difficult to meet the requirements of system verification or the need for cumbersome conversion modeling. To solve this problem, we proposed an IMA partitioning schedulability verification modeling based on AADL. Based on the partition static architecture model, the task scheduling process in the system was described by AADL behavior attachment model. AADL Inspector was used to simulate the task scheduling behavior in the model. According to the simulation results, the IMA partition schedulability could be evaluated. Experiment results show that this method can find errors in the partition configuration information effectively. In addition, the verification can be performed directly with one-time modeling. Compared with the existing methods, it avoids the conversion of the AADL model.
下载PDF全文   

根据该篇关键词查找到本刊已发表相关论文供参考
序号
文  章  标  题
作者1
发表栏目
页码
摘要
1
基于体系结构模型的综合化航电分区可调度性验证
刘哲旭
应用技术与研究
2019
7
69
[摘要]
2
嵌入式系统的细粒度多处理器实时抢占式调度算法
李扬
嵌入式软件与应用
2019
4
202
[摘要]
3
基于Web服务的物联网体系结构模型及应用
郭正红
应用技术与研究
2015
5
123
[摘要]
4
一种改进的容错RM算法
李鹏
嵌入式软件与应用
2014
2
245
[摘要]