You are on page 1of 17




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

Related Interests