Exploiting sporadic servers to provide budget scheduling for ARINC653 based real-time virtualization environments

Beckert, Matthias; Gemlau, Kai Bjorn; Ernst, Rolf

doi:10.23919/date.2017.7927109

Cited by 5 publications

(16 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…First mentioned by Sprunt et al [15], it received attention as efficient and correct implementations are challenging [4], [5], [35]. Hence, approximate implementations exist that simplify these issues by assuming the same replenishment period R t for all threads [36], [37]. QNX [37] manages replenishments by dividing the replenishment period into 1 ms slots that store the consumed budget.…”

Section: Related Workmentioning

confidence: 99%

Self-Aware Scheduling for Mixed-Criticality Component-Based Systems

Schlatow

Mostl

Ernst

2019

2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)

Self Cite

View full text Add to dashboard Cite

A basic mixed-criticality requirement in real-time systems is temporal isolation, which ensures that applications receive a guaranteed (CPU) service and impose a bounded interference on other applications. Providing operating system support for temporal isolation is often inefficient, in terms of utilisation and achieved latencies, or complex and hard to implement or model correctly. Correct models are, however, a prerequisite when response times are bounded by formal analyses. We provide a novel approach to this challenge by applying self-aware computing methodologies that involve runtime monitoring to detect (and correct) model deviations of a budget-based scheduler.

show abstract

Section: Related Workmentioning

confidence: 99%

Self-Aware Scheduling for Mixed-Criticality Component-Based Systems

Schlatow

Mostl

Ernst

2019

2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)

Self Cite

View full text Add to dashboard Cite

show abstract

“…Apart from spatial isolation, temporal isolation is another important aspect in CPS in order to provide freedom from interference. Common concepts are time partitioning as in ARINC 653 [36], [37] or budget-based scheduling [38], which have also been recently adapted by microkernel implementations [39], [40].…”

Section: ) Model Domainmentioning

confidence: 99%

Platform-Centric Self-Awareness as a Key Enabler for Controlling Changes in CPS

et al. 2018

Self Cite

View full text Add to dashboard Cite

show abstract

“…The included slack in this schedule was intended for IRQ handling in foreign time-partitions, bounded by the proposed monitoring from [18]. Based on the idea of larger time-partitions with additional slack, the SPS based budget scheduling [3] was designed. As the budget scheduling from [3] performs best if a larger amount of slack is available, we will later evaluate it based on generated settings from [2].…”

Section: Related Workmentioning

confidence: 99%

“…Nevertheless, for systems that are mainly driven by interrupts like communication stacks, TDMA is still not the perfect solution. The authors in [3], addressed this issue and realized a sporadic-server [24] (SPS) based system in order to provide more flexibility. In addition to that, the SPS enables an additional layer for background scheduling on the hypervisor level.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Response Time Analysis for Sporadic Server Based Budget Scheduling in Real Time Virtualization Environments

Beckert

Ernst

2017

ACM Trans. Embed. Comput. Syst.

Self Cite

View full text Add to dashboard Cite

Virtualization techniques for embedded real-time systems typically employ TDMA scheduling to achieve temporal isolation among different virtualized applications. Recent work already introduced sporadic server based solutions relying on budgets instead of a fixed TDMA schedule. While providing better average-case response times for IRQs and tasks, a formal response time analysis for the worst-case is still missing. In order to confirm the advantage of a sporadic server based budget scheduling, this paper provides a worst-case response time analysis. To improve the sporadic server based budget scheduling even more, we provide a background scheduling implementation which will also be covered by the formal analysis. We show correctness of the analysis approach and compare it against TDMA based systems. In addition to that, we provide response time measurements from a working hypervisor implementation on an ARM based development board.

show abstract

Exploiting sporadic servers to provide budget scheduling for ARINC653 based real-time virtualization environments

Cited by 5 publications

References 10 publications

Self-Aware Scheduling for Mixed-Criticality Component-Based Systems

Self-Aware Scheduling for Mixed-Criticality Component-Based Systems

Platform-Centric Self-Awareness as a Key Enabler for Controlling Changes in CPS

Response Time Analysis for Sporadic Server Based Budget Scheduling in Real Time Virtualization Environments

Contact Info

Product

Resources

About