Title :
Logical method for detecting faults by fault detection table
Author :
Hahanov, Vladimir ; Pobizhenko, Irina ; Yves, Tiecoura
Author_Institution :
Comput. Eng. Fac., Kharkov Nat. Univ. of Radioelectron., Kharkov, Ukraine
Abstract :
Algebro-logic 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 :
formal verification; graph theory; algebro-logic vector method; fault detection table; logical method; software model; transactional graph; Computational complexity; Control systems; Fault detection; Registers; Software; Software engineering; System-on-a-chip;
Conference_Titel :
Design & Test Symposium (EWDTS), 2010 East-West
Conference_Location :
St. Petersburg
Print_ISBN :
978-1-4244-9555-9
DOI :
10.1109/EWDTS.2010.5742148
