Jump to content

Draft:PMC model

From Wikipedia, the free encyclopedia
This is the current revision of this page, as edited by Citation bot (talk | contribs) at 09:43, 1 May 2025 (Added pages. Formatted dashes. | Use this bot. Report bugs. | Suggested by Лисан аль-Гаиб | #UCB_webform 298/596). The present address (URL) is a permanent link to this version.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

The Preparata–Metze–Chien model, or PMC model, is a foundational model in system-level fault diagnosis, used in the analysis and design of multiprocessor systems. It was introduced in 1967 by Franco P. Preparata, Gernot Metze, and Robert Tienwen Chien in the context of improving the fault tolerance of large-scale distributed systems.

In the PMC model, the system is modeled as a directed graph, where each vertex represents a processor and a directed edge from vertex u to v indicates that processor u can test processor v. A key assumption of the model is that only fault-free processors produce reliable test results. The collection of all test outcomes is called a syndrome, which is analyzed to determine the identity of faulty nodes.

A system is said to be t-diagnosable under the PMC model if any faulty set of up to t processors can be uniquely identified from the syndrome. The diagnosability of a graph is the largest such t.

The model continues to play a central role in research on reliable computing and has influenced a wide range of diagnostic algorithms and network design methodologies.

See also

[edit]

References

[edit]
  • Preparata, Franco P.; Metze, Gernot; Chien, Robert T. (1967). "On the Connection Assignment Problem of Diagnosable Systems". IEEE Transactions on Electronic Computers. EC-16 (6): 848–854. doi:10.1109/PGEC.1967.264748. hdl:2142/74464.