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

作     者：田丹 霍峰 TIAN Dan;HUO Feng

作者机构：中国航空计算技术研究所陕西西安710068 

出 版 物：《航空计算技术》 (Aeronautical Computing Technique)

年 卷 期：2010年第40卷第3期

页      码：116-118页

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

主 题 词：航电系统 建模技术 模型验证 AADL OSATE 

学科分类：08[工学] 0825[工学-环境科学与工程类] 

D　O　I：10.3969/j.issn.1671-654X.2010.03.031

馆 藏 号：203192485...