Анализ выполнимости составных задач в системах реального времени

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