Hierarchical real-time scheduling in the multi-core era &amp;#x2014; An overview

Ittershagen, Philipp; Hartmann, Philipp A.; Grüttner, Kim; Rettberg, Achim

doi:10.1109/isorc.2013.6913241

Cited by 4 publications

(7 citation statements)

References 57 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…9 and 10 the relative deadline is given as a lightweight orange colour in the background. 26 Note that the results are the same as expected from the schedules given in Fig. 5.…”

Section: B Examplessupporting

confidence: 76%

Beyond the limitations of real-time scheduling theory: a unified scheduling theory for the analysis of real-time systems

Slomka¹,

Sadeghi²

2021

SICS Softw.-Inensiv. Cyber-Phys. Syst.

View full text Add to dashboard Cite

We investigate the mathematical properties of event bound functions as they are used in the worst-case response time analysis and utilization tests. We figure out the differences and similarities between the two approaches. Based on this analysis, we derive a more general form do describe events and event bounds. This new unified approach gives clear new insights in the investigation of real-time systems, simplifies the models and will support algebraic proofs in future work. In the end, we present a unified analysis which allows the algebraic definition of any scheduler. Introducing such functions to the real-time scheduling theory will lead two a more systematic way to integrate new concepts and applications to the theory. Last but not least, we show how the response time analysis in dynamic scheduling can be improved.

show abstract

“…9 and 10 the relative deadline is given as a lightweight orange colour in the background. 26 Note that the results are the same as expected from the schedules given in Fig. 5.…”

Section: B Examplessupporting

confidence: 76%

Beyond the limitations of real-time scheduling theory: a unified scheduling theory for the analysis of real-time systems

Slomka¹,

Sadeghi²

2021

SICS Softw.-Inensiv. Cyber-Phys. Syst.

View full text Add to dashboard Cite

show abstract

“…The SMP task scheduler uses a partitioned preemptive FP scheduling policy [49]. When a partition is assigned multiple processor cores, a set of tasks in the ready state may be selected based on both priority and core affinity to run concurrently on the assigned processor cores [5].…”

Section: B Implementation Of Arinc-653 Multicore Systemsmentioning

confidence: 99%

“…In addition, the set Assi indicates the processor core(s) assigned to partitions. Its elements are defined as hP; Coresi, where P identifies a partition and Cores is a set of processor cores.2) The AMP configuration assigns each partition a preemptive FP task scheduler, which always selects the task with the highest priority in the ready state within the partition to run.The SMP task scheduler uses a partitioned preemptive FP scheduling policy[49]. When a partition is assigned multiple processor cores, a set of tasks in the ready state may be selected based on both priority and core affinity to run concurrently on the assigned processor cores[5].All the application tasks executing avionics functions constitute the task layer.…”

mentioning

confidence: 99%

Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL

Han

Zhai

Nielsen

et al. 2019

Journal of Aerospace Information Systems

View full text Add to dashboard Cite

This paper presents an approach for schedulability analysis of Distributed Integrated Modular Avionics (DIMA) systems that consist of spatially distributed ARINC-653 multicore modules connected by a unified Avionics Full-Duplex Switched Ethernet (AFDX) network. A multicore DIMA system is modeled as a set of stopwatch automata in UPPAAL to verify its schedulability by model checking. However, direct verification is infeasible due to the large state space. Therefore, global analysis based on statistical model checking (SMC) and compositional analysis based on classical model checking are combined, thereby mitigating the state space explosion problem. Even though the nature of SMC testing cannot prove schedulability, the model of a DIMA system first undergoes quick schedulability falsification using global SMC analysis. Thereafter, a compositional approach is used to check each partition, including its communication environment individually. By using assume-guarantee reasoning, it is ensured that each real-time task meets the deadline and that communication constraints are also fulfilled globally. The approach is finally applied to the schedulability analysis of a concrete multicore DIMA system.

show abstract

“…These have to be reduced as much as possible so that critical systems can perform correctly in the required period of time. Many different approaches have appeared in order to tackle this issue [16], where we can point out task scheduling [13], cache partitioning [27], timing analysis [15] or task and memory mapping [6]. These different approaches are generally synergistic and can be implemented together.…”

Section: Introductionmentioning

confidence: 99%

Heterogeneous multicore SDRAM interference analysis

Gonzalez

Boniol

Bouchebaba

et al. 2021

29th International Conference on Real-Time Networks and Systems

View full text Add to dashboard Cite

The purpose of this paper is to describe a set of DDR3 SDRAM interference estimation cost functions. The arbitration system of the SDRAM controller heavily impact the interference analysis. In this work, three arbitration are considered, corresponding to the situations where the accessed memory address belongs to the same block address, different memory banks and different rows. The aim of these functions is to estimate the instructions interference overhead may suffer when concurrently accessing these three logical addresses in a SDRAM saturation context. To develop these interference expressions, specific measurement systems, microbenchmarks and theory on SDRAM controllers have been used. CCS CONCEPTS• Computer systems organization → Real-time system architecture; Real-time system specification; Real-time system architecture.

show abstract

Hierarchical real-time scheduling in the multi-core era — An overview

Cited by 4 publications

References 57 publications

Beyond the limitations of real-time scheduling theory: a unified scheduling theory for the analysis of real-time systems

Beyond the limitations of real-time scheduling theory: a unified scheduling theory for the analysis of real-time systems

Schedulability Analysis of Distributed Multicore Avionics Systems with UPPAAL

Heterogeneous multicore SDRAM interference analysis

Contact Info

Product

Resources

About