Top Banner
Calle Tarrragona 30, Madrid Indizen Technologies SCAIS-TSD System of Codes for an Integrated Safety Assessment. Theory of Stimulated Dynamics Iván Fernández Indizen Technologies S.L. Javier Hortal Consejo de Seguridad Nuclear Justo Dorado 11, Madrid Consejo de Seguridad Nuclear
28

SCAIS_TSD_2

Feb 07, 2017

Download

Documents

ivan fernandez
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: SCAIS_TSD_2

Calle Tarrragona 30, Madrid Indizen Technologies

SCAIS-TSDSystem of Codes for an

Integrated Safety Assessment.Theory of Stimulated Dynamics

Iván FernándezIndizen Technologies S.L.

Javier Hortal Consejo de Seguridad Nuclear Justo Dorado 11, Madrid

Consejo de Seguridad Nuclear

Page 2: SCAIS_TSD_2

2Indizen Technologies ®

Index.

1. ISA Methodology

1.History

2.Features

2. SCAIS

1.Overview

2.Path Analysis

3.Risk Assessment

3. TSD (Javier Hortal Presentation)

4. Conclusions

Page 3: SCAIS_TSD_2

3Indizen Technologies ®

ISA. History.

The Spanish Nuclear Safety Council (CSN) started in 1974 a painful work of fast assimilation of transient and accident analysis methodologies for Nuclear Power Plants.

✔ Methods used by the nuclear industry to ensure safety of the Spanish nuclear plants that were under licensing at that time.

✔ Understand the overall approach through the available information.

✔ New frame that summarised CSN experience in licensing of transient analysis, Start-up Testing, Nuclear Operations as well as licensing of the operating crews.

✔ Methodologies were generated and software packages implementing the conceptual framework and provided great help to CSN licensing work.

Page 4: SCAIS_TSD_2

4Indizen Technologies ®

✔ Specific approach for PSA implementation.

✔ Adapted to present engineering practices.

✔ Consistent theoretical inclusion of FT to APS.

✔ Study of probabilities at transient level.

ISA. Features

Page 5: SCAIS_TSD_2

5Indizen Technologies ®

ISA. PSA comparative.

✔ Header Branches and Probability: ➔ In PSA event trees, header actuation is decided on the basis of generic

analyses and experts criteria.

➔ In ISA methodology, simulations result to Dynamic Event Trees (DET). Headers contain a system configuration probability that could depend on process variables.

Page 6: SCAIS_TSD_2

6Indizen Technologies ®

ISA. PSA comparative.

✔ Stochastic Actions: ➔ In PSA an action is failed if it is not performed within a pre-specified time

interval (available time). ie. Human actions➔ In ISA methodology, delayed actions are allowed (uncertain times).

✔ End State:➔ PSA end state has two possible values: success or fail.➔ ISA end state sequence, is a random variable where each final state (damage

or success) has an associated probability.

Page 7: SCAIS_TSD_2

7Indizen Technologies ®

ISA. Scheme.

A U T O M A T I C G E N E R A T I O N

O F P A T H S / S E Q U E N C E S

R I S K A S S E S S M E N T :

E X C E E D A N C EF R E Q U E N C Y

A N D I T S F A C T O R S

I N P U T D A T A R E S U L T S

F T / E T / A P E T :

S D T P D I N F O

C L A S S I C A LF R E Q U E N C Y

E S T I M A T E

P A T H A N A L Y S I S :

S U C C E S S C R I T E R I AT E C S P E C S

S O J O U R N T I M E A N A L Y S I SP L A N T D A M A G E S T A T E S

E X C E E D A N C EF R E Q U E N C Y

E T / F T F R E Q U E N C Y /

D E M A N D

D E M A N DP R O B A B I L I T Y

F R E Q U E N C Y W E I G H T E D

F R A C T I O N O FD A M A G E

P A T H S

S T I M U L IA C T I V A T I O N

F R E Q U E N C Y

S T I M U L IS T O C H A S T I C

D A T A

P S A F T / E T D A T A

I N I T I A T O RD A T A

P L A N T D Y N A M I C M O D E L

S I M U L A T O R D A T A

P L A N T P R O C E D U R E S

S I M U L A T O R D A T A

A U T O M A T I C G E N E R A T I O N

O F P A T H S / S E Q U E N C E S

R I S K A S S E S S M E N T :

E X C E E D A N C EF R E Q U E N C Y

A N D I T S F A C T O R S

I N P U T D A T A R E S U L T S

F T / E T / A P E T :

S D T P D I N F O

C L A S S I C A LF R E Q U E N C Y

E S T I M A T E

P A T H A N A L Y S I S :

S U C C E S S C R I T E R I AT E C S P E C S

S O J O U R N T I M E A N A L Y S I SP L A N T D A M A G E S T A T E S

E X C E E D A N C EF R E Q U E N C Y

E X C E E D A N C EF R E Q U E N C Y

E T / F T F R E Q U E N C Y /

D E M A N D

E T / F T F R E Q U E N C Y /

D E M A N D

D E M A N DP R O B A B I L I T Y

D E M A N DP R O B A B I L I T Y

F R E Q U E N C Y W E I G H T E D

F R A C T I O N O FD A M A G E

P A T H S

F R E Q U E N C Y W E I G H T E D

F R A C T I O N O FD A M A G E

P A T H S

S T I M U L IA C T I V A T I O N

F R E Q U E N C Y

S T I M U L IA C T I V A T I O N

F R E Q U E N C Y

S T I M U L IS T O C H A S T I C

D A T A

P S A F T / E T D A T A

I N I T I A T O RD A T A

P L A N T D Y N A M I C M O D E L

S I M U L A T O R D A T A

P L A N T P R O C E D U R E S

S I M U L A T O R D A T A

Page 8: SCAIS_TSD_2

8Indizen Technologies ®

ISA. Scheme.

A U T O M A T I C G E N E R A T I O N

O F P A T H S / S E Q U E N C E S

R I S K A S S E S S M E N T :

E X C E E D A N C EF R E Q U E N C Y

A N D I T S F A C T O R S

I N P U T D A T A R E S U L T S

F T / E T / A P E T :

S D T P D I N F O

C L A S S I C A LF R E Q U E N C Y

E S T I M A T E

P A T H A N A L Y S I S :

S U C C E S S C R I T E R I AT E C S P E C S

S O J O U R N T I M E A N A L Y S I SP L A N T D A M A G E S T A T E S

E X C E E D A N C EF R E Q U E N C Y

E T / F T F R E Q U E N C Y /

D E M A N D

D E M A N DP R O B A B I L I T Y

F R E Q U E N C Y W E I G H T E D

F R A C T I O N O FD A M A G E

P A T H S

S T I M U L IA C T I V A T I O N

F R E Q U E N C Y

S T I M U L IS T O C H A S T I C

D A T A

P S A F T / E T D A T A

I N I T I A T O RD A T A

P L A N T D Y N A M I C M O D E L

S I M U L A T O R D A T A

P L A N T P R O C E D U R E S

S I M U L A T O R D A T A

A U T O M A T I C G E N E R A T I O N

O F P A T H S / S E Q U E N C E S

R I S K A S S E S S M E N T :

E X C E E D A N C EF R E Q U E N C Y

A N D I T S F A C T O R S

I N P U T D A T A R E S U L T S

F T / E T / A P E T :

S D T P D I N F O

C L A S S I C A LF R E Q U E N C Y

E S T I M A T E

P A T H A N A L Y S I S :

S U C C E S S C R I T E R I AT E C S P E C S

S O J O U R N T I M E A N A L Y S I SP L A N T D A M A G E S T A T E S

E X C E E D A N C EF R E Q U E N C Y

E X C E E D A N C EF R E Q U E N C Y

E T / F T F R E Q U E N C Y /

D E M A N D

E T / F T F R E Q U E N C Y /

D E M A N D

D E M A N DP R O B A B I L I T Y

D E M A N DP R O B A B I L I T Y

F R E Q U E N C Y W E I G H T E D

F R A C T I O N O FD A M A G E

P A T H S

F R E Q U E N C Y W E I G H T E D

F R A C T I O N O FD A M A G E

P A T H S

S T I M U L IA C T I V A T I O N

F R E Q U E N C Y

S T I M U L IA C T I V A T I O N

F R E Q U E N C Y

S T I M U L IS T O C H A S T I C

D A T A

P S A F T / E T D A T A

I N I T I A T O RD A T A

P L A N T D Y N A M I C M O D E L

S I M U L A T O R D A T A

P L A N T P R O C E D U R E S

S I M U L A T O R D A T A

Page 9: SCAIS_TSD_2

9Indizen Technologies ®

ISA. Scheme.

A U T O M A T I C G E N E R A T I O N

O F P A T H S / S E Q U E N C E S

R I S K A S S E S S M E N T :

E X C E E D A N C EF R E Q U E N C Y

A N D I T S F A C T O R S

I N P U T D A T A R E S U L T S

F T / E T / A P E T :

S D T P D I N F O

C L A S S I C A LF R E Q U E N C Y

E S T I M A T E

P A T H A N A L Y S I S :

S U C C E S S C R I T E R I AT E C S P E C S

S O J O U R N T I M E A N A L Y S I SP L A N T D A M A G E S T A T E S

E X C E E D A N C EF R E Q U E N C Y

E T / F T F R E Q U E N C Y /

D E M A N D

D E M A N DP R O B A B I L I T Y

F R E Q U E N C Y W E I G H T E D

F R A C T I O N O FD A M A G E

P A T H S

S T I M U L IA C T I V A T I O N

F R E Q U E N C Y

S T I M U L IS T O C H A S T I C

D A T A

P S A F T / E T D A T A

I N I T I A T O RD A T A

P L A N T D Y N A M I C M O D E L

S I M U L A T O R D A T A

P L A N T P R O C E D U R E S

S I M U L A T O R D A T A

A U T O M A T I C G E N E R A T I O N

O F P A T H S / S E Q U E N C E S

R I S K A S S E S S M E N T :

E X C E E D A N C EF R E Q U E N C Y

A N D I T S F A C T O R S

I N P U T D A T A R E S U L T S

F T / E T / A P E T :

S D T P D I N F O

C L A S S I C A LF R E Q U E N C Y

E S T I M A T E

P A T H A N A L Y S I S :

S U C C E S S C R I T E R I AT E C S P E C S

S O J O U R N T I M E A N A L Y S I SP L A N T D A M A G E S T A T E S

E X C E E D A N C EF R E Q U E N C Y

E X C E E D A N C EF R E Q U E N C Y

E T / F T F R E Q U E N C Y /

D E M A N D

E T / F T F R E Q U E N C Y /

D E M A N D

D E M A N DP R O B A B I L I T Y

D E M A N DP R O B A B I L I T Y

F R E Q U E N C Y W E I G H T E D

F R A C T I O N O FD A M A G E

P A T H S

F R E Q U E N C Y W E I G H T E D

F R A C T I O N O FD A M A G E

P A T H S

S T I M U L IA C T I V A T I O N

F R E Q U E N C Y

S T I M U L IA C T I V A T I O N

F R E Q U E N C Y

S T I M U L IS T O C H A S T I C

D A T A

P S A F T / E T D A T A

I N I T I A T O RD A T A

P L A N T D Y N A M I C M O D E L

S I M U L A T O R D A T A

P L A N T P R O C E D U R E S

S I M U L A T O R D A T A

Page 10: SCAIS_TSD_2

10Indizen Technologies ®

ISA. Scheme.

A U T O M A T I C G E N E R A T I O N

O F P A T H S / S E Q U E N C E S

R I S K A S S E S S M E N T :

E X C E E D A N C EF R E Q U E N C Y

A N D I T S F A C T O R S

I N P U T D A T A R E S U L T S

F T / E T / A P E T :

S D T P D I N F O

C L A S S I C A LF R E Q U E N C Y

E S T I M A T E

P A T H A N A L Y S I S :

S U C C E S S C R I T E R I AT E C S P E C S

S O J O U R N T I M E A N A L Y S I SP L A N T D A M A G E S T A T E S

E X C E E D A N C EF R E Q U E N C Y

E T / F T F R E Q U E N C Y /

D E M A N D

D E M A N DP R O B A B I L I T Y

F R E Q U E N C Y W E I G H T E D

F R A C T I O N O FD A M A G E

P A T H S

S T I M U L IA C T I V A T I O N

F R E Q U E N C Y

S T I M U L IS T O C H A S T I C

D A T A

P S A F T / E T D A T A

I N I T I A T O RD A T A

P L A N T D Y N A M I C M O D E L

S I M U L A T O R D A T A

P L A N T P R O C E D U R E S

S I M U L A T O R D A T A

A U T O M A T I C G E N E R A T I O N

O F P A T H S / S E Q U E N C E S

R I S K A S S E S S M E N T :

E X C E E D A N C EF R E Q U E N C Y

A N D I T S F A C T O R S

I N P U T D A T A R E S U L T S

F T / E T / A P E T :

S D T P D I N F O

C L A S S I C A LF R E Q U E N C Y

E S T I M A T E

P A T H A N A L Y S I S :

S U C C E S S C R I T E R I AT E C S P E C S

S O J O U R N T I M E A N A L Y S I SP L A N T D A M A G E S T A T E S

E X C E E D A N C EF R E Q U E N C Y

E X C E E D A N C EF R E Q U E N C Y

E T / F T F R E Q U E N C Y /

D E M A N D

E T / F T F R E Q U E N C Y /

D E M A N D

D E M A N DP R O B A B I L I T Y

D E M A N DP R O B A B I L I T Y

F R E Q U E N C Y W E I G H T E D

F R A C T I O N O FD A M A G E

P A T H S

F R E Q U E N C Y W E I G H T E D

F R A C T I O N O FD A M A G E

P A T H S

S T I M U L IA C T I V A T I O N

F R E Q U E N C Y

S T I M U L IA C T I V A T I O N

F R E Q U E N C Y

S T I M U L IS T O C H A S T I C

D A T A

P S A F T / E T D A T A

I N I T I A T O RD A T A

P L A N T D Y N A M I C M O D E L

S I M U L A T O R D A T A

P L A N T P R O C E D U R E S

S I M U L A T O R D A T A

Page 11: SCAIS_TSD_2

11Indizen Technologies ®

SCAIS

TRACE

MAAP

RELAP5

Dendros

PVM

Babieca

SIMPROC

Path Analysis and Risk Assessment

SCAIS. Overview.

Page 12: SCAIS_TSD_2

12Indizen Technologies ®

SCAIS. The Platform

Page 13: SCAIS_TSD_2

13Indizen Technologies ®

SCAIS. Babieca Motivation.

Probabilistic Safety Assessment (PSA) is a widespread technique used during design and operating stages of a Nuclear Plant.

✔ Acquiring an in-depth understanding of the facility and collecting a large volume of related information.

✔ Identifying initiating events and states of plant damage.

✔ Modeling the main plant systems using event and fault trees.

✔ Relationships between events and human actions.

✔ Specific plant systems and components DB.

The results of these analysis can therefore identify not only the weaknesses but also the strengths regarding to the plant safety.

Page 14: SCAIS_TSD_2

14Indizen Technologies ®

Event scheduler (DENDROS), drives the dynamic simulation of the different sequences in the generation of the Dynamic Event Tree.

✔ Stimulus. A stimulus is generated when the simulation of a sequence crosses a

defined condition (activation event). It has to be previously defined in the Event Tree as a header, and it is the cause of the creation of branching points.

✔ Branch Opening.

When a dynamic simulation finds events, it generates nodes with associated restarts that stand as points in the sequence that may lead to the opening of a new branch. The nodes have associated two probabilistic parameters that are the probability for branch opening and the temporal delays.

SCAIS. Dendros

Page 15: SCAIS_TSD_2

15Indizen Technologies ®

Any code allowing time step concept can be adapted to SCAIS general calculus flow.

SCAIS. Code Coupling

Page 16: SCAIS_TSD_2

16Indizen Technologies ®

Stochastic Stimulus are managed almost naturally during the dynamic simulation by SCAIS.

Current developments are focused in;

✔ Distinct techniques to minimize the number of simulations finding the damage domain.✔ System configurations without success criteria.

SCAIS. Path Analysis and Sequence Generation

Page 17: SCAIS_TSD_2

17Indizen Technologies ®

✔ Uncertain Parameters. A new SCAIS module is currently under development using DAKOTA tool as an input generator.

✔ Sensitivity Studies. DAKOTA is also being studied to perform the output studies, but also in house developments will be carried out.

SCAIS. Path Analysis and Sequence Generation

Page 18: SCAIS_TSD_2

18Indizen Technologies ®

✔ The Risk Assessment module calculates frequency density of each path following the Theory of Stimulated Dynamics (TSD).

✔ Future developments will integrate every damage path of a sequence to find the damage exceedance frequency of a sequence.

SCAIS. Risk Assessment

Page 19: SCAIS_TSD_2

`pk TSD Background

• Last year, an overview of TSD was presented at the 1st. IDPSAworkshop in Espoo.

• TSD can be seen as a path and sequence solution ofnon-homogeneous, continuous time Markov systems.

• A sequence is an ordered set of discrete states j. A path(also called transient) is an instance of a sequence wheretransitions between states j occur at specified times.

• Discrete states j are composed by system states (connected ornot) and phenomenon states (occuring or not).

• Each discrete state j is bi-univocally associated to a dynamicstate (i.e., a set of dynamic equations) that determines theevolution of process variables.

• Transitions j → k between discrete states are produced bydynamic events. In general, they are stochastic andcharacterized by occurrence rates pj→k(~x) which arefunctions of the process variables.

IDPSA Workshop. Stockholm, Sweeden 19-20 November 2012 1

Page 20: SCAIS_TSD_2

`pk TSD Background

• The stimulus of a dynamic event is a condition that makesthe occurrence rate of that event different from zero.

• In a sequence, the event occurrence times can be seen as aspace where each point is a path of the sequence. Thesequence frequency gets distributed over this space.

• Each path of the sequence has a frequency density that canbe calculated with the TSD equations.

• The sequence sub-space composed by paths ending in adamage condition is the Damage Domain of the sequence.

• The contribution of a sequence to the damage frequencyresults from integrating the frequency density over thedamage domain.

IDPSA Workshop. Stockholm, Sweeden 19-20 November 2012 2

Page 21: SCAIS_TSD_2

`pk TSD ongoing developments

Multiple outcome events. System events

• Very often, a dynamic event may produce different outcomes,i.e., it may result in different transitions.

• In this case, transition rates are given by the eventoccurrence rate times the outcome probability.

• An important case is that of plant systems that may work indifferent modes (e.g., different number of working trains in amulti-train system).

• Each working mode results from a different systemconfiguration.

• The start-up of a stand-by multi-mode system is a dynamicevent whose dynamic impact on the plant depends on theworking mode, i.e., on the system configuration.

• In this case, the outcome probability is the conditionalprobability of the system configuration.

IDPSA Workshop. Stockholm, Sweeden 19-20 November 2012 3

Page 22: SCAIS_TSD_2

`pk TSD ongoing developments

Configuration probability

• There are multiple dependences among system configurations.Calculation of configuration probabilities is a complex task.

• When considering multiple outcome events, discrete states jshould be extended to include system configurations.

• The plant configuration is composed by all the systemconfigurations.

• The TSD equations are also extended to include the plantconfiguration probability. Consistency with current PSAtechnology must be carefully taken into account.

• Due to the complexity of system dependences, the use of faulttree models and PSA quantification tools is highlyrecommendable.

• Configuration fault trees are embedded in existing PSA faulttrees but in most cases they cannot be easily extracted.

IDPSA Workshop. Stockholm, Sweeden 19-20 November 2012 4

Page 23: SCAIS_TSD_2

`pk Algorithms and Strategies for TSD

Implementation

Integration algorithm for sequences of protectiveactions

• A frequent case in a PSA-1 context is that dynamic eventsconsist of protective actions stimulated by deterministicconditions.

• Deterministic stimuli means:

Event occurrence rates are a direct result of the simulation.They are non-null only while the corresponding stimulus isactivated.

• Protective actions means:

The more delay in the event occurrence, the closer thesituation to a damage condition.

IDPSA Workshop. Stockholm, Sweeden 19-20 November 2012 5

Page 24: SCAIS_TSD_2

`pk Algorithms and Strategies for TSD

Implementation

Parents and children sequences/transients

• A sequence is an ordered set of dynamic events. A transient isan instance of a sequence where the event occurrence timesare specified. (Let us consider single outcome events for the shake ofsimplicity)

• If a new event is added at the end of a previous sequence, theresulting sequence is a child of the previous one.

• A transient of the child sequence is a child of a transient ofthe parent sequence if the common events occur at thesame times.

• Damage domains of parent/child sequences are related. Forprotective action events:A non-damage transient cannot have damage children.Among the children of a damage transient there is alwaysa non-empty set of damage transients.

IDPSA Workshop. Stockholm, Sweeden 19-20 November 2012 6

Page 25: SCAIS_TSD_2

`pk Algorithms and Strategies for TSD

Implementation

Integration of the TSD equations

• Let us think of an accident scenario with two possible protectiveactions, A and B whose occurrence times are τA and τB.

• Taking apart the initiating event, the possible dynamicsequences are (), (A), (B), (A,B) and (B,A).

• Note that both (A) and (B) are children of (), (A,B) is a childof (A) and (B,A) is a child of (B).

• The conditional damage probability (given the initiating event)should be calculated as:

pdam = p() +∫D(A)

fA(τA)dτA +∫D(B)

fB(τB)dτB + (1)

+∫∫

D(A,B)

fA,B(τA, τB)dτAdτB +∫∫

D(B,A)

fB,A(τB, τA)dτBdτA

IDPSA Workshop. Stockholm, Sweeden 19-20 November 2012 7

Page 26: SCAIS_TSD_2

`pk Algorithms and Strategies for TSD

Implementation

Application of parental relationships• Due to parental relationships, integration limits of differentintegrals become related.

• For the occurrence time of an event, integration limits are:The upper limit is the damage time in the parenttransient.The lower limit is the maximum of:∗ Activation of the event stimulus.∗ The occurrence time of the previous event.∗ The border of the damage domain.

• All this information but the border of the damage domain canbe taken from the corresponding parent transient.

• When a transient has been calculated, the set of its childrencan be integrated.

• The border of the damage domain can be found during theintegration process.

IDPSA Workshop. Stockholm, Sweeden 19-20 November 2012 8

Page 27: SCAIS_TSD_2

`pk Algorithms and Strategies for TSD

Implementation

Recursive integration algorithmWith these considerations, equation (1) can be rewritten as:

pdam = p() +

+∫ TD()

τminA

[fA(τA) +

∫ TD(A)(τA)

τminB

(τA)

fA,B(τA, τB)dτB

]dτA + (2)

+∫ TD()

τminB

[fB(τB) +

∫ TD(B)(τB)

τminA

(τB)

fB.A(τB, τA)dτA

]dτB

Note that:• Equation (2) represents a recursive algorithm that can beextended to any number of dimensions.

• All the integrals in (2) are one-dimensional and can beoptimized in an independent way.

• The adequate discretization strategy for calculating (2) is totake occurence times in decreasing order.

IDPSA Workshop. Stockholm, Sweeden 19-20 November 2012 9

Page 28: SCAIS_TSD_2

`pk CONCLUSIONS

• ISA is a mature Methodology to implement an IDPSA analysis.

• SCAIS Platform developed to perform ISA Methodology, but theplatform is broad enough to implement other IDPSAMethodologies, including non-nuclear industries using PSA.

• Some SCAIS developments and applications are needed toachieve an advanced platform able to perform full IDPSAstudies.

• Consistent incorporation of configuration fault trees is needed.Extensions of the theoretical framework are being developed tothis aim.

• Computational algorithms should be optimized to reduce theamount of required resources. To this aim, an efficientrecursive algorithm has been developed for sequences ofprotective actions.

IDPSA Workshop. Stockholm, Sweeden 19-20 November 2012 10