, А. С. ГРИГОРЬЕВ
Московский инженерно-физический институт (государственный университет)
АНАЛИЗ НАДЕЖНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ДЛЯ СПЕЦИАЛИЗИРОВАННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ
В настоящее время вопросам анализ надежности уделяется особое время, как в России, так и за рубежом.
С развитием компьютерной науки и компьютерной техники развиваются и технологии создания программного обеспечения, что требует разработки новых методов решения проблем надежности. В данный момент существует множество моделей надежности:
– имитационные (модели, которые имитируют процессы появления ошибок)
– статистические (модель Миллса)
– экспоненциальные (модель Шумана)
– эвристические и др.
В настоящее время поставлена и решается задача разработки подмножества моделей надежности специализированного ПО, которое, в отличие от известных, позволяют учитывать такие факторы как:
– структуру программного обеспечения на основе блок-схем программ,
– параметры систем контроля программного обеспечения (время, сложность, полноту контроля и т. д.),
– параметры обслуживающего персонала,
– совместный учет надежностных характеристик аппаратуры.
За основу взяты эвристические и имитационные модели.
В результате проведенных исследований, разработана группа моделей с учетом указанных характеристик. Поставлена задача создания средств автоматизации анализа надежности специализированного ПО. Обосновано использование программных платформ и языков моделирования. Планируется использовать разработанные модели в Кризисном Центре Федерального агентства по атомной энергетике.
Список литературы
1. «Надежность ПО», М.: Мир, 1981.
2. «Надежность ПО АСУ», М.: Энергоиздат, 1981.
