Reliability Assessment of Safety and Production Systems
Reliability Assessment of Safety and Production Systems

Author: Jean-Pierre Signoret

Publisher: Springer Nature

Published: 2021-03-23

Total Pages: 878

ISBN-13: 3030647080

DOWNLOAD EBOOK

This book provides, as simply as possible, sound foundations for an in-depth understanding of reliability engineering with regard to qualitative analysis, modelling, and probabilistic calculations of safety and production systems. Drawing on the authors’ extensive experience within the field of reliability engineering, it addresses and discusses a variety of topics, including: • Background and overview of safety and dependability studies; • Explanation and critical analysis of definitions related to core concepts; • Risk identification through qualitative approaches (preliminary hazard analysis, HAZOP, FMECA, etc.); • Modelling of industrial systems through static (fault tree, reliability block diagram), sequential (cause-consequence diagrams, event trees, LOPA, bowtie), and dynamic (Markov graphs, Petri nets) approaches; • Probabilistic calculations through state-of-the-art analytical or Monte Carlo simulation techniques; • Analysis, modelling, and calculations of common cause failure and uncertainties; • Linkages and combinations between the various modelling and calculation approaches; • Reliability data collection and standardization. The book features illustrations, explanations, examples, and exercises to help readers gain a detailed understanding of the topic and implement it into their own work. Further, it analyses the production availability of production systems and the functional safety of safety systems (SIL calculations), showcasing specific applications of the general theory discussed. Given its scope, this book is a valuable resource for engineers, software designers, standard developers, professors, and students.

Reliability Assessment of Large Electric Power Systems
Reliability Assessment of Large Electric Power Systems

Author: Roy Billinton

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 306

ISBN-13: 1461316898

DOWNLOAD EBOOK

We are very pleased to be asked to co-author this book for a variety of reasons, one of which was that it gave us further opportunity to work together. The scope proposed was very wide with the only significant proviso being that the book should be in a mongraph-style and not a teaching text. This require ment has given us the opportunity to compile a wide range of relevant material relating to present-day knowledge and application in power system reliability. As many readers will be aware, we have collaborated in many ways over a relatively long period and have co-authored two other books on reliability evaluation. Both of these previous books were structured as teaching texts. This present book is not a discourse on "how to do reliability evaluation" but a discussion on "why it should be done and what can be done and achieved" and as such does not replace or conflict with the previous books. The three books are complementary and each enhances the others. The material contained in this book is not specifically original since it is based on information which we have published in other forms either jointly or as co authors with various other people, particularly our many research students. We sincerely acknowledge the important contributions made by all these students and colleagues. There are too many to mention individually in this preface but their names appear frequently in the references at the end of each chapter.

Model-Driven Dependability Assessment of Software Systems
Model-Driven Dependability Assessment of Software Systems

Author: Simona Bernardi

Publisher: Springer Science & Business Media

Published: 2013-10-22

Total Pages: 199

ISBN-13: 3642395120

DOWNLOAD EBOOK

Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security. In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extension mechanisms of UML (i.e., UML profiling). UML profiles enable software engineers to add non-functional properties to the software model, in addition to the functional ones. The authors detail the state of the art on UML profile proposals for dependability specification and rigorously describe the trade-off they accomplish. The focus is mainly on RAMS (reliability, availability, maintainability and safety) properties. Among the existing profiles, they emphasize the DAM (Dependability Analysis and Modeling) profile, which attempts to unify, under a common umbrella, the previous UML profiles from literature, providing capabilities for dependability specification and analysis. In addition, they describe two prominent model-to-model transformation techniques, which support the generation of the analysis model and allow for further assessment of different RAMS properties. Case studies from different domains are also presented, in order to provide practitioners with examples of how to apply the aforementioned techniques. Researchers and students will learn basic dependability concepts and how to model them using UML and its extensions. They will also gain insights into dependability analysis techniques through the use of appropriate modeling formalisms as well as of model-to-model transformation techniques for deriving dependability analysis models from UML specifications. Moreover, software practitioners will find a unified framework for the specification of dependability requirements and properties of UML, and will benefit from the detailed case studies.

Systems Dependability Assessment
Systems Dependability Assessment

Author: Jean-Francois Aubry

Publisher: John Wiley & Sons

Published: 2015-02-02

Total Pages: 198

ISBN-13: 1119053927

DOWNLOAD EBOOK

Presents recent developments of probabilistic assessment of systems dependability based on stochastic models, including graph theory, finite state automaton and language theory, for both dynamic and hybrid contexts.

VLSI Design and Test for Systems Dependability
VLSI Design and Test for Systems Dependability

Author: Shojiro Asai

Publisher: Springer

Published: 2018-07-20

Total Pages: 792

ISBN-13: 4431565949

DOWNLOAD EBOOK

This book discusses the new roles that the VLSI (very-large-scale integration of semiconductor circuits) is taking for the safe, secure, and dependable design and operation of electronic systems. The book consists of three parts. Part I, as a general introduction to this vital topic, describes how electronic systems are designed and tested with particular emphasis on dependability engineering, where the simultaneous assessment of the detrimental outcome of failures and cost of their containment is made. This section also describes the related research project “Dependable VLSI Systems,” in which the editor and authors of the book were involved for 8 years. Part II addresses various threats to the dependability of VLSIs as key systems components, including time-dependent degradations, variations in device characteristics, ionizing radiation, electromagnetic interference, design errors, and tampering, with discussion of technologies to counter those threats. Part III elaborates on the design and test technologies for dependability in such applications as control of robots and vehicles, data processing, and storage in a cloud environment and heterogeneous wireless telecommunications. This book is intended to be used as a reference for engineers who work on the design and testing of VLSI systems with particular attention to dependability. It can be used as a textbook in graduate courses as well. Readers interested in dependable systems from social and industrial–economic perspectives will also benefit from the discussions in this book.

Assessment of Power System Reliability
Assessment of Power System Reliability

Author: Marko Čepin

Publisher: Springer Science & Business Media

Published: 2011-07-29

Total Pages: 302

ISBN-13: 0857296884

DOWNLOAD EBOOK

The importance of power system reliability is demonstrated when our electricity supply is disrupted, whether it decreases the comfort of our free time at home or causes the shutdown of our companies and results in huge economic deficits. The objective of Assessment of Power System Reliability is to contribute to the improvement of power system reliability. It consists of six parts divided into twenty chapters. The first part introduces the important background issues that affect power system reliability. The second part presents the reliability methods that are used for analyses of technical systems and processes. The third part discusses power flow analysis methods, because the dynamic aspect of a power system is an important part of related reliability assessments. The fourth part explores various aspects of the reliability assessment of power systems and their parts. The fifth part covers optimization methods. The sixth part looks at the application of reliability and optimization methods. Assessment of Power System Reliability has been written in straightforward language that continues into the mathematical representation of the methods. Power engineers and developers will appreciate the emphasis on practical usage, while researchers and advanced students will benefit from the simple examples that can facilitate their understanding of the theory behind power system reliability and that outline the procedure for application of the presented methods.

Model-Driven Dependability Assessment of Software Systems
Model-Driven Dependability Assessment of Software Systems

Author: Simona Bernardi

Publisher: Springer

Published: 2013-11-27

Total Pages: 187

ISBN-13: 9783642395130

DOWNLOAD EBOOK

Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security. In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extension mechanisms of UML (i.e., UML profiling). UML profiles enable software engineers to add non-functional properties to the software model, in addition to the functional ones. The authors detail the state of the art on UML profile proposals for dependability specification and rigorously describe the trade-off they accomplish. The focus is mainly on RAMS (reliability, availability, maintainability and safety) properties. Among the existing profiles, they emphasize the DAM (Dependability Analysis and Modeling) profile, which attempts to unify, under a common umbrella, the previous UML profiles from literature, providing capabilities for dependability specification and analysis. In addition, they describe two prominent model-to-model transformation techniques, which support the generation of the analysis model and allow for further assessment of different RAMS properties. Case studies from different domains are also presented, in order to provide practitioners with examples of how to apply the aforementioned techniques. Researchers and students will learn basic dependability concepts and how to model them using UML and its extensions. They will also gain insights into dependability analysis techniques through the use of appropriate modeling formalisms as well as of model-to-model transformation techniques for deriving dependability analysis models from UML specifications. Moreover, software practitioners will find a unified framework for the specification of dependability requirements and properties of UML, and will benefit from the detailed case studies.

Dependability Assessment of Software for Safety Instrumentation and Control Systems at Nuclear Power Plants
Dependability Assessment of Software for Safety Instrumentation and Control Systems at Nuclear Power Plants

Author: International Atomic Energy Agency

Publisher: International Atomic Energy Agency

Published: 2018-09-30

Total Pages: 80

ISBN-13: 9789201012180

DOWNLOAD EBOOK

This publication defines a framework that represents the state of the art in assessment methodologies for safety and instrumentation and control software used at nuclear power plants. It describes an approach for developing and communicating assessments based on claims, argument and evidence. The assessment of software dependability, which encompasses properties such as safety, reliability, availability, maintainability and security, is an essential and challenging aspect of the safety justification. Guiding principles for a dependability assessment are established to provide the basis for defining an assessment strategy and implementing the assessment process. Sources of evidence for the assessment are provided and lessons learned from past digital instrumentation and control system implementation in areas such as software development, operational usage, regulatory review and platform certification are also described.