Стр. 44 - А.М. Андреев, Д.В. Березкин, Г.П. Можаров, Ил.С. Свирин - Математическое моделирование надежности компьютерных систем и сетей

4. А ч и л ь д и е в В. М., В я з о в С. М., Д и н е е в В.Г., К о в р и г и н М. И.,
К о л о з е з н ы й Э. А., М о ж а р о в Г. П., Т е п л о в а И. В., Ц у ц а е -
в а Т. В. Системы управления средств выведения космических аппаратов и их
сертификация: Учеб. пособие для студентов специальности 210500/ Под ред.
проф. Э.А. Колозезного. – М.: МГУЛ, 2002. – 158 с.
5. К о л о з е з н ы й Э. А., Б у ж и н с к и й В. А., Д и н е е в В. Г., К о в р и -
г и н М. И., К о л о з е з н ы й А. Э., М о ж а р о в Г. П. Независимая экспер-
тиза — основа сертификации программно-математического обеспечения изде-
лий ракетно-космической техники // Космонавтика и ракетостроение. – 2001. –
Вып. 24. – С. 154–162.
6. Ш у р а к о в В. В. Надежность программного обеспечения систем обработки
данных: Учебник. – М.: Финансы и статистика, 1987. – 272 с.
7. Д и н е р И. Я. О некоторых направлениях развития исследования операций //
Морской сб. – 1970. – № 1. – С. 9–18.
8. Т а р а к а н о в К. В., О в ч а р о в Л. А., Т ы р ы ш к и н А. Н. Аналитические
методы исследования систем. – М.: Сов. радио, 1974. – 240 с.
9. Г н е д е н к о Б. В., К о в а л е н к о И. Н. Введение в теорию массового об-
служивания. – М.: Наука, 1987. – 336 с.
10. В е н т ц е л ь Е. С. Исследование операций. – М.: Сов. радио, 1972. – 550 с.
11. T e n g X., P h a m H. A software reliability growth model for N -version
programming systems // IEEE Transactions on Reliability. – 2002. – Vol. 51, no. 3.
– P. 311–321.
12. G o e l A. Z., O k u m o t o K. Time-dependent error-detection rate models for
software reliability and other performance measures // IEEE Trans. On Reliability,
R-28 (3). – 1979. – P. 206–211.
Статья поступила в редакцию 15.12.2011
46 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012