DocumentCode
2835985
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
fYear
2010
fDate
17-20 Sept. 2010
Firstpage
215
Lastpage
217
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design & Test Symposium (EWDTS), 2010 East-West
Conference_Location
St. Petersburg
Print_ISBN
978-1-4244-9555-9
Type
conf
DOI
10.1109/EWDTS.2010.5742148
Filename
5742148
Link To Document