Analysis of methods for assessing the reliability of equipment and systems. Practice of methods

The analysis of models and methods of reliability evaluation of hardware and software is carried out. The basic concepts of reliability and safety methods of such systems and situations leading to errors, defects and failures are defined. The definition of reliability and safety of technical systems and software systems is given. The classification of reliability models: predictive, measuring and evaluation types. Evaluation models that are used more in practice are described. The standard of Software life cycle (ISO 15288:2002) is defined, focused on the development and control of system components for errors, starting with the system requirements. The results of application of reliability models (Moussa, Goel-Okomoto, etc.) to small, medium and large projects are presented and their comparative assessment is given. The technological module (TM) of reliability evaluation of complex software systems VPK (1989) is described. The quality model of the standard ISO 9126 (1-4): 2002-2004 with indicators of functionality, reliability, efficiency, etc., which are used in determining the maturity and certificate of the product is shown.

reliability, model, method, error, defect, failure, random process, safety, dependability, recoverability, fault tolerance, completeness, reliability assessment, quality certificate

1. Lipaev V. V. Software Reliability. M.: SINTEG, 1998, 231 p. (in Russian)

2. Lipaev V. V. Methods of quality assurance of large-scale software systems. M.: SINTEG, 2003, 510 p. (in Russian).

3. Myers G. Software Reliability, M.: Mir, 1980, 360 p. (in Russian).

4. Moroz G. B., lavrisheva E. M. Models of software reliability growth. K.: V.M. Glushkov Institute of Cybernetics of NAS of Ukraine, preprint 92-38, 1992, 23p. (in Russian).

5. Lipaev V. V. Reliability and functional safety of software systems real time. Moscow, Svetlitsa, 2013, 193 p.

6. Shick G.J., Wolverton R.W. An analysis of computing software reliability models. IEEE Transactions on Software Engineering, vol. SE-4, № 2, 1978, pp. 104-120.

7. Shanthikumar J.G. Software reliability models: A Review. Microelectronics Reliability, vol. 23, № 5, 1983, pp. 903-943.

8. Goel Amrit L. Software reliability models: Assumptions, limitations, and applicability. IEEE Transactions on Software Engineering, vol. SE-11, № 12, 1985, pp. 1411-1423.

9. Musa J.D. Okumoto K. A. Logarithmic Poisson Time Model for Software Reliability Measurement. In Proc. of the 7th International Conference on Software Engineering, 1984, pp. 230-238.

10. Yamada S., Ohba M., Osaki S. S-shaped software reliability grows modeling for software error detection. IEEE Transactions on Reliability, vol. R-32, № 5, pp. 475-478.

11. Chulani S. Constructive quality modeling for defect density prediction: COQUALMO. In Proc. of the International Symposium on Software Reliability Engineering (ISSRE'99), 1999.

12. Gnedenko B.V., Kovalenko I.N. Introduction to the queueing theory. M.: Science, 1966, 432 p. (in Russian).

13. I. N. Kovalenko and V. D. Shpak. Probabilistic characteristics of complex systems with hierarchical control. Izv. Akad. Nauk SSSR, Tekhn. Kibern., no. 6, 1972, pp. 30-34 (in Russian).

14. Duval P., Matyas R., Grover A. Continuous integration improving Software quality and reducing risk. Addison Wesley, 2009, 691 p.

15. Koval G.I., Models and methods for engineering quality systems at the stages CL IK NANU, Extended abstract of PhD Thesis, 2005, 20 p. (in Russian)

16. Andon F. I. et al. Foundation of quality engineering software system. K.: Naukova Dumka, 2007, 670 p. (in Russian)

17. Gorbenko A.V.et al. the Safety of rocket-space engineering and reliability of computer systems. Aerospace technics and technology, №1 (78), 2011, pp. 9-20, 2011.

18. A. Avizienis, J.-C. Laprie, B. Randell, C. Landwehr. Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing, vol. 1, no. 1, 2004, pp. 11-33.

19. IEC 62628. Guidance on software aspects of dependability. Geneva: IEC, 2011, 63 p.

20. ISO 15288:2002. Systems Engineering. Cycle Life Processes of Systems.

21. Lavrischeva E. M. Programming Methods. Theory, engineering, practice. K.: Naukova Dumka, 2006, 452 p. (in Russian).

22. Lavrisheva E. M., Grishchenko V. N. Assembly programming. Foundation of software industries. K.: K.: Naukova Dumka, 2009, 372 p. (in Russian).

23. Lavrisheva E. M. Software Engineering of computer systems. Paradigms, technologies, CASE-means. K.: K.: Naukova Dumka, 2014, 284 p. (in Russian).

24. Saati T. Decision-Making. Method of hierarchy analysis. M.: Radio and communications, 1993. 315p. (in Russian).