Algebra-logical method of fault diagnosis

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.

Saved in:
Bibliographic Details
Main Authors: Hahanov, V, Yves, T, Pashchenko, A, Olhovoy, V
Format: Conference Proceeding
Language:English
Subjects:
algebro-logic method
Computational complexity
Computational modeling
Fault detection
fault detection table
Fault diagnosis
Registers
Software
software model
System-on-a-chip
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.