Formalized development of the state transition graphs using the Erlang phase method

摘要

In the development of models of reliability of fault-tolerant systems, one of the tendencies for raising the degree of their sufficiency is accounting real distribution laws for duration of procedures and time intervals between events of processes. Accounting real distribution laws in the model is possible with Erlang phase method. Implementation of this approach implies creation of model of reliability in the form of graphs of states and transitions where number of states is equal to hundreds or thousands. Such approach creates problem of time for the developer. The problem becomes more serious when it is necessary to consider multiple variants of system elements configuration. The article shows method of formalized development of graphs of states which can automatize this process and considerably decrease time consumption.