Download or read book Ordonnancement temps r el avec contraintes de qualit de service written by Audrey Marchand and published by . This book was released on 2006 with total page 227 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le travail de thèse présenté dans ce rapport a pour finalité de proposer des solutions à l'ordonnancement dans les systèmes informatiques temps-réel à contraintes fermes (TRCF). Le système est supposé assurer l'ordonnancement de tâches périodiques définies sous des contraintes de Qualité de Service (QoS). Il doit aussi être capable de gérer l'occurrence de tâches apériodiques pouvant induire une surcharge temporaire de traitement. Dans un premier temps, une introduction à l'ordonnancement dans les systèmes temps-réel et une synthèse bibliographique sur l'ordonnancement en présence de surcharge, sont présentées. En second lieu, deux nouvelles stratégies d'ordonnancement de tâches périodiques définies sous des contraintes de QoS utilisant le modèle Skip-Over, sont proposées. Nous consacrons ensuite notre étude à la problématique de l'ordonnancement d'un ensemble hybride de tâches constitué de tâches périodiques définies sous des contraintes de QoS et de tâches apériodiques. La contribution des travaux de thèse se focalise sur l'utilisation du serveur optimal EDL (Earliest Deadline as Late as possible) avec des tâches périodiques présentant des contraintes de QoS. Puis, nous nous intéressons à l'évaluation des stratégies d'ordonnancement proposées sur la base d, la stabilité et la robustesse. S'appuyant sur des travaux précédents relatifs à la tolérance aux fautes, nous présentons deux nouveaux algorithmes d'ordonnancement pour le modèle Skip-Over, qui améliorent le comportement d'un système avec des contraintes de QoS. En dernier lieu, nous présentons l'intégration, sous Linux temps-réel, des différentes stratégies d'ordonnancement sous contraintes de QoS.

Download or read book Garantir la qualit de service temps r el selon l approche m k firm written by Jian Li and published by . This book was released on 2007 with total page 142 pages. Available in PDF, EPUB and Kindle. Book excerpt: [Résumé en anglais] This work focuses on the scheduling algorithms under (m,k)-firm constraint, as well as the applications for QoS (quality of service) management in the networks and distributed real-time system. The research aim is to achieve the deterministic guarantee of QoS with high resource utilization. The contributions in this thesis include (1) proposing a sufficient condition for determining the schedulability of a real-time task set under Distance Base Priority scheduling algorithm; (2) defining a novel real-time constraint which relaxes the (m,k)-firm constraint and provides a more suitable modelling of soft real-time; (3) developing an effective resource provisioning algorithm under this relaxed (m,k)-firm constraint; (4) proposing an active queue management mechanism, called Double Leaks Bucket, which can guarantee the QoS with dynamic dropping of the packets during the networks overload period

Download or read book Real Time Systems Architecture Scheduling and Application written by Seyed Morteza Babamir and published by BoD – Books on Demand. This book was released on 2012-04-11 with total page 351 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is a rich text for introducing diverse aspects of real-time systems including architecture, specification and verification, scheduling and real world applications. It is useful for advanced graduate students and researchers in a wide range of disciplines impacted by embedded computing and software. Since the book covers the most recent advances in real-time systems and communications networks, it serves as a vehicle for technology transition within the real-time systems community of systems architects, designers, technologists, and system analysts. Real-time applications are used in daily operations, such as engine and break mechanisms in cars, traffic light and air-traffic control and heart beat and blood pressure monitoring. This book includes 15 chapters arranged in 4 sections, Architecture (chapters 1-4), Specification and Verification (chapters 5-6), Scheduling (chapters 7-9) and Real word applications (chapters 10-15).

Download or read book IoT Enabled Energy Efficiency Assessment of Renewable Energy Systems and Micro grids in Smart Cities written by Mustapha Hatti and published by Springer Nature. This book was released on with total page 517 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Ordonnancement temps r el pour l optimisation de la qualit de service dans les syst mes autonomes en nergie written by Maïssa Abdallah and published by . This book was released on 2014 with total page 180 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans le cadre de cette thèse, nous nous intéressons aux applications temps réel qualifiées de fermes car acceptant de ne pas satisfaire la totalité des contraintes temporelles. Celles-ci s’expriment par des échéances c’est à dire des dates avant lesquelles les jobs de l’application se doivent de terminer leur exécution. Les applications temps réel concernées sont très diverses : on peut citer les applications multimédia mais aussi les réseaux de capteurs où l’on tolère occasionnellement la perte de données capteurs. Notre objectif est de proposer et valider par le biais de la simulation, de nouvelles stratégies d’ordonnancement en vue d’optimiser la Qualité de Service(le ratio de contraintes satisfaites). Ce travail constitue une extension de travaux précédents entrepris dans le laboratoire qui ont porté sur les systèmes autonomes en énergie non surchargés temporellement et énergétiquement. Notre contribution concerne les systèmes entièrement autonomes car alimentés par l’énergie ambiante qui sont soumis à la fois à des contraintes temporelles et énergétiques. Nous considérons un système monoprocesseur monofréquence, alimenté par un réservoir d’énergie approvisionné par une source environnementale. Dans un premier temps, nous considérons qu’il exécute uniquement des tâches périodiques et nous proposons une solution à la gestion de surcharge de traitement d’une part et aux pénuries temporaires d’énergie d’autre part, en se basant sur le modèle dit Skip-Over. Dans un deuxième temps, nous étendons notre modèle au cas de tâches apériodiques non critiques. Nous apportons une solution au problème lié à la minimisation du temps de réponse de ces dernières.

Download or read book Ordonnancement dans les syst mes temps r el written by Maryline Chetto and published by ISTE Group. This book was released on 2014-06-01 with total page 398 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les systèmes temps réel se rencontrent dans une vaste gamme de domaines applicatifs tels que la robotique, les process industriels, les transports ou le multimédia. En raison de l’évolution rapide des technologies et de l’émergence de l'Internet des objets, les industriels qui intègrent des logiciels temps réel dans leurs produits se trouvent confrontés à de nouveaux défis. L’intelligence embarquée dans ces produits repose en particulier sur l’ordonnancement, fonction clé du système d’exploitation. Regroupant une quarantaine d’années d’expertise de différents spécialistes, Ordonnancement dans les systèmes temps réel offre un panorama des connaissances de ce domaine en mettant l’accent sur les dernières avancées majeures de la recherche : architectures monoprocesseurs ou multiprocesseurs, contraintes de synchronisation, modélisation probabiliste, optimisation de la qualité de service, techniques de calcul du WCET, etc. Destiné aux informaticiens, automaticiens ou étudiants en école d’ingénieurs, cet ouvrage permet de s'initier à l’informatique temps réel ou d’en approfondir ses connaissances.

Download or read book Ordonnancement Temps Reel written by and published by Ed. Techniques Ingénieur. This book was released on with total page 26 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Ordonnancement sous contraintes de qualit de service dans les clouds written by Tom Guérout and published by . This book was released on 2014 with total page 181 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ces dernières années, de nouvelles problématiques sont nées au vu des considérations écologiques de plus en plus présentes dans notre société. Dans le domaine de la technologie de l'Information, les centres de calcul consomment actuellement environ 1.5% de l'électricité mondiale. Cela ne cesse d’augmenter en raison de l'évolution de nombreux domaines et particulièrement du Cloud Computing. Outre cet aspect environnemental, le contrôle de la consommation d’énergie fait désormais partie intégrante des paramètres de Qualité de Service (QoS) incombant aux fournisseurs de services de Cloud Computing. En effet, ces fournisseurs de services à la demande proposent à leurs utilisateurs un contrat de QoS, appelé SLA (Service Level Agreement), qui définit de manière précise la qualité de service qu’ils s’engagent à respecter. Le niveau de QoS proposé influence directement la qualité d’utilisation des services par les utilisateurs, mais aussi la consommation et le rendement général de l’ensemble des ressources de calcul utilisées, impactant fortement les bénéfices des fournisseurs de services.Le Cloud Computing étant intrinsèquement lié à la virtualisation des ressources de calcul, une élaboration de modèles d’architecture matérielle et logicielle est proposée afin de définir les caractéristiques de l’environnement considéré. Ensuite, une modélisation détaillée de paramètres de QoS en termes de performance, de sûreté de fonctionnement, de sécurité des données et de coûts est proposée. Des métriques associées à ces paramètres sont définies afin d’étendre les possibilités d'évaluation des SLA. Ces modélisations constituent la première contribution de cette thèse.Il convient alors de démontrer comment l’utilisation et l’interprétation de plusieurs métriques de QoS ouvrent la possibilité d'une analyse plus complexe et plus fine de la perspicacité des algorithmes de placement. Cette approche multi-critères leur apporte des informations importantes sur l’état de leur système qu’ils peuvent analyser afin de gérer le niveau de chaque paramètre de QoS. Ainsi, quatre métriques antagonistes, incluant la consommation énergétique, ont été sélectionnées et utilisées conjointement dans plusieurs algorithmes de placement de manière à montrer leur pertinence, l’enrichissement qu’elles apportent à ces algorithmes, et comment un fournisseur de service peut tirer profit des résultats d’une optimisation multi-objectifs. Cette seconde contribution présente un algorithme génétique (GA) ainsi que deux algorithmes gloutons. L’analyse du comportement de l'algorithme génétique a permis de démontrer différents intérêts d’une optimisation multi-critères appliquée à des métriques de QoS habituellement ignorées dans les études dédiées au Cloud Computing.La troisième contribution de cette thèse propose une étude de l’impact de l'utilisation des métriques de QoS sur l’ordonnancement de machines virtuelles au cours du temps. Pour cela, le simulateur CloudSim a été exploité et étendu afin d'améliorer ses fonctionnalités de gestion de consommation énergétique. Tout d’abord par l’ajout du DVFS (Dynamic Voltage & Frequency Scaling) apportant une gestion dynamique très précise des fréquences de fonctionnement CPU, puis la possibilité de reconfiguration de machines virtuelles et enfin par la gestion dynamique des évènements. Les simulations effectuées mettent en jeu l'ensemble de ces outils énergétiques ainsi que les algorithmes de placement et évaluent chacune des métriques de QoS sélectionnées. Ces simulations donnent une vision temporelle de l’évolution de celles-ci, en fonction des algorithmes utilisés et de plusieurs configurations d’optimisation du GA. Cela permet d'analyser sous différents angles le comportement des algorithmes gloutons, l'impact des optimisations du GA, et l'influence des métriques les unes par rapport aux autres.Une collaboration a pu être établie avec le laboratoire CLOUDS Laborartory de Melbourne, dirigé par Prof. Rajkumar Buyya.

Download or read book Des priorit s fixes aux priorit s dynamiques en ordonnancement temps r el written by Bernard Chauvière and published by . This book was released on 2007 with total page 190 pages. Available in PDF, EPUB and Kindle. Book excerpt: Nos recherches portent sur l’étude des systèmes temps-réel composés de tâches périodiques et ordonnancés en environnement multiprocesseur. Nos travaux s’organisent autour de deux thèmes de recherche~: la production de solutions d’ordonnancement et l’analyse quantitative de l’ordonnançabilité. Pour mener à bien ces recherches, nous avons été amenés à étudier certaines propriétés théoriques comme la cyclicité des séquences d’exécution. Sous certaines hypothèses, englobant par exemple RM, DM et EDF, nous montrons que les séquences d’exécution multiprocesseur sont cycliques, et nous proposons un intervalle de faisabilité. Nous apportons deux contributions au problème de l’ordonnancement. D’une part, nous proposons une méthode pour déterminer toutes les configurations de priorités fixes permettant d’ordonnancer un système de tâches. Nous étendons cette approche aux configurations de priorités fixes par instance et proposons l’étude d’une nouvelle classe de politiques d’ordonnancement. D’autre part, nous appliquons les méthodes d'approximation (méthode taboue, algorithmes génétiques, etc) au problème de l'ordonnancement des systèmes de tâches liées par des contraintes de précédence, afin d'obtenir des séquences d'exécution optimisant certains critères comme la durée totale d'exécution par exemple. Lorsque aucune politique connue n’est utilisable, le concepteur est généralement amené à modifier la conception du système. Peu de travaux permettent de le guider. Nous proposons une méthode basée sur les chaînes de Markov qui renseigne sur le comportement d’un système de tâches en fonction du support matériel utilisé. Les informations apportées permettent de comprendre les problèmes qui sont à la source des difficultés et donc d’aider à modifier la conception. Elles renseignent aussi sur la qualité de service offerte par le système.

Download or read book Ordonnancement en temps reel d ateliers avec temps de preparation des ressources written by Christian Artigues (enseignant-chercheur).) and published by . This book was released on 2005 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: CE TRAVAIL PRESENTE UNE METHODE ET DES OUTILS POUR L'ORDONNANCEMENT EN TEMPS REEL D'ATELIER LORSQUE DES CONTRAINTES COMPLEXES ISSUES DU TERRAIN SONT A PRENDRE EN COMPTE. L'APPROCHE RETENUE VISE A CARACTERISER NON PAS UNE SOLUTION AU PROBLEME D'ORDONNANCEMENT, MAIS UN ENSEMBLE DE SOLUTIONS SOUS LA FORME DE GROUPES D'OPERATIONS PERMUTABLES. DANS CE CONTEXTE, ON CONSIDERE UN ENSEMBLE D'ORDRES DE FABRICATION, CHACUN COMPORTANT UNE DATE DE LIVRAISON ET UNE DATE DE DEBUT AU PLUS TOT ET ETANT COMPOSE D'UN ENSEMBLE D'OPERATIONS D'EXECUTION. CHAQUE OPERATION D'EXECUTION NECESSITE SIMULTANEMENT POUR SA REALISATION UN ENSEMBLE DE RESSOURCES CUMULATIVES OU DISJONCTIVES, CHACUNE D'ELLES DEVANT ETRE SELECTIONNEE DANS UN ENSEMBLE PREDEFINI APPELE POOL. LES CONTRAINTES DE PRECEDENCE ENTRE LES OPERATIONS D'EXECUTION D'UN MEME ORDRE DE FABRICATION SONT DEFINIES PAR DES GAMMES NON LINEAIRES. ON PROPOSE DE CARACTERISER L'ACTIVITE DE PREPARATION NECESSAIRE SUR UN SOUS-ENSEMBLE DES RESSOURCES REQUISES POUR REALISER UNE OPERATION D'EXECUTION, PAR UN ENCHAINEMENT DE TROIS OPERATIONS ELEMENTAIRES DE PREPARATION : LE DEMONTAGE, LE CHANGEMENT DE TYPE ET LE MONTAGE. CHAQUE ACTIVITE DE PREPARATION DEPEND DE LA SEQUENCE DES OPERATIONS D'EXECUTION ET CHAQUE OPERATION DE PREPARATION PEUT NECESSITER EGALEMENT DES RESSOURCES COMPLEMENTAIRES. UN ALGORITHME POLYNOMIAL D'INSERTION D'UNE OPERATION DANS UN ORDONNANCEMENT, VISANT A MINIMISER LA CONSEQUENCE DE CETTE INSERTION SUR LES DATES DE LIVRAISON, EST DEFINI. IL EST UTILISE DANS LES METHODES PROPOSEES POUR GENERER UNE SEQUENCE DE GROUPES INITIALE ET POUR L'AMELIORATION DE TYPE TABOU DE CETTE SEQUENCE. CES METHODES SONT VALIDEES SUR DES PROBLEMES CLASSIQUES D'ORDONNANCEMENT DE PROJET ET SUR DES PROBLEMES D'ORDONNANCEMENT D'ATELIER AVEC PREPARATION GENERES ALEATOIREMENT. UN SYSTEME INTERACTIF D'AIDE A LA DECISION EST PROPOSE POUR L'ORDONNANCEMENT EN TEMPS REEL D'UN ATELIER AVEC PREPARATION, BASE SUR L'EXPLOITATION DE LA SEQUENCE DE GROUPES.

Download or read book valuation de performances temporelles et optimisation de l ordonnancement de t ches et messages written by Nicolas Navet and published by . This book was released on 1999 with total page 213 pages. Available in PDF, EPUB and Kindle. Book excerpt: Notre premier objectif est de proposer des méthodes et des outils de vérification du respect des contraintes temporelles d'une application temps réel. Le principal cadre d'application de nos travaux est celui des applications embarquées dans l'automobile distribuées autour d'un réseau CAN. La validation est menée en couplant les techniques de vérification : simulation, analyse et observation sur prototypes. L’apport principal de cette thèse réside en la conception de modèles analytiques qui fournissent des bornes sur les métriques de performance considérées (temps de réponse, probabilité de non-respect des échéances) ou permettant d'évaluer l'occurrence d'événements rares (temps d'atteinte de l'état bus-off d'une station CAN). Nous proposons également une analyse d'ordonnancabilité des applications s'exécutant sur des systèmes d'exploitation se conformant au standard posix1003.1b. Ensuite, considérant qu'il existe généralement plusieurs solutions d'ordonnancement faisables à un même problème, nous avons défini des critères de choix et avons expérimenté une approche, utilisant un algorithme génétique, pour parcourir l'espace des solutions. Notre second objectif est d'étudier des mécanismes d'ordonnancement qui garantissent le respect des échéances du trafic a contraintes strictes tout en minimisant les temps de réponse du trafic a contraintes souples. Nous évaluons les performances de la politique dual-priority pour l'ordonnancement de messages. Pour son utilisation dans des environnements bruites, nous proposons un mécanisme simple donnant des garanties sur la qualité de service exprimée en termes de probabilité de respect des échéances et s'adaptant en-ligne a des conditions de perturbations variables. Nous proposons également une politique concurrente, basée sur une technique de lissage de flux, qui est d'une mise en oeuvre plus aisée. Cette politique préserve la faisabilité du système et sa faible complexité algorithmique permet son utilisation en-ligne.

Download or read book Ordonnancement temps r el multiprocesseur de t ches non pr emptives avec contraintes de pr c dence de p riodicit stricte et de latence written by Omar Kermia and published by . This book was released on 2009 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: La réalisation de systèmes temps réel embarqués complexes que l'on trouve dans les domaines de l'avionique, de l'automobile, de la robotique, etc. conduisent à résoudre des problèmes d'ordonnancement temps réel non préemptif pour des architectures multiprocesseurs en respectant des contraintes multiples de précédence, de périodicité stricte et de latence. Dans la littérature les problèmes de ce type sont résolus avec des méthodes approchées (heuristiques) donnant des résultats dans un temps raisonnable comparées à des méthodes exactes. Par ailleurs le problème tel que nous le posons a été peu étudié. Ce dernier étant complexe nous avons choisi d'étudier séparément la périodicité d'une part et la latence d'autre part, avec aussi dans les deux cas des contraintes de précédence. L'ensemble des résultats obtenus est utilisé pour traiter l'ordonnancement avec les trois contraintes. Afin de résoudre le problème d'ordonnancement avec précédence et périodicité stricte nous avons proposé une heuristique composée de trois étapes. La première étape appelée "assignation" est la plus importante car elle permet de décider si un système est ordonnançable ou pas sans être obligé d'attendre l'exécution des deux autres étapes de l'heuristique. Comme nous avons choisi d'utiliser la méthode du partitionnement - partitionner le problème multiprocesseur en plusieurs problèmes monoprocesseur - plutôt que la méthode globale pour faire l'ordonnancement multiprocesseur, nous avons pu donner une condition pour qu'une tâche, éventuellement plusieurs, soient ordonnançables sur un processeur auquel d'autres tâches ont déjà été assignées. Nous avons proposé deux versions d'algorithme d'assignation, une version gloutonne très rapide et une version .recherche locale. fondée sur le retour arrière (backtracking) qui revient à tester localement plusieurs assignations pour trouver celle qui satisfait les contraintes de périodicité stricte. Nous avons montré que la version "recherche locale", bien que moins rapide que la version gloutonne, donne des résultats très proches de ceux d'un algorithme exact de type "Branch & Cut". La seconde étape appelée "déroulement". consiste simplement à répéter chaque tâche et les arcs de précédence qui la concernent suivant le rapport entre l'hyper-période (PPCM des périodes de toutes les tâches) et sa période. La troisième étape consiste à ordonnancer les tâches sur les processeurs auxquels elles ont été assignées tout en minimisant le temps d'exécution de toutes les tâches (makespan), en prenant en compte le coût des communications interprocesseurs dues au fait que deux tâches liées par une précédence ont été assignées à deux processeurs différents. Par ailleurs comme nous considérons des systèmes embarqués pour lesquels les ressources sont limitées nous avons ajouté une quatrième étape, spécifique à l'embarqué, qui effectue de manière gloutonne de la répartition de charge et de mémoire. L'heuristique d'ordonnancement avec précédence et périodicité stricte a été programmée en OCAML dans le logiciel SynDEx diffusé par l'équipe projet AOSTE. Pour tester ces résultats théoriques ainsi que leur implantation dans le logiciel SynDEx on a effectué une expérimentation sur une application de suivi en train virtuel de CyCabs (véhicule électrique automatique conçu par l'équipe projet IMARA) avec contraintes de précédence et de périodicité. Afin de résoudre le problème d'ordonnancement multiprocesseur avec précédence et latence nous avons effectué une étude d'ordonnançabilité qui a montré que sa résolution est très liée aux chemins de tâches reliant la paire de tâches sur laquelle la contrainte de latence est imposée. Nous avons proposé une heuristique dans le cas d'une seule latence se composant d'une première étape appelée "clusterisation" et une deuxième étape appelée "union". La clusterisation consiste à regrouper les tâches faisant partie du même chemin dans le graphe et l'union cherche à adapter le nombre de ces clusters au nombre de processeurs en procédant à des unions entre clusters. Le cas de plusieurs latences demande de prendre en compte les différentes possibilités de chemins entre plusieurs paires de tâches soumises à différentes latences. Pour le cas le plus complexe correspondant à des chemins, entre paires de tâches soumises à différentes latences, croisés on a proposé une heuristique qui minimise la durée de l'ordonnancement entre chacune de ces paires de tâches. Les résultats obtenus précédemment ont été utilisés pour proposer une heuristique d'ordonnancement avec contraintes de précédence, de périodicité et de latence.

Download or read book Ordonnancement non pr emptif et condition d ordonnan abilit pour syst mes embarqu s contraintes temps r el written by Liliana Cucu and published by . This book was released on 2004 with total page 139 pages. Available in PDF, EPUB and Kindle. Book excerpt: Après un état de l'art sur l'ordonnancement en général et l'ordonnancement temps réel en particulier, permetttant de préciser les notions utilisées en suite et après avoir motivé l'intérêt d'une nouvelle contrainte temps réel de latences, nous proposons un modèle qui formalise les systèmes temps réel avec contraintes de précédences, de périodicités et de latences. Dans ce modèle, les précédences sont définie par un graphe orienté acyclique. Pour le cas monoprocesseur, on étudie trois problèmes d'ordonnancement : des systèmes avec contraintes de précédences et de périodicités, des systèmes avec contraintes de précédences et latences et des systèmes avec contraintes de précédences, de périodicités et de latences. Pour chaque problème on étudie la cohérence entre les contraintes, on donne des conditions d'ordonnançabilité et on propose un algorithme prouvé optimal dans le sens où s'il y a un ordonnancement, l'algorithme le trouvera. On passe en suite au cas multiprocessor où l'architecture est définie par un graphe non-orienté. On étudie trois problèmes d'implantation (distribution et ordonnancement) : des systèmes avec contraintes de précédences et de périodicités, systèmes avec contraintes de précédences et de latences et systèmes avec contraintes de précédences, de périodicités et de latences. Pour chaque problème, le modèle prend en compte les communications. On prouve que ces trois problèmes sont NP-difficiles et on propose, donc, des heuristiques. Les performances de chaque heuristique sont comparées à celles d'algorithme exacte de type "branch and bound", en utilisant des simulations numériques.

Download or read book Ordonnancement sous contraintes de pr c dence dans les syst mes temps r el written by Toumi Bouchentouf and published by . This book was released on 1991 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans les applications qualifiées de temps-réel à contraintes strictes, le système informatique doit exécuter des programmes séquentiels appelés tâches en respectant des échéances ainsi que des contraintes de précédence. L'objectif de l'ordonnanceur consiste alors à gérer l'accès au(x) processeur(s) dans le but de satisfaire toutes les contraintes. Cette thèse expose d'abord l'ensemble des résultats disponibles actuellement dans le domaine de l'ordonnancement statique de tâches périodiques d'une part et apériodiques d'autre part, soumises à des contraintes de précédence, et ce pour des systèmes monoprocesseur et multiprocesseur. Les problèmes sont ainsi répertoriés dans la classe P des problèmes polynomiaux ou dans la classe NP-complet des problèmes intraitables. Pour chacun d'eux, on présente l'algorithme de résolution, lorsque celui-ci existe, en précisant sa complexité. Si effectivement bon nombre de systèmes actuels sont statiques, ceux dits de nouvelle génération sont dynamiques et soulèvent de nouveaux problèmes liés à l'acceptation en ligne de tâches supplémentaires. On propose un algorithme d'ordonnancement dédié aux systèmes temps-réel dynamiques dans le cas d'une configuration monoprocesseur. Celle-ci est supposée exécuter des tâches périodiques aux caractéristiques connues et doit faire face en outre à l'occurrence imprévue de tâches sporadiques soumises à des contraintes de précédence. Un test d'acceptation optimal s'exécutant en temps polynomial est décrit, basé sur une modification des paramètres temporels des tâches et l'utilisation de l'algorithme d'ordonnancement préemptif Earliest Deadline

Download or read book ORDONNANCEMENT EN TEMPS REEL D ATELIERS AVEC TEMPS DE PREPARATION DES RESSOURCES written by Christian Artigues and published by . This book was released on 1997 with total page 243 pages. Available in PDF, EPUB and Kindle. Book excerpt: CE TRAVAIL PRESENTE UNE METHODE ET DES OUTILS POUR L'ORDONNANCEMENT EN TEMPS REEL D'ATELIER LORSQUE DES CONTRAINTES COMPLEXES ISSUES DU TERRAIN SONT A PRENDRE EN COMPTE. L'APPROCHE RETENUE VISE A CARACTERISER NON PAS UNE SOLUTION AU PROBLEME D'ORDONNANCEMENT, MAIS UN ENSEMBLE DE SOLUTIONS SOUS LA FORME DE GROUPES D'OPERATIONS PERMUTABLES. DANS CE CONTEXTE, ON CONSIDERE UN ENSEMBLE D'ORDRES DE FABRICATION, CHACUN COMPORTANT UNE DATE DE LIVRAISON ET UNE DATE DE DEBUT AU PLUS TOT ET ETANT COMPOSE D'UN ENSEMBLE D'OPERATIONS D'EXECUTION. CHAQUE OPERATION D'EXECUTION NECESSITE SIMULTANEMENT POUR SA REALISATION UN ENSEMBLE DE RESSOURCES CUMULATIVES OU DISJONCTIVES, CHACUNE D'ELLES DEVANT ETRE SELECTIONNEE DANS UN ENSEMBLE PREDEFINI APPELE POOL. LES CONTRAINTES DE PRECEDENCE ENTRE LES OPERATIONS D'EXECUTION D'UN MEME ORDRE DE FABRICATION SONT DEFINIES PAR DES GAMMES NON LINEAIRES. ON PROPOSE DE CARACTERISER L'ACTIVITE DE PREPARATION NECESSAIRE SUR UN SOUS-ENSEMBLE DES RESSOURCES REQUISES POUR REALISER UNE OPERATION D'EXECUTION, PAR UN ENCHAINEMENT DE TROIS OPERATIONS ELEMENTAIRES DE PREPARATION : LE DEMONTAGE, LE CHANGEMENT DE TYPE ET LE MONTAGE. CHAQUE ACTIVITE DE PREPARATION DEPEND DE LA SEQUENCE DES OPERATIONS D'EXECUTION ET CHAQUE OPERATION DE PREPARATION PEUT NECESSITER EGALEMENT DES RESSOURCES COMPLEMENTAIRES. UN ALGORITHME POLYNOMIAL D'INSERTION D'UNE OPERATION DANS UN ORDONNANCEMENT, VISANT A MINIMISER LA CONSEQUENCE DE CETTE INSERTION SUR LES DATES DE LIVRAISON, EST DEFINI. IL EST UTILISE DANS LES METHODES PROPOSEES POUR GENERER UNE SEQUENCE DE GROUPES INITIALE ET POUR L'AMELIORATION DE TYPE TABOU DE CETTE SEQUENCE. CES METHODES SONT VALIDEES SUR DES PROBLEMES CLASSIQUES D'ORDONNANCEMENT DE PROJET ET SUR DES PROBLEMES D'ORDONNANCEMENT D'ATELIER AVEC PREPARATION GENERES ALEATOIREMENT. UN SYSTEME INTERACTIF D'AIDE A LA DECISION EST PROPOSE POUR L'ORDONNANCEMENT EN TEMPS REEL D'UN ATELIER AVEC PREPARATION, BASE SUR L'EXPLOITATION DE LA SEQUENCE DE GROUPES.

Download or read book L ORDONNANCEMENT SOUS CONTRAINTES TEMPS REEL written by JORN.. MIGGE and published by . This book was released on 1970 with total page 204 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'ACTIVITE DE CONTROLE ET DE COMMANDE D'UN PROCESSUS PHYSIQUE EST SOUVENT IMPLANTEE SOUS FORME D'UN ENSEMBLE DE TACHES RECURRENTES. LE COMPORTEMENT CORRECT (FAISABILITE) D'UN TEL SYSTEME TEMPS-REEL EST GUARANTI LORSQUE CHAQUE TACHE SE TERMINE AVANT SA DATE D'ECHEANCE. A CETTE FIN, UN MODELE MATHEMATIQUE COMPLET EST CONSTRUIT POUR UN ENSEMBLES DE TACHES RECURRENTES EXECUTEES SUR UN PROCESSEUR SELON UNE CERTAINE POLITIQUE D'ORDONNANCEMENT. LE BUT EST DE COMMENCER UNE ETUDE SYSTEMATIQUE AIDANT A LA CONCEPTION DE POLITIQUES D'ORDONNANCEMENT TEMPS REEL. LES TACHES ET LEURS COMPORTEMENTS SONT DECRITS EN TERMES D'HYPOTHESES SUR LEUR SEQUENCE DE DATES D'ACTIVATIONS ET DE TEMPS D'EXECUTION. LES POLITIQUES SONT REALISEES PAR DES PRIORITES DEPENDANTES DU TEMPS. CECI PERMET D'ANALYSER LES POLITIQUES INDEPENDAMMENT D'UN TYPE SPECIFIQUE DE TACHES. LE PREMIER CAS CONSIDERE EST CELUI DES POLITIQUES POUVANT ETRE REPRESENTEES PAR DES FONCTIONS DE PRIORITES INDEPENDANTES DU TEMPS. CE CAS COUVRE DES POLITIQUES CLASSIQUES COMME FPP, EDF, FIFO OU LIFO. CETTE THESE PROPOSE UNE ANALYSE UNIFIEE QUI MONTRE CERTAINES SIMILARITES ENTRE CES POLITIQUES. QUELQUES POLITIQUES DEFINIES PAR DES FONCTIONS DE PRIORITES DEPENDANTES DU TEMPS SONT AUSSI CONSIDEREES. LES POLITIQUES NON-PREEMPTIVES ET LE PROTOCOLE A PLAFOND DE PRIORITES SONT ETUDIES COMME CAS PARTICULIERS DU PARADIGME DE PROMOTION DE PRIORITES EN DEBUT D'EXECUTION QUI EST INTRODUIT A CETTE FIN. DE PLUS LA POLITIQUE ROUND ROBIN EST DEFINIE EN TERMES DE FONCTIONS DE PRIORITES ET DES BORNES SUR LES TEMPS DE REPONSES SONT ETABLIES. LE PROTOCOLE A PLAFOND DE PRIORITES EST ETENDU A ROUND ROBIN. DES BORNES SUR LES TEMPS DE REPONSES SONT INDISPENSABLES POUR LA FAISABILITE MAIS D'AUTRES CRITERES PEUVENT AUSSI ETRE INTERESSANTS A CONSIDERER. POUR CETTE RAISON UNE METHODE DE CALCUL DE BORNES SUR LES QUEUES DES DISTRIBUTIONS DES TEMPS DE REPONSES DANS LE CAS DE LA POLITIQUE FPP EST AUSSI PROPOSEE DANS CETTE THESE.

Download or read book Ordonnancement sous contraintes de precedence dans les systemes temps reel written by Toumi Bouchentouf and published by . This book was released on 1991 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: