File: ne574.xml

package info (click to toggle)
scram 0.16.2-4
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 8,016 kB
  • sloc: xml: 120,766; cpp: 23,966; python: 1,256; ansic: 100; makefile: 9
file content (62 lines) | stat: -rw-r--r-- 1,507 bytes parent folder | download | duplicates (4)
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
<?xml version="1.0"?>
<!--
# This input is from NE 574 lecture 8.
# This input is used to test minimal cut set generation.
-->
<opsa-mef>
  <define-fault-tree name="ne574">
    <define-gate name="System">
      <and>
        <gate name="TrainOne"/>
        <gate name="TrainTwo"/>
      </and>
    </define-gate>
    <define-gate name="TrainOne">
      <or>
        <gate name="A"/>
        <event name="B"/>
        <event name="C"/>
      </or>
    </define-gate>
    <define-gate name="A">
      <or>
        <event name="F"/>
        <event name="G"/>
      </or>
    </define-gate>
    <define-gate name="TrainTwo">
      <or>
        <event name="C"/>
        <event name="D"/>
        <gate name="E"/>
      </or>
    </define-gate>
    <define-gate name="E">
      <and>
        <event name="H"/>
        <event name="I"/>
      </and>
    </define-gate>
    <define-basic-event name="B">
      <float value="0.1"/>
    </define-basic-event>
    <define-basic-event name="C">
      <float value="0.3"/>
    </define-basic-event>
    <define-basic-event name="D">
      <float value="0.5"/>
    </define-basic-event>
    <define-basic-event name="F">
      <float value="0.7"/>
    </define-basic-event>
    <define-basic-event name="G">
      <float value="0.2"/>
    </define-basic-event>
    <define-basic-event name="H">
      <float value="0.4"/>
    </define-basic-event>
    <define-basic-event name="I">
      <float value="0.8"/>
    </define-basic-event>
  </define-fault-tree>
</opsa-mef>