1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
|
<?xml version="1.0"?>
<!-- Incorrect input:
Missing a gate definition.
-->
<opsa-mef>
<define-fault-tree name="TwoTrains">
<define-gate name="TopEvent">
<and>
<gate name="TrainOne"/>
<gate name="TrainTwo"/>
</and>
</define-gate>
<define-gate name="TrainOne">
<or>
<event name="ValveOne"/>
<event name="PumpOne"/>
</or>
</define-gate>
<!-- Here: Commenting out TrainTwo definition.
<define-gate name="TrainTwo">
<or>
<event name="ValveTwo"/>
<event name="PumpTwo"/>
</or>
</define-gate>
-->
</define-fault-tree>
</opsa-mef>
|