The strict requirements on the timing correctness biased the modeling and analysis of real-time systems towards the worst-case performances. Such focus on the worst-case, however, does not provide enough information to effectively steer the resource/energy optimization. In this paper, we integrate a probabilistic-based energy prediction strategy with the precise scheduling of mixed-criticality tasks, where the timing correctness must be met for all tasks at all scenarios. The Dynamic Voltage and Frequency Scaling (DVFS) is applied to this precise scheduling policy to enable energy minimization. We propose a probabilistic technique to derive an energy-efficient speed (for the processor) that minimizes the average energy consumption, while guaranteeing the (worst-case) timing correctness for all tasks, including lo-criticality ones, under any execution condition. We present a response time analysis for such systems under the non-preemptive fixed-priority scheduling policy. Finally, we conduct an extensive simulation campaign based on randomly generated task sets to verify the effectiveness of our algorithm (w.r.t. energy savings) and it reports up to 46% energy-saving.

Optimizing Energy in Non-preemptive Mixed-Criticality Scheduling by Exploiting Probabilistic Information

Federico Reghenzani;William Fornaciari;
2020-01-01

Abstract

The strict requirements on the timing correctness biased the modeling and analysis of real-time systems towards the worst-case performances. Such focus on the worst-case, however, does not provide enough information to effectively steer the resource/energy optimization. In this paper, we integrate a probabilistic-based energy prediction strategy with the precise scheduling of mixed-criticality tasks, where the timing correctness must be met for all tasks at all scenarios. The Dynamic Voltage and Frequency Scaling (DVFS) is applied to this precise scheduling policy to enable energy minimization. We propose a probabilistic technique to derive an energy-efficient speed (for the processor) that minimizes the average energy consumption, while guaranteeing the (worst-case) timing correctness for all tasks, including lo-criticality ones, under any execution condition. We present a response time analysis for such systems under the non-preemptive fixed-priority scheduling policy. Finally, we conduct an extensive simulation campaign based on randomly generated task sets to verify the effectiveness of our algorithm (w.r.t. energy savings) and it reports up to 46% energy-saving.
2020
real-time, Mixed criticality, scheduling, WCET, energy-aware scheduler
File in questo prodotto:
File Dimensione Formato  
EMSOFT20_preproof.pdf

accesso aperto

Descrizione: pre proof
: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 394.02 kB
Formato Adobe PDF
394.02 kB Adobe PDF Visualizza/Apri
TCAD2020RT.pdf

Accesso riservato

Descrizione: versione pubblicata
: Publisher’s version
Dimensione 814.18 kB
Formato Adobe PDF
814.18 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/1142256
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 20
  • ???jsp.display-item.citation.isi??? 15
social impact