Title :
Algebra-logical method of fault diagnosis
Author :
Hahanov, Vladimir ; Yves, Tiecoura ; Pashchenko, Alexander ; Olhovoy, Vitaliy
Author_Institution :
Comput. Eng. Fac., Kharkov Nat. Univ. of Radioelectron., Kharkov, Ukraine
Abstract :
Algebra-logical vector method for diagnosing faults of systems and their components based on the use a fault detection table and transactional graph is proposed. The method allows decreasing the verification time of software model.
Keywords :
fault diagnosis; logic testing; algebra-logical method; fault detection; fault diagnosis; software model; transactional graph; Computational complexity; Computational modeling; Fault detection; Fault diagnosis; Registers; Software; System-on-a-chip; algebro-logic method; fault detection table; fault diagnosis; software model;
Conference_Titel :
CAD Systems in Microelectronics (CADSM), 2011 11th International Conference The Experience of Designing and Application of
Conference_Location :
Polyana-Svalyava
Print_ISBN :
978-1-4577-0042-2
