Author: Jean-Francois Aubry
Publisher: John Wiley & Sons
ISBN: 1119053927
Category : Business & Economics
Languages : en
Pages : 198
Book Description
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.
Systems Dependability Assessment
Author: Jean-Francois Aubry
Publisher: John Wiley & Sons
ISBN: 1119053927
Category : Business & Economics
Languages : en
Pages : 198
Book Description
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.
Publisher: John Wiley & Sons
ISBN: 1119053927
Category : Business & Economics
Languages : en
Pages : 198
Book Description
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
Author: Shojiro Asai
Publisher: Springer
ISBN: 4431565949
Category : Technology & Engineering
Languages : en
Pages : 792
Book Description
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.
Publisher: Springer
ISBN: 4431565949
Category : Technology & Engineering
Languages : en
Pages : 792
Book Description
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.
Reliability Assessment of Safety and Production Systems
Author: Jean-Pierre Signoret
Publisher: Springer Nature
ISBN: 3030647080
Category : Technology & Engineering
Languages : en
Pages : 878
Book Description
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.
Publisher: Springer Nature
ISBN: 3030647080
Category : Technology & Engineering
Languages : en
Pages : 878
Book Description
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.
Dependability: Basic Concepts and Terminology
Author: Jean-Claude Laprie
Publisher: Springer
ISBN: 370919170X
Category : Computers
Languages : en
Pages : 268
Book Description
Publisher: Springer
ISBN: 370919170X
Category : Computers
Languages : en
Pages : 268
Book Description
Assessment of Power System Reliability
Author: Marko Čepin
Publisher: Springer Science & Business Media
ISBN: 0857296884
Category : Technology & Engineering
Languages : en
Pages : 302
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 0857296884
Category : Technology & Engineering
Languages : en
Pages : 302
Book Description
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.
Reliability Assessment of Large Electric Power Systems
Author: Roy Billinton
Publisher: Springer Science & Business Media
ISBN: 1461316898
Category : Technology & Engineering
Languages : en
Pages : 306
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 1461316898
Category : Technology & Engineering
Languages : en
Pages : 306
Book Description
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.
Dependability Assessment of Software for Safety Instrumentation and Control Systems at Nuclear Power Plants
Author: International Atomic Energy Agency
Publisher: International Atomic Energy Agency
ISBN: 9789201012180
Category : Technology & Engineering
Languages : en
Pages : 80
Book Description
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.
Publisher: International Atomic Energy Agency
ISBN: 9789201012180
Category : Technology & Engineering
Languages : en
Pages : 80
Book Description
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.
Advances in System Reliability Engineering
Author: Mangey Ram
Publisher: Academic Press
ISBN: 0128162724
Category : Technology & Engineering
Languages : en
Pages : 320
Book Description
Recent Advances in System Reliability Engineering describes and evaluates the latest tools, techniques, strategies, and methods in this topic for a variety of applications. Special emphasis is put on simulation and modelling technology which is growing in influence in industry, and presents challenges as well as opportunities to reliability and systems engineers. Several manufacturing engineering applications are addressed, making this a particularly valuable reference for readers in that sector. - Contains comprehensive discussions on state-of-the-art tools, techniques, and strategies from industry - Connects the latest academic research to applications in industry including system reliability, safety assessment, and preventive maintenance - Gives an in-depth analysis of the benefits and applications of modelling and simulation to reliability
Publisher: Academic Press
ISBN: 0128162724
Category : Technology & Engineering
Languages : en
Pages : 320
Book Description
Recent Advances in System Reliability Engineering describes and evaluates the latest tools, techniques, strategies, and methods in this topic for a variety of applications. Special emphasis is put on simulation and modelling technology which is growing in influence in industry, and presents challenges as well as opportunities to reliability and systems engineers. Several manufacturing engineering applications are addressed, making this a particularly valuable reference for readers in that sector. - Contains comprehensive discussions on state-of-the-art tools, techniques, and strategies from industry - Connects the latest academic research to applications in industry including system reliability, safety assessment, and preventive maintenance - Gives an in-depth analysis of the benefits and applications of modelling and simulation to reliability
Systems Reliability and Risk Analysis
Author: E.G. Frankel
Publisher: Springer Science & Business Media
ISBN: 9400969201
Category : Technology & Engineering
Languages : en
Pages : 435
Book Description
Ernst G. Frankel This book has its origin in lecture notes developed over several years for use in a course in Systems Reliability for engineers concerned with the design of physical systems such as civil structures, power plants, and transport vehicles of all types. Increasing public concern with the reliability o~ systems for reasons of human safety, environmental protection, and acceptable ir. vestment risk limitations has resulted in an increasing interest by engineers in the formal applica~i0n of reliability theory to e~gineering desian. At the same time there is a demand for more effective approaches to the des~gn of procedures for the operation and use of man-made syste~s and more meaningful assessment of the risks intr)duction and use of such a system poses both when operating as designed and when operating at below design performance. The purpose of the book is to provide a sound, yet practical, introduction to reliability analysis and risk assessment which can be used by professionals in engineering, planning, management, and economics to improve the design, operation, and risk assessment of systems of interest. The text should be useful for students in many disciplines and is designed for fourth~year undergraduates or first-year graduate students. I would like to acknowledge the help of many of my graduate students who contributed to the development of this book by offering comments and criticism. Similarly I would like to thank Mrs.
Publisher: Springer Science & Business Media
ISBN: 9400969201
Category : Technology & Engineering
Languages : en
Pages : 435
Book Description
Ernst G. Frankel This book has its origin in lecture notes developed over several years for use in a course in Systems Reliability for engineers concerned with the design of physical systems such as civil structures, power plants, and transport vehicles of all types. Increasing public concern with the reliability o~ systems for reasons of human safety, environmental protection, and acceptable ir. vestment risk limitations has resulted in an increasing interest by engineers in the formal applica~i0n of reliability theory to e~gineering desian. At the same time there is a demand for more effective approaches to the des~gn of procedures for the operation and use of man-made syste~s and more meaningful assessment of the risks intr)duction and use of such a system poses both when operating as designed and when operating at below design performance. The purpose of the book is to provide a sound, yet practical, introduction to reliability analysis and risk assessment which can be used by professionals in engineering, planning, management, and economics to improve the design, operation, and risk assessment of systems of interest. The text should be useful for students in many disciplines and is designed for fourth~year undergraduates or first-year graduate students. I would like to acknowledge the help of many of my graduate students who contributed to the development of this book by offering comments and criticism. Similarly I would like to thank Mrs.
Resilience Assessment and Evaluation of Computing Systems
Author: Katinka Wolter
Publisher: Springer Science & Business Media
ISBN: 3642290329
Category : Computers
Languages : en
Pages : 485
Book Description
The resilience of computing systems includes their dependability as well as their fault tolerance and security. It defines the ability of a computing system to perform properly in the presence of various kinds of disturbances and to recover from any service degradation. These properties are immensely important in a world where many aspects of our daily life depend on the correct, reliable and secure operation of often large-scale distributed computing systems. Wolter and her co-editors grouped the 20 chapters from leading researchers into seven parts: an introduction and motivating examples, modeling techniques, model-driven prediction, measurement and metrics, testing techniques, case studies, and conclusions. The core is formed by 12 technical papers, which are framed by motivating real-world examples and case studies, thus illustrating the necessity and the application of the presented methods. While the technical chapters are independent of each other and can be read in any order, the reader will benefit more from the case studies if he or she reads them together with the related techniques. The papers combine topics like modeling, benchmarking, testing, performance evaluation, and dependability, and aim at academic and industrial researchers in these areas as well as graduate students and lecturers in related fields. In this volume, they will find a comprehensive overview of the state of the art in a field of continuously growing practical importance.
Publisher: Springer Science & Business Media
ISBN: 3642290329
Category : Computers
Languages : en
Pages : 485
Book Description
The resilience of computing systems includes their dependability as well as their fault tolerance and security. It defines the ability of a computing system to perform properly in the presence of various kinds of disturbances and to recover from any service degradation. These properties are immensely important in a world where many aspects of our daily life depend on the correct, reliable and secure operation of often large-scale distributed computing systems. Wolter and her co-editors grouped the 20 chapters from leading researchers into seven parts: an introduction and motivating examples, modeling techniques, model-driven prediction, measurement and metrics, testing techniques, case studies, and conclusions. The core is formed by 12 technical papers, which are framed by motivating real-world examples and case studies, thus illustrating the necessity and the application of the presented methods. While the technical chapters are independent of each other and can be read in any order, the reader will benefit more from the case studies if he or she reads them together with the related techniques. The papers combine topics like modeling, benchmarking, testing, performance evaluation, and dependability, and aim at academic and industrial researchers in these areas as well as graduate students and lecturers in related fields. In this volume, they will find a comprehensive overview of the state of the art in a field of continuously growing practical importance.