Volochii S. Software and mathematical support for the development of discrete-continuous stochastic models of behavior of fault-tolerant hardware-software complexes

This dissertation presents a solution for an actual scientific problem of the development of the software and the mathematical support for automating the process of development of discrete-continuous stochastic models of the behavior of the fault-tolerant hardware-software systems behavior in form of states-transitions diagram. The mathematical support is based on the structural-automaton models, and consists of method of definition of the components of structural-automaton models from sample states diagram; method of the development of the sample graph by basic events; method of validation of the structural-automaton models of the behavior of fault-tolerant hardware-software systems; method of modification of the structural-automaton models to enable usage of Erlang phase method. These methods are the basis of methodologies of implementation of particular stages of the development of the discrete-continuous stochastic models of behavior of fault-tolerant hardware-software systems. These methodologies are the basis for the algorithms of software for developing the sample states diagram by basic events, definition of the components of the structural-automaton model from sample states diagram, validation of the structural-automaton models.