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

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