Properties of c-correctability in self-diagnosing systems
Butler, Jon T.
MetadataShow full item record
We propose a distributed disabling algorithm for a multiprocessing system in which each processor or unit is prevented from doing computation when it fails some number of tests by other units. The goal is to disable all faulty units and to enable all fault-free units. Specifically, a unit is disabled if it fails d or more tests by enabled units (d-disabling rule). A multiprocessor system is c-correctable using the d-disabling rule if all faulty units are permanently disabled and all fault-free units are permanently enabled after a finite number of applications of the disabling rule, provided there are no more thna c faulty units. This models an unattended system where the removal of faulty units is done locally by simple and reliable circuitry. We give a sufficient condition for c-correctability in general systems and a necessary and sufficient condition in general systems where c < d. Then, we give necessary and sufficient conditions for c-correctability of two types of systems, (1) complete digraphs and (2) a new class of systems called segmented systems.
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.Proceedings of the 26th Annual Allerton Conference on Communication, Control, and Computing, Sept. 1988, regular (full) paper, pp. 408-416 (Unrefereed)
Showing items related by title, author, creator and subject.
Guertin, Nicholas; Clements, Paul (Monterey, California. Naval Postgraduate School, 2010-04-30); NPS-AM-10-033An open architecture is a development methodology that employs published, widely accepted standards for defining key interfaces within a system. Systems that are ''open'' have components that can be provided by different ...
Dorf, Richard Carl (Monterey, California: U.S. Naval Postgraduate School, 1961-05-01);The aim of this dissertation is to present a new method of engineering analysis and design for complex control systems. This method is the time domain infinite matrix method. The formulation of the infinite matrix follows ...
Stevens, John D. (Monterey California. Naval Postgraduate School, 2007-06);A key element of the U.S. Navy's transition to an electric naval force is an Integrated Power System (IPS) that provides continuity of service to vital systems despite combat damage. In order to meet subsequent survivability ...