ARINC653航空电子系统AADL建模技术研究

• 作者: 单鹏 王长宇
• 来源期刊: 测控技术
• 学科: 工学
• 关键词: AADL模型 ARINC653系统 模型驱动工程
• 年，卷（期）: 2013,（7）
• 所属期刊栏目: 软件纵横
• 页码范围: 118-120,145
• 页数: 4页
• 分类号: TN911
• 字数: 2997字
• 语种: 中文

摘要

随着ARINC653系统在我国航空领域的广泛应用,研究ARINC653系统建模方法将为进一步研究基于模型的ARINC653系统可靠性、可调度性分析奠定基础.详细研究了ARINC653系统AADL建模的方法,具体描述了ARINC653系统、分区、进程、进程通信和健康监控等核心元素的AADL建模映射机制,并进行实例说明.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	单鹏		2	8	2.0	2.0
2	王长宇		1	2	1.0	1.0