Cargando…
Systems dependability assessment.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
[Place of publication not identified] :
Iste Ltd,
2016.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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.