DocumentCode
542468
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
fYear
2011
fDate
23-25 Feb. 2011
Firstpage
186
Lastpage
187
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;
fLanguage
English
Publisher
ieee
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
Type
conf
Filename
5744427
Link To Document