计算机科学 ›› 2016, Vol. 43 ›› Issue (Z6): 55-59.doi: 10.11896/j.issn.1002-137X.2016.6A.012
周德新,李宁,刘哲旭
ZHOU De-xin, LI Ning and LIU Zhe-xu
摘要: 针对航电系统的不同构型仿真、系统加改装的验证,为了使构型控制系统可以根据应用需求可靠转换,以满足系统结构能够可靠重构的需求,采用先进的建模语言AADL(结构化分析设计语言)完成了对航电构型控制系统的建模设计。结合AADL对航电构型控制系统进行了详细的分析,展示了该系统的特征与关键技术,体现了此系统的工作原理与内部结构。该模型可以表达系统的功能与非功能约束,实现了系统级的组件建模策略,层次化地描述了系统的架构。
[1] Feiler P H,Hundak J.developing.AAD-L for Control System:APractitione-r’s Guide(CMU/SEI-2007-TR-014)[M].Pitt-sbur-gh,PA:Software Engineering Institute,Carnegie Mellon University,2007 [2] 钱磊,郁文生,朱明华.基于AADL的无线传感网络的建模与分析[J].计算机科学,2012,9(11):424-427 [3] Feiler P H,Hansson J.Flow Latency Analysis with the Architecture Analysis and Design Language(AADL)[D].Pittsburgh,PA:Software Engineering Institute,Carnegie Mellon University,2007 [4] 李振松,蒋志雄,顾斌.AADL模式转化设计方法研究[J].计算机工程与设计,2011,2(12):424-427 [5] 姜丽云.AFDX网络关键技术研究[D].西安:西安电子科技大学,2013 [6] 杨阳.基于AADL的车用嵌入式实时系统建模方法研究[D].长沙:湖南大学,2012 [7] 殷锋社,汤小明.基于AADL的航空电子系统建模研究[J].舰船电子工程,2013,3(4):88-89 [8] 刘玮,李蜀瑜.AADL的形式化研究[J].计算机技术与发展,2013,3(9):43-45 |
No related articles found! |
|