BEHAVIORAL OPERATIONAL CHECKING OF NETWORK COMPUTER SYSTEMS

Abstract

The means of operational checking used for modern network computer systems need to check
their behavioral properties, which is reflected in the construction and application of developed scenarios for
distributed background checking of the functioning of networked computer systems (NCS) and their components. The purpose of this paper is to increase the completeness of the behavioral operational checking performed for the NCS components in real time, the main function taking into account the time and random
characteristics of the work. This possibility can be obtained by presenting components of NCS with extended
Petri nets. To achieve the goal, the following tasks are solved: constructing a behavioral operational checking model for the NCS component based on the recognition of Petri net functions; definition of the main
steps of the procedure for performing behavioral operational checking of NCS components; Estimating the
expected computational complexity of the received behavioral operational checking. The model of behavioral operational checking presented in this work is based on the organization of a background recognition experiment for an extended Petri net. The expanded Petri net introduces interval (time) and probabilistic properties of functions for positions and transitions. The model has the features of recognition of the advanced
functions of the Petri net, the use of behavior identifiers, checking primitives and fragments based on them,
as well as the signature of the fragments composition operations and relations for them. Preliminary construction of identifiers can be performed on the basis of special graphs of achievable markings. Identifiers
and primitives along with the operations of transforming the behavior of the Petri net into its recognized
structure make it possible to construct a procedure for comparing the behavior of the tested and reference
component in the course of operational checking. The model and procedure can be taken as a basis for determining the conditions of behavioral operational checking, building a distributed method and a operational checking system of NCS. General analytical estimates of the dimension of the length of the checking analysis show its attainability with the use of modern means of operational checking.

Author Biographies

Александр Николаевич Мартынюк, Odessa National Polytechnic University

Dr of Philosophy, Associate Professor, Associate
Professor of the Department of Computer Intelligent Systems and Networks of the
Odessa National Polytechnic University

Ахмеш Тамим, Odessa National Polytechnic University

post graduate of the Department of Computer Intelligent Systems
and Networks of Odessa National Polytechnic University

Дмитрий Александрович Мартынюк, Private enterprise Nippon Auto

engineer of the private enterprise Nippon Auto.

Александр Валентинович Дрозд, Odessa National Polytechnic University

Dr. of Science, Professor, Professor of the Department of Computer Intelligent Systems and Networks, Odessa National Polytechnic
University

Published
2018-06-26
How to Cite
Мартынюк, А., Тамим, А., Мартынюк, Д., & Дрозд, А. (2018). BEHAVIORAL OPERATIONAL CHECKING OF NETWORK COMPUTER SYSTEMS. Electrotechnic and Computer Systems, (28(104), 201-207. https://doi.org/10.15276/eltecs.28.104.2018.24
Section
Information systems and technologies

Most read articles by the same author(s)

1 2 > >>