唐家强 王星皓 安品臣 胡宾洋

摘   要：在对分布式综合航空电子系统中的信息流进行分析评价时，必须构建相应的信息流模型。体系结构分析与设计语言具有对较为复杂的系统集成和性能进行规格说明与分析，并可实现硬件的计算资源和软件构件之间相互映射的能力，因此，特别适用于性能关键性嵌入式实时系统的分析与设计，文章结合综合化航电系统的结构特征，阐述了系统信息流的AADL建模方法。

关键词：综合模块化航电;信息流;建模;AADL

综合化航电系统替代了联合式航电系统[1]，成为越来越多飞机的选择，但是由于其系统复杂，给其建模分析带来了挑战，体系结构分析与设计语言（Architecture Analysis and Design Language，AADL）以结构化、模块化的特征引起了各国学者的注意，开始成为主流建模方法。

1    体系结构分析与设计语言

1.1  AADL标准

SAE标准定义的体系AADL[2]脱胎于航空电子领域中具有长期的工程应用基础的MetaH语言，应用于有实时响应要求的、具有挑战性的资源限制的、必须经过认证得到高度信任的嵌入式实时系统。

对于被分析的系统，AADL语言能够正规地描述体系结构模型，以发现如调度、定时、故障冗余等潜在的系统问题。对于设计中的系统，AADL语言的优势在于多尺度的逼真性：既能对完全规模的系统进行抽象表达，也可以通过分析部分信息模型来确定设计是否满足预期需求。因此，其特别适用于综合式模块化航空电子系统的体系结构描述。

SAE AS5506标准给出了AADL语言的基本概念和核心模型，主要通过“语法”“语义”“命名规则”“预定义属性”“合法性规则”以及“处理需求和许可”等几部分对标准AADL进行全面阐述。……