Read and Download eBook Full
Author: Jean-Francois Aubry
Publisher: John Wiley & Sons
Published: 2015-02-02
Total Pages: 198
ISBN-13: 1119053927
DOWNLOAD EBOOKPresents 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.
Author: Jean François Aubry
Publisher:
Published: 2016
Total Pages:
ISBN-13:
DOWNLOAD EBOOKAuthor: Jean-Francois Aubry
Publisher: John Wiley & Sons
Published: 2016-02-11
Total Pages: 282
ISBN-13: 1119262127
DOWNLOAD EBOOKPetri Nets were defined for the study of discrete events systems and later extended for many purposes including dependability assessment. In our knowledge, no book deals specifically with the use of different type of PN to dependability. We propose in addition to bring a focus on the adequacy of Petri net types to the study of various problems related to dependability such as risk analysis and probabilistic assessment. In the first part, the basic models of PN and some useful extensions are briefly recalled. In the second part, the PN are used as a formal model to describe the evolution process of critical system in the frame of an ontological approach. The third part focuses on the stochastic Petri Nets (SPN) and their use in dependability assessment. Different formal models of SPN are formally presented (semantics, evolution rules...) and their equivalence with the corresponding class of Markov processes to get an analytical assessment of dependability. Simplification methods are proposed in order to reduce the size of analytical model and to make it more calculable. The introduction of some concepts specific to high level PN allows too the consideration of complex systems. Few applications in the field of the instrumentation and control (l&C) systems, safety integrated systems (SIS) emphasize the benefits of SPN for dependability assessment.
Author: Jean-Francois Aubry
Publisher: John Wiley & Sons
Published: 2015-02-16
Total Pages: 196
ISBN-13: 184821765X
DOWNLOAD EBOOKPresents 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.
Author: Hans-Dieter Kochs
Publisher: Springer
Published: 2017-11-14
Total Pages: 398
ISBN-13: 3319649914
DOWNLOAD EBOOKThe book focuses on system dependability modeling and calculation, considering the impact of s-dependency and uncertainty. The best suited approaches for practical system dependability modeling and calculation, (1) the minimal cut approach, (2) the Markov process approach, and (3) the Markov minimal cut approach as a combination of (1) and (2) are described in detail and applied to several examples. The stringently used Boolean logic during the whole development process of the approaches is the key for the combination of the approaches on a common basis. For large and complex systems, efficient approximation approaches, e.g. the probable Markov path approach, have been developed, which can take into account s-dependencies be-tween components of complex system structures. A comprehensive analysis of aleatory uncertainty (due to randomness) and epistemic uncertainty (due to lack of knowledge), and their combination, developed on the basis of basic reliability indices and evaluated with the Monte Carlo simulation method, has been carried out. The uncertainty impact on system dependability is investigated and discussed using several examples with different levels of difficulty. The applications cover a wide variety of large and complex (real-world) systems. Actual state-of-the-art definitions of terms of the IEC 60050-192:2015 standard, as well as the dependability indices, are used uniformly in all six chapters of the book.
Author: National Research Council
Publisher: National Academies Press
Published: 2007-09-14
Total Pages: 148
ISBN-13: 0309103940
DOWNLOAD EBOOKThe focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approach to the development and assessment of dependable software. Unfortunately, it is difficult to assess the dependability of software. The field of software engineering suffers from a pervasive lack of evidence about the incidence and severity of software failures; about the dependability of existing software systems; about the efficacy of existing and proposed development methods; about the benefits of certification schemes; and so on. There are many anecdotal reports, which-although often useful for indicating areas of concern or highlighting promising avenues of research-do little to establish a sound and complete basis for making policy decisions regarding dependability. The committee regards claims of extraordinary dependability that are sometimes made on this basis for the most critical of systems as unsubstantiated, and perhaps irresponsible. This difficulty regarding the lack of evidence for system dependability leads to two conclusions: (1) that better evidence is needed, so that approaches aimed at improving the dependability of software can be objectively assessed, and (2) that, for now, the pursuit of dependability in software systems should focus on the construction and evaluation of evidence. The committee also recognized the importance of adopting the practices that are already known and used by the best developers; this report gives a sample of such practices. Some of these (such as systematic configuration management and automated regression testing) are relatively easy to adopt; others (such as constructing hazard analyses and threat models, exploiting formal notations when appropriate, and applying static analysis to code) will require new training for many developers. However valuable, though, these practices are in themselves no silver bullet, and new techniques and methods will be required in order to build future software systems to the level of dependability that will be required.
Author: Jovan M. Nahman
Publisher: Springer Science & Business Media
Published: 2002
Total Pages: 216
ISBN-13: 9783540414377
DOWNLOAD EBOOKThe book offers a sound, easily readable theoretical back- ground for dependability prediction and analysis of enginee- ring systems. The book bridges the gap between the real life dependability problems and very sophisticated and highly specialized books in this field. It is addressed to a broad readership including practicing engineers, reliability ana- lysts and postgraduate students of engineering faculties. The professionals in the field may also find some new mate- rial that is not covered in available textbooks such as fuz- zy logic evaluation of dependability performance, uncertain- ty assessment, open loop sequential analysis of discrete state stochastic processes, approximate solving of Markov systems.
Author: Herbert Hecht
Publisher: Artech House
Published: 2004
Total Pages: 250
ISBN-13: 9781580537957
DOWNLOAD EBOOKAnnotation This timely resource offers engineers and managers a comprehensive, unified treatment of the techniques and practice of systems reliability and failure prevention, without the use of advanced mathematics.
Author: Committee on Certifiably Dependable Software Systems
Publisher:
Published: 2007-08-14
Total Pages: 148
ISBN-13: 9780309384506
DOWNLOAD EBOOKThe focus of Software for Dependable Systems is a set of fundamental principles that underlie software system dependability and that suggest a different approach to the development and assessment of dependable software. Unfortunately, it is difficult to assess the dependability of software. The field of software engineering suffers from a pervasive lack of evidence about the incidence and severity of software failures; about the dependability of existing software systems; about the efficacy of existing and proposed development methods; about the benefits of certification schemes; and so on. There are many anecdotal reports, which-although often useful for indicating areas of concern or highlighting promising avenues of research-do little to establish a sound and complete basis for making policy decisions regarding dependability. The committee regards claims of extraordinary dependability that are sometimes made on this basis for the most critical of systems as unsubstantiated, and perhaps irresponsible. This difficulty regarding the lack of evidence for system dependability leads to two conclusions: (1) that better evidence is needed, so that approaches aimed at improving the dependability of software can be objectively assessed, and (2) that, for now, the pursuit of dependability in software systems should focus on the construction and evaluation of evidence. The committee also recognized the importance of adopting the practices that are already known and used by the best developers; this report gives a sample of such practices. Some of these (such as systematic configuration management and automated regression testing) are relatively easy to adopt; others (such as constructing hazard analyses and threat models, exploiting formal notations when appropriate, and applying static analysis to code) will require new training for many developers. However valuable, though, these practices are in themselves no silver bullet, and new techniques and methods will be required in order to build future software systems to the level of dependability that will be required.
Author: Jean-Pierre Signoret
Publisher: Springer Nature
Published: 2021-03-23
Total Pages: 878
ISBN-13: 3030647080
DOWNLOAD EBOOKThis 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.
