Abstract-The article considers the problem of fault-tolerant satellite control software design. To provide the control software fault-tolerance the N-version programming based on program redundancy is used. In the paper the peculiarities of the design of control software for communications satellite system are presented. The article suggests the model for the choice of optimal structure of N-version software under resource requirement constraints. To solve the optimization problem it is proposed an algorithm. Numerical example illustrates how faulttolerant control software for communications satellite system can be designed in order to increase software reliability using Nversion programming.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.