230
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Integrating PFairness within a model based scheduling tool

      proceedings-article
      , ,
      Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010) (VECOS)
      Verification and Evaluation of Computer and Communication Systems (VECoS 2010)
      1-2 July 2010
      discrete geometry, real-time scheduling, modeling, model-checking, PFairness
      Bookmark

            Abstract

            In this paper, we focus on the use of discrete geometry for the sake of real-time modeling 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.

            Content

            Author and article information

            Contributors
            Conference
            July 2010
            July 2010
            : 1-10
            Affiliations
            [0001]LISI

            Université de Poitiers and ENSMA

            Téléport 2 - 1 avenue Clément Ader

            BP 40109

            86961 Futuroscope Chasseneuil cedex

            France

            www.lisi.ensma.fr
            [0002]Xlim-SIC

            Université de Poitiers

            BP 30179

            86962 Futuroscope Chasseneuil cedex

            France

            http://www.sic.sp2mi.univ-poitiers.fr/
            [0003]Université Polytechnique

            01 BP 1091

            Bobo-Dioulasso 01

            Burkina Fasso
            Article
            10.14236/ewic/VECOS2010.5
            a8581194-2a6a-418a-a025-9b3962081e37
            © Annie Choquet-Geniet et al. Published by BCS Learning and Development Ltd. Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010), Paris, France

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2010)
            VECOS
            4
            Paris, France
            1-2 July 2010
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems (VECoS 2010)
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VECOS2010.5
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            discrete geometry,model-checking,real-time scheduling,PFairness,modeling

            Comments

            Comment on this article