Recursive algorithm for exhaustive search of possible multiversion software realizations with the choice of the optimal versions set
View/ Open:
URI (for links/citations):
https://link.springer.com/chapter/10.1007%2F978-3-319-91186-1_4https://elib.sfu-kras.ru/handle/2311/111508
Author:
Царев, Р. Ю.
Грузенкин, Д. В.
Гришина, Г. В.
Corporate Contributor:
Институт космических и информационных технологий
Институт филологии и языковой коммуникации
Кафедра информатики
Кафедра иностранных языков для инженерных направлений
Date:
2018-04Journal Name:
Advances in Intelligent Systems and ComputingJournal Quartile in Scopus:
без квартиляJournal Quartile in Web of Science:
без квартиляBibliographic Citation:
Царев, Р. Ю. Recursive algorithm for exhaustive search of possible multiversion software realizations with the choice of the optimal versions set [Текст] / Р. Ю. Царев, Д. В. Грузенкин, Г. В. Гришина // Advances in Intelligent Systems and Computing. — 2018. — Т. 763. — С. 30-36Abstract:
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 redundancy 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.
Collections:
Metadata:
Show full item recordRelated items
Showing items related by title, author, creator and subject.
-
Using blockchain technology to improve N-version software dependability
Gruzenkin, D. V.; Mikhalev, A. S.; Grishina, G. V.; Tsarev, R. Y.; Rutskiy, V. N. (2018-09)Being a technique ensuring the dependability and fault tolerance of software, the N-version programming has proven its effectiveness. A formal definition and some practical experience support the idea that redundancy and ... -
Modeling Translating as a Dynamic Process: Autopoietic Framework
Kardanova-Biryukova, Ksenya S.; Карданова-Бирюкова, К.С. (Сибирский федеральный университет. Siberian Federal University., 2014-02)The paper focuses on different approaches to modeling translation process. It argues that those models which have been developed within conventional translation theory as well as some contemporary approaches fail to ... -
The Synthesis Algorithm for Spatial Filtering to Maintain a Constant Level of the Useful Signal
Tyapkin, Valeriy N.; Dmitriev, Dmitry D.; Fateev, Yuri L.; Kremez, Nikolay S.; Тяпкин, Валерий Н.; Дмитриев, Дмитрий Д.; Фатеев, Юрий Л.; Кремез, Николай С. (Сибирский федеральный университет. Siberian Federal University., 2016-06)The article discusses the theoretical basis of the two classical recursive algorithms beamforming - algorithm of the Kalman filter and least squares algorithm based on QR decomposition. On the basis of these two algorithms ... -
The Synthesis Algorithm for Spatial Filtering to Maintain a Constant Level of the Useful Signal
Тяпкин, В. Н.; Дмитриев, Д. Д.; Фатеев, Ю. Л.; Кремез, Н. С. (2016)The article discusses the theoretical basis of the two classical recursive algorithms beamforming - algorithm of the Kalman filter and least squares algorithm based on QR decomposition. On the basis of these two algorithms ... -
The synthesis of spatial filtering algorithm with a constant level of useful signal
Тяпкин, В. Н.; Дмитриев, Д. Д.; Фатеев, Ю. Л.; Кремез, Н. С. (2016)The article discusses the theoretical basis of the two classical recursive algorithms beamforming - algorithm of the Kalman filter and least squares algorithm based on QR decomposition. On the basis of these two algorithms ...