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