Анализ методов оценки надежности оборудования и систем. Практика применения методов
Автор: Пакулин Н.В., Лаврищева Е.М., Рыжов А.Г., Зеленов С.В.
Журнал: Труды Института системного программирования РАН @trudy-isp-ran
Статья в выпуске: 3 т.30, 2018 года.
Бесплатный доступ
Проводится анализ моделей и методов оценки надежности технических и программных средств. Определяются основные понятия методов надежности и безопасности таких систем и ситуаций, приводящих к ошибкам, дефектам и отказам. Дано определение надежности и безопасности технических систем и программного обеспечения (ПО) систем. Приведена классификация моделей надежности: прогнозирующего, измерительного и оценочного типов. Описаны оценочные модели, которые применяются на практике. Определен стандарт жизненного цикла ПО (ISO 15288:2002), ориентированный на разработку и контроль компонентов систем на ошибки, начиная с требований к системе. Представлены результаты применения моделей надежности (Мусы, Гоэла-Окомото и др.) к малым, средним и большим проектам и дана сравнительная их оценка. Описан технологический модуль (ТМ) оценки надежности сложных комплексов программ ВПК (1989). Показана модель качества стандарта ISO 9126 (1-4):2002-2004 с показателями функциональность, надежность, эффективность и др., которые используются при определении зрелости и сертификата качества продукта.
Надежность, ошибка, дефект, отказ, плотность дефектов, случайный процесс, безопасность, гарантоспособность, восстанавливаемость, отказоустойчивость, завершенность, оценка надежности, сертификат качества
Короткий адрес: https://sciup.org/14916555
IDR: 14916555 | DOI: 10.15514/ISPRAS-2018-30(3)-8
Список литературы Анализ методов оценки надежности оборудования и систем. Практика применения методов
- Lipaev V. V. Software Reliability. M.: SINTEG, 1998, 231 p.
- Lipaev V. V. Methods of quality assurance of large-scale software systems. M.: SINTEG, 2003, 510 p..
- Myers G. Software Reliability, M.: Mir, 1980, 360 p..
- 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..
- Lipaev V. V. Reliability and functional safety of software systems real time. Moscow, Svetlitsa, 2013, 193 p.
- 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.
- Shanthikumar J.G. Software reliability models: A Review. Microelectronics Reliability, vol. 23, № 5, 1983, pp. 903-943.
- Goel Amrit L. Software reliability models: Assumptions, limitations, and applicability. IEEE Transactions on Software Engineering, vol. SE-11, № 12, 1985, pp. 1411-1423.
- 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.
- 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.
- Chulani S. Constructive quality modeling for defect density prediction: COQUALMO. In Proc. of the International Symposium on Software Reliability Engineering (ISSRE'99), 1999.
- Gnedenko B.V., Kovalenko I.N. Introduction to the queueing theory. M.: Science, 1966, 432 p..
- 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.
- Duval P., Matyas R., Grover A. Continuous integration improving Software quality and reducing risk. Addison Wesley, 2009, 691 p.
- Koval G.I., Models and methods for engineering quality systems at the stages CL IK NANU, Extended abstract of PhD Thesis, 2005, 20 p.
- Andon F. I. et al. Foundation of quality engineering software system. K.: Naukova Dumka, 2007, 670 p.
- 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.
- 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.
- IEC 62628. Guidance on software aspects of dependability. Geneva: IEC, 2011, 63 p.
- ISO 15288:2002. Systems Engineering. Cycle Life Processes of Systems.
- Lavrischeva E. M. Programming Methods. Theory, engineering, practice. K.: Naukova Dumka, 2006, 452 p..
- Lavrisheva E. M., Grishchenko V. N. Assembly programming. Foundation of software industries. K.: K.: Naukova Dumka, 2009, 372 p..
- Lavrisheva E. M. Software Engineering of computer systems. Paradigms, technologies, CASE-means. K.: K.: Naukova Dumka, 2014, 284 p..
- Saati T. Decision-Making. Method of hierarchy analysis. M.: Radio and communications, 1993. 315p..
