基于AADL的航电构型控制系统的建模分析

发布时间：2017-10-24 18:18

  本文关键词：基于AADL的航电构型控制系统的建模分析

  更多相关文章： 航空电子 结构化分析设计语言 构型控制

【摘要】：针对航电系统的不同构型仿真、系统加改装的验证,为了使构型控制系统可以根据应用需求可靠转换,以满足系统结构能够可靠重构的需求,采用先进的建模语言AADL(结构化分析设计语言)完成了对航电构型控制系统的建模设计。结合AADL对航电构型控制系统进行了详细的分析,展示了该系统的特征与关键技术,体现了此系统的工作原理与内部结构。该模型可以表达系统的功能与非功能约束,实现了系统级的组件建模策略,层次化地描述了系统的架构。
【作者单位】： 中国民航大学航空自动化学院;
【关键词】： 航空电子 结构化分析设计语言 构型控制
【基金】：民航局重大专项(MHRD20130112) 中央高校基本科研基金(3122015C011)资助
【分类号】：V243;TP311.52
【正文快照】： 本文受民航局重大专项(MHRD20130112),中央高校基本科研基金(3122015C011)资助。周德新女,硕士,硕士生导师,主要研究领域为智能诊断与智能检测,E-mail:261341244@qq.com;李宁男,硕士生,主要研究领域为航电系统;刘哲旭男,博士,讲师,主要研究领域为航电系统。1引言随着航空电子

【参考文献】

中国期刊全文数据库 前4条

1 刘玮;李蜀瑜;;AADL模型的形式化研究[J];计算机技术 与发展;2013年09期

2 殷锋社;汤小明;;基于AADL的航空电子系统的建模研究[J];舰船电子工程;2013年04期

3 钱磊;郁文生;朱明华;;基于AADL的无线传感器网络的建模与分析[J];计算机科学;2012年S3期

4 李振松;蒋志雄;顾斌;;AADL模式转换设计方法研究[J];计算机工程与设计;2011年12期

中国硕士学位论文全文数据库 前2条

1 姜丽云;AFDX网络关键技术研究[D];西安电子科技大学;2013年

2 杨阳;基于AADL的车用嵌入式实时系统建模方法研究[D];湖南大学;2012年

【共引文献】

中国期刊全文数据库 前5条

1 梁刚强;张立臣;;基于体系结构的信息物理融合系统的研究与分析[J];小型微型计算机系统;2016年06期

2 周德新;李宁;刘哲旭;;基于AADL的航电构型控制系统的建模分析[J];计算机科学;2016年S1期

3 杨莉;李楠;席隆;;基于AADL的嵌入式系统可靠性建模方法的探讨[J];计算机技术与发展;2015年08期

4 张康林;;刍议嵌入式系统关键技术分析与开发运用[J];计算机光盘软件与应用;2015年01期

5 廖娜;;嵌入式系统关键技术分析与开发应用探讨[J];电子测试;2013年07期

中国硕士学位论文全文数据库 前4条

1 李宁;基于AADL的航电构型控制系统测试性建模方法研究[D];中国民航大学;2016年

2 许志龙;基于AADL的微发控制器程序自动生成和验证[D];南京航空航天大学;2016年

3 倪一洋;基于FPGA的多总线接口适配技术研究[D];南京航空航天大学;2016年

4 白海洋;基于UPPAAL的嵌入式系统AADL模型实时性验证[D];南京航空航天大学;2014年

【二级参考文献】

中国期刊全文数据库 前10条

1 李振松;顾斌;;基于UPPAAL的AADL行为模型验证方法研究[J];计算机科学;2012年02期

2 高金梁;张刚;经小川;陈星;张辉;;采用AADL的软件系统可靠性建模与评估方法[J];计算机科学与探索;2011年10期

3 董云卫;王广仁;张凡;高磊;;AADL模型可靠性分析评估工具[J];软件学报;2011年06期

4 马春燕;董云卫;朱宇峰;陆伟;;AADL测试模型的构造研究[J];西北工业大学学报;2010年06期

5 杨志斌;皮磊;胡凯;顾宗华;马殿富;;复杂嵌入式实时系统体系结构设计与分析语言:AADL[J];软件学报;2010年05期

6 冯冰;杨志义;董云卫;马春燕;;一种面向AADL架构的模型测试方法[J];计算机测量与控制;2010年04期

7 陆少鹏;桂盛霖;李允;罗蕾;;基于模型的嵌入式开发环境——LambdaMDE[J];计算机应用;2010年03期

8 张斌;刘祥;张琦;;舰船电子系统并行工程质量管理模型的研究与应用[J];计算机与数字工程;2010年02期

9 王庚;周兴社;张凡;董云卫;;AADL模型的测试方法研究[J];计算机科学;2009年11期

10 张莉;姜浩;;领域本体半自动化建模工具的设计与实现[J];计算机与数字工程;2009年09期

中国硕士学位论文全文数据库 前2条

1 王绮卉;AFDX核心交换技术的研究与实现[D];西安石油大学;2010年

2 王斌文;航空全双工以太网交换机若干关键技术研究与实现[D];西安电子科技大学;2008年

【相似文献】

中国期刊全文数据库 前10条

1 王远达;宋笔锋;姬东朝;史彦斌;;军机航电系统实现两级维修的关键技术[J];火力与指挥控制;2009年08期

2 蒋国峰;扈胜超;;航电系统外场保障实习台的设计与研究[J];航空计算技术;2010年05期

3 张U，

本文编号：1089952