Griffin, David Jack orcid.org/0000-0002-4077-0005, Bate, Iain John orcid.org/0000-0003-2415-8219 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2020) Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests. In: 2020 IEEE Real-Time Systems Symposium (proceedings). 2020 IEEE Real-Time Systems Symposium, 01-04 Dec 2020
Abstract
—This paper introduces the Dirichlet-Rescale (DRS) algorithm. The DRS algorithm provides an efficient general-purpose method of generating n-dimensional vectors of components (e.g. task utilizations), where the components sum to a specified total, each component conforms to individual constraints on the maximum and minimum values that it can take, and the vectors are uniformly distributed over the valid region of the domain of all possible vectors, bounded by the constraints. The DRS algorithm can be used to improve the nuance and quality of empirical studies into the effectiveness of schedulability tests for real-time systems; potentially making them more realistic, and leading to new conclusions. It is efficient enough for use in large-scale studies where millions of task sets need to be generated. Further, the constraints on individual task utilizations can be used for fine-grained control of task set parameters enabling more detailed exploration of schedulability test behavior. Finally, the real power of the algorithm lies in the fact that it can be applied recursively, with one vector acting as a set of constraints for the next. This is particularly useful in task set generation for mixed criticality systems and multi-core systems, where task utilizations are either multi-valued or can be decomposed into multiple constituent parts
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details. |
Keywords: | real-time systems,utilization vector generation,unbiased distribution,UUnifast,RandFixedSum |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Funding Information: | Funder Grant number EPSRC EP/N023641/1 INNOVATE UK 113213/SUP-00007484 |
Depositing User: | Pure (York) |
Date Deposited: | 04 Nov 2020 11:40 |
Last Modified: | 02 Apr 2025 23:33 |
Status: | Published |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:167646 |
Download
Filename: DRSRTSS2020.pdf
Description: Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests