Алгоритмы планирования вычислений и синтеза систем реального временикнига