osate 使用过程中的总结： （1）首先创建 AADL 工程，才能往其中添加具体的文件。创建工程方式：file/new/project（或者用图表中 的快捷方式）,弹出 new project 对话框，选择 aadl wizard 下的 aadl project，next 往下，给工程取名字如 work， 选择存储路径保存。 （2）创建相应的工程以后，在 aadl navigation 中会显示刚刚创建的工程 work，里面包含 aadl 和 aaxl 两个 文件夹。接下来进行模型的建立：我们选择图形的方式建模，比较直观且比文本编写方便。aaxl 文件夹右 击，new/project/aadl diagram，弹出对话框，给图表文件取名后 finish。此时在 aaxl 文件夹下出现.aaxl（目 录结构）和.aaxldi（图表结构）的文件。双击.aaxldi 文件进行图表形式的建模。 （3）在.aaxldi 文件中建模，首先添加组件，每种组件包括 type（类）和对应的 implementations（具体对象）， type 和其 implementations 必须对应上，用 links 中的 implements 连接或对应 implementations 的名字前加上 前缀——.类名，可以给 type 类型添加端口或者添加内层包含的 system （4）想删除创建的组件时，右击要删除组件，会出现 delet from model 和 delet from diagram，两种删除方 式的区别，第一种是删除的比较彻底，把对应的.aaxl 文件中模型也删除，第二种只删除.aaxldi 文件中的图 形。 （5）进行组件绑定或者设置它的非功能属性（执行时间，周期等）设置，单击对应的组件，在 aadl property value 标签中会出现 aadl_properties，右键弹出 new property association，在出现的对话框中，可以进行 property definition 的设置。 （6）使用中，尽量减少删除更改组件的动作，否则对应的.aaxl 或.aadl 文件易出现错误。 （7）可调度性的分析方法：建模完成后，右击.aaxl 文件中的 system implementation 组件，弹出菜单中选择 osate/instaniate system,会自动生成对应的 instance 文件，右击生成的 instance 文件，弹出菜单中选择 aadl analyses/scheduling/binding and schedule threads,或者选择其他进行安全等级等检查。