Оценка вероятности проявления дефектов при многократном выполнении ФСО

Вероятность проявления остаточных дефектов при  прогонах программ  зависит от вероятности  и степени независимости различных прогонов. Если прогоны осуществляются на одних и тех же входных наборах, то зависимость максимальна, и тогда . Если же прогоны независимы, то

Все остальные случаи находятся между этими двумя крайними. Очевидно, что в сложном ПК даже при большом числе дефектов вероятность их проявления может быть очень мала, поскольку велико множество возможных сочетаний значений входных векторов и внутренних состояний программ. Верно и обратное: длительное безошибочное функционирование ПК вовсе не гарантирует того, что в нем нет дефектов, которые могут проявиться в самый неблагоприятный момент, несмотря на самую тщательную отладку. Об этом свидетельствует и практика эксплуатации больших ПК, например в информационно-вычислительных системах космических аппаратов.

Оценка характеристик потоков инициирующих событий

Инициирующим является любой сигнал, требующий выполнения в полном объеме или частично одной из ФСО. Основным источником инициирующих событий (ИС) является объект управления, в котором изменение состояния может сопровождаться формированием индикатора ИС. К другим источникам ИС относятся оперативный персонал, отказы технических средств, смежные системы. Суммарный поток ИС характеризуется интенсивностью , зависящей в общем случае от времени функционирования.

Оценка показателей надежности системы с учетом случайного потока инициирующих событий

В режиме МКЦП в качестве показателей надежности могут использоваться вероятность безотказной работы, коэффициент готовности, коэффициент оперативной готовности. Для безотказной работы системы требуется успешное выполнение всех циклов, инициированных в течение установленного календарного времени. Поскольку число ИС является случайной величиной, модель надежности учитывает интенсивность потока ИС и вероятность проявления дефектов при однократном выполнении ФСО:

Коэффициент готовности   с определяется средним значением интервала между соседними проявлениями дефектов и средним временем устранения обнаруженного дефекта. Коэффициент оперативной готовности зависит от коэффициента готовности и вероятности успешного однократного выполнения ФСО и вычисляется по формуле

Факторные модели

При проектной оценке надежности факторные модели являются вспомогательными, предназначенными для вычисления параметров, необходимых при формировании модели надежности и определения вида зависимостей (10.9)−(10.11). К факторным относят модели распределения исходного числа дефектов по полю программ и данных, модели эффективности автономной и комплексной отладки, модели режимов применения, характеризующие потоки входных наборов данных, модели потоков инициирующих событий.