RU2016128917A - Способ составления и исполнения плана задания последовательности реально-временных задач - Google Patents

Claims (43)

1. Способ выполнения двух задач с разделением времени, содержащий этапы, на которых:

каждую задачу раскладывают «офлайн» на повторяющуюся последовательность последовательных фреймов на шкале времени, связанной с задачей, причем каждый фрейм связан с элементарной операцией, имеющей одну исполнительную потребность, и определяет дату начала, с которой операцию можно начать, и дату конечного срока, к которой операцию необходимо завершить, из чего следует, что каждый фрейм определяет запас времени, в течение которого можно запустить операцию;

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

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

если можно запустить две операции, выполняют ту операцию, которая имеет более короткий срок исполнения; и

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

2. Способ по п. 1, в котором каждый фрейм дополнительно содержит интервал резервного времени, который может быть нулевым, находящийся после конечного срока фрейма или перед датой начала фрейма, при этом интервалы резервного времени любой одной из повторяющихся последовательностей можно использовать для исполнения операции другой повторяющейся последовательности.

3. Способ по п. 2, в котором этап проверки содержит этапы, на которых:

для каждого фрейма Fa_i первой повторяющейся последовательности оценивают следующие условия для каждого фрейма Fb_j второй повторяющейся последовательности:

[A.1]Da_i≤Tb_j+1

[В.1] Da_i≤Rb_j+Tb_j+1 и Db_j≤Ta_i, и

[C.1] Db_j≤Ta_i,

где D, T и R обозначают соответственно исполнительную потребность, запас времени и резервное время, индексированные идентификатором повторяющейся последовательности и номером фрейма в последовательности;

повторно оценивают условия, переставив местами фреймы Fa_i и Fb_j;

разрешают выполнение задач, если для любой пары (i, j) соблюдены все три условия [А.1], [В.1] и [С.1].

4. Способ по п. 3, в котором этап проверки содержит этапы, на которых:

если условие [А.1] не соблюдается, оценивают следующее условие:

[А.2] Da_i≤Tb_j+1+Rb_j+Tb_j+2

и Da_i+Db_j+1≤Ta_i+Tb_j+1

если условие [В.1] не соблюдается, оценивают следующее условие:

[В.2] Da_i≤Tb_j+1+Rb_j+1+Tb_j+2

и Db_j+Da_i+Db_j+1≤Ta_i+Tb_j+1

если условие [С.1] не соблюдается, оценивают следующее условие:

[С.2] Db_j≤Ta_i+min[Tb_j-Da_i, Ra_i, Ra_i-1]

разрешают выполнение задач, если условия [А.1] или [А.2], и [В.1] или [В.2], и [С.1] или [С.2] соблюдены для любой пары (i,j).

5. Способ по п. 3, в котором шкалы времени, определяющие продолжительность фреймов, является переменным, так что запас времени Т и резервное время R изменяются на коэффициент от 1 до za для фреймов Fa и на коэффициент от 1 до zb для фреймов Fb, при этом этап проверки содержит этапы, на которых:

если условие [А.1] не соблюдается, оценивают следующее условие:

[А.2] Da_i≤Tb_j+1+Rb_j+1+Tb_j+2

и min[q₁(zb⋅(Tb_j+Rb_j)+(zb-1)Db_j),Da_i]+Db_j+1≤Ta_i

где q₁=(Da_i-Tb_j+1)/(Tb_j+Rb_j);

если условие [В.1] не соблюдается, оценивают следующее условие:

[В.2] Da_i≤Tb_j+1+Rb_j+1+Tb_j+2

и Db_j+min[q₁(zb⋅Tb_j+(zb-1)Db_j)+zb⋅Rb_j, Da_i]+Db_j+1≤Ta_i

где q₁=(Da_i-Rb_j-Tb_j+1)/Tb_j;

если условие [С.1] не соблюдается, оценивают следующее условие:

[С.2] Db_j≤Ta_i+min[Tb_j-Da_i, Ra_i, Ra_i-1];

разрешают выполнение задач, если условия [А.1] или [А.2], и [В.1] или [В.2], и [С.1] или [С.2] соблюдены для любой пары (i,j).

6. Способ по п. 5, в котором этап проверки содержит этапы, на которых:

если условие [В.1] не соблюдается, перед условием [В.2] оценивают следующее условие:

[В.1.1]Da_i≤Tb_j+Rb_j+Tb_j+1

и Db_j-1≤T₁+min[Tb_j-1+Db_j-1+Rb_j-i-T₁-Da_i-1, Ra_i-2]

где q₁=(Da_i-Rb_j-Tb_j+1)/Tb_j и T₁=Ta_i-1-(1-q₁)Tb_j+Ra_i-1

разрешают выполнение задач, если условия [А.1] или [А.2], и [В.1] или [В.2], и [С.1] или [С.2] соблюдены для любой пары (i,j).