Development of methods for equivalent transformation of GERT networks for application in multi-version software

Описание

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

Конференция: International Scientific and Research Conference on Topical Issues in Aeronautics and Astronautics, TIAA 2016; Krasnoyarsk; Krasnoyarsk

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

Идентификатор DOI: 10.1088/1757-899X/155/1/012015

Ключевые слова: check point, Condor, distributed information processing systems, Multi-version software

Аннотация: The usage of information and control systems in various fields of production and research requires a certain level of reliability in the functioning of these systems. One of the most promising and already positively proven methodologies to ensure high reliability and fault tolerance of software is multi-version designing. The greatПоказать полностьюest value this factor have in the areas where control system failure can result in significant financial and material losses, as well as harm to human health and life.

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

Издание

Журнал: IOP Conference Series: Materials Science and Engineering

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

Номера страниц: 012015

Издатель: Institute of Physics Publishing

Авторы

  • Saramud M.V. (Reshetnev Siberian State Aerospace University)
  • Zelenkov P.V. (Reshetnev Siberian State Aerospace University)
  • Kovalev I.V. (Reshetnev Siberian State Aerospace University)
  • Kovalev D.I. (Reshetnev Siberian State Aerospace University)
  • Kartsan I.N. (Reshetnev Siberian State Aerospace University)

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