4.4. Ефективність виконання дискретних функцій ІС

При розглядi надiйностi виконання Д-функцiй в автоматизованих IС ос­новним поняттям є успiшне виконання заданої i-тої процедури. Основним показником є ймовiрнiсть R_i, на яку по-рiзному впливають стiйкi вiдмови i збої i, оскiльки вiдмови цих видiв незалежнi, то значення R_i можна подати добутком:

Для першого спiвмножника можна записати:

де Рi(∆t) — ймовiрнiсть того, що система пропрацює безвiдмовно час ∆t, необхiдний для реалiзацiї i-тої процедури. Другий спiвмножник є добутком:

Кб = ^Р\^Р2^Р1^РА ,

де Р1 — ймовiрнiсть завершення процедури;

Р2 — ймовiрнiсть своєчасного завершення процедури; Р3 — ймовiрнiсть безпомилкового завершення процедури; Р4 — ймовiрнiсть того, що процедура буде реалiзована з потрiбною точнiстю.