Аннотация.

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

Ключевые слова:

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

Стр. 23-40.

Полная версия статьи в формате pdf.