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

DOI10.1134/S0005117921030061zbMath1460.93067OpenAlexW3139538760MaRDI QIDQ2660537

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

Publication date: 30 March 2021

Published in: Automation and Remote Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0005117921030061

zbMATH Keywords

multiprocessor systemsdiagnostic graphPMC-modelmutual processor testing

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Boolean control/observation systems (93C29)

Cites Work

• On \(t\)-diagnosability of multicore systems with symmetric circulant structure
• Diagnosis of multiprocessor systems under failure of more than half processors
• Self-diagnosable multimodular systems: some estimates of testing
• Self-testing of multiprocessor systems with regular diagnostic connections
• Characterization of Connection Assignment of Diagnosable Systems
• Optimization of Reduced Dependencies for Synchronous Sequential Machines

This page was built for publication: A formal method for determining the state of processors in a multiprocessor system under testing