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

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

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.