Login / Signup

An Exact Schedulability Analysis for Global Fixed-Priority Scheduling of the AER Task Model.

Thilanka ThilakasiriMatthias Becker
Published in: ASP-DAC (2023)
Keyphrases
  • high level
  • formal model
  • mathematical model
  • statistical model
  • data analysis
  • probabilistic model
  • priority scheduling
  • theoretical framework