CSR --- SMA: Reliability Modeling and Evaluation of Fault-Tolerant Hierarchical Computer Systems

摘要由于系统的复杂性不断增加，可靠性建模和分析在容错层次型计算机系统的设计和调试中正变得越来越重要。在这一领域已经投入了大量的研究工作，但在现有的计算机系统可靠性模型中，通常忽略或没有充分考虑两个实际问题，即由不完善的恢复机制引起的模块不完全覆盖(MIPC)和由共同根本原因引起的共同原因故障(CCF)。未能准确地对它们中的任何一个建模会导致高估/低估系统可靠性，这使得可靠性分析在计算机系统的设计和调整中变得不那么有效。该项目的主要目标是开发新的可靠性模型，以全面描述MIPC和CCF，并探索高效的模型评估方法，从而更准确地分析分级计算机系统的可靠性。该项目包括三个阶段：模型开发、模型评估和可靠性分析软件工具的开发，该工具应用了通过本研究开发的概念和方法。通过这项工作开发的新模型和评估方法是对计算机系统可靠性知识体系的基本贡献。该项目的研究成果将支持在MIPC和CCF框架下设计可靠的计算机系统。该项目将通过研讨会、课堂材料、会议/期刊出版物和互联网网站向学术界和业界传播信息和知识。

AbstractDue to the ever increasing system complexity, reliability modeling and analysis are becoming increasingly essential components in the design and tuning of fault-tolerant hierarchical computer systems. Tremendous research efforts have been expended in this area, but two practical issues, modular imperfect coverage (MIPC) resulted from imperfect recovery mechanisms and common-cause failures (CCF) arising from a shared root cause, have generally been missed or not been fully considered in existing computer system reliability models. Failure to model either of them accurately results in over/understated system reliability, which makes reliability analysis less effective in the design and tuning of computer systems. The primary goals of this project are to develop novel reliability models for fully describing MIPC and CCF, and to explore efficient model evaluation methods leading to more accurate analysis of hierarchical computer system reliability. This project involves three phases: model development, model evaluation, and the development of a reliability analysis software tool that applies the concepts and methods developed through this research. The new models and evaluation methods developed through this work are fundamental contributions to the body of knowledge on the computer system reliability. Research results from this project will support the design of reliable computer systems subject to MIPC and CCF. The PI will disseminate information and knowledge to the academic community and the industry through seminars, classroom materials, conference/journal publications, and an Internet website for the project.