结构分析与设计语言（architectureanalysisanddesignlanguage，AADL）是应用于嵌入式领域的体系结构建模、分析和验证的重要手段。针对......