Использование результатов теории мартингалов для оценки надежности программного обеспечения компьютерных систем и сетей
Авторы: Андреев А.М., Можаров Г.П.
Опубликовано в выпуске: #11(11)/2012
DOI: 10.18698/2308-6033-2012-11-479
Раздел: Информационные технологии | Рубрика: Компьютерные системы и сети
Важность повышения надежности программного обеспечения обусловлена тем, что оно выполняет основные функции системного управления обработкой данных, и его отказы в работе могут существенно влиять на функционирование систем обработки данных в целом. Исследованы и разработаны подходы к математическому моделированию надежности программного обеспечения компьютерных систем и сетей, рассмотрены прогнозирование надежности, оценочные модели и измерение надежности программноматематического обеспечения. Для построения моделей надежности программного обеспечения использованы результаты теории мартингалов. Благодаря полученным условным распределениям (посредством решения задач фильтрации) можно охарактеризовать критерии надежности программного обеспечения.
Литература
[1] Дуб Дж.Л. Вероятностные процессы. – М.: ИЛ, 1956. – 605 с.
[2] Липаев В.В. Надежность программного обеспечения АСУ. – М.: Энергоиздат, 1981. – 240 с.
[3] Колозезный Э.А., Бужинский В.А., Динеев В.Г., КовригинМ.И., Колозезный А.Э., Можаров Г.П. Независимая экспертиза — основа сертификации программно-математического обеспечения // Тез. докл. 3-й Междунар. науч.-технической конференции “Космонавтика. Радиоэлектроника. Геоинформатика”. Рязан. гос. радиотехн. акад. Рязань. 2000
[4] Колозезный Э.А., Бужинский В.А., Динеев В.Г., Ковригин М.И., Колозезный А.Э., Можаров Г.П. Независимая экспертиза — основа сертификации программно-математического обеспечения изделий ракетно-космической техники // Космонавтика и ракетостроение. – 2001. – Вып. 24. – С. 154–162
[5] Ачильдиев В.М., Вязов С.М., Динеев В.Г., Ковригин М.И., Колозезный Э. А., Можаров Г. П., Теплова И.В., Цуцаева Т.В. Системы управления средств выведения космических аппаратов и их сертификация: Учеб. пособие для студентов специальности 210500 / Под ред. проф. Э.А. Колозезного. – М.: МГУЛ, 2002. – 158 с.