The developed software ASNA-2, which is an improved version of the software ASNA-1, is based on the technology of automated estimation of reliability indexes of fault-tolerant systems. This software is designed for automated evaluation of the reliability indexes of fault-tolerant hardware – software systems. This paper describes a software ASNA-2 with the peculiarities of procedures of reliability analysis of fault-tolerant systems.
Modern complex mission-critical systems are built as fault-tolerant systems, i.e. having the ability to function while some of their separate elements have a fault. The complexity of such fault-tolerant systems makes their reliability models quite big and complex. Therefore, such requirements for building models, as the high level of credibility and the appropriate level of formalization, are imposed on these models, which allows to implement the automation to their creating and analysis of reliability and, therefore, using modern computer tools.