并发系统可诊断性的分布式分析
Distributed Analysis for Diagnosability in Concurrent Systems
摘要：
复杂的系统经常会出现难以处理的意外故障。这样的系统期望是可诊断的，即故障可以在它们发生时（或之后不久）被自动检测，使得系统能够处理故障或恢复。一个系统是可诊断的，如果它可以检测到每个故障，在有限的时间后，他们发生，通过观察从系统的可用信息。复杂的系统通常是由并发运行的简单组件构建的。我们研究如何推断一个复杂的系统（分布式和多故障）的可诊断性属性，从并行分析其每个组件的可诊断性同步与无故障版本的其他。本文主要做了以下几个方面的工作：（1）研究了具有任意故障的并发系统的可诊断性问题。(2)我们分发了可诊断性分析并通过示例说明了我们的方法。此外，（3）我们提出了一个原型工具，实现我们的技术显示出可喜的成果。
英文摘要：
Complex systems often exhibit unexpected faults that are difficult to handle. Such systems are desirable to be diagnosable, i.e. faults can be automatically detected as they occur (or shortly afterwards), enabling the system to handle the fault or recover. A system is diagnosable if it is possible to detect every fault, in a finite time after they occurred, by only observing the available information from the system. Complex systems are usually built from simpler components running concurrently. We study how to infer the diagnosability property of a complex system (distributed and with multiple faults) from a parallelized analysis of the diagnosability of each of its components synchronizing with fault free versions of the others. In this paper we make the following contributions: (1) we address the diagnosability problem of concurrent systems with arbitrary faults occurring freely in each component. (2) We distribute the diagnosability analysis and illustrate our approach with examples. Moreover, (3) we present a prototype tool that implements our techniques showing promising results.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
