Development of Models in Resilient Computing

Drozd, Oleksandr; Kharchenko, Vyacheslav; Ruciński, Andrzej; Kochanski, Ted; Garbos, Raymond; Maevsky, Dmitry

doi:10.1109/dessert.2019.8770035

Cited by 21 publications

(6 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Thus, it is possible to obtain graphical information about changes in the parameters of a modeled object and its world linked with visualization (steam extraction, color change, etc.) [12]. Ultimately, the requirements for the developed visualization system for the modeling process were met.…”

Section: Resultsmentioning

confidence: 99%

Information technology of visualization for technological processes for research modes of functioning of complex technological systems

Denisenko

Gurskiy

2021

SRIT

View full text Add to dashboard Cite

The development of a mathematical model of a technical system based on the means of discrete-continuous networks and taking into account the interaction with a multimedia platform is presented. The efficiency of the process for visualizing the functioning of the complex technical system is increased by implementing the interaction of the modeling environment with the Unity platform in the feedback mode. The experiments linked to the integration of the DC-Net simulation software environment with the Unity cross-platform development environment are implemented. An example of developing the model of a technical system in the DC-Net environment and an example of developing a process for visualizing the functioning of a corresponding technical system based on the Unity platform are presented. The fundamental suitability of using the integration of various information technologies linked with various software environments has been confirmed.

show abstract

Section: Resultsmentioning

confidence: 99%

Information technology of visualization for technological processes for research modes of functioning of complex technological systems

Denisenko

Gurskiy

2021

SRIT

View full text Add to dashboard Cite

show abstract

“…Instead, in the models of sustainable computing [9], the criteria of stability of critical applications are considered, as well as the search for hidden errors is carried out. But in these studies, only part of the external influences is considered -from natural disturbances, which limits the options for analyzing the functioning of software models.…”

Section: The Study Materials and Methodsmentioning

confidence: 99%

Improving the efficiency of dynamic analysis of the combined simulation model for software with parallelism

Suprunenko,

Onyshchenko,

Grebenovich

2023

EEJET

View full text Add to dashboard Cite

Software design uses the set of tools for building and analyzing models which do not allow solving the complex problem of improving the quality of design solutions. This task includes not only the synthesis of the software model with parallelism, the detection and localization of errors for the correction of the model, but also the visual analysis of the model for the synthesis of new or corrected design solutions. The study object is the building and analyzing processes of software models with parallelism. Techniques and a method‘s of synthesis and analysis of the software model with parallelism are proposed, which are based on the combined approach to simulation modelling of the systems with parallelism. The analysis of the software model with parallelism begins at the stage of creating and static analyzing component models. The proposed method provides dynamic analysis of component models and partial model in the process of assembling the complete software model. Building of component models is carried out based on the rules for building PN-models, PN-templates and the principle of structural similarity, while their static properties are checked. The dynamic analysis of the component models of software is carried out using simulation modeling and the method of invariants. In process of the model assembling, the complete model is gradually formed by assembling it from the models of software components, and its dynamic properties are analyzed. In this case, the convolution method, the method of invariants, and simulation modelling are used. Through in-depth dynamic analysis the presented method‘s provides an opportunity to check the static and dynamic properties of the studied models, which ensures an increase in the quality of project solutions at the software design stage. It can be used to reduce the cost of software development, as well as to analyze the developed software to improve the efficiency of support

show abstract

“…The first is designed for authorizing a small payload size, the second for a large payload size. It should be noted that for the "buffering in memory" method, the allocation of large blocks of memory is very resource-intensive for the CPU [1], [32,33], [34], and can lead to unnecessary delay in request processing.…”

Section: Fig 1 Buffer Filling Methodsmentioning

confidence: 99%

Reduction of the Harmful Effect of Critical Modes in the Operation Queue Environment for Authorization Protocols for Large Requests

Surkov

2020

AAIT

View full text Add to dashboard Cite

An essential part of web security is keeping the payload intact from changes. The data during transmission could be changed, where the encryption is not used, or the data gets decrypted in the middle of the transmission. In our previous researches, the “chunking” method was introduced, which was compared with the “Buffering to file” method. The comparison showed the reduction of recourse consumption. In a multithreading environment, to manage resources efficiently, it is vital to distribute the workload among processor cores. A decent solution for using multithreading efficiently is operation queues. However, if too many operations are accumulated in the operation queue, the system falls into the critical mode. It is characterized by the increase of memory consumption, which may cause the instability of the system. In the course of the study, the main parameters were determined, influencing the data processing speed, and insignificant ones were excluded from the calculation. Earlier, a method was developed for determining the conditions for the falling of a system to a critical mode. It was used as a starting point for the experimental research. A new method based on the method of identifying critical modes in the operation queue is proposed. It differs from existing ones by the ability to simulate critical modes at a given workload, which allows predicting critical modes in order to reduce their negative effect. A series of experiments were carried out, and the results were used to study the dependences of memory consumption on the number of connections and writing speed in critical modes. From the study, three types of critical modes were determined. This made it possible to establish the patterns of the emergence of critical modes in information systems and their impact on the available memory. The formulas are obtained that approximate the experimental data: the dependence of the used memory on the number of connections and the write speed. The research results can be used in the development of information systems and theanalysis of failures.

show abstract

Development of Models in Resilient Computing

Cited by 21 publications

References 17 publications

Information technology of visualization for technological processes for research modes of functioning of complex technological systems

Information technology of visualization for technological processes for research modes of functioning of complex technological systems

Improving the efficiency of dynamic analysis of the combined simulation model for software with parallelism

Reduction of the Harmful Effect of Critical Modes in the Operation Queue Environment for Authorization Protocols for Large Requests

Contact Info

Product

Resources

About