Analysis of the transactional structure of software in monitoring systems for fault-tolerant objects

Abstract

The article provides an overview of approaches to the analysis of the transactional structure of software in systems for monitoring fault-tolerant objects. These objects, as a rule, are distributed and operate in real time. It is shown that computer systems for monitoring and controlling objects operating in real time play a very important role in ensuring their safety, so there is always a need for high-quality software. The aim of the work is to increase the efficiency of the analysis of the transactional reliability of software systems for information processing and monitoring by automating the simulation of the life cycle of the transactional structure of the software. Modeling the life cycle of a software transactional structure is primarily associated with the formalization of its processes and stages, as well as with the use of a methodology that allows describing the semantics of the processes and stages of the formation, implementation and maintenance of software. For visual modeling of the life cycle of the transactional structure of the software, the IDEF0 methodology is used, which allows you to build a functional model of the life cycle and describe the rules of this model, that is, the logical relationships between works.