This book presents original studies describing the latest research and developments in the area of reliability and systems engineering. It helps the reader identifying gaps in the current knowledge and presents fruitful areas for further research in the field. Among others, this book covers reliability measures, reliability assessment of multi-state systems, optimization of multi-state systems, continuous multi-state systems, new computational techniques applied to multi-state systems and probabilistic and non-probabilistic safety assessment.

Numerical software is used to test scientific theories, design airplanes and bridges, operate manufacturing lines, control power plants and refineries, analyze financial derivatives, identify genomes, and provide the understanding necessary to derive and analyze cancer treatments. Because of the high stakes involved, it is essential that results computed using software be accurate, reliable, and robust. Unfortunately, developing accurate and reliable scientific software is notoriously difficult. This book investigates some of the difficulties related to scientific computing and provides insight into how to overcome them and obtain dependable results. The tools to assess existing scientific applications are described, and a variety of techniques that can improve the accuracy and reliability of newly developed applications is discussed. Accuracy and Reliability in Scientific Computing can be considered a handbook for improving the quality of scientific computing. It will help computer scientists address the problems that affect software in general as well as the particular challenges of numerical computation: approximations occurring at all levels, continuous functions replaced by discretized versions, infinite processes replaced by finite ones, and real numbers replaced by finite precision numbers. Divided into three parts, it starts by illustrating some of the difficulties in producing robust and reliable scientific software. Well-known cases of failure are reviewed and the what and why of numerical computations are considered. The second section describes diagnostic tools that can be used to assess the accuracy and reliability of existing scientific applications. In the last section, the authors describe a variety of techniques that can be employed to improve the accuracy and reliability of newly developed scientific applications. The authors of the individual chapters are international experts, many of them members of the IFIP Working Group on Numerical Software.

The present volume contains 30 articles presented at SCAN-98, Budapest, Hungary. These papers cover all aspects of validation techniques in scientific computing, ranging from hardware requirements, elementary operations, high accuracy function evaluations and interval arithmetic to advanced validating techniques and applications in various fields of practical interest. Audience: This book is of interest to researchers and graduate students whose work involves validation techniques in scientific computing.

The safe operation of computer systems, in both their software and hardware continues to be a key issue in many real time applications, when people, environment, investment or goodwill can be at risk. Such applications include the monitoring and control of high energy processes, of nuclear and chemical plants, of factory automation, of transportation systems, or funds transfer and of communication and information systems. This book represents the proceedings of the 1987 Safety and Reliability Society Symposium held in Altrincham, UK, 11-12 November 1987. It is thus part of the series of proceedings for Society Events, which in previous years have not addressed the topic of the Safety and Reliability of Computer Systems. The book is also part of another series of reports, and is closely related to the Elsevier Book "Safety and Reliability of Programmable Electronic Systems" which I edited in 1986, and the series of workshops known as SAFECOMP held in 1979, 1982, 1983, 1985, 1986 which are referenced in some of the papers. The structure of the book represents the structure of the Symposium itself. The session titles, and the papers as selected represent the current practice in many industries. The trend is towards more industrial usage of Formal Methods, and tools to support these methods, whilst continuing to make best use of Software Engineering, Safety and Reliability Assessment, and accumulated experience.

An accessible introduction to probability, stochastic processes, and statistics for computer science and engineering applications Second edition now also available in Paperback. This updated and revised edition of the popular classic first edition relates fundamental concepts in probability and statistics to the computer sciences and engineering. The author uses Markov chains and other statistical tools to illustrate processes in reliability of computer systems and networks, fault tolerance, and performance. This edition features an entirely new section on stochastic Petri nets—as well as new sections on system availability modeling, wireless system modeling, numerical solution techniques for Markov chains, and software reliability modeling, among other subjects. Extensive revisions take new developments in solution techniques and applications into account and bring this work totally up to date. It includes more than 200 worked examples and self-study exercises for each section. Probability and Statistics with Reliability, Queuing and Computer Science Applications, Second Edition offers a comprehensive introduction to probability, stochastic processes, and statistics for students of computer science, electrical and computer engineering, and applied mathematics. Its wealth of practical examples and up-to-date information makes it an excellent resource for practitioners as well. An Instructor's Manual presenting detailed solutions to all the problems in the book is available from the Wiley editorial department.

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023. The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions. - - 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023) - - 18th International Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2023) - - 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023) - - Second International Workshop on Security and Safety Interactions (SENSEI 2023) - - First International Workshop on Safety/ Reliability/ Trustworthiness of Intelligent Transportation Systems (SRToITS 2023) - - 6th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2023)

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.

Offers timely and comprehensive coverage of dynamic system reliability theory This book focuses on hot issues of dynamic system reliability, systematically introducing the reliability modeling and analysis methods for systems with imperfect fault coverage, systems with function dependence, systems subject to deterministic or probabilistic common-cause failures, systems subject to deterministic or probabilistic competing failures, and dynamic standby sparing systems. It presents recent developments of such extensions involving reliability modelling theory, reliability evaluation methods, and features numerous case studies based on real-world examples. The presented dynamic reliability theory can enable a more accurate representation of actual complex system behavior, thus more effectively guiding the reliable design of real-world critical systems. Dynamic System Reliability: Modelling and Analysis of Dynamic and Dependent Behaviors begins by describing the evolution from the traditional static reliability theory to the dynamic system reliability theory, and provides a detailed investigation of dynamic and dependent behaviors in subsequent chapters. Although written for those with a background in basic probability theory and stochastic processes, the book includes a chapter reviewing the fundamentals that readers need to know in order to understand contents of other chapters which cover advanced topics in reliability theory and case studies. The first book systematically focusing on dynamic system reliability modelling and analysis theory Provides a comprehensive treatment on imperfect fault coverage (single-level/multi-level or modular), function dependence, common cause failures (deterministic and probabilistic), competing failures (deterministic and probabilistic), and dynamic standby sparing Includes abundant illustrative examples and case studies based on real-world systems Covers recent advances in combinatorial models and algorithms for dynamic system reliability analysis Offers a rich set of references, providing helpful resources for readers to pursue further research and study of the topics Dynamic System Reliability: Modelling and Analysis of Dynamic and Dependent Behaviors is an excellent book for undergraduate and graduate students, and engineers and researchers in reliability and related disciplines.

This book provides engineers and researchers knowledge to help them in system reliability analysis using machine learning, artificial intelligence, big data, genetic algorithm, information theory, multi-criteria decision making, and other techniques. It will also be useful to students learning reliability engineering. The book brings readers up to date with how system reliability relates to the latest techniques of AI, big data, genetic algorithm, information theory, and multi-criteria decision making and points toward future developments in the subject.