The analysis of the dependency of influence of the tile sizes of iteration space has been represented. It involves program loop operators' modification during parallelization for multithreading architectures of the computation systems. The particle swarm optimization method has been considered as a method of the minimization program execution time for tiling speed up.

A RISC microprocessor architecture that realizesa specific method of parallelism including the instruction level parallelism has been considered. The processor has been provided for 4-bit data type tag in each register of the register file. There are 14 data type tag values. The zero data type tag indicates that the register is free, otherwise it is busy. The destination register inherits the data type tag from the first source register. After an operation the data type tags in the source registers may be either zeroed, or may remain unchanged for further usage. All machine operations are classified into computational operations (about 40), and auxiliary operations (about 35 - 45). The computational operations include integer, unsigned, floating point, logical, string, and conversion operations. The processor has specific instruction formats in which there are 6-bit fields both for the operation code and the computational code. A single primary computational instruction having zero in the operation code field, and a meaningful code in the computational code field is enough to express all computational operations. A compiler generates groups of instructions to perform in parallel, the reordering of instructions may take place. There are several clones of the primary computational instruction with operation codes differing from zero. A clone computational instruction with a certain operation code is placed as a header instruction for the instruction group pointing out a certain number of instructions in the group to issue in parallel. The primary instructions may be placed inside the groups. The concept of flux is introduced as a composite of stream of instructions and a flow of processed data maintained by the flux hardware. Fluxes improve the usage of multiple functional units, and may be used for further parallelization.

The possibilities of the information support for cyber-physical designing systems have been considered. Their coincidence with Open System Interconnection Standard has been analyzed. Their effectiveness has been taken into account. From this point of view, the usage of compression technique, low-energy wireless networks has been considered.

To study the effective functioning and behavior of parallel computing systems (which may be an integral part of the cyber-physical system), a high-performance software package based on mathematical models, methods and algorithms for stochastic modeling has been developed at the design stage. This software package completely solves the design problem - the parameters of a computing system have been calculated: its computational power, the average value of task execution time or various tasks on homogeneous resources of a parallel computing system, the distribution function of the task execution time. Based on the analysis of the parameters obtained, as well as indicators of the reliability of the system, the configuration of a parallel computing system has been selected or the possibility of using a previously selected computing system to perform the task has been considered.

It is necessary to determine the optimal methodology for the system of predictive analysis of equipment to prevent emergency situations. The system may include, in particular: data input/reading from sensors, processing/storage of information in a database using algorithms for processing Big Data and decision trees [1]. Identifying possible types of problems and making decisions on how to respond to them; training the system for more accurate response and decision-making.

The current state and prospects of the development of cyber-physical systems for the conversion of energy of mechanical motion into electric energy have been analyzed; the design scheme of the mechanical energy conversion of the rolling parts of the artillery cannon into electrical energy has been developed; the initial characteristics of the linear generator have been analyzed; a mathematical model of the electromechanical converter has been outlined.

A comparative analysis of existing approaches to cyber-physical systems simulation has been conducted. The intrinsic peculiarities of cyber-physical systems have been reasoned and generalized. The limitations of available simulation tools have been pointed out. The approach to cyber-physical systems design solutions checking on the basis of timed automata, UPPAAL integrated tool environment and temporal logic of actions usage has been proposed. The proposed approach is supposed to be applied at designing stage - to prevent the potential time and computational expenses on overcomplicated or faulty formal models checking. A case study on electric power delivery system usage scenario has been conducted.

The analysis of the dependency of influence of the tile sizes of iteration space has been represented. It involves program loop operators' modification during parallelization for multithreading architectures of the computation systems. The particle swarm optimization method has been considered as a method of the minimization program execution time for tiling speed up.

A RISC microprocessor architecture that realizesa specific method of parallelism including the instruction level parallelism has been considered. The processor has been provided for 4-bit data type tag in each register of the register file. There are 14 data type tag values. The zero data type tag indicates that the register is free, otherwise it is busy. The destination register inherits the data type tag from the first source register. After an operation the data type tags in the source registers may be either zeroed, or may remain unchanged for further usage. All machine operations are classified into computational operations (about 40), and auxiliary operations (about 35 - 45). The computational operations include integer, unsigned, floating point, logical, string, and conversion operations. The processor has specific instruction formats in which there are 6-bit fields both for the operation code and the computational code. A single primary computational instruction having zero in the operation code field, and a meaningful code in the computational code field is enough to express all computational operations. A compiler generates groups of instructions to perform in parallel, the reordering of instructions may take place. There are several clones of the primary computational instruction with operation codes differing from zero. A clone computational instruction with a certain operation code is placed as a header instruction for the instruction group pointing out a certain number of instructions in the group to issue in parallel. The primary instructions may be placed inside the groups. The concept of flux is introduced as a composite of stream of instructions and a flow of processed data maintained by the flux hardware. Fluxes improve the usage of multiple functional units, and may be used for further parallelization.

The possibilities of the information support for cyber-physical designing systems have been considered. Their coincidence with Open System Interconnection Standard has been analyzed. Their effectiveness has been taken into account. From this point of view, the usage of compression technique, low-energy wireless networks has been considered.

To study the effective functioning and behavior of parallel computing systems (which may be an integral part of the cyber-physical system), a high-performance software package based on mathematical models, methods and algorithms for stochastic modeling has been developed at the design stage. This software package completely solves the design problem - the parameters of a computing system have been calculated: its computational power, the average value of task execution time or various tasks on homogeneous resources of a parallel computing system, the distribution function of the task execution time. Based on the analysis of the parameters obtained, as well as indicators of the reliability of the system, the configuration of a parallel computing system has been selected or the possibility of using a previously selected computing system to perform the task has been considered.

It is necessary to determine the optimal methodology for the system of predictive analysis of equipment to prevent emergency situations. The system may include, in particular: data input/reading from sensors, processing/storage of information in a database using algorithms for processing Big Data and decision trees [1]. Identifying possible types of problems and making decisions on how to respond to them; training the system for more accurate response and decision-making.

The current state and prospects of the development of cyber-physical systems for the conversion of energy of mechanical motion into electric energy have been analyzed; the design scheme of the mechanical energy conversion of the rolling parts of the artillery cannon into electrical energy has been developed; the initial characteristics of the linear generator have been analyzed; a mathematical model of the electromechanical converter has been outlined.

A comparative analysis of existing approaches to cyber-physical systems simulation has been conducted. The intrinsic peculiarities of cyber-physical systems have been reasoned and generalized. The limitations of available simulation tools have been pointed out. The approach to cyber-physical systems design solutions checking on the basis of timed automata, UPPAAL integrated tool environment and temporal logic of actions usage has been proposed. The proposed approach is supposed to be applied at designing stage - to prevent the potential time and computational expenses on overcomplicated or faulty formal models checking. A case study on electric power delivery system usage scenario has been conducted.