Матричні моделі надійності алгоритмічних процесів за сумісності помилок різних типів

Abstract

Запропоновано ймовірнісні матричні моделі надійності операторів та логічних умов, які враховують можливість суміщення помилок різних типів під час виконання алгоритмічного процесу. Встановлено, що відомі багатоарні моделі надійності алгоритмічних структур за несумісних помилок, залишаться правильними і при підстановці в них запропонованих матричних моделей надійності операторів та логічних умов.

Предлагаются вероятностные матричные модели надежности операторов и логических условий, учитывающие возможность совмещения ошибок разных типов при выполнении алгоритмического процесса. Установлено, что известные многоарные модели надежности алгоритмических структур, которые разработаны с учетом несовместимости ошибок разных типов, остаются верными и при подстановке в них предложенных матричных моделей надежности операторов и логических условий.

Probabilistic matrix reliability models of operators and logical conditions are proposed. The models take into account compatibility of various errors during algorithm process execution. The well-know multiarity reliability models of algorithmic structure are valid for the proposed matrix models of operator and logical condition reliability.