Metodika sinteza diskretnyh algoritmov real'nogo vremeni