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

Описание

Перевод названия: Problems of software implementation of multiversioned views runtime of algorithms for data processing in control systems

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

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

Ключевые слова: information processing, multiversioned views software, system management, fault tolerance, обработка информации, мультиверсионное программное обеспечение, система управления, отказоустойчивость

Аннотация: Рассматривается проблема программной реализации мультиверсионной среды исполнения алгоритмов обработки данных в информационно-управляющих системах. Показана возможность использования существующих мультиверсионных моделей повышения надежности программного обеспечения для реализации среды исполнения алгоритмов обработки информации в Показать полностьюсистемах управления. Разработанный программный инструментарий позволяет унифицировать применение мультиверсионного подхода к различным программным комплексам и, в отличие от существующих в настоящее время, исполнять модули не только с помощью методологии мультиверсионного программирования, но также с использованием наиболее распространенных мультиверсионных моделей: восстанавливающихся блоков, согласованных восстанавливающихся блоков, t/(n-1)-версионного программирования и мультиверсионного программирования с самопроверкой. The problem of software implementation multiversioned views runtime data processing algorithms in information and control systems is discussed. The possibility of using existing multiversioned views models to improve the reliability of the software (SOFTWARE) for implementing the runtime of algorithms for data processing in control systems is shown. The determining element of multiversioned views of the system unit is a decision about the correctness or incorrectness of States multiverse. This unit shares the results (outputs) of multiple software versions on the “correct” and “incorrect”. There are several methods of such separation. The most common of them are based on the classification outputs. The most promising of these techniques are voted by an absolute majority vote agreed upon by the majority, and fuzzy voting agreed upon by the majority. In the framework of suggested improvements to these techniques, namely, weighted voting agreed upon by the majority and fuzzy weighted voting agreed upon by the majority. Methods of this group are based on the comparison of the outputs of multiverse and placing identical of them in the same classes (subsets). However, in cases where calculations are not performed with integers, the determination of the identity of outputs is difficult. To resolve this problem, the notion of value equality: we will say that two numbers are equal if they differ by less than some acceptable deviation. These ratios do not require the properties of transitivity. In other words, if it is known that |a b| ? and |b-c| ?, then it does not follow that |a-c| ?, where a, b and c is some number. A potential problem of the methods of this group is possible misclassification of outputs and, as a consequence of a wrong decision that, ultimately, can lead to failure of the control system. Thus, the problem of the software implementation of SMVI algorithms of information processing in control systems is the development of software tools to unify the application of multiversioned views of the approach to different software systems. This approach, unlike the present, allows you to execute the modules are not only using the methodology multiversioned views programming, but also using other common multiversioned views models: recovering blocks, agreed recovering blocks, t/(n-1)-version programming multiversioned views and programming self-test.

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

Издание

Журнал: Вестник Сибирского государственного аэрокосмического университета им. академика М.Ф. Решетнева

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

Номера страниц: 62-73

ISSN журнала: 18169724

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

Издатель: Сибирский государственный аэрокосмический университет имени академика М.Ф. Решетнева

Персоны

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