osate / osate2-plugins

Old analysis plugins for OSATE2 repository, kept for reference
13 stars 9 forks source link

RBD Self Exlcusion Limitation #54

Closed deyudeng closed 6 years ago

deyudeng commented 8 years ago

RBD analysis of an implementation does not include the failure rates of the highest level of the heirarchy in its calculations, e.g. if a system's subcomponents have a 50% chance of sending it into state X, and it has a 10% chance of sending itself into state X spontaneously, RBD returns 50% instead of 55%.

See below for example.

RBD Self Exclusion Limitation.zip

lwrage commented 6 years ago

RBD was removed from OSATE.