Behavioral Hiddentesting of Distributed Information Systemstaking Into Accountof Energy

Abstract

The introduction of new energy-consuming properties for positions and transitions into the checked properties of the extended reference Petri net, for which the deviations of the tested Petri net are determined and a testing model is developed, provides new diagnostic possibilities. Keeping the class of checked properties in the composition of deviations of incidence relations, correspondences and marking functions of positions and transitions for the checked and reference Petri nets, the new properties make it possible to record the appearance of critical temperature regimes that are a consequence of errors or directly leading to their appearance. This versatility of testing helps to increase its completeness, accuracy and efficiency. The energy-heavy testing model is based on verification of incidence, correspondence, and markup functions. Checking the markup functions when generating events in positions, performing actions in transitions, as well as the proposed checking of the energy consumption indicators accumulated in the monitor tokens, is performed when checking the incidence, correspondences. The features of the testing model include the input of generalized energy-loaded Petri nets recorders, accumulating information about energy consumption in the behavior of positions/transitions, topological components and subnets, the entire Petri net in the process of its functioning. The testing model is also distinguished by the recognition of the reference energy-loaded behavior when checking the Petri net based on behavioral identification and coincidence of subsets of positions/transitions, the determination of behavior, the use of check primitives and transactions. The behavioral testing model defines the formal conditions for behavioral testing procedures, including the analysis of the correctness of energy consumption. The dimensionality of the testing model was estimated using the representation of Petri net graphs, special graphs of attainable states, including Rabin-Scott automata, using list structures. These estimates define the limits of applicability of the formal testing model

Control optimization of automatic multistage transmission in cityelectric bus

“…The solution of three preprocessor tasks involves the analysis and synthesis of DIS models and its components in the form of EPN (1) with the introduced and selected network and hierarchical structure, energy-loaded positions, transitions, chips [40,41].…”

“…Preprocessor complex, spatio-temporal, in the general case, multi-level decomposition of EPN of the distribution of behavior between its components and in scenarios, respectively, is performed (2) [40,41]:…”

“…Preprocessor analysis of energy consumption as part of determining: boundary (upper and lower) and average characteristics of energy consumption in monogenic environment for reference DIS and their components (Fig. 1), both calculated and experimental, is performed with reference to: a) states in state diagrams, to vertices in activity diagrams, to positions and transitions in EPN for behavior scenarios; b) basic topological fragments of behavior scenarios, both for and EPN, taking into account the performed binding to their states/vertices and positions/transitions (in CPN, taking into account the mechanisms of transport and accumulation of values in recorder chips [40,41]) of reference characteristics of energy consumption; c) reference extrema and infima of energy consumption, both for states/vertices of diagrams and positions/transitions of EPN, basic graph-topological fragments of behavior scenarios based on them. Preprocessor analysis of the energy-loaded identification of the reference behavior on base testing model (4) [40,41]: (5) c) complex energy-behavioral identifiers, compatible at the level of common states/vertices of diagrams, positions/transitions of EPN and fragments of behavior based on them (Fig.…”

“…Source: compiled by the authors testing, includes accumulative testing for the fragment as a whole, represented in its nodal and output states/vertices and positions/transitions with using energy-loaded chips-recorders [40,41]. Processor, energy and energy-behavioral offline testing, as a special check experiment for compliance with the reference energy consumption and behavior outside the main operation of DIS and its components, includes the construction of tests for the reference EPN and their application to the tested model/implementation of DIS.…”

“…Thus, it is of interest to further develop just such a complex technology of behavioral energyloaded testing of DIS components, based on methods for checking and recognizing their reliable functioning, taking into account energy consumption and extended energy-loaded Petri nets [40,41].…”