CSR: Small: Architecture-based Run-time Fault Diagnosis

CSR：小：基于架构的运行时故障诊断

• 批准号: 1116848
• 负责人: David Garlan
• 金额: $ 45万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2011
• 资助国家: 美国
• 起止时间: 2011-08-01 至 2015-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1116848&HistoricalAwards=false
• 关键词: CSR; Small; Architecture; based; Run

Systems today must cope with failures induced by many factors outside the control of the organization producing the software: faults in infrastructure and components developed by third-parties, unpredictable loads, and variable resources. Modern systems must therefore take increasing responsibility for problem detection and repair at runtime. Effective fault detection and repair could be greatly enhanced by run-time fault diagnosis and localization -- the ability to identify the source of problem so that appropriate actions can be taken either by a human operator or automated mechanisms to repair the system. In this research we are developing new foundations for run-time fault diagnosis and localization. To do this we are extending and synthesizing recent advances in two areas. The first is the use of architecture models for monitoring a system at run-time. The second is the use of spectrum-based reasoning for fault localization (SFL). SFL is a lightweight technique that takes as its input a form of trace abstraction and produces a list of likely fault candidates, ordered by probability of being the true fault explanation. It has been used with impressive results during design time but thus far has not been exploited at runtime in the context of architecture-based monitoring and diagnosis. This research will improve the trustworthiness and robustness of modern software systems by providing new techniques for diagnosing faults while a system is running, thereby providing an improved basis for fault detection and resolution.

今天的系统必须科普由许多不受软件生产组织控制的因素引起的故障：第三方开发的基础设施和组件中的故障，不可预测的负载和可变资源。因此，现代系统必须在运行时承担越来越多的问题检测和修复责任。有效的故障检测和修复可以通过运行时故障诊断和定位大大增强-识别问题源的能力，以便可以由人工操作员或自动化机制采取适当的行动来修复系统。在这项研究中，我们正在开发新的运行时故障诊断和定位的基础。为此，我们正在扩展和综合两个领域的最新进展。第一个是使用架构模型在运行时监视系统。第二个是使用基于频谱的故障定位推理（SFL）。SFL是一种轻量级的技术，它以跟踪抽象的形式作为输入，并产生一个可能的故障候选者列表，按真正故障解释的概率排序。它在设计时已经得到了令人印象深刻的结果，但到目前为止还没有在运行时基于架构的监控和诊断的上下文中被利用。这项研究将提高现代软件系统的可靠性和鲁棒性，提供新的技术，诊断故障，而系统运行，从而提供了一个改进的基础，故障检测和解决方案。