Krivoulya, G. F.Laptev, M.2016-09-022016-09-022007Кривуля Г. Ф. Modeling computer system states on the structural level in the form of finite state machine / Кривуля Г. Ф., Лаптев М. // Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС) - 2007http://openarchive.nure.ua/handle/document/1967The 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 to determine the transitions from one state of the computer system to diagnostic state having the number of input signals.endiagnostic modelcomputer systemreliabilitymaintainabilitydurabilityfailurecorrect statefaulty stateoperable stateArticle