--------------------------------------
 SAFETY ANALYSIS
--------------------------------------

This example is a copy of the ARP4761 model that is part of 
the OSATE examples 

It 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:
- Fault Hazard Assesment
- Fault Impact (FMEA/FMES)
- Fault Tree Analysis

It is used here to show the connection between 
AADL Inspector and Arbre Analyste to perform 
Fault Tree Analysis.

1. download Arbre Analyste at the following address:
https://www.arbre-analyste.fr/en.html
2. once installed onto your computer at the location of your choice, 
update the FTAToolPath user variable inside config/AIConfig.ini
3. restart AADL Inspector, reload the project, select the 
SafetyAnalysis tab and use the available buttons to either view the 
generated OpenPSA interchange file or launch Arbre Analyste with 
this file.