Radiotekhnika
Publishing house Radiotekhnika

"Publishing house Radiotekhnika":
scientific and technical literature.
Books and journals of publishing houses: IPRZHR, RS-PRESS, SCIENCE-PRESS


Тел.: +7 (495) 625-9241

 

Parameterization of design solutions in the automation system for the design of software implementations of logical control functions

Keywords:

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


A feature of the process of designing logical control systems (LCS) is the variety of options for software implementation of functional dependencies that determine the functioning of the system. In the fundamental works devoted to the hardware and software imple-mentation of the functions of logical control, many dozens of methods appear. When automating the design of the LCS, the choice of design solutions should be based on the procedures for estimating the values of the criterial parameters, depending on the properties of the functions being implemented, as well as the properties of the target hardware and software platform (environment for the functioning of the LCS programs) and programming systems.
In this paper, we propose such parameterization mechanisms that, during the selection of implementation variants, 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. The specification of these dependencies is based on formal models of implemented functions, grouped into three classes: Boolean functions, arithmetic functions, finite automata. The main criterial parameters are the time and memory.

References:
  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.

© Издательство «РАДИОТЕХНИКА», 2004-2017            Тел.: (495) 625-9241                   Designed by [SWAP]Studio