Abstract

The paper deals with the problem of self-testing of multiprocessor systems within the framework of the Preparata–Metze–Chien model. A method is proposed to formalize the procedure for establishing the state of all processors of the \(M\)-diagnosable system based on the analysis of the results of a certain set of mutual test checks by processors. The analysis is reduced to solving a Boolean equation based on the results of these checks and permits one to establish either the state (operational–faulty) of all processors in the system or the fact that the number of checks performed is not sufficient to do so (i.e., the state of some specific processors is undetermined). This remains valid in cases where the number of faulty processors in the system does not exceed \(M\).

中文翻译：

---

确定被测多处理器系统中处理器状态的一种形式方法

摘要

本文在Preparata-Metze-Chien模型的框架内处理了多处理器系统的自测试问题。提出了一种方法，正式的程序，用于建立的所有处理器的状态\（M \） -diagnosable系统基于由处理器某一组相互测试检查的结果的分析。将分析简化为基于这些检查的结果来求解布尔方程，并允许人们建立系统中所有处理器的状态（运行中-故障）或执行的检查次数不足以做到这一点（即，某些特定处理器的状态不确定）。这在系统中有故障的处理器数量不超过\（M \）的情况下仍然有效。