Title :
The Diagnostic Model of Computer Systems in the Form of Finite State Machine
Author :
Krivoulya, Gennady ; Laptev, Mihail
Author_Institution :
Dept. of Autom. Design Comput. Tech., Kharkov Nat. Univ. of Radio Electron., Kharkov
Abstract :
The construction of diagnostic model of computer system states in the form of finite state machine is considered in the article. The advantage of the model consists in the fact that it is easy to determine the transitions from one state of the computer system to another having the number of input signals. It is the first time when the offered model is applied in the purposes of diagnostic.
Keywords :
computer testing; finite state machines; computer system; diagnostic model; finite state machine; input signals; transitions; Aging; Algorithm design and analysis; Automata; Communication channels; Documentation; Electric breakdown; Humans; Power supplies; Power system modeling; Preventive maintenance; computer system; correct state; diagnostic model; durability; failure; faulty state; maintainability; operable state; reliability;
Conference_Titel :
CAD Systems in Microelectronics, 2007. CADSM '07. 9th International Conference - The Experience of Designing and Applications of
Conference_Location :
Lviv-Polyana
Print_ISBN :
966-533-587-0
DOI :
10.1109/CADSM.2007.4297541
