A Formal Method for Determining the Stateof Processors in a Multiprocessor System under Testing

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 -diagnosable system based on the analysis of the results of a certai...

Full description

Saved in:
Bibliographic Details
Published in:Automation and remote control 2021-01, Vol.82 (3), p.460-467
Main Authors: Romankevich, A M, Morozov, K V, Romankevich, V A
Format: Article
Language:English
Subjects:
Boolean algebra
Formal method
Multiprocessing
Processors
Self testing
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 -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 .
ISSN:0005-1179
1608-3032
DOI:10.1134/S0005117921030061