中文摘要：

随着嵌入式系统规模、复杂度和性能需求的提升，嵌入式系统开发的重点从代码级提前到模型级；体系结构分析和设计语言AADL能够在模型级对系统进行建模，并通过一系列验证尽早发现系统设计中的问题，在航空航天等嵌入式系统中具有广阔的应用前景；全面系统地介绍了基于AADL的建模、验证的具体方法步骤、实现手段和工具，并以简化的飞行控制系统为例具体讲述了AADL的建模和验证技术的实际应用，从而为AADL技术在我国嵌入式软件中的应用奠定了基础。

英文摘要：

The focus of embedded system development is shifted from the code level to the model level with the increasing scale, complexity and performance of embedded system. Architecture Analysis and Design Language （AADL） will be applied widely in the aviation and aerospace embedded systems, which can model the system on the architecture level and find problems in the design through a series of verification. The methods, steps and tools of modeling and validating based on AADL is present in detail, and taking the Flight Control System as an example, the practical application of modeling and validating with AADL are given, which provides a foundation for application of AADL technology in local embedded software.