Приборы и системы. Управление, контроль, диагностика Аннотация к статье << Назад К вопросу применения методики расчета корректности для оценки предельной надежности мультиверсионных моделей отказоустойчивых систем М.В. САРАМУД, И.В. КОВАЛЕВ, В.В. ЛОСЕВ, М.О. ПЕТРОСЯН, Д.И. КОВАЛЕВ В статье рассматривается вопрос применения оценки корректности программного обеспечения, как суммы всех сочетаний корректной работы компонентов, которые гарантированно приведут к корректному ответу системы, для определения предельной надежности разрабатываемых программных систем, в частности – отказоустойчивых систем управления. Методика позволяет выбрать модель повышения надежности с введением программной избыточности на основании значения корректности, определить минимальные требования к характеристикам программных модулей, аппаратного обеспечения и блока принятия решения, использующегося в конечной реализации избыточной системы, в зависимости от требований к уровню её надежности. Введено понятие корректности программной системы. Приведены расчетные формулы величины корректности для всех основных мультиверсионных методологий. Рассмотрена программная реализация предложенной методики, обеспечивающая возможность расчета величины корректности при заданных характеристиках компонентов для систем и использованием всех актуальных методологий: N-версионное программирование (NVP), N-версионное программирование с самопроверкой (NSCP), восстанавливающиеся блоки (RB) и t/(n-1) алгоритм принятия решения. Проведен анализ результатов моделирования в предложенной системе, к примеру – графики зависимостей корректности системы от надежности программных модулей пересекаются, из чего можно сделать вывод о том, что при различной надежности программных компонентов будет меняться оптимальный выбор применяемой мультиверсионной методологии, при совпадающих остальных параметрах системы: аппаратной надежности, количестве версий, вероятности возникновения межверсионных ошибок. А числовой выход корректности позволяет точно сравнить различные методологии, проанализировать чувствительность методологий к изменению различных входных параметров, изучить поведение системы при различной надежности версий программных модулей. Ключевые слова: корректность, мультиверсионное программирование, программная избыточность, надежность, блоки восстановления. DOI: 10.25791/pribor.03.2019.503 Контактная информация: E-mail: msaramud@gmail.com Стр. 19-25.