CSR-EHCS(EHS), SM: Efficient Dynamic Combinatorial Models (EDCM) for Reliability Analysis of Complex Dynamic Systems

在系统可靠性分析领域，动态和相关行为，如功能依赖、连锁故障和状态依赖，已被认为是导致系统整体可靠性问题的重要原因。然而，随着动态行为和相依行为的结合，现有的基于状态空间的方法如马尔科夫方法不能有效和准确地求解得到的动态系统可靠性模型。这是由于两个关键限制：状态空间爆炸问题，以及无法处理任意故障分布。这个项目探索了有效的组合模型、形式化方法和变换方法来解决这两个限制，为具有复杂动态行为的实用大规模计算机系统的准确可靠性分析提供了可行的解决方案。研究包括四个主要部分：1)动态和相关行为的可靠性建模和评估；2)所提出的可靠性模型和评估方法的验证和性能分析；3)案例研究/工业应用；4)基于图形用户界面的可靠性软件工具开发。通过该项目开发的新的可靠性模型和评估方法是对计算机系统可靠性知识体系的基本贡献。该项目通过对计算机系统可靠性研究、研究生和本科教育以及复杂和动态工业系统的可靠设计的贡献，产生了更广泛的影响。项目网站提供公开查阅项目产生的出版物、软件工具和工具相关材料的途径。

In the area of system reliability analysis, dynamic and dependent behavior such as functional dependence, cascading failures, and state dependence has been recognized as a significant contribution to problems in overall system reliability. However, with the incorporation of the dynamic and dependent behavior, resulting dynamic system reliability models cannot be efficiently and accurately solved by existing state space based methods such as Markov methods. This is due to two key limitations: the state-space explosion problem, and the inability to handle arbitrary failure distributions. This project explores efficient combinatorial models, formal methods, and transform methods to address these two limitations, providing a viable solution to the accurate reliability analysis of practical large-scale computer-based systems with complex dynamic behavior. The research has four major components: 1) reliability modeling and evaluation of dynamic and dependent behavior, 2) verification and performance analysis of the proposed reliability models and evaluation methods, 3) case studies/industrial applications, and 4) GUI-based reliability software tool development. The new reliability models and evaluation methods developed through this project are fundamental contributions to the body of knowledge on the computer system reliability. This project has broader impact through its contributions to computer system reliability research, graduate and undergraduate education, and the reliable design of complex and dynamic industrial systems. A project website provides publicly available access to the publications generated from the project, software tools and tools-related materials.