Reliability of Safety-Critical Systems

This book is based on a lecture course to students specializing in the safety of technological processes and production. The author focuses on three main problems in technological risks and safety: elements of reliability theory, the basic notions, models and methods of general risk theory and some aspects of insurance in the context of risk management. Although the material in this book is aimed at those working towards a bachelor's degree in engineering, it may also be of interest to postgraduate students and specialists dealing with problems related to reliability and risks.

This book presents results of projects carried out by both scientific and industry researchers into the techniques to help in maintenance, control, supervision and security of systems, taking into account the technical environmental and human factors. This work is supported by the Scientific Group GIS 3SGS. It is a collaborative work from 13 partners (academic and industrial) who have come together to deal with security problems. The problems and techniques discussed mainly focus on stochastic and dynamic modeling, maintenance, forecasting, diagnosis, reliability, performance, organizational, human and environmental factors, uncertainty and experience feedback. Part 1. Industrial Issues 1. Safety and Performance of Electricity Production Facilities, Gilles Deleuze, Jean Primet, Philippe Klein, Carole Duval and Antoine Despujols. 2. Monitoring of Radioactive Waste Disposal Cells in Deep Geological Formation, St?phane Buschaert and Sylvie Lesoille. 3. Towards Fourth-generation Nuclear Reactors, Jean-Philippe Nabot, Olivier Gastaldi, Fran?ois Baqu?, K?vin Paumel and Jean-Philippe Jeannot. Part 2. Supervison and Modeling of Complex Systems 4. Fault-tolerant Data-fusion Method: Application on Platoon Vehicle Localization, Maan El Badaoui El Najiar, Cherif Smaili, Fran?ois Charpillet, Denis Pomorski and Mireille Bayart. 5. Damage and Forecast Modeling, Anne Barros, Eric Levrat, Mitra Fouladirad, Khanh Le Son, Thomas Ruin, Beno?t Iung, Alexandre Voisin, Maxime Monnin, Antoine Despujols, Emmanuel R?my and Ludovic B?n?trix. 6. Diagnosis of Systems with Multiple Operating Modes, Taha Boukhobza, Fr?d?ric Hamelin, Beno?t Marx, Gilles Mourot, Anca Maria Nagy, Jos? Ragot, Djemal Eddine Chouaib Belkhiat, Kevin Guelton, Dalel Jabri, Noureddine Manamanni, Sinuh? Martinez, Nadhir Messai, Vincent Cocquempot, Assia Hakem, Komi Midzodzi Pekpe, Talel Zouari, Michael Defoort, Mohammed Djemai and J?r?my Van Gorp. 7. Multitask Learning for the Diagnosis of Machine Fleet, Xiyan He, Gilles Mourot, Didier Maquin, Jos? Ragot, Pierre Beauseroy, Andr? Smolarz and Edith Grall-Ma?s. 8. The APPRODYN Project: Dynamic Reliability Approaches to Modeling Critical Systems, Jean-Fran?ois Aubry, Genia Babykina, Nicolae Brinzei, Slimane Medjaher, Anne Barros, Christophe Berenguer, Antoine Grall, Yves Langeron, Danh Ngoc Nguyen, Gilles Deleuze, Beno?te De Saporta, Fran?ois Dufour and Huilong Zhang. Part 3. Characterizing Background Noise, Identifying Characteristic Signatures in Test Cases and Detecting Noise Reactors 9. Aims, Context and Type of Signals Studied, Fran?ois Baqu?, Olivier Descombin, Olivier Gastaldi and Yves Vandenboomgaerde. 10. Detection/Classification of Argon and Water Injections into Sodium into an SG of a Fast Neutron Reactor, Pierre Beauseroy, Edith Grall-Ma?s and Igor Nikiforov. 11. A Dynamic Learning-based Approach to the Surveillance and Monitoring of Steam Generators in Prototype Fast Reactors, Laurent Hartert, Moamar Sayed-Mouchaweh and Danielle Nuzillard. 12. SVM Time-Frequency Classification for the Detection of Injection States, Simon Henrot, El-Hadi Djermoune and David Brie. 13. Time and Frequency Domain Approaches for the Characterization of Injection States, Jean-Philippe Cassar and Komi Midzodzi Pekpe. Part 4. Human, Organizational and Environmental Factors in Risk Analysis 14. Risk Analysis and Management in Systems Integrating Technical, Human, Organizational and Environmental Aspects, Geoffrey Fallet-Fidry, Carole Duval, Christophe Simon, Eric Levrat, Philippe Weber and Beno?t Iung. 15. Integrating Human and Organizational Factors into the BCD Risk Analysis Model: An Influence Diagram-based approach, Karima Sedki,

The book has been developed in conjunction with NERS 462, a course offered every year to seniors and graduate students in the University of Michigan NERS program. The first half of the book covers the principles of risk analysis, the techniques used to develop and update a reliability data base, the reliability of multi-component systems, Markov methods used to analyze the unavailability of systems with repairs, fault trees and event trees used in probabilistic risk assessments (PRAs), and failure modes of systems. All of this material is general enough that it could be used in non-nuclear applications, although there is an emphasis placed on the analysis of nuclear systems. The second half of the book covers the safety analysis of nuclear energy systems, an analysis of major accidents and incidents that occurred in commercial nuclear plants, applications of PRA techniques to the safety analysis of nuclear power plants (focusing on a major PRA study for five nuclear power plants), practical PRA examples, and emerging techniques in the structure of dynamic event trees and fault trees that can provide a more realistic representation of complex sequences of events. The book concludes with a discussion on passive safety features of advanced nuclear energy systems under development and approaches taken for risk-informed regulations for nuclear plants.

Electrical Safety Engineering of Renewable Energy Systems A reference to designing and developing electrical systems connected to renewable energies Electrical Safety Engineering of Renewable Energy Systems is an authoritative text that offers an in-depth exploration to the safety challenges of renewable systems. The authors—noted experts on the topic—cover a wide-range of renewable systems including photovoltaic, wind, and cogeneration and propose a safety-by-design approach. The book clearly illustrates safe behavior in complex real-world renewable energy systems using practical approaches. The book contains a review of the foundational electrical engineering topics and highlights how safety engineering links to the renewable energies. Designed as an accessible resource, the text discusses the most relevant and current topics supported by rigorous analytical, theoretical and numerical analyses. The authors also provide guidelines for readers interested in practical applications. This important book: Reviews of the major electrical engineering topics Shows how safety engineering links to the renewable energies Discusses the most relevant current topics in the field Provides solid theoretical and numerical explanations Written for students and professional electrical engineers, Electrical Safety Engineering of Renewable Energy Systems explores the safety challenges of renewable systems and proposes a safety-by-design approach, which is currently missing in current literature.

Most books in reliability theory are dealing with a description of component and system states as binary: functioning or failed. However, many systems are composed of multi-state components with different performance levels and several failure modes. There is a great need in a series of applications to have a more refined description of these states, for instance, the amount of power generated by an electrical power generation system or the amount of gas that can be delivered through an offshore gas pipeline network. This book provides a descriptive account of various types of multistate system, bound-for multistate systems, probabilistic modeling of monitoring and maintenance of multistate systems with components along with examples of applications. Key Features: Looks at modern multistate reliability theory with applications covering a refined description of components and system states. Presents new research, such as Bayesian assessment of system availabilities and measures of component importance. Complements the methodological description with two substantial case studies. Reliability engineers and students involved in the field of reliability, applied mathematics and probability theory will benefit from this book.

A unique book that describes the practical processes necessary to achieve failure free equipment performance, for quality and reliability engineers, design, manufacturing process and environmental test engineers. This book studies the essential requirements for successful product life cycle management. It identifies key contributors to failure in product life cycle management and particular emphasis is placed upon the importance of thorough Manufacturing Process Capability reviews for both in-house and outsourced manufacturing strategies. The readers? attention is also drawn to the many hazards to which a new product is exposed from the commencement of manufacture through to end of life disposal. Revolutionary in focus, as it describes how to achieve failure free performance rather than how to predict an acceptable performance failure rate (reliability technology rather than reliability engineering) Author has over 40 years experience in the field, and the text is based on classroom tested notes from the reliability technology course he taught at Massachusetts Institute of Technology (MIT), USA Contains graphical interpretations of mathematical models together with diagrams, tables of physical constants, case studies and unique worked examples

A unique book that describes the practical processes necessary to achieve failure free equipment performance, for quality and reliability engineers, design, manufacturing process and environmental test engineers. This book studies the essential requirements for successful product life cycle management. It identifies key contributors to failure in product life cycle management and particular emphasis is placed upon the importance of thorough Manufacturing Process Capability reviews for both in-house and outsourced manufacturing strategies. The readers? attention is also drawn to the many hazards to which a new product is exposed from the commencement of manufacture through to end of life disposal. Revolutionary in focus, as it describes how to achieve failure free performance rather than how to predict an acceptable performance failure rate (reliability technology rather than reliability engineering) Author has over 40 years experience in the field, and the text is based on classroom tested notes from the reliability technology course he taught at Massachusetts Institute of Technology (MIT), USA Contains graphical interpretations of mathematical models together with diagrams, tables of physical constants, case studies and unique worked examples

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.