This article is cited in 2 papers

Robust, Adaptive and Network Control

A formal method for determining the state of processors in a multiprocessor system under testing

A. M. Romankevich, K. V. Morozov, V. A. Romankevich

Igor Sikorsky Kyiv Polytechnic Institute, Kyiv, 03056 Ukraine

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$.

Keywords: multiprocessor systems, diagnostic graph, mutual processor testing, PMC-model.

Presented by the member of Editorial Board: M. F. Karavai

Received: 16.03.2020
Revised: 01.09.2020
Accepted: 28.10.2020

DOI: 10.31857/S0005231021030065

 English version: Automation and Remote Control, 2021, 82:3, 460–467

Bibliographic databases:

• 
• 
•