1.2 技术兴趣的读者指南 对于熟悉 AADL 标准文档的读者能够在细节描述和例子（文本和图形化形 式），中占有优势。这些细节描述和例子如本文表 1-2 所示的与技术兴趣领域相 关的章节。 表 1-2 本文与技术兴趣相关的章节 章节号码 关注的技术 5.4、5.5 、8.3.1、8.3.2、 8.4 和 8.5 建模应用软件-这些章节解决数据和子程序构件以及它 们的交互(例如调用和构件访问)。 5.1、5.2、5.3、8.1、8.2、 8.3.1、8.3.2 和 8.4.2 执行任务与并发-这些章节介绍与多执行路径相关的运 行时交互、协调和时序等相关领域。 6.7 和 8.3.3 系统实例、绑定软件与硬件构件——这些章节讨论在定 义一个完整的系统结构实例时的问题和功能 11 建模元素的属性-这些章节讨论 AADL 模型中的属性赋 值和定义新属性 9 和 11.2 运行时配置剪裁-这些章节介绍系统的可选体系架构配 置的结构。 10、11.3、11.4 和 11.5 分析抽象-这些章节讨论方便系统结构分析的功能。 1.3 使用此文档的约定 本技术文档使用文本和图形化的例子，反映了 AADL 标准文档（SAE 06a） 中使用的的风格（标注的地方除外）,而且，为了满足本文档的一致性和分类性， 我们在文本例子和注释文本（第 4 章到 12 章）使用同样的方式（例如，使用同 样的类型样式和形式）来表示 AADL 核心语言概念和关键规范化元素。而且我 们使用了 AADL 图标 表示不同的语义，而不是像统一建模语言（UML）那 样用相似的图形符号表示。

GJBz 20162-1993 军用无线电测向装备通用技术条件（GJB 4637-1993）

国家军用标准，指导我们进行军用软件安全性分析的工作开展。

元器件使用中承受的应力应低于其额定值,以达到延缓其参数老化,提供使用可靠性的目的.

可靠性热设计，广大工程师可以参考，里面也有一些热设计需要注意的地方，具体方案

电子设备可靠性预计手册

GJBZ_141-2004_军用软件测试指南文档完整版。

GJBZ 34-1993 电子产品定量环境应力筛选指南

GJBZ 141-2004 军用软件测试指南标准

故障模式、影响及危害性分析操作指南，国军标。