Read Books Online and Download eBooks, EPub, PDF, Mobi, Kindle, Text Full Free.
Ordonnancement Temps Reel Avec Contraintes De Qualite De Service
Download Ordonnancement Temps Reel Avec Contraintes De Qualite De Service full books in PDF, epub, and Kindle. Read online Ordonnancement Temps Reel Avec Contraintes De Qualite De Service ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Book Synopsis Ordonnancement temps réel avec contraintes de qualité de service by : Audrey Marchand
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.
Book Synopsis Real-Time Systems, Architecture, Scheduling, and Application by : Seyed Morteza Babamir
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).
Book Synopsis Ordonnancement dans les systèmes temps réel by : Maryline Chetto
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.
Book Synopsis IoT-Enabled Energy Efficiency Assessment of Renewable Energy Systems and Micro-grids in Smart Cities by : Mustapha Hatti
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:
Book Synopsis Ordonnancement temps réel pour l'optimisation de la qualité de service dans les systèmes autonomes en énergie by : Maïssa Abdallah
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 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:
Book Synopsis Algorithmique et modélisation pour la qualité de service des systèmes répartis temps réel by : Laurent Leboucher
Download or read book Algorithmique et modélisation pour la qualité de service des systèmes répartis temps réel written by Laurent Leboucher and published by . This book was released on 1998 with total page 272 pages. Available in PDF, EPUB and Kindle. Book excerpt: NOTRE ETUDE PORTE SUR LES PROPRIETES TEMPORELLES DES APPLICATIONS INFORMATIQUES REPARTIES (LES APPLICATIONS DE CONTROLE TEMPS REEL UTILISEES DANS L'AERONAUTIQUE, LA DEFENSE, MAIS AUSSI LES APPLICATIONS MULTIMEDIA REPARTIES TELLES QUE LA VISIOCONFERENCE OU LES JEUX EN RESEAU). NOUS ABORDONS LA QOS (QUALITE DE SERVICE) TEMPS REEL PAR DEUX CHEMINS : _ UN CHEMIN ALGORITHMIQUE QUI NOUS CONDUIT A ETUDIER LES PRINCIPAUX ALGORITHMES D'ORDONNANCEMENT DE RESSOURCES CPU. NOUS FOURNISSONS UNE APPROCHE THEORIQUE UNIFIEE QUI NOUS PERMET DE RETROUVER DES RESULTATS CLASSIQUES DE LA LITTERATURE SOUVENT DEMONTRES DE MANIERE AD-HOC DANS DES CAS PARTICULIERS (PAR EXEMPLE SOUS DES HYPOTHESES INUTILES PERIODICITE DES TACHES). NOUS MONTRONS QUE LES CLASSES DE TRAFIC PEUVENT ETRE PLONGEES DANS UNE STRUCTURE D'ESPACE VECTORIEL NORME. NOUS INTRODUISONS ALORS L'EFFICACITE QUI MESURE LA DISTANCE TOPOLOGIQUE D'UN ALGORITHME A L'OPTIMALITE. NOUS INTRODUISONS UNE NOTION DE CLAIRVOYANCE QUI PERMET D'OBTENIR DES PREUVES D'IMPOSSIBILITE ET ETABLISSONS UN LIEN ENTRE L'ORDONNANCEMENT ET LA THEORIE DU CONTROLE OPTIMAL DE BELLMAN. _ UN CHEMIN FORMEL QUI CONDUIT A PRECISER LA NATURE CONTRACTUELLE DE LA QOS DANS LE MODELE D'ARCHITECTURE A OBJETS REPARTIS OPEN DITRIBUTED PROCESSING. NOUS PARTONS DU MODELE SEMANTIQUE _ D'ABADI ET LAMPORT ET DE LA LOGIQUE TLA. GRACE A DES OUTILS DE COMPOSITION PUISSANTS, NOTRE CADRE PERMET DE COMPRENDRE COMMENT DES CONTRAINTES TEMPORELLES DE BOUT EN BOUT PEUVENT ETRE SATISFAITES SUR UN SYSTEME REPARTI. CES TRAVAUX SE SONT CONCRETISES PAR DES ACTIONS DE NORMALISATION (ISO, OMG). NOUS ILLUSTRONS NOS TRAVAUX PAR LA REALISATION EXPERIMENTALE D'UN CONTROLEUR D'ADMISSION DE FLUX MULTIMEDIA RELIANT DES OBJETS REPARTIS. NOTRE CONTROLEUR PERMET L'ETABLISSEMENT DE FLUX DE BOUT EN BOUT SOUMIS A DES CONTRAINTES DE DELAI, DE GIGUE ET DE DEBIT. IL S'APPUIE SUR L'APPROCHE HOLISTIQUE DE TINDELL ET SUR UNE PLATE-FORME A OBJETS REPARTIS EXPERIMENTALE DEVELOPPEE AU CNET.
Book Synopsis Évaluation de performances temporelles et optimisation de l'ordonnancement de tâches et messages by : Nicolas Navet
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.
Book Synopsis Ordonnancement sous contraintes de qualité de service dans les clouds by : Tom Guérout
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 0 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.
Book Synopsis ORDONNANCEMENT AUTOMATIQUE D'APPLICATIONS PRESENTANT DES CONTRAINTES DE QUALITE DE SERVICE TEMPORELLES by : JOCELYNE.. GISSLER FARHAT
Download or read book ORDONNANCEMENT AUTOMATIQUE D'APPLICATIONS PRESENTANT DES CONTRAINTES DE QUALITE DE SERVICE TEMPORELLES written by JOCELYNE.. GISSLER FARHAT and published by . This book was released on 1996 with total page 171 pages. Available in PDF, EPUB and Kindle. Book excerpt: DANS CETTE THESE NOUS NOUS INTERESSONS AU SUPPORT DES APPLICATIONS PRESENTANT DES CONTRAINTES DE QUALITE DE SERVICE (QOS) TEMPORELLES. LA PRISE EN COMPTE DE CES CONTRAINTES EST AJOURD'HUI FAITE MANUELLEMENT PAR LE DEVELOPPEUR D'APPLICATIONS QUI DOIT LES TRADUIRE EN DIRECTIVES D'ORDONNANCEMENT. NOUS PROPOSONS UNE APPROCHE DANS LAQUELLE LES CONTRAINTES DE QOS TEMPORELLES SONT AUTOMATIQUEMENT TRADUITES EN DIRECTIVES D'ORDONNANCEMENT. DANS CETTE APPROCHE, LE DEVELOPPEUR D'APPLICATIONS SPECIFIE DES CONTRAINTES TEMPORELLES ENTRE LES EVENEMENTS IMPORTANTS DE SON APPLICATION (SOUS FORME D'EQUATIONS DE QOS SIMPLES). CES CONTRAINTES TEMPORELLES SONT ALORS AUTOMATIQUEMENT TRADUITES EN DIRECTIVES D'ORDONNACEMENT. POUR CE FAIRE, LES FILS DE CONTROLE DE L'APPLICATION SONT DECOUPES EN BRINS AUXQUELS ON ASSOCIE DES ECHEANCES DERIVEES DES CONTRAINTES TEMPORELLES SPECIFIEES. LA DECOMPOSITION EN BRINS GUIDE L'ORDONNANCEMENT DES FILS DE CONTROLE APPLICATIFS ASSOCIES. LE SYSTEME SUPPORT MET EN UVRE UN MECANISME D'ORDONNANCEMENT COOPERATIF BASE SUR UN DIALOGUE ENTRE L'ORDONNANCEUR DU SYSTEME D'EXPLOITATION ET L'ORDONNANCEUR APPLICATIF. LES DEUX ORDONNANCEURS APPLIQUENT UNE POLITIQUE D'ORDONNANCEMENT EDF (ECHEANCE LA PLUS PROCHE D'ABORD). ILS ORDONNANCENT AU MIEUX EN TENANT COMPTE DES CONTRAINTES IMPOSEES. ETANT DONNE QUE CETTE APPROCHE NE PERMET PAS DE GARANTIR LE RESPECT DES CONTRAINTES DE QOS TEMPORELLES, LES APPLICATIONS DOIVENT ETRE CAPABLES D'ADAPTER CES CONTRAINTES A L'ENVIRONNEMENT D'EXECUTION ET PAR LA-MEME AUX VARIATIONS DE LA CHARGE DU SYSTEME. POUR CETTE RAISON, L'ORDONNANCEUR APPLICATIF MET EN UVRE UNE POLITIQUE DE GESTION DES VARIATIONS DE LA CHARGE BASEE SUR LES SPECIFICATIONS DU DEVELOPPEUR D'APPLICATIONS. UN PROTOCOLE DE PARTAGE DES RESSOURCES EST EGALEMENT PROPOSE POUR PERMETTRE AUX FILS DE CONTROLE APPLICATIFS DE PARTAGER DES RESSOURCES SANS RISQUE D'INTER-BLOCAGE. DES MESURES DU COUT ADDITIONNEL ENGENDRE PAR L'ORDONNANCEMENT AUTOMATIQUE SONT EFFECTUEES GRACE A UN DEMONSTRATEUR QUE NOUS AVONS DEVELOPPE. LES MESURES SONT ENCOURAGEANTES. ELLES SONT, CEPENDANT TRES DEPENDANTES DE LA STRUCTURE DU GRAPHE DE DEPENDANCES GENERE A PARTIR DES PORTIONS DE CODE DE L'APPLICATION.
Book Synopsis L'ordonnancement dans les systemes de controle temps-reel a contraintes strictes by : Houssine Chetto
Download or read book L'ordonnancement dans les systemes de controle temps-reel a contraintes strictes written by Houssine Chetto and published by . This book was released on 1990 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Book Synopsis Ordonnancement temps réel multiprocesseur de tâches non-préemptives avec contraintes de précédence, de périodicité stricte et de latence by : Omar Kermia
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.
Book Synopsis L'ORDONNANCEMENT SOUS CONTRAINTES TEMPS-REEL by : JORN.. MIGGE
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.
Book Synopsis Ordonnancement non préemptif et condition d'ordonnançabilité pour systèmes embarqués à contraintes temps réel by : Liliana Cucu
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.
Book Synopsis L'ordonnancement dans les systèmes de contrôle temps-réel à contraintes strictes by : Houssine Chetto
Download or read book L'ordonnancement dans les systèmes de contrôle temps-réel à contraintes strictes written by Houssine Chetto and published by . This book was released on 1990 with total page 186 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans les applications de contrôle de procédé industriel, le système informatique doit exécuter des tâches en respectant des échéances. Ces tâches sont en général périodiques excepté dans des situations de perturbations ou des tâches supplémentaires dites sporadiques peuvent demander à s'exécuter. Dans la première partie de cette thèse, nous étudions le problème de l'ordonnancement de taches périodiques et sporadiques sur un système monoprocesseur. Nous donnons de nouvelles propriétés de l'algorithme EARLIEST DEADLINE puis décrivons, sous différentes hypothèses, un test d'acceptation optimal. Nous proposons un schéma d'ordonnancement dynamique efficace qui tient compte des surcouts. Nous nous intéressons ensuite au problème de la conception d'un système temps-réel exempt de fautes temporelles. Dans ce but, le mécanisme à échéance est utilisé pour fournir de la tolérance aux fautes, en associant à chaque tâche un processus primaire et un processus secondaire. Nous décrivons une stratégie d'ordonnancement optimale pour implémenter ce mécanisme. Sa principale caractéristique est son aptitude à réagir en fonction de l'état courant du système tel que l'échec d'un primaire.
Book Synopsis ORDONNANCEMENT EN TEMPS REEL D'ATELIERS AVEC TEMPS DE PREPARATION DES RESSOURCES by : Christian Artigues
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.
Book Synopsis Ordonnancement sous contraintes de precedence dans les systemes temps reel by : Toumi Bouchentouf
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:
