Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/2123
Title: The diagnostic model of computer system in the form of Petri Net
Authors: Krivoulya, G.
Laptev, M.
Gharibi, Wajeb
Keywords: diagnostic model
computer system
reliability
maintainability
durability
failure
correct state
faulty state
operable state
Issue Date: 2008
Publisher: Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС)
Citation: Krivoulya G. The diagnostic model of computer system in the form of Petri Net / G. Krivoulya, M. Laptev, Wajeb Gharibi // Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС) - 2008
Abstract: The construction of structural computer system model in the form of automatic, limited Petri Net are considered in the article. Proposed model can be used for building diagnosability provision of the computer system. Increasing quantity and complexity of current computer systems (CS) usability leads to necessity of it quality service. Modern computer engineering decides this problem by creating the diagnostic systems and automatic searching for the faults. With usage of them service and repair becomes simpler (1). For modeling the automation diagnostic system of CS necessary to have structure model of CS (2), which permit to define CS transitions from one state to another having different combination of input signals. In this work the structural model of CS in the form of automatic, limited Petri Nets (PN) are proposed.
URI: http://openarchive.nure.ua/handle/document/2123
Appears in Collections:Кафедра автоматизації проектування обчислювальної техніки (АПОТ)

Files in This Item:
File Description SizeFormat 
Кривуля_РЕКС_2008_6(33)_2.pdf1.71 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Admin Tools