The method of behavioral energy-loaded testing considered in this paper are based on Petri
nets, extended by temperature and volt/ampere characteristics, and have the features of a …

Early testing of the reliability of functioning, performed before the occurrence of critical
emergency situations, plays an important role in the theory and practice of monitoring and …

Deviations from the standard power consumption often indicate malfunctions of technical
systems. Continuous and periodic, instant and cumulative special analysis of energy …

Annotation. Operational features of modern distributed information systems significantly
increase the requirements for the reliability of their functioning and tighten the time limits for …

Systems for automated technical diagnostics of promising complex distributed information
systems, often with critical properties of application, as well as actively added agent …

The paper presents a three-level decomposition model of behavioral on-line testing for
distributed information systems of the application level. The model is based on the …

The article presents the results of an analysis of the experience of automated testing of
mission-critical systems during operation, maintenance and development over 12 years. It is …

For the purpose of testing the cooperative behavior of softwarecontrolled autonomous
systems, a model-based testing approach is presented. It makes use of Coloured Petri Nets …

Specialized embedded computer systems are one of the core technologies of modern
industrial cyber-physical systems. They implement application algorithms and perform data …

The object of research is models of cyber-physical systems, including IoT devices,
microcomputers, various sensors, as well as functioning through communication channels …