Ensure that all automata propagate transient failures

utwente-fmt / dftcalc

DFTCalc: A Dynamic Fault Tree calculator for reliability and availability

http://fmt.ewi.utwente.nl/tools/dftcalc/

MIT License

12 stars 6 forks source link

Ensure that all automata propagate transient failures #9

Open ennoruijters opened 5 years ago

ennoruijters commented 5 years ago

Automata for gates currently behave nondeterministically when a FAIL signal of a child is immediately followed by an ONLINE signal. The gate should always emit its own FAIL signal if the child failure should cause a failure, possibly followed as well by its own ONLINE.