search

juli1 / emfta

EMF-based Fault-Tree Analysis Tool
Other
5 stars 25 forks source link

AADL to EMFTA Export is missing some probabilities #31

Open khoyme opened 8 years ago

khoyme commented 8 years ago

I am working through the EMFTA Safety Tutorial and am running into an inconsistency in my results from what is displayed in the tutorial (https://github.com/cmu-sei/emfta/blob/develop/doc/white-paper.md).

I am just trying to export GPS.parts_SingleSensor to EMFTA and work with the tools available there.

I have attached a screen shot of the result. Two of the four elements in the leaf nodes of the tree were exported with failure probabilities of 0, though in the example model, satellite failure was assigned a probability of 0.9e-7 (in system GPS in GPSSystem.aadl) and power supply 2.5e-5 (in device PowerSupply in HardwareParts.aadl)

screen shot 2016-08-26 at 5 18 57 pm

Versions I have installed from a recent nightly build: EMFTA 1.0.0.v20160625-0347
EMFTA Bridge with OSATE 1.0.0.v20160818-0409

khoyme commented 8 years ago

I just noticed that the two items that aren't getting probabilities pulled are both Device defined. The ones that do are a Processor and a Bus.