Models of Distributed Systems Testing Based on Energy Consumption in Behavior

Abstract

Deviations from the standard power consumption often indicate malfunctions of technical systems. Continuous and periodic, instant and cumulative special analysis of energy consumption in the behavior of distributed information systems (DIS), compared with the features of the procedures they execute, can be an essential part of the means of online and offline testing in operability of DIS. This paper presents a model of behavioral testing and recognition of DIS, including a formal analysis of energy consumption. The model is based on behavioral experiments of an automata class and Petri nets, representing a reference DIS with added characteristics of energy consumption. The model has the features of behavioral individual and group energy characteristics, cross-sections-states, counters, spatial and temporal structures of energy consumption. The individuality of the characteristics presupposes the possibility of identifying the states of the reference model by its energy consumption, section-states are the subsets of its attainable states/positions identified in the reference model with characteristic (identifying) energy costs, counters are moving chips, that register energy consumption, as they move, and finally, energy consumption structures supposed and achievable topological structures of the movement of counters in the graph of the behavioral model.The model is designed to determine the energy conditions, used in the construction of methods of online and offline behavioral testing of the DIS performance, extended by the analysis of energy consumption.