基于体系结构模型的综合化航电分区可调度性验证 |
| |
引用本文: | 刘哲旭,樊智勇,赵珍.基于体系结构模型的综合化航电分区可调度性验证[J].计算机应用与软件,2019,36(7). |
| |
作者姓名: | 刘哲旭 樊智勇 赵珍 |
| |
作者单位: | 中国民航大学电子信息与自动化学院 天津300300;中国民航大学工程技术训练中心 天津300300 |
| |
基金项目: | 天津市自然科学基金;中国民航大学科研启动基金 |
| |
摘 要: | 分区可调度性验证是影响综合模块化航电系统(IMA)可靠性与安全性的关键问题。为解决现有的模型驱动验证方法难以满足系统整体验证需求或需要繁琐的二次建模的问题,提出一种基于体系结构分析与设计语言(AADL)的IMA分区可调度性验证建模方法。在构建分区静态体系结构模型的基础上,通过AADL行为附件建模描述系统中任务的调度过程。再采用AADL Inspector工具对模型中的任务调度行为进行动态仿真,根据仿真结果即可对IMA分区可调度性进行评估。案例实验表明,该方法能够有效发现分区调度配置信息中的错误。此外,只需一次性建模即可直接完成可调度性验证。与现有方法相比,避免了对AADL模型进行繁琐的二次转化。
|
关 键 词: | 综合模块化航电 软件分区 体系结构模型 可调度性 |
SCHEDULABILITY VERIFICATION OF INTEGRATED MODULAR AVIONICS PARTITIONING BASED ON ARCHITECTURE MODEL |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 万方数据 等数据库收录! |
|