基于体系结构模型的综合化航电分区可调度性验证

论文摘要

分区可调度性验证是影响综合模块化航电系统(IMA)可靠性与安全性的关键问题。为解决现有的模型驱动验证方法难以满足系统整体验证需求或需要繁琐的二次建模的问题,提出一种基于体系结构分析与设计语言(AADL)的IMA分区可调度性验证建模方法。在构建分区静态体系结构模型的基础上,通过AADL行为附件建模描述系统中任务的调度过程。再采用AADL Inspector工具对模型中的任务调度行为进行动态仿真,根据仿真结果即可对IMA分区可调度性进行评估。案例实验表明,该方法能够有效发现分区调度配置信息中的错误。此外,只需一次性建模即可直接完成可调度性验证。与现有方法相比,避免了对AADL模型进行繁琐的二次转化。

论文目录

• 0 引 言
• 1 IMA分区调度原理
•   1.1 IMA分区架构
•   1.2 分区调度机制
•     （1） 分区层调度。
•     （2） 任务层调度。
• 2 分区调度与AADL元素映射规则
• 3 IMA分区可调度性验证模型
•   3.1 分区架构建模
•   3.2 分区调度策略建模
•     （1） 分区层调度建模。
•     （2） 任务层调度建模。
• 4 IMA分区可调度性验证
•   4.1 架构正确性验证
•   4.2 可调度性验证
• 5 结 语

文章来源

类型: 期刊论文

作者: 刘哲旭,樊智勇,赵珍

关键词: 综合模块化航电,软件分区,体系结构模型,可调度性

来源: 计算机应用与软件 2019年07期

年度: 2019

分类: 信息科技,工程科技Ⅱ辑

专业: 航空航天科学与工程

单位: 中国民航大学电子信息与自动化学院,中国民航大学工程技术训练中心

基金: 天津市自然科学基金项目(18JCQNJC05000),中国民航大学科研启动基金项目(2014QD10X)

分类号: V243

页码: 69-75+127

总页数: 8

文件大小: 2500K

下载量: 100