Title: Real-time scheduling using regularity criteria and a geometrical approach

 

Author: Annie Choquet-Geniet, Gaelle Largeteau-Skapin

 

Addresses:
LISI, Universite de Poitiers and ENSMA, BP 40109, 86961 Futuroscope Chasseneuil Cedex, France.
Xlim-SIC, Universite de Poitiers, BP 30179, 86962 Futuroscope Chasseneuil Cedex, France

 

Journal: Int. J. of Critical Computer-Based Systems, 2011 Vol.2, No.3/4, pp.266 - 287

 

Abstract: In this paper, we focus on the use of discrete geometry for the sake of real-time modelling and analysis. We consider multiprocessor context and task sets with offsets, constrained deadlines and critical resources. We want to take regularity criteria into account during the scheduling process. We, thus, determine the geometrical characterisation of PFair schedules and present the construction steps of a geometric PFair model. Several uses of this model are then presented: we can select (partially) PFair schedules. We have also defined a PFairness comparison criterion and we use it to choose among a set of feasible schedules the most PFair ones.

 

Keywords: discrete geometry; real time scheduling; real time modelling; PFairness; model checking; regularity criteria.

 

DOI: http://dx.doi.org/10.1504/IJCCBS.2011.042329

 

Available online 04 Sep 2011

 

 

Editors Full Text AccessAccess for SubscribersPurchase this articleComment on this article