Сравнение отказоустойчивых моделей программного обеспечения в имитационной среде исполнения : научное издание

Описание

Перевод названия: Comparison of methodologies for increasing software fault tolerance in a simulation execution environment

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

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

Идентификатор DOI: 10.17587/it.25.20-25

Ключевые слова: мультиверсионное программирование, программная избыточность, надежность, блоки восстановления, среда исполнения, multiversion programming, software redundancy, reliability, Recovery blocks, Execution environment, related software fault, t/(n-1)-diagnosability, consensus recovery blocks, optimization, simulation

Аннотация: Рассматривается методика, позволяющая сравнить основные отказоустойчивые модели программного обеспечения с программной избыточностью на основе методологии: N-версионного программирования (с четкими и нечеткими алгоритмами голосования), N-версионного программирования с самопроверкой, восстанавливающихся блоков, согласованных восстанПоказать полностьюавливающихся блоков и t/(п-1)-версионного программирования. Для реализации методики создана имитационная среда исполнения отказоустойчивых программных моделей. Проанализированы результаты моделирования в имитационной среде.

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

Издание

Журнал: Информационные технологии

Выпуск журнала: Т. 25, 1

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

ISSN журнала: 16846400

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

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

Авторы

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

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