В процессе использования ФС для формального описания ПФ ЧМС были выявлены типовые совокупности ТФЕ, которые очень часто встречаются при реализации человеком-оператором взаимодействий с ОУ и СОИ. Такие совокупности получили название типовых функциональных структур. К настоящему времени библиотека ТФС включает несколько десятков структур. Например, совокупность последовательно выполняемых рабочих ТФЕ (рис. 5.1); совокупность последовательно выполняемых рабочих ТФЕ с последующими диагностическим и функциональным контролями (рис. 5.2).
Для каждой ТФЕ, входящей в состав ТФС, из справочников (или другим путем) выбирают: b , М (Т), D (Т), К , П .
Рис. 5.1. Последовательно выполняемые рабочие ТФЕ | Рис. 5.2. Последовательно выполняемые рабочие ТФЕ с диагностическим и функциональным контролями |
Используя методы теории вероятностей, топологический и другие можно получать расчетные формулы для вычисления значений эквивалентных показателей безошибочности – b , быстродействия – М (Т) и ритмичности – D (Т) для каждой ТФС.
|
|
Например, для последовательно выполняемых ТФЕ (рис. 5.1):
b = b ; b = 1 – b ; М (Т) = Мi (Т); D (Т) = Di (Т).
Для последовательно выполняемых рабочих ТФЕ с диагностическим и функциональным контролями (рис. 5.2)
b = ,
b = 1 – b ; b = ,
где V() - вероятности исправности (неисправности) технических (программно-технических) средств.
Математическое ожидание времени выполнения ТФС равно сумме [ М (Tp) +M (Tд)] и [ М (Tp) +M (Тк)], умноженной на математическое ожидание числа повторений ТФС M (L), т.е.
М (Т) = М (Tp) + M (Tд) + [ М (Tp) + M (Tд) + M (Тк)]× M (L),
где M (L) = .
Аналогичным образом по приведенным ниже формулам можно определить дисперсию и, в случае необходимости, среднее квадратическое отклонение времени выполнения ТФС
D (Т)= D (Tp)+ D (Tд)+[ М (Tp)+ M (Tд)+ M (Тк)]2 D (L)+[ D (Tp)+ D (Tд)] M (L),
где D (L) = .