N-version design of fault-tolerant control software for communications satellite system

Kulyagin, Vitaly A.; Tsarev, Roman; Prokopenko, A. V.; Nikiforov, Alexander Y.; Ковалев, И В

doi:10.1109/sibcon.2015.7147116

Cited by 11 publications

(6 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The first class includes correct outputs, the second class includes incorrect outputs [1][2][3][4]. Thus, an important task is to separate or classify the outputs of multiversions, which is the subject of quite a lot of work in the field of multiversion programming for fault-tolerant software systems [5][6][7].…”

Section: Introductionmentioning

confidence: 99%

Improving decision-making algorithms on the correctness of the states of multiversions of fault-tolerant software systems

Ковалев¹,

Zaitsev²

2023

ИЭУ

View full text Add to dashboard Cite

The task of improving the algorithms for making decisions about the correctness of the states of multiversions is relevant today for the development of fault-tolerant software systems. The article considers a class of decision-making algorithms that are implemented in the execution environment of multi-version program modules. This execution environment includes a decision block, which, based on the principle of voting, allows you to get the correct decision at the output, filtering out the erroneous results of the execution of software versions. Advanced algorithms allocate the output results of multiversion triggering into classes or subsets, which are then analyzed for correctness. This approach is characterized by the fact that it allows you to increase the stability of the runtime environment to interversion errors. This, in turn, helps to improve the fault tolerance of software systems used in reliability-critical applications.

show abstract

Section: Introductionmentioning

confidence: 99%

Improving decision-making algorithms on the correctness of the states of multiversions of fault-tolerant software systems

Ковалев¹,

Zaitsev²

2023

ИЭУ

View full text Add to dashboard Cite

show abstract

“…N-version programming has successfully proved itself particularly in such spheres as fault-tolerant control software for communications satellite system [6], railway interlocking systems [7], producing an architectural framework to automate and en-hance application security [8], developing a N-version programming-based protection scheme for microgrids [9], web services systems [10].…”

Section: Introductionmentioning

confidence: 99%

Recursive Algorithm for Exhaustive Search of Possible Multiversion Software Realizations with the Choice of the Optimal Versions Set

Tsarev

Gruzenkin

Grishina

2018

Advances in Intelligent Systems and Computing

View full text Add to dashboard Cite

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.

show abstract

“…This methodology is based on the principle of program redundancy which allows to increase significantly the dependability of software for control systems [6,7].…”

Section: Introductionmentioning

confidence: 99%

“…A large number of N-version software modules, redundant versions, and also some restrictions of the real-world problems such as cost, execution time, memory requirements, dependability properties compose a decision making problem [7]. The problem is to determine the best variation of N-version software for a control system by taking into account a number of criteria [8].…”

Section: Introductionmentioning

confidence: 99%

Compensation Model of Multi-attribute Decision Making and Its Application to N-Version Software Choice

Gruzenkin

Grishina

Durmuş

et al. 2017

Advances in Intelligent Systems and Computing

View full text Add to dashboard Cite

Abstract. Multi-attribute decision making deals with discrete finite set of alternatives. The solution to the multi-attribute decision making problem is the choice of an alternative from the set of all possible alternatives on the base of usually contradicting attributes. In this paper, a new multi-attribute decision making model is presented. The proposed model develops a linear compensatory process for the interconnected attributes. It concerns the overall ranking of the alternatives based on the attribute-wise ranking as well as the interaction and the combination of the attributes. The compensation model of multiattribute decision making is applied to N-version software selection. N-version programming is one of the well-known software development approach which ensures high dependability and fault tolerance of software. However, the problem of extra resource involvement arises since the N-version programming stipulates program redundancy. A set of characteristics/attributes have to be considered when choosing an optimal variant of N-version software. The proposed compensation model of multi-attribute decision making provides a solution to this problem. Additionally, a case study on choosing N-version software for a real-life information and control system problem is provided to verify the correctness of our model.

show abstract

N-version design of fault-tolerant control software for communications satellite system

Cited by 11 publications

References 10 publications

Improving decision-making algorithms on the correctness of the states of multiversions of fault-tolerant software systems

Improving decision-making algorithms on the correctness of the states of multiversions of fault-tolerant software systems

Recursive Algorithm for Exhaustive Search of Possible Multiversion Software Realizations with the Choice of the Optimal Versions Set

Compensation Model of Multi-attribute Decision Making and Its Application to N-Version Software Choice

Contact Info

Product

Resources

About