使用此文档的约定-gjbz 768a-1998 故障树分析指南

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）那 样用相似的图形符号表示。