Automatic Parameter Derivations in k2U Framework

TL;DR

This paper introduces an automated method to derive task parameters for the k2U schedulability framework, enabling it to efficiently handle diverse real-time task models and platforms.

Contribution

It presents a systematic approach to automatically index tasks and derive parameters, enhancing the applicability and performance of the k2U framework across various real-time systems.

Findings

Automates task parameter derivation for k2U.

Enables k2U to handle diverse task models.

Improves efficiency and applicability of schedulability tests.

Abstract

We have recently developed a general schedulability test framework, called k2U, which can be applied to deal with a large variety of task models that have been widely studied in real-time embedded systems. The k2U framework provides several means for the users to convert arbitrary schedulability tests (regardless of platforms and task models) into polynomial-time tests with closed mathematical expressions. However, the applicability (as well as the performance) of the k2U framework relies on the users to index the tasks properly and define certain constant parameters. This report describes how to automatically index the tasks properly and derive those parameters. We will cover several typical schedulability tests in real-time systems to explain how to systematically and automatically derive those parameters required by the k2U framework. This automation significantly empowers the k2U framework to handle a wide range of classes of real-time execution platforms and task models, including uniprocessor scheduling, multiprocessor scheduling, self-suspending task systems, real-time tasks with arrival jitter, services and virtualizations with bounded delays, etc.