# ARP4761 Example
This example reproduces the Wheel Brake System described
in the ARP4761 and AIR6110 standards. It was originally
designed by the Software Engineering Institute (SEI) at
Carnegie Mellon University (CMU) to demonstrate the following
capabilities of OSATE:
* Functional Hazard Assessment
* Fault Impact (FMEA/FMES)
* Fault Tree Analysis
A complete description of the case-study is available in [AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment (CMU/SEI-2014-TR-020)](https://resources.sei.cmu.edu/library/asset-view.cfm?assetid=311884)
The TR is based upon an earlier version of OSATE. This README is based on OSATE 2.7.1.
### Organization of the example
There are two models contained within this project. The one used for much of the TR is *simple* (wbs.aadl is the main AADL module) -- other features are illustrated in *advanced* (wbs.aadl in the *implementation* folder is the main AADL module).
### Creating a diagram
To generate the diagram shown in Figure 26 of TR, open simple/wbs.aadl, right click on one of the implementations in the Outline perspective and select "Create Diagram...". The resulting diagram will be somewhat different in appearance to the one in the figure due to the newer version of OSATE.
### Conducting analysis
To analyze the model start by right clicking on one of the implementations in the Outline perspective and select "Instantiate". The instantiation is placed in the instance folder within the model in the AADL Navigator. Click the instantiation (e.g., wbs_wbs_ima_instance.aaxl2) and then select the desired analysis (e.g., from the Analyses menu).
![png](images/analyses-menu.png)
Note that due to differences in the various analysis engines and/or the graphics display the outputs will not match the TR exactly. For example, running the Fault Tree Analysis (Analyses->Safety->Run Fault Tree Analysis) will produce a fault tree that looks significantly different from that shown in the TR.
### The advanced model
The diagram in Figure 32 of the TR is generated by opening main.aadl in the "functional" folder and selecting *system implementation Aircraft.basic*. If this implementation is instanciated running a Fault Impact Analysis produces an output identical to that in Figure 36 of the TR.
When the TR talks about the "realization model" it means the model found in the implementation folder. The binding associations are in the integration folder.
没有合适的资源?快使用搜索试试~ 我知道了~
资源详情
资源评论
资源推荐
收起资源包目录
工作空间配置文件夹runtime-osate2(具有analyses等osate基本功能).zip (56个子文件)
runtime-osate2
.metadata
.lock 0B
.mylyn
contexts
version.ini 103B
.log 413KB
arp4761
pom.xml 3KB
advanced
misc
functional-initial.aadl 8KB
functional
electrical.aadl 556B
throttle.aadl 383B
hydraulic.aadl 2KB
WBSFunctionalErrorLib.aadl 2KB
main.aadl 3KB
wbs
generic.aadl 1KB
main.aadl 8KB
command-control.aadl 2KB
generic_functions.aadl 760B
implementation
common.aadl 619B
bscu.aadl 12KB
valves.aadl 4KB
power.aadl 3KB
wheel.aadl 2KB
pedals.aadl 1KB
WBSImplementationErrorLib.aadl 1KB
platform.aadl 5KB
communication.aadl 2KB
pump.aadl 2KB
wbs.aadl 5KB
common
WBSPS.aadl 266B
integration
WBSMappingErrorLib.aadl 1KB
main.aadl 2KB
simple
proofs.aadl 811B
common.aadl 606B
bscu.aadl 12KB
valves.aadl 4KB
instances
power_power_generic_Instance.aaxl2 4KB
platform_cpu_single_Instance.aaxl2 499B
platform_cpu_ima_Instance.aaxl2 2KB
bscu_bscu_ima_Instance.aaxl2 30KB
bscu_bscu_basic_Instance.aaxl2 3KB
wheel_wheel_two_inputs_i_Instance.instance 264B
wheel_wheel_two_inputs_i_Instance.aaxl2 1KB
power.aadl 3KB
wheel.aadl 2KB
pedals.aadl 1KB
platform.aadl 5KB
communication.aadl 2KB
pump.aadl 1KB
wbs.aadl 7KB
proofs.aadl2 781B
error.aadl 2KB
.project 465B
doc
markdown
images
analyses-menu.png 84KB
README.md 2KB
html
.gitignore 70B
.gitignore 33B
diagrams
impl_bscu(2).aadl_diagram 456B
impl_bscu.aadl_diagram 561B
impl_bscu_bscu_generic.aadl_diagram 5KB
共 56 条
- 1
print_Hyon
- 粉丝: 1248
- 资源: 53
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0