Safety is a paradoxical system property. It remains immaterial, intangible and invisible until a failure, an accident or a catastrophy occurs and, too late, reveals its absence. And yet, a system cannot be relied upon unless its safety can be explained, demonstrated and certified. The practical and difficult questions which motivate this study concern the evidence and the arguments needed to justify the safety of a computer based system, or more generally its dependability. Dependability is a broad concept integrating properties such as safety, reliability, availability, maintainability and other related characteristics of the behaviour of a system in operation. How can we give the users the assurance that the system enjoys the required dependability? How should evidence be presented to certification bodies or regulatory authorities? What best practices should be applied? How should we decide whether there is enough evidence to justify the release of the system? To help answer these daunting questions, a method and a framework are proposed for the justification of the dependability of a computer-based system. The approach specifically aims at dealing with the difficulties raised by the validation of software. Hence, it should be of wide applicability despite being mainly based on the experience of assessing Nuclear Power Plant instrumentation and control systems important to safety. To be viable, a method must rest on a sound theoretical background.

This book compiles and critically discusses modern engineering system degradation models and their impact on engineering decisions. In particular, the authors focus on modeling the uncertain nature of degradation considering both conceptual discussions and formal mathematical formulations. It also describes the basics concepts and the various modeling aspects of life-cycle analysis (LCA). It highlights the role of degradation in LCA and defines optimum design and operation parameters. Given the relationship between operational decisions and the performance of the system's condition over time, maintenance models are also discussed. The concepts and models presented have applications in a large variety of engineering fields such as Civil, Environmental, Industrial, Electrical and Mechanical engineering. However, special emphasis is given to problems related to large infrastructure systems. The book is intended to be used both as a reference resource for researchers and practitioners and as an academic text for courses related to risk and reliability, infrastructure performance modeling and life-cycle assessment.

The theory of stochastic processes, for science and engineering, can be considered as an extension of probability theory allowing modeling of the evolution of systems over time. The modern theory of Markov processes has its origins in the studies of A.A. Markov (1856-1922) on sequences of experiments "connected in a chain" and in the attempts to describe mathematically the physical phenomenon Brownian motion. The theory of stochastic processes entered in a period of intensive development when the idea of Markov property was brought in. This book is a modern overall view of semi-Markov processes and its applications in reliability. It is accessible to readers with a first course in Probability theory (including the basic notions of Markov chain). The text contains many examples which aid in the understanding of the theoretical notions and shows how to apply them to concrete physical situations including algorithmic simulations. Many examples of the concrete applications in reliability are given. Features: * Processes associated to semi-Markov kernel for general and discrete state spaces * Asymptotic theory of processes and of additive functionals * Statistical estimation of semi-Markov kernel and of reliability function * Monte Carlo simulation * Applications in reliability and maintenance The book is a valuable resource for understanding the latest developments in Semi-Markov Processes and reliability. Practitioners, researchers and professionals in applied mathematics, control and engineering who work in areas of reliability, lifetime data analysis, statistics, probability, and engineering will find this book an up-to-date overview of the field.

CMOS Test and Evaluation: A Physical Perspective is a single source for an integrated view of test and data analysis methodology for CMOS products, covering circuit sensitivities to MOSFET characteristics, impact of silicon technology process variability, applications of embedded test structures and sensors, product yield, and reliability over the lifetime of the product. This book also covers statistical data analysis and visualization techniques, test equipment and CMOS product specifications, and examines product behavior over its full voltage, temperature and frequency range.

The book summarizes the main results of the the project ENABLE-S3 covering the following aspects: validation and verification technology bricks (collection and selection of test scenarios, test executions envionments incl. respective models, assessment of test results), evaluation of technology bricks in selected use cases and standardization and related initiatives. ENABLE-S3 is an industry-driven EU-project and aspires to substitute todays' cost-intensive verification and validation efforts by more advanced and efficient methods. In addition, the book includes articles about complementary international activities in order to highlight the global importance of the topic and to cover the wide range of aspects that needs to be covered at a global scale.

In today's global economy, supply chains are an essential ingredient to corporate survival and growth. Operations strategy in supply chains must assume an ever-expanding and strategic role of risks that modern enterprises face when they operate in an interdependent supply chain environment. These operational and strategic facets entail a brand new set of operational problems and risks that have not always been understood or managed very well. It falls to supply chain managers to identify and to educate corporate managers on what these critical operational problems and risks involve. This book provides business students and practitioners with the means to understand, to model and to analyze these outstanding issues and problems that are the essential elements in managing supply chains today. This book will consider these problems in depth and draw essential conclusions regarding their management in supply chains. As a textbook treatment, it will examine traditional operational problems, expressing them in a strategic context, understanding their complexity, and recognizing their interdependency with other firms within a supply-chain environment. Used throughout the book will be application examples that illustrate all the aspects of dealing with and solving these kinds of problems. The content of SUPPLY CHAIN GAMES: Operations Management and Risk Valuation is presented in three sections, each of which will emphasize important facets of supply chain management operations. (1) Supply chains and operations modeling and management section will provide static and time models and their gradual extension to a supply chain environment. The section will give special attention tothe new concerns and issues at this level of analysis. (2) Inter-temporal supply chain management section will address this aspect as differential games. The differential games will be presented as natural continuous-time extensions of static models so that the effect of various types of dynamics on supply chains can be assessed and insights can be developed. (3) Risk and supply chain management section will deal with risk and supply chains as well as providing numerous applications regarding the management of interdependent operations and quality in a supply chain environment.

Fault Diagnosis of Dynamic Systems provides readers with a glimpse into the fundamental issues and techniques of fault diagnosis used by Automatic Control (FDI) and Artificial Intelligence (DX) research communities. The book reviews the standard techniques and approaches widely used in both communities. It also contains benchmark examples and case studies that demonstrate how the same problem can be solved using the presented approaches. The book also introduces advanced fault diagnosis approaches that are currently still being researched, including methods for non-linear, hybrid, discrete-event and software/business systems, as well as, an introduction to prognosis. Fault Diagnosis of Dynamic Systems is valuable source of information for researchers and engineers starting to work on fault diagnosis and willing to have a reference guide on the main concepts and standard approaches on fault diagnosis. Readers with experience on one of the two main communities will also find it useful to learn the fundamental concepts of the other community and the synergies between them. The book is also open to researchers or academics who are already familiar with the standard approaches, since they will find a collection of advanced approaches with more specific and advanced topics or with application to different domains. Finally, engineers and researchers looking for transferable fault diagnosis methods will also find useful insights in the book.

Fault-tolerant control aims at a gradual shutdown response in automated systems when faults occur. It satisfies the industrial demand for enhanced availability and safety, in contrast to traditional reactions to faults, which bring about sudden shutdowns and loss of availability. The book presents effective model-based analysis and design methods for fault diagnosis and fault-tolerant control. Architectural and structural models are used to analyse the propagation of the fault through the process, to test the fault detectability and to find the redundancies in the process that can be used to ensure fault tolerance. It also introduces design methods suitable for diagnostic systems and fault-tolerant controllers for continuous processes that are described by analytical models of discrete-event systems represented by automata. The book is suitable for engineering students, engineers in industry and researchers who wish to get an overview of the variety of approaches to process diagnosis and fault-tolerant control. The authors have extensive teaching experience with graduate and PhD students, as well as with industrial experts. Parts of this book have been used in courses for this audience. The authors give a comprehensive introduction to the main ideas of diagnosis and fault-tolerant control and present some of their most recent research achievements obtained together with their research groups in a close cooperation with European research projects. The third edition resulted from a major re-structuring and re-writing of the former edition, which has been used for a decade by numerous research groups. New material includes distributed diagnosis of continuous and discrete-event systems, methods for reconfigurability analysis, and extensions of the structural methods towards fault-tolerant control. The bibliographical notes at the end of all chapters have been up-dated. The chapters end with exercises to be used in lectures.

The aim of this book is to summarize probabilistic safety assessment (PSA) of nuclear power plants (NPPs), and to demonstrate that NPPs can be considered a safe method of producing energy, even in light of the Fukushima accident. The book examines level 1 and 2 full power, low power and shutdown probabilistic safety assessment of WWER440 reactors, and summarizes the author s experience gained during the last 35 years. It provides useful examples taken from PSA training courses delivered by the author and organized by the International Atomic Energy Agency. Such training courses were organised in Argonne National Laboratory (Chicago, IL, USA), Abdus Salaam International Centre for Theoretical Physics (Trieste, Italy) in Malaysia, Vietnam and Jordan to support experts from developing countries.

The role of probabilistic safety assessment (PSA) for NPPs (nuclear power plants) is an estimation of the risks in absolute terms and in comparison with other risks of the technical and the natural world. Plant-specific PSAs are being prepared for the NPPs and being applied for detection of weaknesses, design improvement and backfitting, incident analysis, accident management, emergency preparedness, prioritization of research & development and support of regulatory activities.

There are three levels of PSA, being performed for full power and low power operation and shutdown operating modes of the plant: Level 1 PSA, Level 2 PSA and Level 3 PSA. The nuclear regulatory authorities do not require the level 3 PSA for NPPs in the member countries of the European Union. So, only limited number of NPPs has available the level 3 PSA in Europe. However, in the light of the Fukushima accident the performance of such analyses is strongly recommended in the future. This book is intended for professionals working in the nuclear industry, and researchers and students interested in nuclear research.

"

This book provides a comprehensive and practically minded introduction into serious games for law enforcement agencies. Serious games offer wide ranging benefits for law enforcement with applications from professional trainings to command-level decision making to the preparation for crises events. This book explains the conceptual foundations of virtual and augmented reality, gamification and simulation. It further offers practical guidance on the process of serious games development from user requirements elicitation to evaluation. The chapters are intended to provide principles, as well as hands-on knowledge to plan, design, test and apply serious games successfully in a law enforcement environment. A diverse set of case studies showcases the enormous variety that is possible in serious game designs and application areas and offers insights into concrete design decisions, design processes, benefits and challenges. The book is meant for law enforcement professionals interested in commissioning their own serious games as well as game designers interested in collaborative pedagogy and serious games for the law enforcement and security sector.

Though the game-theoretic approach has been vastly studied and utilized in relation to economics of industrial organizations, it has hardly been used to tackle safety management in multi-plant chemical industrial settings. Using Game Theory for Improving Safety within Chemical Industrial Parks presents an in-depth discussion of game-theoretic modeling which may be applied to improve cross-company prevention and -safety management in a chemical industrial park. By systematically analyzing game-theoretic models and approaches in relation to managing safety in chemical industrial parks, Using Game Theory for Improving Safety within Chemical Industrial Parks explores the ways game theory can predict the outcome of complex strategic investment decision making processes involving several adjacent chemical plants. A number of game-theoretic decision models are discussed to provide strategic tools for decision-making situations. Offering clear and straightforward explanations of methodologies, Using Game Theory for Improving Safety within Chemical Industrial Parks provides managers and management teams with approaches to asses situations and to improve strategic safety- and prevention arrangements.

This textbook on Reliability Theory focusses on Applications in Preventive Maintenance (PM). All models are presented in connection with the relevant statistical material. Short and simply written the book is almost self-contained. The reader needs not more than basic knowledge of calculus, probability and statistics. Each chapter is concluded by a series of exercices with detailed solutions. Numerical solutions are elaborated with Mathematica software. Novel topics are discussed, like PM with learning, choice of the best time-scale for PM, handling multidimensional state description, dealing with uncertainty in data. The book is meant for graduate students, researchers and engineers specializing in Quality Control, Logistics, Reliability and Maintenance Engineering.

This book offers a comprehensive guide to implementing a company-wide management system (CWMS), utilising up-to-date methodologies of lean-six sigma in order to achieve high levels of business excellence. It builds the foundation for quality and continuous improvement, which can be implemented in any organization. The book begins with an introduction to and an overview of CWMSs, and reviews the existing literature on various management systems. It then discusses the integration and implementation of lean-six sigma in supply chain management. The integration approach presented highlights the link between the existing management systems and shows how continuous improvement methodologies are incorporated. The book then examines the components of CWMS, comparing them to other systems. It also explores Kano-based six sigma and concludes with further recommendations for reading. This book covers five management systems integrated into one novel approach that can be followed by organizations wishing to achieve quality and business excellence. Covering lean-six sigma - an essential element of management systems - it is a valuable resource for practitioners and academics alike.

Water engineers require knowledge of stochastic, frequency concepts, uncertainty analysis, risk assessment, and the processes that predict unexpected events.

This book presents the basics of stochastic, risk and uncertainty analysis, and random sampling techniques in conjunction with straightforward examples which are solved step by step. In addition, appropriate Excel functions are included as an alternative to solve the examples, and two real case studies is presented in the last chapters of book.

The growing dependence of working environments on complex technology has created many challenges and lead to a large number of accidents. Although the quality of organization and management within the work environment plays an important role in these accidents, the significance of individual human action (as a direct cause and as a mitigating factor) is undeniable. This has created a need for new, integrated approaches to accident analysis and risk assessment.

This book detailing the use of CREAM is, therefore, both timely and useful.
It presents an error taxonomy which integrates individual, technological and organizational factors based on cognitive engineering principles. In addition to the necessary theoretical foundation, it provides a step-by-step description of how the taxonomy can be applied to analyse as well as predict performance using a context-dependent cognitive model.

CREAM can be used as a second-generation human reliability analysis (HRA) approach in probabilistic safety assessment (PSA), as a stand-alone method for accident analysis and as part of a larger design method for interactive systems. In particular, the use of CREAM will enable system designers and risk analysts to:
identify tasks that require human cognition and therefore depend on cognitive reliability
determine the conditions where cognitive reliability and ensuing risk may be reduced
provide an appraisal of the consequences of human performance on system safety which can be used in PSA.

This book will help readers gain a solid understanding of non-functional requirements inherent in systems design endeavors. It contains essential information for those who design, use and maintain complex engineered systems, including experienced designers, teachers of design, system stakeholders and practicing engineers. Coverage approaches non-functional requirements in a novel way by presenting a framework of four systems concerns into which the 27 major non-functional requirements fall: sustainment, design, adaptation and viability. Within this model, the text proceeds to define each non-functional requirement, to specify how each is treated as an element of the system design process and to develop an associated metric for their evaluation. Systems are designed to meet specific functional needs. Because non-functional requirements are not directly related to tasks that satisfy these proposed needs, designers and stakeholders often fail to recognize the importance of such attributes as availability, survivability, and robustness. This book gives readers the tools and knowledge they need to both recognize the importance of these non-functional requirements and incorporate them in the design process.

This book offers readers a concise yet comprehensive introduction to a set of diagnostic methods for on-line condition monitoring of lubricated tribosystems used in industry. It covers the latest trends in on-line tribodiagnostics, an important and rapidly developing area of tribology. The book also reports on new tools as they have been developed and applied by the authors. A special emphasis is given to the physical fundamentals of opto-magnetic detectors, ferro-analyzers and analyzers of metal particles in lubricated tribosystems, as well as fluorescence methods for real-time oil monitoring in compressors, hydraulic systems and electrical transformers. Further, the book discusses other important issues such as the monitoring of water content in oil, and presents techniques for measuring soot content in oil in diesel engine oils. Lastly, it describes the modular intelligent (SMART) diagnostic system for vehicles. Mainly intended for researchers, industrial and automotive engineers developing cost-effective techniques and sensors for the on-line monitoring of lubricating oil, the book also offers a valuable source of information for students and project managers in the manufacturing, energy, oil and gas, and automotive industry.

This classic text has now been completely revised and updated, making it an ideal introductory course in reliability for a wide range of engineering qualifications, including City & Guilds 8030 and HNC/Ds. A new chapter focuses on the role of the microprocessor and microcomputer controller, and the use of algorithms for monitoring system performance. The addition of numerous problems, self-check questions and exam-style questions makes this an extremely useful book for courses with an element of independent study.

G W A Dummer was born in 1909, and his career included pioneering work in the field of radar. Working on radar reliability in the early fifties, he became the first person in the world to propose and pioneer the integrated circuit. In recognition of his distinguished career, he has received the USA Medal of Freedom and the MBE.
Mike Tooley is Director of Curriculum and quality at Brooklands College, Surrey and a well-known author of textbooks in microelectronics and engineering. He currently teaches reliability.
R C Winton, MBE, worked for Mullard for 40 years, and played an important role on may committees such as the CBI Education and Training Committee. He was also a key figure at the IEEE, becoming Secretary of the UK and Republic of Ireland section.

A basic text in reliability ideal for a wide range of engineering courses
A classic brought fully up to date for today's students
New self-check questions make this book suitable for independent study

This book focuses on the introduction of new and modern maintenance management frameworks of assets in the electricity & gas network sector and more specifically, on electricity networks for distribution. The author describes methodologies for developing and implementing maintenance management maturity models, using case studies to show how these have been applied. These maturity models are discussed as part of an overarching, multi-disciplinary organizational maintenance management professionalization framework. This book adds a new dimension to the well-known Reliability Centered Maintenance (RCM) method, by incorporating failure modes via multiple scenarios into business values, by means of statistical risk calculation methods. The author demonstrates a method called Utility Risk Linked RCM, which uses a statistical tool to develop failure models which can be used to predict future failure behavior of assets in relation to corporate business values. This new method is a practical, structured and comprehensive framework for assessing risk based maintenance policies. The book also proposes a condition monitoring framework that can be used as a guide to assist asset managers in identifying the relationship between failure modes, ageing processes to select amongst condition monitoring regimes.

This book covers the topic of eddy current nondestructive evaluation, the most commonly practiced method of electromagnetic nondestructive evaluation (NDE). It emphasizes a clear presentation of the concepts, laws and relationships of electricity and magnetism upon which eddy current inspection methods are founded. The chapters include material on signals obtained using many common eddy current probe types in various testing environments. Introductory mathematical and physical concepts in electromagnetism are introduced in sufficient detail and summarized in the Appendices for easy reference. Worked examples and simple calculations that can be done by hand are distributed throughout the text. These and more complex end-of-chapter examples and assignments are designed to impart a working knowledge of the connection between electromagnetic theory and the practical measurements described. The book is intended to equip readers with sufficient knowledge to optimize routine eddy current NDE inspections, or design new ones. It is useful for graduate engineers and scientists seeking a deeper understanding of electromagnetic methods of NDE than can be found in a guide for practitioners.

"Control Performance Management in Industrial Automation "provides a coherent and self-contained treatment of a group of methods and applications of burgeoning importance to the detection and solution of problems with control loops that are vital in maintaining product quality, operational safety, and efficiency of material and energy consumption in the process industries. The monograph deals with all aspects of control performance management (CPM), from controller assessment (minimum-variance-control-based and advanced methods), to detection and diagnosis of control loop problems (process non-linearities, oscillations, actuator faults), to the improvement of control performance (maintenance, re-design of loop components, automatic controller re-tuning). It provides a contribution towards the development and application of completely self-contained and automatic methodologies in the field. Moreover, within this work, many CPM tools have been developed that goes far beyond available CPM packages.

"Control Performance Management in Industrial Automation"

. presents a comprehensive review of control performance assessment methods;

. develops methods and procedures for the detection and diagnosis of the root-causes of poor performance in complex control loops;

. covers important issues that arise when applying these assessment and diagnosis methods;

. recommends new approaches and techniques for the optimization of control loop performance based on the results of the control performance stage; and

. offers illustrative examples and industrial case studies drawn from chemicals, building, mining, pulp and paper, mineral and metal processing industries.

This book will be of interest to academic and industrial staff working on control systems design, maintenance or optimisation in all process industries."

Reliability theory is a multidisciplinary science aimed at developing complex systems that are resistant to failures. Reliability engineering has emerged as a main field not only for scientists and researchers, but also for engineers and industrial managers. This book covers the recent developments in reliability engineering. It presents new theoretical issues that were not previously published, as well as the solutions of practical problems and case studies illustrating the applications methodology. This book is written by a number of leading scientists, analysts, mathematicians, statisticians, and engineers who have been working on the front end of reliability science and engineering. Reliability Engineering: Theory and Applications covers the recent developments in reliability engineering. It presents new theoretical issues that were not previously presented in the literature, as well as the solutions of important practical problems and case studies illustrating the applications methodology. Features Covers applications to reliability engineering practice Discusses current advances and developments Introduces current achievements in the field Considers and analyses case studies along with real world examples Presents numerous examples to illustrate the theoretical results

Risk management is often complicated by situational uncertainties and the subjective preferences of decision makers. Fuzzy Hierarchical Model for Risk Assessment introduces a fuzzy-based hierarchical approach to solve risk management problems considering both qualitative and quantitative criteria to tackle imprecise information. This approach is illustrated through number of case studies using examples from the food, fashion and electronics sectors to cover a range of applications including supply chain management, green product design and green initiatives. These practical examples explore how this method can be adapted and fine tuned to fit other industries as well. Supported by an extensive literature review, Fuzzy Hierarchical Model for Risk Assessment comprehensively introduces a new method for project managers across all industries as well as researchers in risk management. this area.

In recent years, rapid changes and improvements have been witnessed in the field of transformer condition monitoring and assessment, especially with the advances in computational intelligence techniques. Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence applies a broad range of computational intelligence techniques to deal with practical transformer operation problems. The approaches introduced are presented in a concise and flowing manner, tackling complex transformer modelling problems and uncertainties occurring in transformer fault diagnosis. Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence covers both the fundamental theories and the most up-to-date research in this rapidly changing field. Many examples have been included that use real-world measurements and realistic operating scenarios of power transformers to fully illustrate the use of computational intelligence techniques for a variety of transformer modelling and fault diagnosis problems. Condition Monitoring and Assessment of Power Transformers Using Computational Intelligence is a useful book for professional engineers and postgraduate students. It also provides a firm foundation for advanced undergraduate students in power engineering.

This volume collects the papers from the 2013 World Conference on Acoustic Emission in Shanghai. The latest research and applications of Acoustic Emission (AE) are explored, with particular emphasis on detecting and processing of AE signals, development of AE instrument and testing standards, AE of materials, engineering structures and systems, including the processing of collected data and analytical techniques as well as experimental case studies.