Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fault tree generator ignores fault contributors when encountering a trace cycle in HW #1893

reteprelief opened this issue Jul 12, 2019 · 0 comments · Fixed by #1894


Copy link

commented Jul 12, 2019

The backward trace algorithm keeps track of propagation graph nodes that have been visited.
When encountering such a situation on one path it ignores additional propagation paths.
Example: SafetyTutorial under Examples on github/osate.
The system implementation GPS.Dual does not show the complete set of contributors - ignoring part of the second input to the voter. This occurs on a connection with HW propagation path, which has a propagation cycle in the HW side and skips the propagation to the connection source.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
None yet
2 participants
You can’t perform that action at this time.