Scientific and Technical Journal


ISSN Print 2221-3937
ISSN Online 2221-3805

The proposed work presents a behavioral model for testing the components of network systems, expanded by the ability to verify their energy consumption in a mode that is background in relation to the test control.The aim of the work is to achieve greater completeness in behavioral testing of network systems performed on the basis of constructing control experiments for Petri nets by expanding their energy recording properties.To achieve the goal, the task of developing a model for testing components of network systems by means of energy consumption analysis is being solved.For this purpose, the label-recorders of the three-level hierarchical structure displaying both detailed and total energy inputs have been introduced into the representing components of the extended Petri nets. The tags support expert-statistical metrics and energy-cost functions and ensure dynamic transportation and accumulation of energy costs in the process of their movement between positions and transitions. The testing model retains the ability to construct and use test primitives defined as vectors of sets of contiguous transition positions with the identification of relevant conditions and events. Extension of identifiers, test primitives with energy consumption indicators allowed to additionally apply them for the analysis of energy costs both in the process of synthesizing behavioral tests and during test modeling. Registration and analysis are performed as a definition, distribution-association and preservation of generalized power consumption indicators for vertices, topological elements and subnets of some Petri reference network. Thus, the model defines the conditions for the synthesis of tests for network systems performing functional testing, extended by energy cost analysis, when comparing an object with a standard, and provides the basis for constructing procedures for the synthesis of behavioral tests for network system components expanded by detailed and total verification of their energy consumption.

DOI 10.15276/eltecs.28.104.2018.25
  1. Coulouris, George, Dollimore Jean, Kindberg Tim, Blair Gordon, (2011) Distributed Systems: Concepts and Design, 5th ed. – Boston: Addison-Wesley, 1067 p., available online on

  1. Piguet, C., (2005) Low-power CMOS circuits: technology, logic design and CAD tools. – CRC/Taylor & Francis, 440 p.
  2. Ivanov, D. E., Vasyaeva, T. A., (2011) Genetic Algorithm for Estimating Peak Heat Dissipation for Large Integrated Circuits [Genetichesky algoritm otsenki pikovogo rasseivaniya tepla dlya bolshih integralnih shem]. – Bulletin of East-Ukrainian National University named after V. Dal–              No13(167), P. 277–283.
  3. Martynyuk, A. N., Wassim Al Shariff, (2013) Models of Testing for Petri Nets Compositions [Modeli testirovaniya dlya kompozitsy setei Petri]. – Science Technical Journal “Cold Technique and Technology” –No2(142).Odessa, P. 84–87.
  4. Kudryavtsev,V. B., Grunskii, I. S., Kozlovskii,V. A., (2010) Analysis and synthesis of abstract automata.– Journal of Mathematical Sciences September, Volume 169,  Issue 4, P. 481–532.
Last download:
15 Jan 2019

[ © KarelWintersky ] [ All articles ] [ All authors ]
[ © Odessa National Polytechnic University, 2014-2018. Any use of information from the site is possible only under the condition that the source link! ]