Стр. 2 - А.М. Андреев, Г.П. Можаров - Использование результатов теории мартингалов для оценки надежности программного обеспечения компьютерных систем и сетей

основе накопленных данных высказывать предположения в отноше-

нии режимов работы, при которых наиболее часто проявляются от-

клонения от нормального функционирования, а также о применяемом

подходе к восстановлению (ремонту) системы или ее компонентов по-

сле сбоя.

Вопросы анализа надежности сложных параллельных компьютер-

ных систем (КС) всегда были в центре внимания проектирования пер-

спективных КС и сетей (КСС). Параллельные КСС относятся к клас-

су сложных разветвленных систем. Они состоят из элементов, узлов,

центров и линий связи, образующих вполне определенные структуры.

Поэтому условно в проблеме анализа надежности многопроцессорных

вычислительных сетей (ВС) выделяют аспекты элементной и струк-

турной (комбинаторной) надежности.

В современных работах по теории надежности недостаточно осве-

щена надежность КСС, в связи с чем некоторые интересные и сильные

в теоретическом и практическом отношении результаты, касающиеся

непосредственно тематики комбинаторной надежности, не нашли от-

ражения в работах авторов монографий и отдельные важные для тео-

рии надежности вопросы не попали в поле зрения авторов статей по

теории надежности.

Критерии надежности представляют собой показатели, позволяю-

щие оценить предпочтительность тех или иных решений при созда-

нии и эксплуатации системы по степени достижения основных целей

с учетом затрат, при которых эти цели достигаются. При исследова-

нии надежности основная цель заключается в разработке эффектив-

ных методов и обеспечении длительной работоспособности систем

с заданными функциональными характеристиками. Для этого необ-

ходимо установить количественные показатели, характеризующие не

только факт работоспособности системы, но и степень соответствия

работоспособности основным требованиям, отраженным в техниче-

ской документации.

Основная задача теории надежности на этапе технического про-

ектирования — это помочь разработчику принять обоснованные ре-

шения, касающиеся выбора структуры КС, необходимости использо-

вания и мощности вводимой избыточности, построения оптимальной

системы контроля и т.д.

В КС компьютер, как часть системы, обычно выполняет функции

управления и должен работать в реальном масштабе времени. В типо-

вых КС компьютер выполняет бесконечный цикл, в котором сначала

считываются сигналы и показания датчиков и сенсоров, затем затрачи-

вается определенное время, чтобы вычислить или спланировать неко-

торый отклик или реакцию на воздействие, и в конце цикла компьютер

62

ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012