Skip to Main content Skip to Navigation
Reports

Time Triggered Offline Scheduling of Data Dependent Real-Time Tasks Accounting for the Preemption and Scheduler Cost

Abstract : Time critical embedded systems usually consist of a set of periodic data dependent real-time tasks issued from a functional specification achieved with a block diagram language. Al- though non-preemptive real-time scheduling is safer than preemptive real-time scheduling in a time critical context, preemptive real-time scheduling may provide better scheduling ratio. However, this better scheduling ratio comes with a cost related to the preemption, and a non precise determi- mation of this cost can prevent to satisfy real-time constraints. In this paper we propose an offline schedulability analysis for a set of data dependent periodic tasks which precisely accounts for the preemption and scheduler cost. This analysis produces a scheduling table that is exploited by a time triggered offline scheduler. We show that this scheduler, implemented on an ARM Cortex-M4 bare metal uniprocessor for which the preemption and scheduler cost is precisely determined, is able to schedule correctly a set of tasks that can miss some deadlines if the preemption and sched- uler cost is incorrectly determined. Therefore, such offline scheduling and scheduler approach is perfectly suited for time critical embedded systems.
Complete list of metadatas

Cited literature [49 references]  Display  Hide  Download

https://hal.inria.fr/hal-02425501
Contributor : Yves Sorel <>
Submitted on : Monday, December 30, 2019 - 4:26:39 PM
Last modification on : Thursday, February 20, 2020 - 5:20:44 PM

File

RR-9318.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02425501, version 1

Collections

Citation

Yves Sorel, Falou Ndoye, Walid Talaboulma, Mehdi Mezouak, Liliana Cucu-Grosjean. Time Triggered Offline Scheduling of Data Dependent Real-Time Tasks Accounting for the Preemption and Scheduler Cost. [Research Report] RR-9318, Inria Paris. 2019. ⟨hal-02425501⟩

Share

Metrics

Record views

67

Files downloads

357