Recursive algorithm for exhaustive search of possible multiversion software realizations with the choice of the optimal versions set

Описание

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

Конференция: 7th Computer Science On-line Conference, CSOC 2018

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

Идентификатор DOI: 10.1007/978-3-319-91186-1_4

Ключевые слова: Exhaustive search, Multiversion software, N-version software, Optimization, Recursion, Recursive algorithm, Reliability

Аннотация: N-version software is used all over the world as one of the approaches that can provide with the high level of reliability and software fault tolerance. The application of redundant module versions of software allows to obtain a correct result even if there is an error in the separate module versions. However, the program redundancПоказать полностьюy that can increase software reliability needs extra resources. It results in an optimization problem. There is a necessity for a certain variant of multiversion software realization i.e. such a modules versions set is required that demands less resources and guarantees high level of reliability simultaneously. The exhaustive search of all possible multiversion software realizations is carried out by the recursive algorithm proposed in the article. © 2019, Springer International Publishing AG, part of Springer Nature.

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

Издание

Журнал: Advances in Intelligent Systems and Computing

Выпуск журнала: Vol. 763

Номера страниц: 30-36

ISSN журнала: 21945357

Издатель: Springer Verlag

Авторы

  • Tsarev R.Y. (Siberian Federal University, Krasnoyarsk, Russian Federation)
  • Gruzenkin D.V. (Siberian Federal University, Krasnoyarsk, Russian Federation)
  • Grishina G.V. (Siberian Federal University, Krasnoyarsk, Russian Federation)

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