Multilevel Automatic Synthesis of Behavioral Programs for Smart Devices

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.