Preview

Труды Института системного программирования РАН

Расширенный поиск

Анализ методов оценки надежности оборудования и систем. Практика применения методов

https://doi.org/10.15514/ISPRAS-2018-30(3)-8

Аннотация

Проводится анализ моделей и методов оценки надежности технических и программных средств. Определяются основные понятия методов надежности и безопасности таких систем и ситуаций, приводящих к ошибкам, дефектам и отказам. Дано определение надежности и безопасности технических систем и программного обеспечения (ПО) систем. Приведена классификация моделей надежности: прогнозирующего, измерительного и оценочного типов. Описаны оценочные модели, которые применяются на практике. Определен стандарт жизненного цикла ПО (ISO 15288:2002), ориентированный на разработку и контроль компонентов систем на ошибки, начиная с требований к системе. Представлены результаты применения моделей надежности (Мусы, Гоэла-Окомото и др.) к малым, средним и большим проектам и дана сравнительная их оценка. Описан технологический модуль (ТМ) оценки надежности сложных комплексов программ ВПК (1989). Показана модель качества стандарта ISO 9126 (1-4):2002-2004 с показателями функциональность, надежность, эффективность и др., которые используются при определении зрелости и сертификата качества продукта.

Об авторах

Н. В. Пакулин
Институт системного программирования им. В.П. Иванникова РАН; Московский физико-технический институт; Национальный исследовательский университет «Высшая школа экономики»
Россия


Е. М. Лаврищева
Институт системного программирования им. В.П. Иванникова РАН; Московский физико-технический институт
Россия


А. Г. Рыжов
Институт системного программирования им. В.П. Иванникова РАН
Россия


С. В. Зеленов
Институт системного программирования им. В.П. Иванникова РАН; Национальный исследовательский университет «Высшая школа экономики»
Россия


Список литературы

1. Липаев В.В. Надежность программного обеспечения. М.: СИНТЕГ, 1998, 231 стр.

2. Липаев В.В. Методы обеспечения качества крупномасштабных программных систем. М.: СИНТЕГ, 2003, 510 стр.

3. Майерс Г. Надежность программного обеспечения. М.: Мир, 1980, 360 стр.

4. Мороз Г.Б., Лаврищева Е.М. Модели роста надежности программного обеспечения. Киев: Институт кибернетики АНУ, препринт 92–38, 1992, 23 стр.

5. Липаев В.В.. Надежность и функциональная безопасность комплексов программ реального времени. Москва, ЗАО «Светлица», 2013, 193 стр.

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. Гнеденко Б.В., Коваленко И.Н. Введение в теорию массового обслуживания. М., Наука, 1966, 432 стр.

13. Коваленко И.Н., Шпак В.Д. Вероятностные характеристики сложных систем с иерархическим управлением. Известия АН СССР. Техническая кибернетика, no. 6, 1972, стр. 30-34.

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

15. Коваль Г.И. Модели и методы инженерии качества систем на ранних этапах ЖЦ. Реф. дис. ИК НАНУ, 2005, 20 стр.

16. Андон Ф.И., Коваль Г.И. и др. Основы инженерии качества программных систем. К.: Наукова думка, 2007, 670 стр.

17. Горбенко А.В., Засуха С.А., Рубан В.И., Тарасюк О.М., Харченко В.С. Безопасность ракетно-космической техники и надежность компьютерных систем: 2000-е годы. Авиационно-космическая техника и технология, №1(78), 2011, стр. 9-20.

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. Лаврищева Е.М. Методы программирования. Теория, инженерия, практика. К.: Наукова думка, 2006, 452 стр.

22. Лаврищева Е.М., Грищенко В.Н. Сборочное программирование. Основы индустрии программных продуктов. К.: Наукова думка, 2009, 372 стр.

23. Лаврищева Е.М. Software Engineering компьютерных систем. Парадигмы, технологии, СASE-средства. К.: Наукова думка, 2014, 284 стр.

24. Саати Т. Принятие решений. Метод анализа иерархий. М.: Радио и связь, 1993, 315 стр.


Рецензия

Для цитирования:


Пакулин Н.В., Лаврищева Е.М., Рыжов А.Г., Зеленов С.В. Анализ методов оценки надежности оборудования и систем. Практика применения методов. Труды Института системного программирования РАН. 2018;30(3):99-120. https://doi.org/10.15514/ISPRAS-2018-30(3)-8

For citation:


Pakulin N.V., Lavrischeva E.M., Ryzhov A.G., Zelenov S.V. Analysis of methods for assessing the reliability of equipment and systems. Practice of methods. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(3):99-120. (In Russ.) https://doi.org/10.15514/ISPRAS-2018-30(3)-8



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)