V.N. Negoda – Dr. Sc. (Eng.), Associate Professor, Professor, Department «Computer Engineering»,  Ulyanovsk State Technical University

E-mail: nvn@ulstu.ru

A.V. Lylova – Senior Lecturer, Department «Computer Engineering», Ulyanovsk State Technical University E-mail: lylovaannav@gmail.com

The variety of options for software implementation of the functions of logical control complicates the task of design automation. In this paper, we propose such parameterization mechanisms that, during the choice of implementation options, provide a high level of coverage for the space of design solutions. The mechanisms are oriented towards the use of theoretical and empirical dependencies of the criterial parameters on significant factors, the transformation of the original representations of functions, as well as the automatic generation of programs and their profiling.

1. Shaly'to A.A. Logicheskoe upravlenie. Metody' apparatnoj i programmnoj realizaczii algoritmov. SPb. Nauka. 2000. 780 s.
2. Vermishev Yu.X. Osnovy' avtomatizaczii proektirovaniya. M.: Radio i svyaz'.1988. 280 s.
3. Artho C., Biere A. Subroutine inlining and bytecode abstraction to simplify static and dynamic analysis // Proc. BYTECODE 2005. ENTCS – Edinburgh: Elsevier. 2005. P. 98−115.
4. Grishin A.V., Negoda V.N. Statiko-dinamicheskoe profilirovanie programm logicheskogo upravleniya // Avtomatizacziya proczessov upravleniya (Ul'yanovsk: NPO «Mars»). 2012. № 1. S. 56−61.
5. Gorelik A.L., Skripkin V.A. Nekotory'e voprosy' postroeniya sistem raspoznavaniya. M.: Sov. radio.1974. 224 s.
6. Zakrevskij A.D. Logicheskij sintez kaskadny'x sxem. M.: Nauka. Gl. red. fiz.-mat. lit. 1981. 416 s.
7. Bryant Randal E. Graph-Based Algorithms for Boolean Function Manipulation // IEEE Transactions on Computers. 1986. № 8. P. 677−691.
8. Blox A.Sh. Graf-sxemy' i ix primenenie. Minsk: Vy'shejsha shkola. 1975. 304 s.
9. Axo A., Seti V., Ul'man R., Dzheffri D. Kompilyatory': princzipy', texnologii i instrumenty': Per. s angl. M.: Izd. dom «Vil'yams». 2003. 786 s.
10. Karpov Yu.G. Teoriya i texnologiya programmirovaniya. Osnovy' postroeniya translyatorov. SPb.: BXV-Peterburg. 2005. 272 s.
11. Xambi E'. Programmirovanie tablicz reshenij. M.: Mir. 1976.
12. Negoda V.N. Slozhnost' interpretaczii interval'ny'x tablicz arifmeticheskix funkczij // Kontinual'ny'e algebraicheskie logiki, ischisleniya i nejroinformatika v nauke, texnike i e'konomike // Trudy' Mezhdunar. konf. 13−15 maya 2003 g. Ul'yanovsk: UlGTU. T. 2. S. 109−111.
13. Negoda V.N. Unifikacziya proektny'x reshenij pri avtomatnom programmirovanii sistem logicheskogo upravleniya // Avtomatizacziya proczessov upravleniya (Ul'yanovsk: NPO «Mars»). 2014. № 3. S. 103−111.
14. Polikarpova N.I., Shaly'to A.A. Avtomatnoe programmirovanie. SPb. 2008. 167 s.