All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Thermal modeling and optimal allocation of avionics safety-critical tasks on heterogeneous MPSoCs

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21730%2F25%3A00384376" target="_blank" >RIV/68407700:21730/25:00384376 - isvavai.cz</a>

  • Result on the web

    <a href="https://doi.org/10.1016/j.jpdc.2025.105107" target="_blank" >https://doi.org/10.1016/j.jpdc.2025.105107</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.1016/j.jpdc.2025.105107" target="_blank" >10.1016/j.jpdc.2025.105107</a>

Alternative languages

  • Result language

    angličtina

  • Original language name

    Thermal modeling and optimal allocation of avionics safety-critical tasks on heterogeneous MPSoCs

  • Original language description

    Multi-Processor Systems-on-Chip (MPSoC) can deliver high performance needed in many industrial domains, including aerospace. However, their high power consumption, combined with avionics safety standards, brings new thermal management challenges. This paper investigates techniques for offline thermal-aware allocation of periodic tasks on heterogeneous MPSoCs running at a fixed clock frequency, as required in avionics. The goal is to find the assignment of tasks to (i) cores and (ii) temporal isolation windows, as required in ARINC 653 standard, while minimizing the MPSoC temperature. To achieve that, we formulate a new optimization problem, we derive its NP-hardness, and we identify its subproblem solvable in polynomial time. Furthermore, we propose and analyze three power models, and integrate them within several novel optimization approaches based on heuristics, a black-box optimizer, and Integer Linear Programming (ILP). We perform the experimental evaluation on three popular MPSoC platforms (NXP i.MX8QM MEK, NXP i.MX8QM Ixora, NVIDIA TX2) and observe a difference of up to 5.5 °C among the tested methods (corresponding to a 22% reduction w.r.t. the ambient temperature). We also show that our method, integrating the empirical power model with the ILP, outperforms the other methods on all tested platforms.

  • Czech name

  • Czech description

Classification

  • Type

    J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database

  • CEP classification

  • OECD FORD branch

    10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Result continuities

  • Project

    Result was created during the realization of more than one project. More information in the Projects tab.

  • Continuities

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Others

  • Publication year

    2025

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Name of the periodical

    Journal of Parallel and Distributed Computing

  • ISSN

    0743-7315

  • e-ISSN

    1096-0848

  • Volume of the periodical

    203

  • Issue of the periodical within the volume

    September

  • Country of publishing house

    US - UNITED STATES

  • Number of pages

    25

  • Pages from-to

  • UT code for WoS article

    001499520400002

  • EID of the result in the Scopus database

    2-s2.0-105005572097