| 基于AADL的建模和验证技术应用研究 |
| |
| 引用本文： | 张辉,经小川,谢伟华,高金梁. 基于AADL的建模和验证技术应用研究[J]. 计算机测量与控制, 2012, 20(10): 2739-2741,2750 |
| |
| 作者姓名： | 张辉 经小川 谢伟华 高金梁 |
| |
| 作者单位： | 中国航天工程咨询中心,北京,100048 |
| |
| 摘 要： | 随着嵌入式系统规模、复杂度和性能需求的提升,嵌入式系统开发的重点从代码级提前到模型级;体系结构分析和设计语言AADL能够在模型级对系统进行建模,并通过一系列验证尽早发现系统设计中的问题,在航空航天等嵌入式系统中具有广阔的应用前景;全面系统地介绍了基于AADL的建模、验证的具体方法步骤、实现手段和工具,并以简化的飞行控制系统为例具体讲述了AADL的建模和验证技术的实际应用,从而为AADL技术在我国嵌入式软件中的应用奠定了基础。
|
| 关 键 词： | 体系结构分析和设计语言 建模 验证 应用 |
Application Research on Modeling and Validating Technologies Based on AADL |
| |
| Zhang Hui , Jing Xiaochuan , Xie Weihua , Gao Jinliang. Application Research on Modeling and Validating Technologies Based on AADL[J]. Computer Measurement & Control, 2012, 20(10): 2739-2741,2750 |
| |
| Authors: | Zhang Hui Jing Xiaochuan Xie Weihua Gao Jinliang |
| |
| Affiliation: | (China Aerospace Engineering Consultation Center,Beijing 100048,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
