В статье рассмотрены основные принципы работы алгоритмов планирования операционных систем реального времени. Выявлено, что задачи в операционных системах реального времени делятся на периодические и апериодические и для их планирования используются статические и динамические алгоритмы планирования.

В статье приведены теоретические сведения о теории автоматного программирования. Дается определение конечного автомата, детерминированного конечного автомата и недетерминированного конечного автомата. Проведен сравнительный анализ детерминированного конечного автомата и недетерминированного конечного автомата, на основании чего сделан вывод о параллелизме недетерминированного конечного автомата. Описываются основные способы задания и моделирования недетерминированного конечного автомата.

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

В статье определены понятия системы, описывается структура системы за счет определения ее компонентов. Приведены различные классификации систем. Отдельно рассмотрены недетерминированные системы, их сравнение с детерминированными. Раскрыта специфика исследования и моделирования недетерминированных систем.

В статье после проведения обзора существующих подходов и методов принято решение о подходе, используемом для решения рассматриваемой проблемы. Был выбран и реализован в виде модуля способ выделения ресурсов, основанный на общих для рассмотренных систем механизмов. Модуль запускает вычисления в конфигурации, соответствующей топологии системы, задает политику планирования реального времени для потоков, назначает их на доступные вычислительные ядра, самостоятельно диспетчеризует исполнение задач.

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