Academic literature on the topic 'Préemptif'

Les réactivations à herpès simplex virus (HSV) et à cytomégalovirus (CMV) sont fréquentes chez le patient non immunodéprimé de réanimation. La réactivation HSV est localisée aux voies aériennes ; elle débute au niveau oropharyngé, progresse de façon descendante avec la contamination des voies aériennes distales et peut aboutir, chez certains malades, à une véritable bronchopneumonie herpétique. Elle est en outre associée à un pronostic défavorable. Le traitement prophylactique et préemptif des réactivations HSV ne peut pas être préconisé à l’heure actuelle. Le traitement curatif repose sur un avis d’experts, chez des malades présentant soit une charge virale élevée dans les voies aériennes distales, soit des signes cytologiques d’atteinte parenchymateuse pulmonaire sur les cellules recueillies lors du lavage bronchoalvéolaire. La réactivation CMV sanguine est fréquente et peut être isolée ou associée à une réactivation/atteinte pulmonaire et est aussi associée à un pronostic défavorable. Le traitement prophylactique de la réactivation CMV ne peut pas être préconisé, et le traitement préemptif est en cours d’évaluation. À l’heure actuelle, le traitement curatif des maladies pulmonaires à CMV repose soit sur des signes histologiques d’atteinte pulmonaire, soit sur un faisceau d’arguments clinicobiologiques évoquant une possible maladie à CMV.

Cette thèse traite de l'ordonnancement non préemptif à machines parallèles avec contraintes d'indisponibilité des machines. Les applications à ce genre de problèmes sont particulièrement nombreuses dans le cadre de l'informatique parallèle et également en gestion d'atelier de production. Dans cette thèse, nous définissons une nouvelle classe d'ordre, la classe des ordres sur-intervalles qui généralise les classes d'ordres intervalles et quasi-intervalles. Nous nous intéressons particulièrement à résoudre le problème d'ordonnancement non préemptif de tâches de durées unitaires (UET) grâce à une méthode de résolution exacte. Nous nous penchons ensuite sur la résolution du problème non UET que nous résolvons grâce à une méthode tabou
This thesis deals with the scheduling of tasks on parallel machines with unavailability constraints. Such a problem might be encountered in parallel computing, or in management of a production floor. The unitary execution time tasks scheduling problem is fundamental because it can be solving very efficiency. It is useful for the resolution of arbitrary duration tasks scheduling problem. There is a narrowest gap between the preemptive unitary execution time tasks scheduling problem and the arbitrary execution time tasks scheduling problem. If the durations of the tasks are bounded, we can use it to find lower bound for the general problem

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 par la suite et après avoir motivé l'intérêt d'une nouvelle contrainte temps réel de latence, 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éfinies par un graphe orienté acyclique infiniment répété. Pour le cas monoprocesseur, on étudie trois problèmes d'ordonnancement : celui des systèmes avec contraintes de précédences et de périodicités, celui des systèmes avec contraintes de précédences et de latences et enfin celui 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 différentes 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 ensuite au cas multiprocesseur où l'architecture est définie par un graphe non-orienté. On étudie trois problèmes d'implantation (distribution et ordonnancement) dans les mêmes cas qu'en monoprocesseur en tenant compte des temps de 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.

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
After a state of art on classical scheduling and on real-ime scheduling, particularly, allowing to define the notions used afterwards and after motivating a new real-time constraint of latency, we propose a model which describes the real-time systems with precedence, periodicity and latency constraints. In this model, the precedences are defined using a directed acyclic graph. In the monoprocessor case, we study three problems of scheduling: systems with precedence and periodicity constraints, systems with precedence and latency constraint and systems with precedence, periodicity and latency constraints. For each problem we study the relation between the precedences and the periodicity, respectively the latency, we give schedulability conditions and we propose scheduling algorithm which are proved optimal (if there is a schedule, the algorithm will find it). For the multiprocessor case the architecture is defined by a non-oriented graph. We study three multiprocessor scheduling problems: of systems with precedences and periodicty constraints, of systemes with precedences and latency constraints and of systems with precedences, periodicity and latency constraints. For each problem the model takes into account the communications. We prove that each problem is NP-hard and we propose heuristics. The performances of each heuristic is compared to those of an exact algorithm of type branch and bound, using numerical simulations

Dans cette thèse nous étudions le problème d'ordonnancement temps réel multiprocesseur préemptif avec prise en compte du coût exact du système d'exploitation. Ce coût est formé de deux parties : une partie facile à déterminer, correspondant au coût de l'ordonnanceur et une partie difficile à déterminer, correspondant au coût de la préemption. Cette difficulté est due au fait qu'une préemption peut en engendrer une autre, pouvant ainsi créer un phénomène d'avalanche. Dans un premier temps, nous avons étudié l'ordonnancement hors ligne multiprocesseur de tâches indépendantes avec prise en compte du coût exact de la préemption et proposé une analyse d'ordonnançabilité fondée sur une heuristique d'ordonnancement multiprocesseur. Cette heuristique utilise la stratégie d'ordonnancement multiprocesseur par partitionnement. Pour prendre en compte le coût exact de la préemption sur chaque processeur nous avons utilisé la condition d'ordonnançabilité proposée par Meumeu et Sorel. Cette condition d'ordonnançabilité pour des tâches à priorités fixes, est basée sur une opération binaire d'ordonnancement qui permet de compter le nombre exact de préemption et d'ajouter leur coût dans l'analyse d'ordonnançabilité des tâches. L'heuristique proposée permet de maximiser le facteur d'utilisation restant afin de répartir équitablement les tâches sur les processeurs et de réduire leur temps de réponse. Elle produit une table d'ordonnancement hors ligne. Dans un second temps, nous avons étudié l'ordonnancement hors ligne multiprocesseur de tâches dépendantes avec prise en compte du coût exact de la préemption. Puisque la condition d'ordonnançabilité utilisée pour ordonnancer les tâches indépendantes ne s'applique qu'à des tâches à priorités fixes, elle ne permet pas de gérer les inversions de priorités que peuvent entraîner les tâches dépendantes. Nous avons donc proposé une nouvelle condition d'ordonnançabilité pour des tâches à priorités dynamiques. Elle prend en compte le coût exact de la préemption et les dépendances sans aucune perte de données. Ensuite en utilisant toujours la stratégie d'ordonnancement par partitionnement, nous avons proposé pour des tâches dépendantes une heuristique d'ordonnancement multiprocesseur qui réutilise cette nouvelle condition d'ordonnançabilité au niveau de chaque processeur. Cette heuristique d'ordonnancement prend en compte les coûts de communication inter-processeurs. Elle permet aussi de minimiser sur chaque processeur le makespan (temps total d'exécution) des tâches. Cette heuristique produit pour chaque processeur une table d'ordonnancement hors ligne contenant les dates de début et de fin de chaque tâches et de chaque commmunication inter-processeur. En supposant que nous avons une architecture multiprocesseur de type dirigée par le temps (Time-Triggered) pour laquelle tous les processeurs ont une référence de temps unique, nous avons proposé pour chacun des processeurs un ordonnanceur en ligne qui utilise la table d'ordonnancement produite lors de l'ordonnancement hors ligne. Cet ordonnanceur en ligne a l'avantage d'avoir un coût constant qui de plus est facile à déterminer de manière exacte. En effet il correspond uniquement au temps de lecture dans la table d'ordonnancement pour obtenir la tâche sélectionnée lors de l'analyse d'ordonnançabilité hors ligne, alors que dans les ordonnanceurs classiques en ligne ce coût correspond à mettre à jour la liste des tâches qui sont dans l'état prêt à l'exécution puis à sélectionner une tâche selon un algorithme, par exemple RM, DM, EDF, etc. Il varie donc avec le nombre de tâches prêtes à s'exécuter qui change d'une invocation à l'autre de l'ordonnanceur. C'est ce coût qui est utilisé dans les analyses d'ordonnançabilités évoquées ci-dessus. Un autre avantage est qu'il n'est pas nécessaire de synchroniser l'accès aux mémoires de données partagées par plusieurs tâches, car cette synchronisation a été déjà effectuée lors de l'analyse d'ordonnançabilité hors ligne.

Dans cette thèse nous étudions le problème d'ordonnancement temps réel multiprocesseur préemptif avec prise en compte du coût exact du système d'exploitation. Ce coût est formé de deux parties : une partie facile à déterminer, correspondant au coût de l'ordonnanceur et une partie difficile à déterminer, correspondant au coût de la préemption. Cette difficulté est due au fait qu'une préemption peut en engendrer une autre, pouvant ainsi créer un phénomène d'avalanche. Dans un premier temps, nous avons étudié l'ordonnancement hors ligne multiprocesseur de tâches indépendantes avec prise en compte du coût exact de la préemption et proposé une analyse d'ordonnançabilité fondée sur une heuristique d'ordonnancement multiprocesseur. Cette heuristique utilise la stratégie d'ordonnancement multiprocesseur par partitionnement. Pour prendre en compte le coût exact de la préemption sur chaque processeur nous avons utilisé la condition d'ordonnançabilité proposée par Meumeu et Sorel. Cette condition d'ordonnançabilité pour des tâches à priorités fixes, est basée sur une opération binaire d'ordonnancement qui permet de compter le nombre exact de préemption et d'ajouter leur coût dans l'analyse d'ordonnançabilité des tâches. L'heuristique proposée permet de maximiser le facteur d'utilisation restant afin de répartir équitablement les tâches sur les processeurs et de réduire leur temps de réponse. Elle produit une table d'ordonnancement hors ligne. Dans un second temps, nous avons étudié l'ordonnancement hors ligne multiprocesseur de tâches dépendantes avec prise en compte du coût exact de la préemption. Puisque la condition d'ordonnançabilité utilisée pour ordonnancer les tâches indépendantes ne s'applique qu'à des tâches à priorités fixes, elle ne permet pas de gérer les inversions de priorités que peuvent entraîner les tâches dépendantes. Nous avons donc proposé une nouvelle condition d'ordonnançabilité pour des tâches à priorités dynamiques. Elle prend en compte le coût exact de la préemption et les dépendances sans aucune perte de données. Ensuite en utilisant toujours la stratégie d'ordonnancement par partitionnement, nous avons proposé pour des tâches dépendantes une heuristique d'ordonnancement multiprocesseur qui réutilise cette nouvelle condition d'ordonnançabilité au niveau de chaque processeur. Cette heuristique d'ordonnancement prend en compte les coûts de communication inter-processeurs. Elle permet aussi de minimiser sur chaque processeur le makespan (temps total d'exécution) des tâches. Cette heuristique produit pour chaque processeur une table d'ordonnancement hors ligne contenant les dates de début et de fin de chaque tâches et de chaque commmunication inter-processeur. En supposant que nous avons une architecture multiprocesseur de type dirigée par le temps (Time-Triggered) pour laquelle tous les processeurs ont une référence de temps unique, nous avons proposé pour chacun des processeurs un ordonnanceur en ligne qui utilise la table d'ordonnancement produite lors de l'ordonnancement hors ligne. Cet ordonnanceur en ligne a l'avantage d'avoir un coût constant qui de plus est facile à déterminer de manière exacte. En effet il correspond uniquement au temps de lecture dans la table d'ordonnancement pour obtenir la tâche sélectionnée lors de l'analyse d'ordonnançabilité hors ligne, alors que dans les ordonnanceurs classiques en ligne ce coût correspond à mettre à jour la liste des tâches qui sont dans l'état prêt à l'exécution puis à sélectionner une tâche selon un algorithme, par exemple RM, DM, EDF, etc. Il varie donc avec le nombre de tâches prêtes à s'exécuter qui change d'une invocation à l'autre de l'ordonnanceur. C'est ce coût qui est utilisé dans les analyses d'ordonnançabilités évoquées ci-dessus. Un autre avantage est qu'il n'est pas nécessaire de synchroniser l'accès aux mémoires de données partagées par plusieurs tâches, car cette synchronisation a été déjà effectuée lors de l'analyse d'ordonnançabilité hors ligne
In this thesis we studied the problem of multiprocessor preemptive real-time scheduling taking into account the exact cost of the operating system (OS). This cost is composed of two parts: a part easy to determine, corresponding to the scheduler cost and another part difficult to determine, corresponding to the preemption cost. This difficulty is due to the fact that a preemption can involve another one, being able to so create an avalanche phenomenon. First, we studied the off-line multiprocessor real-time scheduling of independent tasks taking into account the exact preemption cost. We proposed a schedulability analysis based on a multiprocessor scheduling heuristic. This heuristic uses the partitioned multiprocessor scheduling approach. In order to take into account the exact preemption cost on every processor we use the schedulability condition proposed by Meumeu and Sorel. This schedulability condition for fixed priorities tasks, is based on a binary scheduling operation which counts the exact number of preemptions and add their cost in the schedulability analysis. The proposed heuristic maximizes the remaining utilization factor to fairly distribute the tasks on processors and to reduce their response time. It produces an off-line scheduling table. Secondly, we studied the off-line multiprocessor real-time scheduling of dependent tasks taking into account the exact preemption cost. Because the schedulability condition used for scheduling independent tasks can be applied only to fixed priorities tasks, it does not allow to manage priorities inversions that are involved by dependent tasks. We proposed a new schedulability condition for dependent tasks which enables fixed and dynamic priorities. This schedulability condition takes into account the exact preemption cost and dependences between tasks without any loss of data. Always with the partitioned scheduling approach, we proposed for dependent tasks a multiprocessor scheduling heuristic which reuses, on every processor, the schedulability condition proposed previously. In addition, this scheduling heuristic takes into account the interprocessors communication costs. It also minimizes on every processor the makespan (total execution time of the tasks on all the processors). This heuristic produces for every processor an off-line scheduling table. Supposing that we have a time-triggered multiprocessor architecture such that all the processors have a unique time reference, we proposed for every processor an on-line scheduler which uses the scheduling table produced during the off-line schedulability analysis. This on-line scheduler has the advantage to have a constant cost that is easy to determine exactly.Indeed, this cost corresponds only to the time necessary to read in the scheduling table the task selected for execution. In the on-line classical scheduler, this cost corresponds to the time necessary to update the list of ready tasks in order to select a task, according to a given scheduling algorithm, for example RM, DM, EDF, etc. In this case, the cost for selecting a task varies with the number of ready tasks which changes from an invocation of the scheduler to another one. Another advantage of the proposed on-line scheduler is that it is not necessary to synchronize the access to the data shared by several tasks, because this synchronization was already done during the off-line schedulability analysis

À travers les années, l'industrie de la téléphonie a su déployer une multitude de moyens de communication fiables. Son infrastructure garantit une transmission efficace de données, incluant la voix et d'autres contenus, par des voies filaires et sans-fil avec une fiabilité visant les 99,999 %. Cette fiabilité a toutefois un prix; le déploiement des infrastructures nécessaires doit être planifié soigneusement. Ce modèle rigide est bien mal adapté aux situations nécessitant le déploiement rapide d'un réseau, comme une situation d'urgence ou un déploiement militaire. Afin de mettre en place efficacement un système temporaire de communications, un réseau "ad hoc" mobile peut être utilisé. Ce type de réseau dynamique utilise tous les noeuds qui le composent afin de transmettre l'information entre une source et une destination. Toutefois, les protocoles de routage utilisés dans ce type de réseau ne sont présentement pas bien adaptés pour les contenus multimédia nécessitant un flux constant de données, comme la téléphonie sur IP (VoIP). Ce projet de recherche a été divisé en trois volets. Tout d'abord, une étude des solutions existantes a été effectuée. Cette dernière a identifié quatre métriques d'intérêt pour mesurer la performance des réseaux "ad hoc" dans un contexte de VoIP: le délai, la gigue, la fréquence d'interruptions et leur durée moyenne. Il a été montré que sous sa forme actuelle, le protocole AODV est présentement mal adapté pour les réseaux transportant des flux de type VoIP. De plus, le standard IEEE 802.11 a été identifié comme l'un des principaux responsables des piètres performances des réseaux "ad hoc" mobiles. Le deuxième volet du projet a porté sur la conception d'un algorithme, basé sur un filtre de Kalman, devant prévenir la perte de route afin de réduire le nombre d'interruptions subies par un utilisateur de VoIP sur un réseau "ad hoc" mobile. L'algorithme consiste à estimer la puissance de signal reçu de chacun des noeuds voisins ainsi que la vitesse de variation de cette puissance. En connaissant le niveau minimum de puissance nécessaire à la réception d'un message, il est ainsi possible d'estimer la durée de vie restante de chacun des liens vers les noeuds voisins. Une recherche de route aléatoire est déclenchée lorsque la durée de vie prévue d'un lien devient trop courte. L'algorithme a été ajouté aux protocoles AODV et OLSR. Les résultats de simulations ont été mitigés avec AODV. Par contre, pour OLSR, les résultats ont été fort prometteurs. Globalement, la fréquence d'interruptions à survenir sur le réseau a diminué, tout comme la durée totale de ces dernières. Finalement, le troisième volet du projet a porté sur la construction d'un banc d'essais physiques permettant de tester l'algorithme de prévention de perte de route. Ce banc d'essais s'est avéré une preuve de concept pour la construction d'environnements de plus grande envergure. Les résultats obtenus à l'aide de ce dernier sont venus appuyer les résultats obtenus lors des simulations.

La @théorie de l'ordonnancement temps réel offre peu de critères de choix parmi les algorithmes pouvant résoudre un même problème. De nombreux résultats existent, qui cherchent plus à prendre en compte des contraintes spécifiques qu'à se doter de critères de comparaison. A l'inverse, nous nous en tenons ici au "cas d'école" centralisé, préemptif/non-préemptif, avec des trafics temps réel génériques, pour comparer les performances des algorithmes. Nous débuterons par une analyse des propriétés classiques de faisabilité et d'optimalité en présence de priorités fixes/dynamiques. .
@Hard real-time scheduling theory has been widely studied in the last twenty-five years. Despite the plethora of results, few are oriented towards a performance comparison of the algorithms. Rather than taking account of new specific constraints, we focus on a generic traffic model for centralized, preemptive/non-preemptive cases. We first analyse the traditional fixed/dynamic priority approaches for feasibility and optimality properties. .

Droit de propriété et liberté contractuelle fondent le droit pour tout propriétaire de choisir la personne à laquelle il souhaite, le cas échéant, vendre son bien. Il est pourtant des hypothèses où le législateur a accordé d’autorité à certaines personnes un droit de préemption qui leur permet d’être préférées à d’autres lors de la conclusion du contrat de vente. Cela étant, le droit de préemption demeure une institution mal connue et discutée. En effet, le législateur a institué de très nombreux droits de préemption en fonction de ses ambitions politiques, en dotant chacun d’eux d’un régime juridique spécifique. Le fait qu’il ne se soit guère préoccupé de conférer une quelconque cohérence à cet ensemble génère de nombreux conflits entre droits de préemption ou entre un droit de préemption et une autre institution juridique. Par ailleurs, l’intérêt général qui justifie le droit de préemption et exige que le domaine de celui-ci soit cantonné au strict nécessaire ainsi que l’octroi de garanties aux personnes concernées, ne dissuade pas le législateur de renforcer constamment l’emprise de cette institution. Ces données, qui illustrent les finalités du droit de préemption, influencent nécessairement la notion. Elles conduisent en effet à considérer que la prestation attendue du vendeur, à savoir proposer par priorité l’acquisition de son bien au bénéficiaire, constitue l’essence du droit de préemption. Le régime et l’effectivité de tous les droits de préemption reposent sur cette prestation. Il est alors possible de suggérer une nouvelle définition du droit de préemption et d’établir sa nature juridique à partir du droit des biens. Deux critères de délimitation du droit de préemption peuvent également être proposés, le premier reposant sur sa source légale, le second résultant de la détermination du moment de son intervention, ce qui n’est pas sans conséquence pratique
Property right (jus proprietatis) and contractual freedom establish the right for every owner to choose the person to whom he may wish to sell his property. There are nevertheless hypotheses where the legislator granted to some persons, by his own authority, a right of pre-emption which allows them to be preferred to others when concluding the sale contract. Right of preemption remains, however, a badly known and controversial institution, as the legislator established a very great quantity of rights of preemption, according to his political ambitions, and endowed each of these rights of a specific legal regime. The fact that he hardly worried to confer on them any coherence generates many conflicts between rights of preemption, or between a right of preemption and another legal institution. Besides, general interest, which justifies right of preemption and requires that its domain be limited to strict minimum as well as the guarantees granted to the concerned persons, does not dissuade the legislator to strengthen constantly the influence of this institution. These data, which illustrate the purposes of right of preemption, do inevitably influence its notion : indeed, they lead to consider that the service expected from the seller, which is to propose by priority the acquisition of his property to the beneficiary, is constituting the basis of right of preemption. The regime and the effectiveness of all the rights of preemption are based upon that service. It becomes then possible to suggest a new definition of right of preemption and to establish its legal nature from property right. Two criteria of delimitation of right of preemption can be also proposed, the first one resting on its legal source, the second resulting from the determination of the moment of its intervention, which is not without practical consequence

Nous nous sommes intéressés dans cette thèse au problème d'ordonnancement temps réel dur multiprocesseur tolérant aux fautes pour des tâches non préemptives périodiques strictes pouvant être combinées avec des tâches préemptives. Nous avons proposé des solutions à ce problème et les avons implantées dans le logiciel SynDEx puis nous les avons testées sur une application de suivi de véhicules électriques CyCabs. Nous avons d'abord présenté un état de l'art sur les systèmes temps réel embarqués et plus précisément sur l'ordonnancement classique monoprocesseur et multiprocesseur de tâches préemptives périodiques. Comme nous nous intéressons aux applications de contrôle/commande temps réel critiques, les traitements de capteurs/actionneurs et les traitements de commande de procédés ne doivent pas avoir de gigue. Pour ces raisons nous avons aussi présenté un état de l'art sur l'ordonnancement des tâches non-préemptives périodiques strictes. Par ailleurs nous avons présenté un état de l'art sur la tolérance aux fautes. Comme nous nous sommes intéressés aux fautes matérielles, nous avons présenté les deux types de redondances : logicielle et matérielle. Les analyses d'ordonnançabilité existantes de tâches non préemptives périodiques strictes dans le cas monoprocesseur ayant de faibles taux de succès d'ordonnancement, nous avons proposé une nouvelle analyse d'ordonnançabilité. Nous avons présenté une stratégie d'ordonnancement qui consiste à ordonnancer une tâche candidate avec un ensemble de tâches déjà ordonnancée. Nous avons utilisé cette stratégie pour ordonnancer des tâches harmoniques et non harmoniques, et nous avons proposé des nouvelles conditions d'ordonnançabilité. Afin d'améliorer le taux de succès d'ordonnancement de tâches non préemptives périodiques strictes, nous avons proposé de garder certaines tâches non préemptives périodiques strictes et d'y ajouter des tâches préemptives périodiques non strictes ne traitant ni les entrées/sorties ni le contrôle/commande. Nous avons ensuite étudié le problème d'ordonnancement multiprocesseur selon une approche partitionnée. Ce problème est résolu en utilisant trois algorithmes. Le premier algorithme effectue une analyse d'ordonnançabilité monoprocesseur et assigne chaque tâche sur éventuellement plusieurs processeurs. Le deuxième algorithme transforme le graphe de tâches dépendantes en un graphe déroulé où chaque tâche est répétée un nombre de fois égal au rapport entre le PPCM des autres périodes et sa période. Le troisième algorithme exploite les résultats des deux algorithmes précédents pour choisir sur quel processeur ordonnancer une tâche et calculer sa date de début d'exécution. Nous avons ensuite proposé d'étendre l'étude d'ordonnançabilité temps réel multiprocesseur précédente pour qu'elle soit tolérante aux fautes de processeurs et de bus de communication. Nous avons proposé un algorithme qui permet de transformer le graphe de tâches dépendantes en y ajoutant des tâches et des dépendances de données répliques et des tâches de sélection permettant de choisir la réplique de tâches allouée à un processeur non fautif. Nous avons étudié séparément les problèmes de tolérance aux fautes pour des processeurs, des bus de communication, et enfin des processeur et des bus de communication. Finalement nous avons étendu les trois algorithmes vus précédemment d'analyse d'ordonnançabilité, de déroulement et d'ordonnancement afin qu'ils soient tolérants aux fautes. Nous avons ensuite présenté les améliorations apportées au logiciel SynDEx tant sur le plan de l'analyse d'ordonnançabilité et l'algorithme d'ordonnancement, que sur le plan de la tolérance aux fautes. Finalement nous avons présenté les travaux expérimentaux concernant l'application de suivi de CyCabs. Nous avons modifié l'architecture des CyCabs en y intégrant des microcontrôleurs dsPICs et nous avons testé la tolérance aux fautes de dsPICs et du bus CAN sur une application de suivi de CyCab.

La rapidité du diagnostic de candidémie et de candidose invasive (CI) est cruciale pour permettre l'introduction précoce des antifongiques. Cette dernière est souvent retardée car l’ hémoculture, test diagnostique de référence, n’est positive que dans 50% des cas avec un délai de plusieurs jours. Des méthodes complémentaires consistent en la détection sérique de polysaccharides de la paroi des Candida : les β-glucanes (BDG) et les mannanes (Man). Nos objectifs étaient de : a) évaluer la signification et l’intérêt clinique de la détection des BDG et des Man en réanimation b) de participer à l’analyse de l’intérêt d’une méthode de spectrometrie de masse (MS) en développement visant à détecter /caractériser des glycannes fongiques circulants. Matériels et Méthodes : a) Pour l'étude clinique cas-contrôles, la cinétique des BDG/Man par rapport à la candidémie a été évaluée chez 41 patients candidémiques et a été comparée à celle relevée chez 67 patients non candidémiques, hospitalisés dans le même service et chez qui la colonisation était déterminée toutes les semaines. b) une méthode de type MALDI-MS a été appliquée à des sérums après extraction sélective des glycannes et comparée à des standards. Resultats : au seuil recommandé le BDG est un biomarqueur sensible, précoce, mais peu spécifique pour le diagnostic de candidémie en réanimation. Il ne semble pas affecté par la colonisation mais sa décroissance lente le rend peu utile pour le suivi du traitement. A l'opposé, le Man est un biomarqueur très spécifique mais peu sensible. En changeant les seuils du BDG, son utilisation séquentielle avec le Man permet de proposer un algorithme dans le cadre d'une stratégie thérapeutique préemptive. b) La méthode MALDI-MS permet de révéler un signal m/z 365 correspondant à un disaccharide (dont le tréhalose) associé aux CI humaines et expérimentales. Des études préliminaires montrent que ce test semble avoir une bonne sensibilité et une bonne spécificité pour le diagnostic de CI ainsi que pour d’autres infections fongiques. Conclusion : a) Le BDG est un marqueur sensible, le Man est une marqueur spécifique, leur utilisation conjointe peut permettre un diagnostic précoce des CI et une rationnalisation du traitement antifongique. b) L'application de la méthode MALDI-MS à la détection/caractérisation des glycannes circulant semble présenter un important potentiel pour se substituer ou complémenter les méthodes diagnostiques actuelles de CI
The rapidity of the diagnosis of candidaemia and invasive candidiasis (IC) is crucial to allow the early introduction of antigungal therapy. This one is often delayed because Candida yeasts are found in blood culture, the gold standard diagnostic test, in only 50% of cases of IC and several days are needed to have this result. Complementary methods relie on the detection of Candida cell wall polysaccharids in the serum, β-glucans (BDG) and mannans (Man). Our objectives were to : a) determine the signification and clinical interest of the detection of BDG and Man in intensive care b) take part in the analysis of the interest of a mass spectrometry (MS) technic in development which aim to detect/caracterize circulant fongic glycans. Materials and Methods : a) For the clinical case-control study, the BDG and Man kinetics in relation with candidaemia were evaluated in 41 candidemic patients, and were compared to the kinetic observed in 67 non candidemic patients, hospitalised in the same ward and assessed weekly for yeast colonisation b) a MALDI-MS method was applied to sera after selective extraction of glycans and compared to standards. Results : BDG at the recommanded cut-off is a sensitive and precoce but non specific test for the diagnosis of candidemia in ICU. It does not seem to be affected by the colonisation, but its very slow decrease limits its usefulness for the management of the treatment. At the opposite, Man is very specific but not sensitive. Modulating the cut-off of BDG, it is possible to propose a decisional algorithm for preemptive therapy based on the sequential use of BDG and Man. b) MALDI-MS reveals a signal at position m/z 365, corresponding to a disaccharid (among which is trehalose), associated to human and experimental IC. In preliminary studies this test seems to have good sensitiity and specificity for the diagnosis of IC as well as for other fungal infections. Conclusion : a) BDG is a sensitive test, Man is a specific one, and their joint use could be useful for an early diagnosis of IC and a rationalization of the antifungal treatment. b) The application of MALDI-MS method to the detection/caracterisation of circulating glycans seems to present an important potential to replace or complete the current available diagnostic tools of IC