osate2.10.0安装包，官网下载地址：https://osate-build.sei.cmu.edu/download/osate/stable/2.10.0/products/osate2-2.10.0-vfinal-win32.win32.x86_64.zip
2021-12-26 22:08:53
354.19MB
1
1.OSATE:一个完整的建模工具，目前已经到3.xx的版本，但是各个版本的使用方法（拖图）还是有挺大差别的，在本次教程中选用OSATE2-2.2（也许你使用的的是3.xx但是他们的拖图方式可能不一样，但是语法还是差不多的）
2.OSATE:建模只要有两个部分通过图形界面建模、另外一个是用过编程语法进行建模。其实你要是想将语法和图形界面中的部件联系起来也挺容易，你可以先拖一个空间然后转到文本编辑界面看看生成的语法是那些就能大体掌握各个控件对应的关键字等。
2021-11-29 16:53:11
576KB
1
在新一代的集成模块化航空电子系统中，机载软件采用开放的分布式架构，其中模块共享各种公共资源，并且彼此之间进行复杂的交互，从而导致模块故障易于传播，因此可靠性高。机载软件可能会减少。 机载软件的分析，测量和改进已成为需要解决的重要问题。 针对机载分布式软件的特点，提出了一种基于AADL的误差建模和可靠性分析方法。 利用AADL体系结构模型中的关键信息，可以生成AADL错误模型来描述机载分布式软件的故障行为。 在此步骤的基础上，使用灵敏度分析方法来分析系统可靠性。 因此，设计人员可以在开发的早期阶段找到影响系统可靠性的关键模块，从而在决策的基础上提高系统的可靠性。
2021-11-25 18:18:38
1.25MB
1
The Architecture Analysis &
Design Language (AADL)
An Introduction
AADL的入门资料，英文资料
2021-11-24 21:16:07
628KB
1
AADL介绍手册，介绍了AADL的基本概念和使用方法，用户通过阅读这个手册，可以对AADL有一个基本的掌握。
2021-11-18 14:55:53
934KB
1