Multilevel Automatic Synthesis of Behavioral Programs for Smart Devices
Vasiliy Yurievich Osipov, Alexander Ivanovich Vodyaho, Nataly Alexandrovna Zhukova, Petr A. Glebovsky · 2017
The problem of automatic synthesis of behavioral programs for smart devices is discussed. For solving this problem mathematical model of reconfigurable program in a form of relative finite state operational automata is suggested. On the base of this model the method of multilevel automatic synthesis is developed. Results of synthesis which show advantages of suggested approach are presented.