Read Books Online and Download eBooks, EPub, PDF, Mobi, Kindle, Text Full Free.
Un Algorithme Pour Lordonnancement De Taches Temps Reel Sur Des Ressources Non Preemptives
Download Un Algorithme Pour Lordonnancement De Taches Temps Reel Sur Des Ressources Non Preemptives full books in PDF, epub, and Kindle. Read online Un Algorithme Pour Lordonnancement De Taches Temps Reel Sur Des Ressources Non Preemptives ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Book Synopsis Un algorithme pour l'ordonnancement de tâches temps-réel sur des ressources non-préemptives by : Alain Jorry
Download or read book Un algorithme pour l'ordonnancement de tâches temps-réel sur des ressources non-préemptives written by Alain Jorry and published by . This book was released on 1976 with total page 254 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ce document est la syntèse des travaux menés pour la résolution d'un problème d'ordonnancement, celui posé par le système temps-réel spectre (divers types de ressources, plusieurs ressources par type, relations de précédence, arrivées échelonnées, dates critiques...). La méthode utilisée pour parvenir à la solution et les réflexions successives y sont décrites et analysées. De plus, ce travail décrit l'algorithme solution depuis sa définition jusqu'à sa programmation, en passant par la démonstration de sa validité.
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 ORDONNANCEMENT EN-LIGNE DANS LES SYSTEMES INFORMATIQUES TEMPS REEL by : Patrick Martineau
Download or read book ORDONNANCEMENT EN-LIGNE DANS LES SYSTEMES INFORMATIQUES TEMPS REEL written by Patrick Martineau and published by . This book was released on 1994 with total page 244 pages. Available in PDF, EPUB and Kindle. Book excerpt: UN SYSTEME INFORMATIQUE DE CONTROLE TEMPS-REEL EST CHARGE DE L'ACQUISITION DE MESURES, LE CALCUL ET L'EMISSION DE COMMANDES AINSI QUE DE LA GESTION DES EVENEMENTS D'ALARME. ON PARLE D'INFORMATIQUE TEMPS-REEL LORSQUE CES ACTIVITES SONT CONTRAINTES A S'EXECUTER DANS UN LAPS DE TEMPS LIMITE. L'ORDONNANCEMENT DE L'EXECUTION DES PROGRAMMES INFORMATIQUES, APPELES TACHES, CONSTITUE UN PROBLEME COMPLEXE. POUR MODELISER LES CONTRAINTES DE TEMPS, UNE DATE CRITIQUE EST ASSOCIEE A CHAQUE TACHE. SI CELA EST POSSIBLE, L'EXECUTIF DOIT ACHEVER L'EXECUTION DE CHAQUE TACHE AVANT SA DATE CRITIQUE ; SINON, IL DOIT MINIMISER L'IMPACT DU DEPASSEMENT SUR LE SYSTEME CONTROLE. CETTE THESE PROPOSE DES SOLUTIONS A L'ORDONNANCEMENT DE TACHES DANS UN SYSTEME REPARTI, UN SYSTEME CONSTITUE DE PLUSIEURS PROCESSEURS ELOIGNES, RELIES ENTRE EUX PAR UN CANAL DE COMMUNICATION. L'APPROCHE PROPOSEE SE DECOMPOSE EN DEUX ETAPES: 1-L'ORDONNANCEMENT LOCAL: DANS UN PREMIER TEMPS, NOUS PROPOSONS UN ALGORITHME D'ORDONNANCEMENT MONOPROCESSEUR CAPABLE DE PRENDRE EN COMPTE CONTRAINTES DE PRECEDENCE, CONTRAINTES D'EXCLUSION MUTUELLE ET DE DECIDER EN-LIGNE S'IL PEUT GARANTIR L'EXECUTION AVANT ECHEANCE D'UNE CHARGE SUPPLEMENTAIRE. DANS LE CAS D'UN REJET, NOUS EVALUONS LES PERFORMANCES DE NOUVEAUX ALGORITHMES CONCUS POUR PRENDRE EN COMPTE DES SURCHARGES TEMPORAIRES DANS UN CONTEXTE DE PARTAGE DES RESSOURCES. CES ALGORITHMES CONSISTENT A ECARTER LES TACHES LES MOINS IMPORTANTES POUR L'ENVIRONNEMENT. 2-L'ORDONNANCEMENT REPARTI: UNE COOPERATION ENTRE LES DIFFERENTS NUDS DU SYSTEME PEUT ETRE IMPLEMENTEE POUR PERMETTRE L'EXECUTION DES TACHES PRECEDEMMENT ECARTEES. AINSI, LORSQU'UNE SURCHARGE LOCALE A UN NUD EST DETECTEE, LES TACHES LES MOINS IMPORTANTES POUR LE SYSTEME CONTROLE SONT ECARTEES. SI C'EST POSSIBLE, ELLES SERONT EXECUTEES SUR UN AUTRE NUD DU RESEAU. DANS LE CAS D'UNE SURCHARGE GLOBALE DU RESEAU, LES TACHES LES PLUS IMPORTANTES SONT EXECUTEES. L'ENSEMBLE DE CES TRAVAUX S'INTEGRE DANS LE PROJET EXORAT, EXECUTIF A ORDONNANCEMENT ADAPTATIF TOLERANT LES FAUTES, DESTINE A UN SYSTEME REPARTI
Book Synopsis Un mécanisme d'ordonnancement distribue de taches temps réel by : Leila Baccouche
Download or read book Un mécanisme d'ordonnancement distribue de taches temps réel written by Leila Baccouche and published by . This book was released on 1995 with total page 155 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans le cadre du contrôle de l'exécution d'applications temps réel, un mécanisme d'ordonnancement de tâches basé sur le critère du temps est indispensable. Le mécanisme se doit de garantir en priorité les tâches périodiques et de maximiser le nombre de celles apériodiques. Le mécanisme d'ordonnancement distribué que nous proposons, traite d'abord l'allocation statique de tâches temps réel, car les tâches périodiques doivent être allouées et ordonnancées avant l'exécution. Nous avons développé un algorithme d'allocation parallèle basé sur l'approche des algorithmes génétiques. Il permet d'obtenir des allocations correctes ou le respect des contraintes temporelles qui portent sur les tâches est assure, en effet l'ordonnancement est pris en compte lors de la construction du placement. Dans le cas de systèmes temps réel souples, le mécanisme d'ordonnancement distribué met en oeuvre deux algorithmes afin de gérer l'ordonnancement et l'allocation des tâches durant l'exécution. Le premier est un algorithme d'ordonnancement local en-ligne, simple et peu coûteux. Le second est un algorithme d'allocation dynamique, indépendant de la taille et de la topologie du réseau. Il se distingue par une heuristique visant à donner davantage de garantie aux tâches apériodiques par l'acceptation de celles-ci et par le transfert de tâches moins urgentes. Une réservation de l'emplacement des tâches sur le processeur désigné pour l'allocation permet de ne pas remettre en cause l'ordonnancement auparavant établi. La mise en oeuvre de ces algorithmes dans le noyau ParX du système d'exploitation parallèle Paros, nous a permis de montrer qu'un mécanisme d'ordonnancement distribué améliore les performances d'une application temps réel.
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 Contributions à des problèmes d'ordonnancement en ligne by : Frédéric Ridouard
Download or read book Contributions à des problèmes d'ordonnancement en ligne written by Frédéric Ridouard and published by . This book was released on 2006 with total page 234 pages. Available in PDF, EPUB and Kindle. Book excerpt: Durant cette thése, deux problèmes d’ordonnancement en-ligne ont été étudiés. Le premier problème concerne l’ordonnancement temps réel de tâches à suspension. Nous avons établi des résultats sur la difficulté à résoudre un tel problème d’ordonnancement (complexité, anomalies d’ordonnancement et non-optimalité des algorithmes en-ligne). Nous avons établi la non-compétitivité d’algorithmes en-ligne pour deux critères de performances même quand ceux-ci disposent de plus de ressources que l’adversaire. Enfin, nous avons étudié avec l’analyse de compétitivité différents tests d’ordonnançabilité. Le second problème se rapporte à l’ordonnancement par une machine à traitement par lot. Plusieurs algorithmes en-ligne compétitifs ont été présentés pour des problèmes dont la taille des lots est non bornée dont αH∞ qui fait partie des meilleurs algorithmes en-ligne pour le problème général (son ratio de compétitivité est égal à la borne inférieure du problème (1+p52)/2 ).
Book Synopsis Intégration des évènements non périodiques dans les systèmes temps réel by : Damien Masson
Download or read book Intégration des évènements non périodiques dans les systèmes temps réel written by Damien Masson and published by . This book was released on 2008 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les systèmes temps réel sont des systèmes informatiques composés de tâches auxquelles sont associées des contraintes temporelles, appelées échéances. Dans notre étude, nous distinguons deux familles de tâches : les tâches temps réel dur et les tâches temps réel souple. Les premières possèdent une échéance stricte, qu'elles doivent impérativement respecter. Elles sont de nature périodique, ou sporadique, et l'étude analytique de leur comportement fait l'objet d'un état de l'art conséquent. Les secondes sont de nature apériodique. Aucune hypothèse sur leur modèle d'arrivéée ni sur leur nombre n'est possible. Aucune garantie ne saurait être donnée sur leur comportement dès lors que l'on ne peut écarter les situations de surcharge, où la demande de calcul peut dépasser les capacités du système. La problématique devient alors l'étude des solutions d'ordonnancement mixte de tâches périodiques et apériodiques qui minimisent les temps de réponse des tâches apériodiques tout en garantissant les échéances des tâches périodiques. De nombreuses solutions ont été proposées ces vingt dernières années. On distingue les solutions basées sur la réservation de ressources, les serveurs de tâches, des solutions exploitant les instants d'inactivité du système, comme les algorithmes de vol de temps creux. La spécification Java pour le temps réel (RTSJ) voit le jour dans les années 2000. Si cette norme répond à de nombreux problèmes liés à la gestion de la mémoire ou à l'ordonnancement des tâches périodiques, celui de l'ordonnancement mixte de tâches périodiques et apériodiques n'est pas abordé. Nous proposons dans cette thèse d'apporter les modifications nécessaires aux algorithmes principaux d'ordonnancement mixte, le Polling Server (PS), le Deferrable Server (DS) et le Dynamic Approximate Slack Stealer (DASS) en vue de leur implantation avec RTSJ. Ces algorithmes ne peuvent en effet être implantés directement tels qu'ils sont décrits, car ils sont trop liés à l'ordonnanceur du système. Nous proposons des extensions aux APIs RTSJ existantes pour faciliter l'implantation de ces mécanismes modifiés, et nous fournissons les interfaces utiles à l'ajout d'autres solutions algorithmiques. Nous proposons également des modifications sur les APIs existantes de RTSJ afin de répondre aux problèmes d'intégration et d'implantation d'algorithmes d'analyse de faisabilité. Nous proposons enfin un algorithme d'estimation des temps creux, le Minimal Approximate Slack Stealer (MASS), dont l'implantation au niveau utilisateur, permet son intégration dans RTSJ.
Book Synopsis Ordonnancement dans les systèmes multiprocesseurs by : Lucian Finta
Download or read book Ordonnancement dans les systèmes multiprocesseurs written by Lucian Finta and published by . This book was released on 1996 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt: DANS CETTE THESE, NOUS CONSIDERONS PLUSIEURS PROBLEMES D'ORDONNANCEMENT POUR LES CALCULS PARALLELES DANS UN SYSTEME MULTIPROCESSEUR. UN PROGRAMME PARALLELE EST REPRESENTE PAR UN GRAPHE, OU LES SOMMETS REPRESENTENT LES TACHES ET LES ARCS LES PRECEDENCES ET/OU LES COMMUNICATIONS ENTRE LES TACHES. LE PROBLEME EST D'AFFECTER LES TACHES AUX PROCESSEURS ET D'ORDONNANCER LEUR EXECUTION, TOUT EN RESPECTANT LES CONTRAINTES DE PRECEDENCE, DANS LE BUT DE MINIMISER LA DUREE D'ORDONNANCEMENT. UN PREMIER SOUS-PROBLEME CONSIDERE EST LE PROBLEME D'ORDONNANCEMENT AVEC CONTRAINTE DE RESSOURCES, I.E. LE CAS OU LE SYSTEME MULTIPROCESSEUR A UN SEUL BUS DE COMMUNICATION ET A TOUT MOMENT IL Y A AU PLUS UN MESSAGE SUR LE BUS. DANS CE CAS ON DEMONTRE QUE LE PROBLEME EST NP-DIFFICILE AU SENS FORT. LE DEUXIEME SOUS-PROBLEME TRAITE EST L'ORDONNANCEMENT D'UNE SEULE MACHINE SOUS CONTRAINTES DE PRECEDENCE AVEC RETARD. SI LES TEMPS D'EXECUTION DE TACHES SONT UNITAIRES ET LES DUREES DE RETARDS SONT ENTIERES, ON PROUVE QUE LE PROBLEME EST NP-DIFFICILE AU SENS FORT. CEPENDANT, SI LES TEMPS D'EXECUTION DE TACHES SONT ENTIERS ET LES DUREES DE RETARDS SONT UNITAIRES, LE PROBLEME EST POLYNOMIAL, ET UN ALGORITHME QUADRATIQUE EST PRESENTE. LES CAS D'EXECUTIONS PREEMPTIVES ET NON-PREEMPTIVES SONT TOUS LES DEUX CONSIDERES. EN SUITE, L'ORDONNANCEMENT DE GRAPHES DE TACHES UET-UCT SUR DEUX PROCESSEURS EST ANALYSE. UN ALGORITHME OPTIMAL QUADRATIQUE EST PROPOSE POUR UNE CLASSE DE GRAPHES SERIE-PARALLELES. EN FIN, L'ORDONNANCEMENT STOCHASTIQUE D'UN GRAPHE DE TACHES SUR DEUX PROCESSEURS IDENTIQUES EST LE QUATRIEME SOUS-PROBLEME CONSIDERE. NOUS PROUVONS QU'UNE POLITIQUE OPTIMALE PREEMPTIVE MINIMISE STOCHASTIQUEMENT LA LONGUEUR DE L'ORDONNANCEMENT, POURVU QUE LE GRAPHE DE PRECEDENCE APPARTIENT A LA CLASSE DE GRAPHES DE TYPE FORET COUPEE
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 Contributions à l'ordonnancement et l'analyse des systèmes temps réel critiques by : François Dorin
Download or read book Contributions à l'ordonnancement et l'analyse des systèmes temps réel critiques written by François Dorin and published by . This book was released on 2010 with total page 154 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans nos travaux, nous nous sommes intéressés aux politiques d'ordonnancement en-ligne, pour lesquelles l'ordre d'exécution des tâches est déterminé sur la base des tâches actives dans le système et sans connaissance a priori des tâches qui arriveront dans le futur. Cette problématique s'étend aux réseaux informatiques pour ordonnancer les messages sur le réseau informatique interconnectant les différents calculateurs du système temps réel. La première contribution concerne le placement et ordonnancement simultanés des tâches dans un système temps réel distribué, permettant de minimiser le nombre de processeurs nécessaires pour respecter les spécifications temporelles des tâches. La seconde contribution concerne les tâches à criticité multiple. L'objectif de ce modèle est de prendre en compte la notion de criticité des différentes tâches, comme par exemple dans la norme DO-178B utilisée en aéronautique. Enfin, nous nous sommes intéressés aux systèmes multiprocesseurs ordonnancés par des algorithmes d'ordonnancement semi-partitionné. Cette classe d'algorithme utilise une stratégie par partitionnement pour répartir les tâches parmi les processeurs tout en autorisant la migration des tâches qui ne peuvent pas être actées à un processeur donné sans violation d'échéance.
Book Synopsis Sûreté temporelle pour les systèmes temps réel multiprocesseurs by : Frédéric Fauberteau
Download or read book Sûreté temporelle pour les systèmes temps réel multiprocesseurs written by Frédéric Fauberteau and published by . This book was released on 2011 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les systèmes temps réel à contraintes temporelles strictes sont caractérisés par des ensembles de tâches pour lesquelles sont connus l'échéance, le modèle d'arrivée (fréquence) et la durée d'exécution pire cas (WCET). Nous nous intéressons à l'ordonnancement de ces systèmes sur plate-forme multiprocesseur. Garantir le respect des échéances pour un algorithme d'ordonnancement est l'une des problématiques majeures de cette thématique. Nous allons plus loin en nous intéressant à la sûreté temporelle, que nous caractérisons par les propriétés (i) de robustesse et (ii) de viabilité. La robustesse consiste à proposer un intervalle sur les augmentations(i-a) de WCET et (i-b) de fréquence tel que les échéances soient respectées. La viabilité consiste cette fois à garantir le respect des échéances lors du relâchement des contraintes (ii-a) de WCET (réduction), (ii-b) de fréquence (réduction) et (ii-c) d'échéance(augmentation). La robustesse revient alors à tolérer l'imprévu, tandis que la viabilité est la garantie que l'algorithme d'ordonnancement n'est pas sujet à des anomalies suite à un relâchement de contraintes. Nous considérons l'ordonnancement en priorités fixes, où chaque occurrence d'une tâche est ordonnancée avec la même priorité. Dans un premier temps, nous étudions la propriété de robustesse dans les approches d'ordonnancement hors-ligne et sans migration (partitionnement). Nous traitons le cas des tâches avec ou sans partage de ressources. Dans un second temps, nous étudions la propriété de viabilité d'une approche d'ordonnancement en ligne avec migrations restreintes et sans partage de ressources.
Book Synopsis Decomposition Methods for Complex Factory Scheduling Problems by : Irfan M. Ovacik
Download or read book Decomposition Methods for Complex Factory Scheduling Problems written by Irfan M. Ovacik and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 217 pages. Available in PDF, EPUB and Kindle. Book excerpt: The factory scheduling problem, that of allocating machines to competing jobs in manufacturing facilities to optimize or at least improve system performance, is encountered in many different manufacturing environments. Given the competitive pressures faced by many companies in today's rapidly changing global markets, improved factory scheduling should contribute to a flrm's success. However, even though an extensive body of research on scheduling models has been in existence for at least the last three decades, most of the techniques currently in use in industry are relatively simplistic, and have not made use of this body of knowledge. In this book we describe a systematic, long-term research effort aimed at developing effective scheduling algorithms for complex manufacturing facilities. We focus on a speciflc industrial context, that of semiconductor manufacturing, and try to combine knowledge of the physical production system with the methods and results of scheduling research to develop effective approximate solution procedures for these problems. The class of methods we suggest, decomposition methods, constitute a broad family of heuristic approaches to large, NP-hard scheduling problems which can be applied in other environments in addition to those studied in this book.
Book Synopsis FiWi Access Networks by : Martin Maier
Download or read book FiWi Access Networks written by Martin Maier and published by Cambridge University Press. This book was released on 2011-12-15 with total page 276 pages. Available in PDF, EPUB and Kindle. Book excerpt: The evolution of broadband access networks toward bimodal fiber-wireless (FiWi) access networks, described in this book, may be viewed as the endgame of broadband access. After discussing the economic impact of broadband access and current worldwide deployment statistics, all the major legacy wireline and wireless broadband access technologies are reviewed. State-of-the-art GPON and EPON fiber access networks are described, including their migration to next-generation systems such as OCDMA and OFDMA PONs. The latest developments of wireless access networks are covered, including VHT WLAN, Gigabit WiMAX, LTE and WMN. The advantages of FiWi access networks are demonstrated by applying powerful network coding, heterogeneous optical and wireless protection, hierarchical frame aggregation, hybrid routing and QoS continuity techniques across the optical-wireless interface. The book is an essential reference for anyone working on optical fiber access networks, wireless access networks or converged FiWi systems.
Book Synopsis Adaptive Stream Mining by : Albert Bifet
Download or read book Adaptive Stream Mining written by Albert Bifet and published by IOS Press. This book was released on 2010 with total page 224 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is a significant contribution to the subject of mining time-changing data streams and addresses the design of learning algorithms for this purpose. It introduces new contributions on several different aspects of the problem, identifying research opportunities and increasing the scope for applications. It also includes an in-depth study of stream mining and a theoretical analysis of proposed methods and algorithms. The first section is concerned with the use of an adaptive sliding window algorithm (ADWIN). Since this has rigorous performance guarantees, using it in place of counters or accumulators, it offers the possibility of extending such guarantees to learning and mining algorithms not initially designed for drifting data. Testing with several methods, including Naïve Bayes, clustering, decision trees and ensemble methods, is discussed as well. The second part of the book describes a formal study of connected acyclic graphs, or 'trees', from the point of view of closure-based mining, presenting efficient algorithms for subtree testing and for mining ordered and unordered frequent closed trees. Lastly, a general methodology to identify closed patterns in a data stream is outlined. This is applied to develop an incremental method, a sliding-window based method, and a method that mines closed trees adaptively from data streams. These are used to introduce classification methods for tree data streams.
Book Synopsis The Abuse of Casuistry by : Albert R. Jonsen
Download or read book The Abuse of Casuistry written by Albert R. Jonsen and published by Univ of California Press. This book was released on 1988 with total page 438 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this engaging study, the authors put casuistry into its historical context, tracing the origin of moral reasoning in antiquity, its peak during the sixteenth and early seventeenth century, and its subsequent fall into disrepute from the mid-seventeenth century.
Book Synopsis CIKM'13 by : CIKM 13 Conference Committee
Download or read book CIKM'13 written by CIKM 13 Conference Committee and published by . This book was released on 2013-10-27 with total page 938 pages. Available in PDF, EPUB and Kindle. Book excerpt: CIKM'13: 22nd ACM International Conference on Information and Knowledge Management Oct 27, 2013-Nov 01, 2013 San Francisco, USA. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
Download or read book Cell-to-Cell Mapping written by C.S. Hsu and published by Springer Science & Business Media. This book was released on 2013-03-09 with total page 364 pages. Available in PDF, EPUB and Kindle. Book excerpt: For many years, I have been interested in global analysis of nonlinear systems. The original interest stemmed from the study of snap-through stability and jump phenomena in structures. For systems of this kind, where there exist multiple stable equilibrium states or periodic motions, it is important to examine the domains of attraction of these responses in the state space. It was through work in this direction that the cell-to-cell mapping methods were introduced. These methods have received considerable development in the last few years, and have also been applied to some concrete problems. The results look very encouraging and promising. However, up to now, the effort of developing these methods has been by a very small number of people. There was, therefore, a suggestion that the published material, scattered now in various journal articles, could perhaps be pulled together into book form, thus making it more readily available to the general audience in the field of nonlinear oscillations and nonlinear dynamical systems. Conceivably, this might facilitate getting more people interested in working on this topic. On the other hand, there is always a question as to whether a topic (a) holds enough promise for the future, and (b) has gained enough maturity to be put into book form. With regard to (a), only the future will tell. With regard to (b), I believe that, from the point of view of both foundation and methodology, the methods are far from mature.
