Extending the features of software for reliability analysis of fault-tolerant systems

: pp.112-122
Lviv Politechnik National University, Software Department
Lviv Polytechnic National University
Lviv Polytechnic National University

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.

  1. B. Volochiy, Technology Modeling Algorithms Behavior of Information Systems. – Lviv, Ukraine: Publishing house of Lviv Polytechnic National University. – 2004. (Ukrainian)
  2. G. Cherkasov, Reliability of Hardware-Software Com­pex Systems. — Saint-Petersburg, Russia: Piter. – 2005. (Russian)
  3. V. Shklyar, Reliability of Control Systems – Tomsk, Russia: Publishing house of Tomsk Polytechnic University. – 2011. (Russian)
  4. J. Tidwell, Designing Interfaces: Patterns for Effec­tive Interaction Design. – Saint-Petersburg, Russia: Piter. – 2008. (Russian)
  5. M. Cantor, Software Leadership. A Guide to Succe­ss­ful Software Development. – Moscow, Russia: Williams. – 2011. (Russian)
  6. E. Dustin, J. Rashka, J. Paul, Automated Software Testing. – Moscow, Russia: Lori. – 2005. (Russian)
  7. R. Culbertson, Rapid Testing. – Moscow, Russia: Williams. – 2002. (Russian)
  8. IEEE 829-2008 Standard for Software Test Documentation. – New York, USA: IEEE Press. – 2008.
  9. IEEE 1008 – 2008 Standard for Unit Testing. – New York, USA: IEEE Press. – 2008.
  10. B. Mandziy, B. Volochiy, A. Matichin, L. Ozir­kovskyi, 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)
  11. B. Volochiy, L. Ozirkovskyi, System Design of Tele­communication Networks. – Lviv, Ukraine: Publishing house of Lviv Polytechnic National University. – 2012. (Ukrainian)