CAJ | 학술논문

为解决嵌入式高可信软件架构中的实时调度问题,分析了现有采用分区机制的安全系统中分区调度的不足,提出了一种基于固定周期分区的静态调度模型,并采用优先级位图算法建立了两级调度机制.为了保障分区中任务的实时性和正确性,对分区中任务采用静态优先级和最早时限优先调度(EDF)动态优先级两种调度策略,分别就其任务调度条件和可调度性进行了理论研究,针对复杂的动态优先级任务提出了一种可调度条件,并通过仿真实验进一步验证了此调度条件的正确性.
위해결감입식고가신연건가구중적실시조도문제,분석료현유채용분구궤제적안전계통중분구조도적불족,제출료일충기우고정주기분구적정태조도모형,병채용우선급위도산법건립료량급조도궤제.위료보장분구중임무적실시성화정학성,대분구중임무채용정태우선급화최조시한우선조도(EDF)동태우선급량충조도책략,분별취기임무조도조건화가조도성진행료이론연구,침대복잡적동태우선급임무제출료일충가조도조건,병통과방진실험진일보험증료차조도조건적정학성.
To address the scheduling problem in high-assurance software architecture for embedded systems, this article analyzes the limitation of partition scheduling methods of existing security systems and presents a static scheduling model based on period partition. By means of this model a two-level scheduling mechanism is constructed with priority bitmap algorithm. This article introduces two scheduling policies for tasks in partitions: fixed priority and dynamic priority based on the earliest deadline first (EDF) scheduling algorithm. The scheduling conditions and schedulability of tasks are studied, and the schedulable conditions of dynamic priority tasks are proposed. The accuracy of the scheduling conditions in this article is verified through a simulation experiment.