| 초록 |
시분할 방식으로 2개의 태스크를 실행하는 방법으로서, 각 태스크를 상기 태스크와 연관된 시간 베이스에서 연속적인 프레임들의 반복 시퀀스로 오프라인에서 분해하는 단계로서, 각 프레임은 실행 요구를 가지는 원자 동작과 연관되고, 각 프레임은 상기 동작이 시작할 수 있는 시작 날짜와, 상기 동작이 종료하여야 하는 데드라인을 한정하고, 이에 의해 각 프레임은 상기 동작이 시작할 수 있는 시간 마진을 한정하는, 상기 분해하는 단계; 상기 동작의 상기 시작 날짜와 데드라인을 고려하면서, 상기 반복 시퀀스들 중 제1 반복 시퀀스의 각 프레임에 대해, 상기 제1 반복 시퀀스의 프레임(Fa i )과 오버랩하는 제2 반복 시퀀스의 프레임의 그룹 중 임의의 2개의 연속적인 동작들 사이에 대응하는 동작이 수행될 수 있는지 여부를 검증하는 단계; 및 상기 검증이 만족되면, 상기 2개의 태스크의 실행을 허락하는 단계를 포함하는 방법이 제공된다. 상기 2개의 태스크의 동작은 각 키 날짜에서 평가된 다음 경우에 따라 스케줄되는데, 즉, 2개의 동작이 시작할 수 있는 경우, 더 짧은 데드라인을 가지는 동작이 실행되고; 단일 동작이 시작할 수 있는 경우, 그 실행 요구가 다른 시퀀스의 그 다음 프레임의 시작 날짜까지 남아 있는 시간에 상기 다른 시퀀스의 상기 그 다음 프레임과 연관된 시간 마진을 더한 것보다 더 작은 경우에만 이 단일 동작이 실행된다, 여기서 키 날짜는 각 데드라인, 각 시작 날짜, 및 각 동작 종료에서 일어난다. |
