基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
分区可调度性验证是影响综合模块化航电系统(IMA)可靠性与安全性的关键问题.为解决现有的模型驱动验证方法难以满足系统整体验证需求或需要繁琐的二次建模的问题,提出一种基于体系结构分析与设计语言(AADL)的IMA分区可调度性验证建模方法.在构建分区静态体系结构模型的基础上,通过AADL行为附件建模描述系统中任务的调度过程.再采用AADL Inspector工具对模型中的任务调度行为进行动态仿真,根据仿真结果即可对IMA分区可调度性进行评估.案例实验表明,该方法能够有效发现分区调度配置信息中的错误.此外,只需一次性建模即可直接完成可调度性验证.与现有方法相比,避免了对AADL模型进行繁琐的二次转化.
推荐文章
重大科技工程综合研究体系结构模型化方法
体系工程
重大科技工程
结构化建模
综合研究体系
综合航电分区间通信元模型设计研究
模型驱动架构
元模型
分区间通信
综合航电
基于特定领域建模的综合航电分区级元模型研究
综合航电
领域建模
元模型
通用建模环境
基于AADL的综合航电分区系统可调度性判定
综合模块化航电
ARINC653 系统
分区系统
架构分析和设计语言
Cheddar工具
可调度性判定
仿真方法
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于体系结构模型的综合化航电分区可调度性验证
来源期刊 计算机应用与软件 学科 工学
关键词 综合模块化航电 软件分区 体系结构模型 可调度性
年,卷(期) 2019,(7) 所属期刊栏目 应用技术与研究
研究方向 页码范围 69-75,127
页数 8页 分类号 TP311
字数 5996字 语种 中文
DOI 10.3969/j.issn.1000-386x.2019.07.013
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 樊智勇 中国民航大学工程技术训练中心 37 79 4.0 7.0
2 赵珍 中国民航大学电子信息与自动化学院 12 40 3.0 6.0
3 刘哲旭 中国民航大学电子信息与自动化学院 6 4 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (84)
共引文献  (76)
参考文献  (14)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1973(1)
  • 参考文献(0)
  • 二级参考文献(1)
1980(2)
  • 参考文献(0)
  • 二级参考文献(2)
1986(1)
  • 参考文献(0)
  • 二级参考文献(1)
1988(1)
  • 参考文献(0)
  • 二级参考文献(1)
1991(1)
  • 参考文献(0)
  • 二级参考文献(1)
1994(4)
  • 参考文献(0)
  • 二级参考文献(4)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
1998(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(2)
  • 参考文献(0)
  • 二级参考文献(2)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(5)
  • 参考文献(1)
  • 二级参考文献(4)
2005(5)
  • 参考文献(0)
  • 二级参考文献(5)
2006(3)
  • 参考文献(0)
  • 二级参考文献(3)
2007(2)
  • 参考文献(0)
  • 二级参考文献(2)
2008(5)
  • 参考文献(0)
  • 二级参考文献(5)
2009(7)
  • 参考文献(0)
  • 二级参考文献(7)
2010(5)
  • 参考文献(1)
  • 二级参考文献(4)
2011(8)
  • 参考文献(0)
  • 二级参考文献(8)
2012(7)
  • 参考文献(2)
  • 二级参考文献(5)
2013(6)
  • 参考文献(0)
  • 二级参考文献(6)
2014(4)
  • 参考文献(0)
  • 二级参考文献(4)
2015(11)
  • 参考文献(3)
  • 二级参考文献(8)
2016(6)
  • 参考文献(2)
  • 二级参考文献(4)
2017(4)
  • 参考文献(2)
  • 二级参考文献(2)
2018(2)
  • 参考文献(2)
  • 二级参考文献(0)
2019(1)
  • 参考文献(1)
  • 二级参考文献(0)
2019(1)
  • 参考文献(1)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
综合模块化航电
软件分区
体系结构模型
可调度性
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用与软件
月刊
1000-386X
31-1260/TP
大16开
上海市愚园路546号
4-379
1984
chi
出版文献量(篇)
16532
总下载数(次)
47
总被引数(次)
101489
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导