Systems Dependability Assessment

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.