Представлен подход к оценке выполнимости прикладных программных систем жесткого реального времени, реализуемых вычтслитешьными комплексами на базе многоядерных процессоров. Рассматривается класс вычислительных моделей систем со статическими приоритетами асинхронных вытесняемых задач, с с миграцией исполняемых заданий между ядрами процессора.
