Последовательность математического описания состояний СВГ c использованием многофрагментных моделей

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

1. Исследование внутрисистемных процессов и выделение возможных событий, связанных с изменением Мπ – множества параметров потоков отказов и восстановлений λ_дп, μ_вп, λ_дф, μ_дф. В частности, для процессов устранения ДП ПС выделяются события – проявление ДП как отказа ПС и восстановление ПС после отказа, при которых измененяются параметры λ_дп, μ_вп (первый классификационный признак согласно табл.3.3).

2. Определение подмножества параметров отказов и восстановлений, которые изменяются в процессе функционирования системы Мπ_var Î Мπ. При учете устранения ДП ПС необходимо выбрать одну из четырех комбинаций вариантов изменения параметров потоков λ_дп, μ_вп согласно принятой политики устранения ДП на этапах тестирования, верификации и использования СВГ (второй классификационный признак согласно табл.3.3). Как правило, выбор комбинации обосновывается статистическими исследованиями результатов функционирования подобных программных продуктов.

3. Определение возможности аппрСВГимации ступенчатой линейной функцией законов изменения Мπ_var. При изменении параметров λ_дп, μ_вп необходимо выбрать комбинацию динамики изменения параметров Δλ_дп и Δμ_вп в пределах смежных фрагментов БММ (третий классификационный признак согласно табл.3.3). В первую очередь возможность линеризации функций подтверждается действующими мероприятиями по обнаружению и устранению ДП, при которых дефект устраняется после его проявления.

4. Построение множества базовых макромоделей М_БММ, каждая из которых идентифицируется уникальным набором классификационных признаков – вариантов изменения параметров Мπ_var. Для этого в случае устранения ДП ПС необходимо определить возможность дальнейшей детализации ступенчатой аппрСВГимацией функций λ_дп(t), μ_дп(t) в пределах зон фрагментов (четвертый классификационный признак согласно табл.3.3).

5. Выбор базовой марковской макромодели на основании четырех классификационных признаков. Определение методов вычисления параметров модели.

На основании предложенного метода формируются макрографы функционирования СВГ, которые содержат только фрагменты (для БММ 1, 3, 4, 6, 7, 9, 11, 12) или фрагменты, сгруппированные в зоны (для БММ 2, 5, 8, 10, 13). Следует рассмотреть базовые макромодели для типовых вариантов функционирования логической структуры СВГ.