Engineering Journal: Science and InnovationELECTRONIC SCIENCE AND ENGINEERING PUBLICATION
Certificate of Registration Media number Эл #ФС77-53688 of 17 April 2013. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский
Article

Procedure of software choosing for computer networks

Published: 19.11.2013

Authors: Andreev A.M., Mozharov G.P.

Published in issue: #11(23)/2013

DOI: 10.18698/2308-6033-2013-11-1055

Category: Information technology | Chapter: Computer systems and networks

We consider a procedure of software synthesis which puts in order a set of program modules realizing a number of operations. The description of this set of program modules is defined as transversals of a family of algorithmic features of the program. Greedy algorithm is used to find the greatest by weight partial transversal of the family of algorithmic features of the program. A similar approach is applied to reliability evaluation (probability of connectivity of the random graph represented by random matroid) of the software. A model of reliability of a communication network of program modules is offered. Presence of the developed combinatorial methods allows to create a constructive basis for automation of the software synthesis.