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

Smart semantics wrong activation with Shared and subtree sparers #4

Closed buschko closed 5 years ago

buschko commented 8 years ago

When a SPARE gate has cold Spares that are shared or consist out of subtrees, the smart Semantics will erroneously mark them as active, and thus activate the cold spares from the beginning.

Temporary solution: uncomment line 578 (dft->applySmartSemantics();) in dft2lntc.cpp

This will deactivate the smart semantics.

ennoruijters commented 5 years ago

Fixed long ago.