Error Model Verification and Failure Analysis With Osate

[Mohammad]

I am new to AADL, but I feel it has a lot to go. It is really great for dynamic failure analysis. 

Problem 01: I was not able to generate failure analysis (Problem Solved)

• At first, I was not able to use the FTA and FHA analysis but I learned that first I need to "Instantiate" the "system implementation" then the instantiation with the extension ".aaxl2 "can be used for the further analysis.
  
• I learned that ".aadl" model is a declarative model and ".aaxl2" is an instance model.

Problem 02: I am not able to instantiate examples from Github:

• I cannot run the models. Is there any plugin I am missing? Please see the picture I have attached.
  
• I downloaded all the models from this link: https://github.com/osate/examples

[MohammadMahdi Karimi]

I think I could solve the problem 2. If there is a better way to solve it Please help me with it.

Some of the examples are incomplete. for example, in the Safety Tutorial (LINK To the example) two files are missing 

1. ErrorLibrary.aadl
2. EMV2.aadl

I could find these two files from other folders in the Github, 

• \ErrorModelV2-develop\org.osate.aadl2.errormodel.contrib\resources\packages (LINK to the ErrorLibrary.aadl)
  
• \ErrorModelV2-develop\org.osate.aadl2.errormodel.contrib\resources\properties (LINK to EMV2.aadl)

I just put these two files in the same folder in the package and all the errors were fixed.

Problem 03:

• New Problem that I have is the fault tree analysis. It seems that it should provide the (.fta) file so I can use the OpenFTA to see the FTA. But instead, it generates (.faulttree) file which is an XML file. 
  
• Here is what I can see from my view. If anyone here can help me with this.
  

[Lutz Wrage]

You did something wrong when you imported the examples. Somehow your examples-master project seems to be a Java project (it;s decorated with a 'J'.
You must use the "Projects from Git" import wizard to select an example project in the repo clone and add it to the workspace. Then you should end up with an AADL project (decorated with 'X' or 'A' depending on the OSATE version). Also, AADL prjects use the ErrorLibrary and EMV2 files from the Plugin_Contributions shown in the AADL Navigator.