AADL to EMFTA Export is missing some probabilities

[khoyme]

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)

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]

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.