теория расписаний, автоматизация проектирования систем реального времени, математическое моделирование