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.
- B. Volochiy, Technology Modeling Algorithms Behavior of Information Systems. – Lviv, Ukraine: Publishing house of Lviv Polytechnic National University. – 2004. (Ukrainian)
- G. Cherkasov, Reliability of Hardware-Software Compex Systems. — Saint-Petersburg, Russia: Piter. – 2005. (Russian)
- V. Shklyar, Reliability of Control Systems – Tomsk, Russia: Publishing house of Tomsk Polytechnic University. – 2011. (Russian)
- J. Tidwell, Designing Interfaces: Patterns for Effective Interaction Design. – Saint-Petersburg, Russia: Piter. – 2008. (Russian)
- M. Cantor, Software Leadership. A Guide to Successful Software Development. – Moscow, Russia: Williams. – 2011. (Russian)
- E. Dustin, J. Rashka, J. Paul, Automated Software Testing. – Moscow, Russia: Lori. – 2005. (Russian)
- R. Culbertson, Rapid Testing. – Moscow, Russia: Williams. – 2002. (Russian)
- IEEE 829-2008 Standard for Software Test Documentation. – New York, USA: IEEE Press. – 2008.
- IEEE 1008 – 2008 Standard for Unit Testing. – New York, USA: IEEE Press. – 2008.
- B. Mandziy, B. Volochiy, A. Matichin, L. Ozirkovskyi, The Concept of a Software Module for Modeling the Structure and Behavior of Information Systems // In Proc. "The Reliability and Quality" International Symposium. – Penza, Russia. – 2006. – P.13-15. (Russian)
- B. Volochiy, L. Ozirkovskyi, System Design of Telecommunication Networks. – Lviv, Ukraine: Publishing house of Lviv Polytechnic National University. – 2012. (Ukrainian)