Parameterization of design solutions in the automation system for the design of software implementations of logical control functions
- 1 Dr. Sc. (Eng.), Associate Professor, Professor, Department «Computer Engineering», Ulyanovsk State Technical University
- 2 Senior Lecturer, Department «Computer Engineering», Ulyanovsk State Technical University
Abstract
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.
How to cite
Негода В.Н., Лылова А.В. Параметризация проектных решений в системе автоматизации проектирования программных реализаций функций логического управления // Радиотехника. 2017. № 6. С. 99–106.
References
- Shaly'to A.A. Logicheskoe upravlenie. Metody' apparatnoj i programmnoj realizaczii algoritmov. SPb. Nauka. 2000. 780 s.
- Vermishev Yu.X. Osnovy' avtomatizaczii proektirovaniya. M.: Radio i svyaz'.1988. 280 s.
- 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.
- Grishin A.V., Negoda V.N. Statiko-dinamicheskoe profilirovanie programm logicheskogo upravleniya // Avtomatizacziya proczessov upravleniya (Ul'yanovsk: NPO «Mars»). 2012. № 1. S. 56−61.
- Gorelik A.L., Skripkin V.A. Nekotory'e voprosy' postroeniya sistem raspoznavaniya. M.: Sov. radio.1974. 224 s.
- Zakrevskij A.D. Logicheskij sintez kaskadny'x sxem. M.: Nauka. Gl. red. fiz.-mat. lit. 1981. 416 s.
- Bryant Randal E. Graph-Based Algorithms for Boolean Function Manipulation // IEEE Transactions on Computers. 1986. № 8. P. 677−691.
- Blox A.Sh. Graf-sxemy' i ix primenenie. Minsk: Vy'shejsha shkola. 1975. 304 s.
- 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.
- Karpov Yu.G. Teoriya i texnologiya programmirovaniya. Osnovy' postroeniya translyatorov. SPb.: BXV-Peterburg. 2005. 272 s.
- Xambi E'. Programmirovanie tablicz reshenij. M.: Mir. 1976.
- 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.
- 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.
- Polikarpova N.I., Shaly'to A.A. Avtomatnoe programmirovanie. SPb. 2008. 167 s.