OSATE&AADL教程

本章介绍了OSATE工具的插件开发基本方法，因为OSATE是基于eclipse平台开发的，他具有eclipse的基本特性，所以我们可以借助eclipse来进行插件的开发

本文已参与「新人创作礼」活动，一起开启掘金创作之路。 介绍 本文主要介绍了EMV2.aadl这个文件的基本内容，一方面更加深入的学习emv2的功能，另一方面为自己编写一个annex做准备 附录文件头部

整理了EMV2进行错误树分析的基本语法，用最简单直观的样例介绍EMV2和错误树分析。同时包含关于FTA的门/事件的类型。

本文介绍aadl模型实例化后，进行Flow Latency Analysis、Bus Load Analysis两种分析方法。

本章介绍了一款官方样例，样例主要基于错误树分析方法介绍了aadl在实践中的简单应用，对模型中的各种组成进行了讲解，并列举了四个场景，证明在安全风险分析中，加入较低设计保证水平（DAL）组件的重要性

本文对EMV2相关的部分名词进行枯燥的文字解释，同时用一系列样例辅助认识EMV2的各种语法，如error type,behavior,propagations,propagations,events

本文介绍了ARP4761项目的基本内容和部分aadl。本示例再现了ARP4761和AIR6110标准中描述的车轮制动系统。

本文介绍了复合构建system和通用构建abstract的约束和使用方法。统代表软件、执行平台或系统构建的复合体。

本文介绍了执行平台类构建Processor、Virtual Processor、Memory、Bus、Virtual Bus、Device的使用方法和约束。

本文主要介绍AADL软件类构建Process、Thread、Thread Group、Data、Subprogram、Subprogram Group的功能和基本用法。

本文介绍了AADL语法组件的基本信息，同时推荐了一些学习新手教材，帮助入门人员更快的了解AADL的基本语法和使用规范。

本文介绍了属性的查看方法，4种属性值的类别，6种属性状态的用法，对AADL的属性进行基本的讲解和使用介绍

本文介绍了Osate的基本操作，和Eclipse类似。 文中语言介绍较少，因为感觉大家看图片应该很好理解所以没有过多解释。