Systems Dependability Assessment

Description

Tabel of Contents; Title; Copyright; Introduction; PART 1: Short Review of Petri Net Modeling; Introduction to Part 1; 1 Autonomous Petri Nets; 1.1. Unmarked Petri nets; 1.2. Marking of a PN; 1.3. Dynamics of autonomous PNs; 2 Petri Nets and Event Languages; 2.1. Labeled PNs; 2.2. Example; 3 Comparison Petri Nets -- Finite State Automaton; 3.1. Language expression; 3.2. Building of the models; 3.3. Compactness of the model; 4 Some Extensions of Petri Nets; 4.1. PN with inhibitor arcs; 4.2. Timed PN; 4.3. Synchronized PN; 4.4. Timed synchronized PN; 4.5. Interpreted PN; 4.6. Colored PN. Tabel of Contents Title Copyright Introduction PART 1: Short Review of Petri Net Modeling Introduction to Part 1 1 Autonomous Petri Nets 1.1. Unmarked Petri nets 1.2. Marking of a PN 1.3. Dynamics of autonomous PNs 2 Petri Nets and Event Languages 2.1. Labeled PNs 2.2. Example 3 Comparison Petri Nets -- Finite State Automaton 3.1. Language expression 3.2. Building of the models 3.3. Compactness of the model 4 Some Extensions of Petri Nets 4.1. PN with inhibitor arcs 4.2. Timed PN 4.3. Synchronized PN 4.4. Timed synchronized PN 4.5. Interpreted PN 4.6. Colored PN. Conclusion to Part 1PART 2: A Formal Approach to Risk Assessment Introduction to Part 2 5 Ontology-based Accidental Process 5.1. Preliminary definitions 5.2. Elementary entities: HSE and VTE 5.3. Elementary situations and elementary events 5.4. Conclusion 6 Petri Net Modeling of the Accidental Process 6.1. Elementary process 6.2. Sequence of elementary processes 6.3. Modeling the action of a safety barrier 6.4. Modeling of a cumulative process 6.5. PN as a support for risk assessment 6.6. Conclusion 7 Illustrative Example 7.1. Functional description. 7.2. Building of an accidental process7.3. Conclusion 8 Design and Safety Assessment Cycle 8.1. Five essential steps 8.2. Ontological interest Conclusion to Part 2 PART 3: Stochastic Petri Nets Introduction to Part 3 9 Basic Concept 9.1. Introductory example 9.2. Formal definition 10 Semantics, Properties and Evolution Rules of an SPN 10.1. Conservatism properties 10.2. Mean sojourn time in a place of a SPN 10.3. Equivalent Markov process 10.4. Example of SPN for systems dependability modeling and assessment 11 Simplification of Complex Models 11.1. Introduction. 11.2. System modeling11.3. Presentation of the quantitative analysis method 11.4. Example 12 Extensions of SPN 12.1. Introduction 12.2. Relationship between stochastic Petri nets and stochastic processes 12.3. The transition firing policy 12.4. Associated stochastic processes 12.5. Synchronization problem in generalized stochastic Petri nets 12.6. Conclusion PART 4: Applications of Stochastic Petri Nets to Assessment Problems in Industrial Systems Introduction to Part 4 13 Application in Dynamic Reliability 13.1. Presentation of the system and hypothesis. 13.2. System modeling with Petri net13.3. Methodology application 13.4. Construction of an aggregated Markov graph 13.5. Conclusion 14 Classical Dependability Assessment 14.1. Availability study of a nuclear power plant subsystem 14.2. Common causes failures in nuclear plants (safety oriented) 15 Impact of Failures on System Performances 15.1. Reliability evaluation of networked control system 15.2. Railway signaling Conclusion Appendix A.1. Complements on Petri nets basics Bibliography Index End User License Agreement.