Open hobborg opened 5 years ago
The res
attribute has been added, however it does not do what you expect:
Following the Galileo manual (https://www.cse.msu.edu/~cse870/Materials/FaultTolerant/manual-galileo.htm), a failure should, with res
probability, not "cause the failure of either the component or the system". This has been implemented as an immediate repair of the component without any intervening failure.
I intend to add a new attribute (e.g., transient
) to perform the behaviour you describe, but this will take some time as the introduction of zero-time failure states has implication for most of the automata and the resulting CTMCs and queries.
The description of the
res
attribute for BEs as found in this page doesn't seem to be implemented.To see that, run the tool with options
-p -s -m
on the following FT, and then again on that FT but replacingres=1.0
byres=0.0
. The expected behaviour is that for run withres=0.0
the MTTF remains the same but the unavailability increases: that is not happening and for both cases the exact same results are given.Furthermore,
res
should be a probability value in the closed interval [0.0,1.0]. However any value is currently accepted (and seemingly ignored) by the tool. To reproduce run with the options as above on the same FT withres=80085
.