Abstract
Paradigms and graphical-analytical tools for building simulation tools and forming the architecture of a combined approach to studying the dynamic properties of systems with parallelism are described. An extension of the formal language of Petri nets is presented, which has greater modeling power than WF nets. The properties of hierarchical Petri nets are used to synthesize a holistic model. Discrete-event modeling and modeling of dynamic systems, which allow reflecting the quantitative and qualitative characteristics of the elements of the systems under study, served as the basis for the combined approach to the simulation of systems with parallelism. On their basis, graphic-analytical tools are proposed that provide the ability to describe the modeled system, adhering to the principle of structural similarity. They have dynamic simulations that make it easy to visually analyze and correct the model. Also, the proposed toolkit provides for the analysis of the dynamic properties of the model, which makes it possible to identify accumulated phenomena that can lead to unpredictability of the system’s functioning. A conceptual model for the synthesis and analysis of systems with parallelism is proposed, which provides for the construction of the components of the model based on the architecture. Their step-by-step analysis and the formation of an integral model of the software system are carried out using a network representation, according to the matrix description of which invariants are calculated. The analysis of invariants allows one to obtain the dynamic properties of the model and determine the localization of structures that lead to critical situations when they are detected. The architecture of the combined approach to the simulation of systems with parallelism is built, which provides the study of their dynamic properties to improve the reliability of the functioning of software systems
Highlights
In the context of the growing complexity of software systems [1], the task is to make sound design decisions at the stages of design, debugging and maintenance of software projects
This will make it possible to determine the dynamic characteristics of the components and the system with parallelism as a whole to improve the reliability of the functioning of software systems
The paradigms of simulation modeling were used, which made it possible to form the basis for a combined approach to modeling systems with paralle lism based on modeling dynamic systems and discrete-event modeling
Summary
In the context of the growing complexity of software systems [1], the task is to make sound design decisions at the stages of design, debugging and maintenance of software projects. For studying the static and dynamic properties of software systems with parallelism, one of the most powerful research tools is simulation. Its means make it possible to describe the systems under study at various levels of abstraction, taking into account their quantitative and qualitative characteristics [2]. UML diagrams [7], which are used to represent and analyze design decisions, allow describing structural aspects in diagrams of classes, packages, components, etc. The urgent task is to develop a unified instrumental and metho dological basis for combined simulation models for the study of complex systems with parallel and competing processes
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
