Home > Publications > Publikationen

Publikationen

Oberthür, Simon;Lichte, Hermann-Simon:

Schedulability criteria and analysis for dynamic and flexible resource management.

In: Proceedings of the DASMOD Workshop on Formal Verification of Adaptive Systems, 2007

Abstract

The Flexible Resource Manager (FRM) is a dynamic resource management approach that allows a better utilization of the available resources. However, it necessitates an atomic recon¯guration process that must not violate hard timing constraints. This paper exploits the deadline assignment rule of the Total Bandwidth Server (TBS) to schedule recon¯guration, and it formally shows that there exists a minimum task period for which atomicity and schedulability can be guaranteed. With this solution, real-time system engineers have the tools at hand to design their tasks to exploit the bene¯ts of the FRM with hard real-time constraints.

Bibtex

@inproceedings{hniid=2979,
author = {Oberth{\"u}r, Simon and Lichte, Hermann-Simon},
title = {Schedulability criteria and analysis for dynamic and flexible resource management},
booktitle = {Proceedings of the DASMOD Workshop on Formal Verification of Adaptive Systems},
year = {2007},
}

Copy bibTeX to clipboard

Permalink

https://www.hni.uni-paderborn.de/pub/2979