Boolean Formalisation of the PMC Model for Faulty Units Diagnosis in Regular Multi-Processor Systems
M. Manik, Elena Gramatová · 2008
The article describes the basic principles of a system diagnosis in multi-processor systems. Specifically, it attends the diagnosis of t-diagnosable systems using PMC diagnosis model. The article closely describes the Boolean formalisation extending the PMC model and its insufficiencies. It defines new possibilities of using this formalisation in systems with a regular structure.