search

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

Add 'transient' property to BEs #8

Open ennoruijters opened 5 years ago

ennoruijters commented 5 years ago

Add an attribute transient=P to BEs. When the BE fails, with probability P, it should emit a failure signal immediately followed (i.e., with no intervening Markovian or timed transitions), but a repaired signal.