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

CSR-EHCS(EHS)、SM：用于复杂动态系统可靠性分析的高效动态组合模型 (EDCM)

基本信息

批准号：
0832594
负责人：
Liudong Xing
金额：
$ 25.01万
依托单位：
University of Massachusetts, Dartmouth
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2008
资助国家：
美国
起止时间：
2008-09-01 至 2012-08-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=0832594&HistoricalAwards=false
关键词：
CSR EHCS EHS SM Efficient

项目摘要

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.

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