| 基于AADL的航电系统建模技术 |
| |
| 引用本文： | 田丹,霍峰.基于AADL的航电系统建模技术[J].航空计算技术,2010,40(3). |
| |
| 作者姓名： | 田丹 霍峰 |
| |
| 作者单位： | 中国航空计算技术研究所,陕西,西安,710068 |
| |
| 摘 要： | 新一代航电系统的高度综合化,模块化,采用分布式结构,实现容错/重构等特点,对可靠性,可验证性提出更高的要求。较为全面的介绍了以AADL为基础的航电系统建模的技术,给出具体的实施方案和步骤,开发出结构分析与设计工具创建及管理模型,检查模型的完整性和正确性,并为安全性分析、可靠性分析以及可调度性分析等验证工具提供了良好的接口。
|
| 关 键 词： | 航电系统 建模技术 模型验证 AADL OSATE |
AADL-based Avionics Modeling Technology |
| |
| TIAN Dan,HUO Feng.AADL-based Avionics Modeling Technology[J].Aeronautical Computer Technique,2010,40(3). |
| |
| Authors: | TIAN Dan HUO Feng |
| |
| Institution: | TIAN Dan; HUO Feng ( Aeronautical Computing Technique Research Institute; Xi′an 710068; China); |
| |
| Abstract: | The feature of new generation Avionics: high integrated,modularized system,using distributed structure, fault-tolerance/refectory require much more about reliability and validity. This paper focus on AADL- based Avionics modeling technology,indicate how to do it step by step,and work out Structure Design & Analysis Tool. By the Tool,we create and manager model,validate integrality and correctness of our model,and give interface to Analysis Tools such as safety,reliability and schedule-ability. |
| |
| Keywords: | AADL OSATE |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
