• DocumentCode
    3348877
  • 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
  • fYear
    2007
  • fDate
    19-24 Feb. 2007
  • Firstpage
    262
  • Lastpage
    263
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/CADSM.2007.4297541
  • Filename
    4297541