К вопросу применения методики расчета корректности для оценки предельной надежности мультиверсионных моделей отказоустойчивых систем : научное издание

Описание

Перевод названия: To the question of applying the correctness calculation technique for estimating the ultimate reliability of multi-version models of fault-tolerant systems

Тип публикации: статья из журнала

Год издания: 2019

Ключевые слова: корректность, мультиверсионное программирование, программная избыточность, надежность, блоки восстановления, correctness, multiversion programming, software redundancy, reliability, recovery block

Аннотация: В статье рассматривается вопрос применения оценки корректности программного обеспечения, как суммы всех сочетаний корректной работы компонентов, которые гарантированно приведут к корректному ответу системы, для определения предельной надежности разрабатываемых программных систем, в частности - отказоустойчивых систем управления. МеПоказать полностьютодика позволяет выбрать модель повышения надежности с введением программной избыточности на основании значения корректности, определить минимальные требования к характеристикам программных модулей, аппаратного обеспечения и блока принятия решения, использующегося в конечной реализации избыточной системы, в зависимости от требований к уровню её надежности. Введено понятие корректности программной системы. Приведены расчетные формулы величины корректности для всех основных мультиверсионных методологий. Рассмотрена программная реализация предложенной методики, обеспечивающая возможность расчета величины корректности при заданных характеристиках компонентов для систем и использованием всех актуальных методологий: N-версионное программирование (NVP), N-версионное программирование с самопроверкой (NSCP), восстанавливающиеся блоки (RB) и t/(n-1) алгоритм принятия решения. Проведен анализ результатов моделирования в предложенной системе, к примеру - графики зависимостей корректности системы от надежности программных модулей пересекаются, из чего можно сделать вывод о том, что при различной надежности программных компонентов будет меняться оптимальный выбор применяемой мультиверсионной методологии, при совпадающих остальных параметрах системы: аппаратной надежности, количестве версий, вероятности возникновения межверсионных ошибок. А числовой выход корректности позволяет точно сравнить различные методологии, проанализировать чувствительность методологий к изменению различных входных параметров, изучить поведение системы при различной надежности версий программных модулей.

Ссылки на полный текст

Издание

Журнал: Приборы и системы. Управление, контроль, диагностика

Выпуск журнала: 3

Номера страниц: 19-25

ISSN журнала: 20730004

Место издания: Москва

Издатель: Общество с ограниченной ответственностью Издательство Научтехлитиздат

Авторы

  • Сарамуд Михаил Владимирович (ФГАОУ ВО «Сибирский федеральный университет»)
  • Ковалев Игорь Владимирович (ФГАОУ ВО «Сибирский федеральный университет»)
  • Лосев Василий Владимирович (Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева)
  • Петросян Мариам Ониковна (Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева)
  • Ковалев Дмитрий Игоревич (Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева)

Вхождение в базы данных