Stochastic Models In Reliability Network Security And System Safety

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

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.

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

CYBER-PHYSICAL DISTRIBUTED SYSTEMS Gather detailed knowledge and insights into cyber-physical systems behaviors from a cutting-edge reference written by leading voices in the field In Cyber-Physical Distributed Systems: Modeling, Reliability Analysis and Applications, distinguished researchers and authors Drs. Huadong Mo, Giovanni Sansavini, and Min Xie deliver a detailed exploration of the modeling and reliability analysis of cyber physical systems through applications in infrastructure and energy and power systems. The book focuses on the integrated modeling of systems that bring together physical and cyber elements and analyzing their stochastic behaviors and reliability with a view to controlling and managing them. The book offers a comprehensive treatment on the aging process and corresponding online maintenance, network degradation, and cyber-attacks occurring in cyber-physical systems. The authors include many illustrative examples and case studies based on real-world systems and offer readers a rich set of references for further research and study. Cyber-Physical Distributed Systems covers recent advances in combinatorial models and algorithms for cyber-physical systems modeling and analysis. The book also includes: A general introduction to traditional physical/cyber systems, and the challenges, research trends, and opportunities for real cyber-physical systems applications that general readers will find interesting and useful Discussions of general modeling, assessment, verification, and optimization of industrial cyber-physical systems Explorations of stability analysis and enhancement of cyber-physical systems, including the integration of physical systems and open communication networks A detailed treatment of a system-of-systems framework for the reliability analysis and optimal maintenance of distributed systems with aging components Perfect for undergraduate and graduate students in computer science, electrical engineering, cyber security, industrial and system engineering departments, Cyber-Physical Distributed Systems will also earn a place on the bookshelves of students taking courses related to reliability, risk and control engineering from a system perspective. Reliability, safety and industrial control professionals will also benefit greatly from this book.

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.