Этап 1.
Применяется метод структурнойдекомпозиции, позволя-
ющийполучить пару взаимозависимых ЛСПК путем видоизменения
цели функционирования (
W
[
Y
(
k
)]
→
w
[
Y
i
(
k
)]
) и (или) множества ПК
БИ ИС СН (
w
[
Y
(
k
)]
→
w
[
Y
i
(
k
)]
). Использование данного метода обу-
словлено структурой(иерархией) процессов, характеризующих БИ ИС
СН тем, что основное внешнее свойство БИ ИС СН характеризует-
ся на уровне процесса обеспечения безопасного (в информационном
смысле) обслуживания пользователейИС СН в целом. Внутренние
свойства характеризуются на уровне других процессов (управления
БИ, подавления противоборствующейсистемы и т.д.), зависящих друг
от друга. Формализованная запись первого этапа декомпозиции, опи-
рающегося на метод структурнойдекомпозиции, имеет вид
Y
БИ ИС СН
(
k
)
∪
Y
i
БИ ИС СН
(
k
)
W
[
Y
(
k
)]
→
w
[
Y
i
(
k
)];
w
[
Y
(
k
)]
→
w
[
Y
i
(
k
)];
∀
(
w, y
)
∈
Y
i
(
k
)
,
, Y
i
БИ ИС СН
(
k
)=
{
Y
осн.пр
(
k
);
Y
др.пр
(
k
)
}
;
(6)
где
Y
осн.пр
(
k
)
и
Y
др.пр
(
k
)
— соответственно ЛСПК основных процессов
и других процессов, реализуемых СОБИ ИС СН.
Этап 2.
Применяется метод параметрическойдекомпозиции, по-
зволяющийдекомпозировать ЛСПК
Y
осн.пр
(
k
)
и
Y
др.пр
(
k
)
на отдель-
ные пары локальных систем ПК обеспечивающих процессов. В общем
виде
Y
осн.пр
(
k
) =
Y
осн.пр
[
Y
∗
1
(
k
)
, Y
2
(
k
)]
∪
Y
осн
.
пр
[
Y
1
(
k
)
, Y
∗
2
{
Y
1
(
k
)
}
];
(7)
при условии
∀{
(
Y
(
1
k
)
, Y
2
(
k
))
∈
Y
осн.пр
(
k
)
}
;
∃
(
Y
2
(
k
) :
Y
2
(
k
)
∈
Y
осн.пр
(
k
);
Y
2
(
k
)
R Y
1
(
k
))
.
Для системы СПК других процессов
Y
др.пр
(
k
)
задача решается ана-
логично:
Y
др.пр
(
k
) =
Y
др.пр
[
Y
∗
1
(
k
)
, Y
2
(
k
)]
∪
Y
др.пр
[
Y
1
(
k
)
, Y
∗
2
{
Y
1
(
k
)
}
];
(8)
при условии
∀{
(
Y
(
1
k
)
, Y
2
(
k
))
∈
Y
др.пр
(
k
)
}
;
∃
(
Y
2
(
k
) :
Y
2
(
k
)
∈
Y
др.пр
(
k
);
Y
2
(
k
)
R Y
1
(
k
))
.
Рассмотрим содержание процесса параметрическойдекомпозиции.
Параметрическая декомпозиция ГСПК позволяет декомпозировать ее
на пару взаимозависимых ЛСПК посредством временного установле-
ния (фиксации) значенийнекоторых ПК процессов по отношению друг
к другу
(
Y
∗
1
{
Y
2
(
k
)
}
)
и
(
Y
∗
2
{
Y
1
(
k
)
}
)
. Эти параметры обеспечивают вза-
имосвязь между ЛСПК. В однойЛСПК параметр
Y
∗
1
(
k
)
считается
фиксированным, в то время как в другойон может изменяться, а вто-
ройпараметр фиксируется в своем оптимальном значении.
112 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2008. № 1
