The pseudo-Boolean optimization approach to form the N-version software structure

International Scientific and Research Conference on Topical Issues in Aeronautics and Astronautics (dedicated to the 55th anniversary from the foundation of SibSAU)

航空航天工程

Kovalev, I.V.^1 ; Kovalev, D.I.^1 ; Zelenkov, P.V.^1 ; Voroshilova, A.A.^1

Siberian State Aerospace University Named after Academician M.F. Reshetnev, 31 KrasnoyarskiyRabochiy prospect, Krasnoyarsk

660037, Russia^1

关键词: Complex optimization problems;    Deterministic optimization method;    Heuristic strategy;    Objective functions;    Optimal structures;    Pseudo-Boolean optimization;    Software structures;    Software systems;   

Others  :  https://iopscience.iop.org/article/10.1088/1757-899X/94/1/012013/pdf
DOI  :  10.1088/1757-899X/94/1/012013

学科分类：航空航天科学

来源: IOP

【 摘 要 】

The problem of developing an optimal structure of N-version software system presents a kind of very complex optimization problem. This causes the use of deterministic optimization methods inappropriate for solving the stated problem. In this view, exploiting heuristic strategies looks more rational. In the field of pseudo-Boolean optimization theory, the so called method of varied probabilities (MVP) has been developed to solve problems with a large dimensionality. Some additional modifications of MVP have been made to solve the problem of N-version systems design. Those algorithms take into account the discovered specific features of the objective function. The practical experiments have shown the advantage of using these algorithm modifications because of reducing a search space.