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.

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