基于AADL的航电系统建模技术

• 作者: 田丹 霍峰
• 来源期刊: 航空计算技术
• 关键词: 航电系统 建模技术 模型验证 AADL OSATE
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 计算机应用
• 页码范围: 116-118
• 分类号: TP311.56
• 语种: 中文
• DOI: 10.3969/j.issn.1671-654X.2010.03.031

摘要

新一代航电系统的高度综合化,模块化,采用分布式结构,实现容错/重构等特点,对可靠性,可验证性提出更高的要求.较为全面的介绍了以AADL为基础的航电系统建模的技术,给出具体的实施方案和步骤,开发出结构分析与设计工具创建及管理模型,检查模型的完整性和正确性,并为安全性分析、可靠性分析以及可调度性分析等验证工具提供了良好的接口.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	霍峰		7	12	2.0	3.0
2	田丹		3	12	2.0	3.0