The subject of system reliability evaluation has never been so extensively and incisively discussed as in the present volume. The book fills a gap in the existing literature on the subject by highlighting the shortcomings of the current state-of-the-art and focusing on on-going efforts aimed at seeking better models, improved solutions and alternative approaches to the problem of system reliability evaluation. The book's foremost objective is to provide an insight into developments that are likely to revolutionize the art and science in the near future. At the same time it will help serve as a benchmark for the reader not only to understand and appreciate the newer developments but to profitably guide him in reorienting his efforts. This book will be valuable for people working in various industries, research organizations, particularly in electrical and electronics, defence, nuclear, chemical, space and communciation systems. It will also be useful for serious-minded students, teachers, and for the laboratories of educational institutions.

The 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.

This volume includes chapters presenting applications of different metaheuristics in reliability engineering, including ant colony optimization, great deluge algorithm, cross-entropy method and particle swarm optimization. It also presents chapters devoted to cellular automata and support vector machines, and applications of artificial neural networks, a powerful adaptive technique that can be used for learning, prediction and optimization. Several chapters describe aspects of imprecise reliability and applications of fuzzy and vague set theory.

The NTCA conference series is dedicated to publishing peer-reviewed proceedings of the conference. The goal is to disseminate state-of the- art scientific results available in the domain of civil aviation. These proceedings contain a collection of scientific contributions to the NTCA 2017 conference, which took place in Prague from 7-8 December 2017 and was hosted by the Department of Air Transport, Czech Technical University in Prague with the cooperation of the Faculty of Aeronautics, Technical University of Košice; Institute of Aerospace Engineering, Brno University of Technology; Air Transport Department, University of Žilina, and the Czech Aerospace Society. The NTCA conference aims to build and extend a platform for interaction between communities interested in aviation problems and applications. NTCA 2017 followed this established practice and provided room for discussing and sharing views on the current issues in the field of aviation. As a result, these proceedings include contributions on air transport operations, air traffic management and economic aspects, aviation safety and security, aircraft technologies, unmanned aerial systems, human factors and ergonomics in aviation.

These three volumes comprise the papers presented at the ESREL '97 International Conference on Safety and Reliability held in Lisbon, Portugal, 17-20 June 1997. The purpose of the annual ESREL conferences is to provide a forum for the presentation of technical and scientific papers covering both methods and applications of safety and reliability to a wide range of industrial sectors and technical disciplines and, in so doing, to enhance cross-fertilization between them.A broad view is taken of safety and reliability which includes probabilistically-based methods, or, more generally, methods that deal with the quantification of the uncertainty in the knowledge of the real world and with decision-making under this uncertainty.The areas covered include: design and product liability; availability, reliability and maintainability; assessment and management of risks to technical systems; health and the environment; and mathematical methods of reliability and statistical analysis of data.The organization of the book closely follows the sessions of the conference with each of the three volumes containing papers from two parallel sessions, comprising a total of 270 papers by authors from 35 countries.

This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002. The 27 revised papers presented together with 3 keynote presentations were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on human-computer system dependability, human factors, security, dependability assessment, application of formal methods, reliability assessment, design for dependability, and safety assessment.

Reliability is a fundamental criterium in engineering systems. This book shows innovative concepts and applications of mathematics in solving reliability problems. The contents address in particular the interaction between engineers and mathematicians, as well as the cross-fertilization in the advancement of science and technology. It bridges the gap between theory and practice to aid in practical problem-solving in various contexts.