PavelAR, а в формулах учитывали, что при выходе из строя одного диска массив в целом работоспособен?..

Разумеется учитывал. Для RAID-5, P - это вероятность отказа от 2 дисков и больше, вплоть до всех n.

Да, кстати, ранееприведенные формулы вероятностей, конечно, сильно упрощенные.
Я тут на выходных попробовал применить аппарат цепей Маркова. Вот что получилось.

Основные допущения:

- С точки зрения массива отдельный диск - невосстанавливаемое изделие с заданной
средней наработкой на отказ (DiskMTBF), время наработки на отказ - случайная вели-
чина, распределенная по экспоненциальному закону. После отказа диска подразуме-
вается обязательный ремонт (замена) с последующей процедурой Rebuid-а в массиве.

- RAID-0 - невосстанавливаемый массив. RAID-1, RAID-5, RAID-6 - частично-восстанав-
ливаемые, с заданным средним временем восстановления ArrayMTTR, который зависит от
многих факторов (время требуемое для замены диска + время на Rebuild массива и т.п.)
Время восстановления - случ. величина, распределенная по экспоненциальному закону.
Кроме того, в каждый момент времени в массиве восстанавливаться может только 1 диск.

В файле приведены соответствующие графы состояний, системы дифференциальных урав-
нений Колмогорова-Чепмена, а также скрипты, в котором запрограммированы процедуры
генерации системы уравнений и нахождения численного решения, ну и примеры расчетов.
Для проведения самостоятельных расчетов, достаточно вставить эти скрипты в математи-
ческую среду Waterloo Maple, ввести свои данные: n, DiskMTBF, ArrayMTRR и Time (время,
по истечение которого интересует вероятность отказа массива). Время задается в часах.

PavelAR, вот это уже интереснее... Сейчас статью допишу, прочитаю ещё раз и медленно...