-
Notifications
You must be signed in to change notification settings - Fork 8
Open
Description
What are the semantics of referencing only one gate node in the define-gate node?
<define-gate name="Line1.VI.vfRightFlow_false" >
<gate name="TK.vfOutFlow_false" />
</define-gate>
I generated a Fault Tree (FT.xml) containing the above fragment using the example from the tutorial .
After sorting it out, I found:
-
Similar to the fragment list mentioned earlier
<define-gate name="Line1.VO.vfRightFlow_false" >
<gate name="Line1.P.vfOutFlow_false" />
</define-gate>
<define-gate name="Line1.P.vfOutFlow_false" >
<gate name="Line1.P.vfInFlow_false" />
</define-gate>
<define-gate name="Line1.P.vfInFlow_false" >
<gate name="Line1.VI.vfRightFlow_false" />
</define-gate>
<define-gate name="Line1.VI.vfRightFlow_false" >
<gate name="TK.vfOutFlow_false" />
</define-gate>
<define-gate name="Line2.VO.vfRightFlow_false" >
<gate name="Line2.P.vfOutFlow_false" />
</define-gate>
<define-gate name="Line2.P.vfOutFlow_false" >
<gate name="Line2.P.vfInFlow_false" />
</define-gate>
<define-gate name="Line2.P.vfInFlow_false" >
<gate name="Line2.VI.vfRightFlow_false" />
</define-gate>
<define-gate name="Line2.VI.vfRightFlow_false" >
<gate name="TK.vfOutFlow_false" />
</define-gate>
<define-gate name="TK.vfOutFlow_false" >
<gate name="TK.vsIsEmpty_true" />
</define-gate>
<define-gate name="TK.vsIsEmpty_true" >
<basic-event name="TK.evGetEmpty" />
</define-gate>
Question
How to connect Reactor Fault Tree to Line1 and Line2's Fault Tree? Which key information in the fault tree file did I ignore?
Metadata
Metadata
Assignees
Labels
No labels


