This book is dedicated to Jinhua Cao on the occasion of his 80th birthday. Jinhua Cao is one of the most famous reliability theorists. His main contributions include: published over 100 influential scientific papers; published an interesting reliability book in Chinese in 1986, which has greatly influenced the reliability of education, academic research and engineering applications in China; initiated and organized Reliability Professional Society of China (the first part of Operations Research Society of China) since 1981. The high admiration that Professor Cao enjoys in the reliability community all over the world was witnessed by the enthusiastic response of each contributor in this book. The contributors are leading researchers with diverse research perspectives. The research areas of the book iclude a broad range of topics related to reliability models, queueing theory, manufacturing systems, supply chain finance, risk management, Markov decision processes, blockchain and so forth. The book consists of a brief Preface describing the main achievements of Professor Cao; followed by congratulations from Professors Way Kuo and Wei Wayne Li, and by Operations Research Society of China, and Reliability Professional Society of China; and further followed by 25 articles roughly grouped together. Most of the articles are written in a style understandable to a wide audience. This book is useful to anyone interested in recent developments in reliability, network security, system safety, and their stochastic modeling and analysis.

Reliability and Resilience in the Internet of Things explains the latest advances in reliability modelling, analysis, and design techniques for IoT systems. Over the past decade IoT has developed rapidly, and it now spans diverse application domains such as healthcare, home automation, smart manufacture, and smart agriculture. Due to the critical nature of these IoT applications, it is imperative that these systems operate reliably throughout the intended mission time. This timely book provides state-of-the-art coverage on IoT reliability modeling, analysis, and design methods and solutions to help prevent costly malfunctions such as: Failures to capture critical data Network outages Data corruption or loss during transmission or storage From the viewpoint of engineers, researchers, and developers, reliability analysis and design are key to the deployment of IoT systems in critical applications, and this book contains the best advice on the subject available. - Addresses several IoT applications with case studies - Explores solutions in the contexts of IoT-layered architecture as well as cross-layer interactions and dependencies - Explains fundamentals of IoT technology in terms of reliability and resilience

The Handbook of Reliability, Maintenance, and System Safety through Mathematical Modeling discusses the many factors affect reliability and performance, including engineering design, materials, manufacturing, operations, maintenance, and many more. Reliability is one of the fundamental criteria in engineering systems design, with maintenance serving as a way to support reliability throughout a system's life. Addressing these issues requires information, modeling, analysis and testing. Different techniques are proposed and implemented to help readers analyze various behavior measures (in terms of the functioning and performance) of systems. - Enables mathematicians to convert any process or system into a model that can be analyzed through a specific technique - Examines reliability and mathematical modeling in a variety of disciplines, unlike competitors which typically examine only one - Includes a table of contents with simple to complex examples, starting with basic models and then refining modeling approaches step-by-step

This book is devoted to intelligent models and algorithms as the core components of cyber-physical systems. The complexity of cyber-physical systems developing and deploying requires new approaches to its modelling and design. Presents results in the field of modelling technologies that leverage the exploitation of artificial intelligence, including artificial general intelligence (AGI) and weak artificial intelligence. Provides scientific, practical, and methodological approaches based on bio-inspired methods, fuzzy models and algorithms, predictive modelling, computer vision and image processing. The target audience of the book are practitioners, enterprises representatives, scientists, PhD and Master students who perform scientific research or applications of intelligent models and algorithms in cyber-physical systems for various domains.

This book considers all aspects of performability engineering, providing a holistic view of the activities associated with a product throughout its entire life cycle of the product, as well as the cost of minimizing the environmental impact at each stage, while maximizing the performance. Building on the editor's previous Handbook of Performability Engineering, it explains how performability engineering provides us with a framework to consider both dependability and sustainability in the optimal design of products, systems and services, and explores the role of performability in energy and waste minimization, raw material selection, increased production volume, and many other areas of engineering and production. The book discusses a range of new ideas, concepts, disciplines, and applications in performability, including smart manufacturing and Industry 4.0; cyber-physical systems and artificial intelligence; digital transformation of railways; and asset management. Given its broad scope, it will appeal to researchers, academics, industrial practitioners and postgraduate students involved in manufacturing, engineering, and system and product development.

This book constitutes the refereed proceedings of the 34th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2015, held in Delft, The Netherlands, in September 2014. The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 104 submissions. The papers are organized in topical sections on flight systems, automotive embedded systems, automotive software, error detection, medical safety cases, medical systems, architecture and testing, safety cases, security attacks, cyber security and integration, and programming and compiling.

Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con?dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for addressing safety and security still exist, and their relevance has improved. On the other hand, safety and security requirements occur increasingly in the same system. At present, many software-based systems interact with technical equipment and they communicate, e.g., with users and other systems. Future systems will more and more interact with many other entities (technical systems, people, the en- ronment). In this situation, security problems may cause safety-related failures. It is thus necessary to address safety and security. It is furthermore required to take into account the interactions between these two properties.

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.

This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014. The 32 revised full and 10 short papers presented were carefully reviewed and selected from 58 submissions. They are complemented with 6 introduction to each of the workshops: Architecting Safety in Collaborative Mobile Systems, ASCoMS'14; ERCIM/EWICS/ARTEMIS Workshop on Dependable Embedded and Cyberphysical Systems and Systems-of-Systems, DECSoS'14; DEvelopment, Verification and VAlidation of cRiTical Systems, DEVVARTS'14; Integration of Safety and Security Engineering, ISSE'14; Reliability and Security Aspects for Critical Infrastructure Protection, ReSA4CI'14; Next Generation of System Assurance Approaches for Safety-Critical Systems, SASSUR'14.

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)