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

Описание

Перевод названия: 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)-версионного программирования. Для реализации методики создана имитационная среда исполнения отказоустойчивых программных моделей. Проанализированы результаты моделирования в имитационной среде. In the article considered technique which makes it possible to compare the main methodologies for increasing fault tolerance with the introduction of software redundancy: N-version programming (with majority and fuzzy voting algorithms), N self-checking programming, recovery blocks, consensus recovery blocks, and t/(n - 1)-version programming. The software implementation of this technique allowed to compare them under the same conditions, with the specified system characteristics and the probabilities of correct operation of all components, to obtain system characteristics using these methodologies based on the simulation results. The results of modeling in the proposed environment are analyzed. A non-trivial methodology of t/(n - 1)-Variant Programming based on t/(n - 1)-diagnosability is considered in detail. The results of it's work are compared with classical methodologies. This simplifies the choice of methodology for implementing the software under development. A software implementation with real algorithms allows you to select the best optimization algorithm for a given set of functions and the amount of allowable deviation. Also it shows the working capacity of the proposed toolkit on a real applied task, where the system no longer knows the correct output, but works in real conditions, rather than with simulation versions.

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

Издание

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

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

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

ISSN журнала: 16846400

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

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

Персоны

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

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