OpenFTA , .
:


0 , NUREG-0492
-
[
[ ( [ ).
:

OpenFTA
[








OpenFTA OpenFTA . 0
: Formal Software Construction -> OpenFTA

1: 0
1 OpenFTA , OpenFTA OpenPED
. 0 OpenFTA :
 
.

 ( ) . [
, (Tool Tip)
.



 
 
.

.
, OpenFTA.
  .
.
. .
.
OpenPED .









.
. [ , ,
. [ , .
View-Tree Overview. 0 ,
. OpenFTA
. 0 , OpenFTA
, . ,
(. ), OpenFTA
. Undo
. 0 , OpenFTA
. (
Edit->Shift Left Edit->Shift Right). , .
.
. ( ,
)
.
. , (...)
. [
. , ,
. ,
.
. 0
, .





.
Edit->Preferences...

 2: OpenFTA
0 Monochrome Colour Veiw,
. [ , .
[ [
. Cancel
. [ Defaults
OpenFTA . ,
. , Help
.




 





file menu-a toolbar-.

.
.
.fta. 0 , .fta
.

3:
a

R



( File->Print).
, , File>Printer Setup... File->Page Setup..

4: Print Page Setup

.  File->Print
Preview... . ,
, .

5: Print Preview






 


 



,
, .
- OpenPED . menubar toolbar,
OpenFTA,
.

. .
.
0 .

6: OpenPED
.
ID , .
.
. (P-) (-). P / .
- ,
. .
OpenPED
Apply. , ID
. (
), Apply.
, . OpenPED
OpenFTA .

















,
File->Database OpenFTA .
.
OpenPED . 0
.
.
,
Edit->Link ( toolbar-) OpenFTA .
ID ,
.






[ , .
( , ,
).  Analysis->Validate,
. , .

.








, .
OpenFTA, .
[ .














0
, ,
, .
OpenFTA ,
. 0
- . ("top event"),
G ("gates"), ("events"), P S ("primary" i "secundary"
events), .

Slika 7: 0

. .

1
1

3 4

2
3
4
5

4 5


0 :
5

1

- .
(
),
. -

f












B B e a ,

a a 1

a a 0.
V  

 

, b c B

a (b c) a b a c

a (b c) (a b) (a c)
 

 
- ,
- .





a  B

1) a 1 1
2) a 0 0

1):

a 1 (a 1)1
a 1 (a 1)(a a )
a 1 a 1 a
a 1 a a
a 1 1
2):
6



 

 

 




a, b  B

1) a a a

2) a a a

1): 

a a (a a) 1
(a a) (a a )
a a a
a0
a

 2):

a a a a 0
a a a a
a (a a)

a 1
a

6





a, b  B

1) a a b a

2) a (a b) a


1): 

a ab

a 1 a b
a (1 b)

a 1
a

2):
,
. [
,
.
,
OpenFTA. [ ,
Analysis->Minimal Cut Sets, :

8: 0
[ [, , ,
.  .

 , Use minimal cut sets on file

, .
 




  , , .

, .
:
Order 5:
1) P1 P2 P3 P4 S2

9) P2 P3 P4 S1 S2

2) P1 P2 P3 P4 S3

10) P2 P3 P4 S1 S3

3) P1 P2 P3 P4 S4

11) P2 P3 P4 S1 S4

4) P1 P2 P3 P4 S5

12) P2 P3 P4 S1 S5

5) P1 P2 P3 P5 S2

13) P2 P3 P5 S1 S2

6) P1 P2 P3 P5 S3

14) P2 P3 P5 S1 S3

7) P1 P2 P3 P5 S4

15) P2 P3 P5 S1 S4

8) P1 P2 P3 P5 S5

16) P2 P3 P5 S1 S5





   ,

. (order).
, 5,
. :




-

[
[
.
5 , :

Qualitative Importance Analysis:

Order

Number

c

16

10

ALL

16


!
"
 

#


,
.
( ). 0
. [
, Analysis -> Numerical Probability...

9: 0
cc

0 :
-

, (order),
.
(
)
number of terms,
. , ,
.
. ,
, . 0 ,
.
0
.

. , .
[ [, .
Stop . 0
Cancel, , .
, Help, . 0
, , :


-
-

,

Minimal cut set probabilities,


Basic Event Analysis,
.
.
 :
Probabilities Analysis
Tree : primer as.fta
Time : Tue Jun 14 20:32:41 2011
Number of primary events = 10
Number of minimal cut sets = 16
Order of minimal cut sets = 10
Unit time span

= 1.000000

c

Minimal cut set probabilities :

1 P1 P2 P3 P4 S2
6.727070E-001
................................................................................
16 P2 P3 P5 S1 S5
7.401434E-001

Probability of top level event (minimal cut sets up to order 10 used):

1 term +1.129555E+001 = 1.129555E+001 (upper bound)
....................................................................................................
16 terms -5.653409E-001 = 7.856713E-001 (lower bound)
Exact value : 7.856713E-001

Primary Event Analysis:

Event

Failure contrib.

Importance

P1
5.495130E+000
699.42%
.......................................................................
S5
2.867331E+000
364.95%












,
.
, ,
. 0
.
.
.
, .
[ .
,
. 
.
0 OpenFTA [
, . ,
:

0
0

ca

 [
. ,
. ,
, , [
.
40- 20 .
: Von Neumann, Stanislaw Ulam, Nicholas Metropolis...
Stanislaw Ulam-,
solitaire, 52
. 0
, . 100
.
, . 
.
, Nicholas Metropolis
.  ,
.
 - jo 18
Georges-Louis Leclerc Comte de Buffon. o l
d>l
(d - , l - ),
?
0 , ,
. ,
, .


10: 0 -
x

11:  x












, :



[ ,
.
,
. , ,
. [ ,
, .
c

 , ,
0 1 .
OpenFTA [ Analysis -> Monte Carlo Simulation...

12: [
:
-
- .
. 0 .
Unit Time ,
.
[
.
0 [ , , . [ ,
, .
:

Unit Time

. :
,

Compressed,
, .
 :
Monte Carlo Simulation
c

Tree : primer as.fta

Time : Tue Jun 14 20:46:50 2011
Note: Only runs with at least one component failure are simulated
Number of primary events = 10
Number of tests

= 10000

Unit Time span used

= 1.000000

Number of system failures = 8325

Probability of at least = 1.000000E+000 ( exact )
one component failure
Probability of top event = 8.325000E-001 ( +/- 9.124144E-003 )
Rank Failure mode

Failures Estimated Probability

1 P1 P2 P3 P4 P5 S1 S2 S3 S4 S5 5665

Importance

5.665000E-001 ( +/- 7.526619E-003 ) 68.05%

.............................................
49

P1 P2 P3 P4 S2 S3 S5 1

1.000000E-004 ( +/- 1.000000E-004 ) 0.01%

Compressed:
Rank Failure mode

Failures Estimated Probability

1 P1 P2 P3 P4 S2 S3 S5 6461

Importance

6.461000E-001 ( +/- 8.038035E-003 ) 77.61%

............................................................................................................................................
17

P1 P2 P3 P4 P5 S2 S4 S5 6127

6.127000E-001 ( +/- 7.827516E-003 ) 73.60%

Primary Event Analysis:

Event
P1

Failure contrib.
6.986800E+000

Importance
839.26%

......................................................................
S5

7.974700E+000

957.92%

cf