[aadl-modeling]: EMV2, EMFTA, PRISM Tools

[Peter Feiler]

Hi Paul,

Try the Update probabilities command on the fault tree root.
It will compute the values and reflect the result in the fault tree.

When you execute the “Compute Events Probability” command the probabilities will be aggregated and the results written into a report, but not reflected in the fault tree. The report is currently stored directly in the project folder – not in the reports folder maintained by OSATE. This is documented in the online help for EMFTA.

EMFTA is intended to operate independent of OSATE – so would not know about the reports folder. However, I think it should put the report at least in a reports subfolder inside the folder that contains the emfta files. When OSATE generates emfta files they are kept in the “fta” folder. I have put an issue report in for EMFTA.

Peter

From: aadl-modeling-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu [mailto:aadl-modeling-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu] On Behalf Of Paul Wortman
Sent: Sunday, January 29, 2017 12:50 PM
To: AADL Modeling <aadl-modeling at lists.sei.cmu.edu>
Subject: [aadl-modeling]: EMV2, EMFTA, PRISM Tools

Hello,

I am wondering if anyone can point me towards documentation for the EMV2, PRISM, and EMFTA tools for osate.  I have been trying to use the 'Generate Events Probability' menu option for the EMFTA Fault-Tree Analysis graph, but for some reason the probability of each event always gets calculated as zero (0.0).

I have been trying to run the tool using the 'LargeExamplesforEMV2TR' (https://github.com/osate/examples/tree/master/LargeExamplesforEMV2TR) example.  I can see from LargeExample.aadl that there are non-zero ProbabilityValue being set, but when I build the Fault-Analysis Tree (either full-tree or non full-tree) the produced graph (and probability.csv file) all state that the declared and computed values are zero (or n/a).

Can anyone explain to me what I might be doing wrong or how to go about fixing this always 0 issue?

Also, is there anyone that can explain to me how to include/use PRISM with osate?  I have found some older documentation stating it's use with the EMV2 annex, but I can not seem to find the tool in osate (2.2.1 or 2.2.2).

   - Paul
-------------- next part --------------
HTML attachment scrubbed and removed