Dissertations / Theses on the topic 'Préemptif'

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

Les problèmes d'ordonnancement juste-à-temps sur une machine modélisent des problèmes rencontrés dans beaucoup de domaines différents comme la fabrication industrielle ou les processus informatiques. Comme la problématique de ces problèmes est fortement inspirée des besoins de l'industrie, nous proposons des extensions qui permettent de prendre encore mieux en compte les caractéristiques spécifiques de certains problèmes. Plus précisément, dans un premier temps, nous examinons les problèmes dans lesquels les interruptions des tâches sont permises et ensuite, nous introduisons la notion de livraison. Comme les problèmes que nous considérons sont NP-difficiles, nous proposons des algorithmes exacts et des heuristiques. Pour les problèmes préemptifs, la fonction objectif non-préemptif ne peut pas être appliquée. Dans ce contexte, nous étudions un modèle préemptif existant et proposons une borne inférieure, une heuristique ainsi qu'un algorithme exact. Le cas particulier du problème ordonnancement préemptif autour d'une date d'échéance commune est examiné séparément. Nous présentons également un nouveau modèle préemptif avec dates d'échéance distinctes pour lequel un nouvel algorithme de timing et un algorithme de recherche locale permettent de calculer des solutions pour des instances de grande taille plus rapidement. Finalement, nous considérons une extension qui consiste à introduire la notion de dates de livraison. Pour ce nouveau modèle, nous présentons deux bornes inférieures et un algorithme de recherche locale.

Une caractéristique majeure de la globalisation des économies réside dans le caractère réciproque des flux d'investissements directs. Afin d'en éclairer les déterminants, la thèse envisage l'aspect de préemption de l'investissement, en présence d'importants coûts irrécupérables. Le modèle de Spence et Dixit est discuté dans un premier chapitre, pour argumenter que, dans le cas de biens homogènes, la dissuasion complète de l'entrée n'est pas une stratégie d'équilibre. Le second chapitre exploite ce résultat pour traiter de l'arbitrage auquel doit se livrer une firme étrangère entre exportation et investissement direct. Par ses capacités de production installées, une firme domestique peut influencer le choix de sa rivale. Le concurrent étranger peut alors être contraint de demeurer à l'export, malgré le haut niveau des taxes à l'importation. Le troisième chapitre rend compte du phénomène de " grappes d'investissements ". Dès qu'une firme a franchi le pas de l'installation locale, ses concurrents sont contraints de l'imiter pour ne pas se laisser distancer. Le quatrième chapitre envisage l'arbitrage entre investissement et exportation en présence d'incertitude sur la demande locale. Contrairement au résultat classique, la firme peut être encline à accélérer sa décision d'investissement, par rapport au cas certain, de manière à ne pas risquer de perdre le leadership sur le marché. Le cinquième chapitre vise à appliquer ces conclusions touchant la valeur de préemption de l'investissement pour dégager les risques d'une utilisation abusive d'un instrument de politique commerciale. La procédure européenne de l'antidumping fait l'objet de vives critiques. L'analyse démontre qu'un des derniers arguments en faveur du maintien d'une procédure obsolète n'est pas valide : le droit antidumping peut affaiblir les industries qu'il est sensé protéger, en raison des pratiques de contournement et du caractère préemptif de l'investissement.

La conception des systèmes temps réel passe la production d'une architecture opérationnelle validée. Cette architecture est le fruit d'un placement des éléments logiciels sur le support matériel d'exécution, tout en s'assurant du respect des contraintes opérationnelles. Cette thèse aborde deux thèmes : la validation d'une architecture opérationnelle et la recherche d'un placement valide. Les systèmes étudiés sont préemptifs, à priorités fixes avec des architectures matérielles distribuées. Le problème de la validation est abordé par le calcul des pires temps de réponse des tâches à l'aide de méthodes analytiques. Cette étude répertorie les méthodes existantes, définit leur cadre applicatif, et en propose des extensions. Le problème du placement est traité à l'aide des techniques de la programmation par contraintes. L'objectif est de valider cette démarche en proposant une modélisation du problème et en mettant en place des mécanismes capables de prendre en considération les particularités du placement pour les systèmes temps réel
The conception of real-time systems needs to produce a validated operational architecture. This architecture results from the mapping of the software architecture onto the hardware architecture in order to achieve timing correctness. This document deals with distributed, pre-emptive real-time systems with fixed priorities. This thesis addresses with the validation of operational architectures through analytical analysis. Our work itemizes classical approaches, classifies these methods and introduces some extensions. The second part of our work introduces a new method for the mapping with constraint programming solver. The feasibility of this technique is shown via the introduction of a specific model that takes into account behaviours of real-time systems

Les droits de préemption en matière d'urbanisme participent à la rupture entre le discours théorique sur le droit de propriété et les atteintes qui lui sont portées par le droit positif. Leur mise en oeuvre nécessite une volonté convergente de vendre du propriétaire et d'acquérir de la puissance publique. L'intervention de cette dernière doit être justifiée par l'intérêt général. Aussi le législateur a-t-il institué un cadre rigide, quoique élargi par de récentes réformes, à l'intérieur duquel les titulaires des droits bénéficient d'un large pouvoir d'appréciation. Ce mode d'intervention publique est de plus limité par les intérêts particuliers. D'une part, spécifiquement, doit être respectée la volonté du propriétaire qui possède un réel pouvoie de déclenchement de la procédure mais qui ne maitrise celle-ci qu'en apparence. D'autre part, plus généralement, les intérêts des détenteurs de droits sur le bien préempté sont garantis. Cependant si dans le cadre de la mise en oeuvre de la préemption les garanties accordées au propriétaire et aux tiers occupants peuvent etre considérées comme efficaces, celles apportées dans le cadre de l'utilisation des biens préemptés par la puissance publique sont largement inadaptées du fait du contrôle difficile des décisions prises et du caractère illusoire des sanctions encourues par l'administration
When talking about town planing, pre-emption rights interfers in the rupture between the theorical speech about property rights and the attacks of the law. Whenusing them we need a converging will of selling from the owner and of buying from the authorities. General interest must justify the intervention of the authorities. So the legislator has created rigid limits, although widened by recent reforms, in which the right holders have a rather great freedom of action. This kind of intervention from the authorities is also limited by prived interests. On one hand the owner's will, who has got a real power of starting the procedure but doesn't really control it, must absolutely be respected. On ther other hand, and more generally, the interests of right holders on the pre-empted property are guaranted. Nevertheless, in the use of pre-emption, if the owners and legal occupants'guarantees are efficient the ones offered by the authorities are not adapted at all since it is very difficult to control the decisions and there are almost no penalties against the authorities

La preeminence de l'image, evidente dans l'oeuvre romanesque delillo, est ici rapportee a la notion de preemption de l'image consideree selon la definition que martin heidegger donne de l'image : l'"image" n'est pas une copie de l'etant mais la maniere dont celui-ci est rendu calculable par une preemption de tout ce qui ne correspond pas a un schema coherent. Weltbild (l'image-monde) n'est pas une image du monde mais le monde saisi comme une image. De meme, chez delillo, l'amerique est saisie comme une image: ses personnages cherchent une coherence dans l'image tout en manifestant un regret pour le "tableau entier," avec ses defauts, ses peripeties et ses dangers. La preemption de l'image est ensuite examinee au niveau du langage, notamment de la maniere dont le signifiant preempte le signifie pour se presenter comme une image completement souveraine vis-a-vis de la signification et de la reference. Enfin, la preemption de l'image est analysee dans son rapport avec la nature. On peut deceler chez les personnages de delillo un desir de connaitre une nature non determinee par la main de l'homme. Cependant, notre capacite a discerner le naturel est viciee par l'element autoreferentiel qui s'immisce dans les evenements et dans le moi. Il existe egalement chez delillo une preemption de l'image "naturelle," a savoir l'utilisabilite heideggerienne (zuhandenheit). Les personnages de delillo veulent percer la preemption de l'utilisabilite et fixer l'etant des yeux comme un objet "naturel. " or, ce desir d'une perspective surhumaine n'est rien d'autre que le desir de preempter l'etant au sens heideggerien de l'image
The obvious preeminence of the image in the work of don delillo is related here to the notion of preemption of the image considered according to the definition martin heidegger gives to the image: the "image" is not a copy of what is but the way in which the latter is made calculable by the preemption of all that does not fit into a coherent pattern. Weltbild (the world image) is not an image of the world but the world seized as an image. Likewise, in delillo's novels, america is seized as an image: his characters search a coherence in the image while regretting the faults, incidents and dangers of the "full picture". The preemption of the image is next examined with respect to language, notably the way in which the signifier pre-empts the signified and comes to view as an image free from meaning and reference. Lastly, the preemption of the image is analyzed in its relationship to nature. Delillo's characters seem to want to discover a nature undetermined by man. However, our ability to discern the natural is vitiated by a self-referring element which seeps into events and the self. There is also a "natural" preemption of the image in delillo's work, i. E. The heideggerian readiness-at-hand (zuhandenheit). Delillo's characters want to pierce through the preemption of readiness-at-hand, seize that which lies before them as a "natural" object. Yet this longing for a superhuman perspective is nothing more than the wish to pre-empt whatever is in the heideggerian sense of the image

La physiopathologie des candidoses invasives peut être schématisée en 3 étapes successives : colonisation de la muqueuse par Candida, invasion des muqueuses puis translocation et dissémination hématogène. Les patients de réanimation sont exposés à de nombreux facteurs de risques, qui favorisent l'une ou l'autre de ces étapes. De nombreuses études ont tenté de définir une stratégie de prévention optimale de ces infections en réanimation. L'étude de Pittet et collaborateurs (Ann Surg 1994 ; 220 : 751-8) a démontré le lien entre intensité de la colonisation, mesuré au travers d'index de colonisation (IC) et d'index de colonisation corrigé (ICC), et survenue de candidoses. Depuis octobre 2000, nous avons contribué à la mise en place d'une stratégie de dépistage systématique de la colonisation des patients de réanimation chirurgicale et de traitement antifongique préemptif des patients fortement colonisés (fluconazole 400 mg/j 2 semaines si ICC > ou = 0,4). Au terme d'une étude avant/après intervention (prospectif 2 ans versus série historique 2 ans), nous avons montré l'intérêt de cette stratégie de traitement préemptif ciblé en terme de réduction des candidoses systémiques et profondes (3,8 % versus 7 %, p = 0,03), particulièrement des infections acquises en réanimation (0 % versus 2,2 %, p < 0,001). Aucune émergence de levures résistantes aux azolés n'avait été notée au cours des 2 premières années. La poursuite de cette stratégie préemptive imposait la mise en place d'une surveillance épidémiologique continue des espèces de levures potentiellement résistantes aux azolés (Candida krusei, Candida Glabrata). Nous avons ainsi mis en place et évalué des outils de typage moléculaire de ces deux espèces, en associant profil PCR CKRS-1 et polymorphisme du microsatellite CKTNR pour C. Krusei, en développant et optimisant l'analyse du polymorphisme de microsatellites pour C. Glabrata (10 marqueurs, dont 7 développés au laboratoire). L'application de ces outils sur les isolats fongiques collectés de façon séquentielle en réanimation, a permis de montrer que dans 90 % des cas, les patients colonisés par C. Krusei ou C. Glabrata dès l'admission, qu'ils conservaient leur(s) propre(s) souche(s) tout au long du séjour sans transmission croisée inter-patient, et qu'aucun clone épidémique d'une de ces deux espèces n'avait été sélectionné. Ainsi, l'impact éventuel de la pression de sélection par le fluconazole apparaît, non pas visible à l'échelon collectif, mais potentiellement restreint aux patients directement traités par azolé. Une surveillance prospective de 3 ans de l'émergence de résistance aux azolés chez C. Glabrata en réanimation a permis d'étudier 39 patients, dont 33 traités par azolés à fortes posologies. 27 % des exposés (9/33) ont vu leur souche de C. Glabrata acquérir une résistance au fluconazole après 6 à 42 jours d'exposition, résistance par ailleurs croisée à tous les autres azolés. Seule la présence de drains abdominaux colonisés à C. Glabrata au moment de l'instauration du traitement antifongique est significativement associé à l'acquisition de résistance (4/5 vs 0/7 p = 0,01). La mise à disposition des cliniciens des données de colonisation des patients de réanimation à haut risque de candidoses et leur intégration dans les choix thérapeutiques, la meilleure compréhension de l'épidémiologie de C. Krusei ou C. Glabrata et des phénomènes d'acquisition de résistance permet d'optimiser au quotidien la prise en charge du risque fongique et l'utilisation des antifongiques en réanimation, tout en limitant la pression de sélection et son impact écologique, qui nécessite une surveillance active permanente.

Dans ce mémoire, nous étudions les problèmes de tournées de véhicules sur nœuds et sur arcs qui sont les deux grands types de problèmes de tournées, rencontrés dans la majorité des applications de transport. Nous nous intéressons plus particulièrement aux cas avec fenêtres horaires ou préemption des tâches. Ce travail est décomposé en deux grandes parties. La première partie est consacrée aux problèmes de tournées sur nœuds et sur arcs avec fenêtres horaires (VRPTW pour Vehicle Routing Problem with Time Windows et CARPTW pour Capacitated Arc Routing Problem with Time Windows). Contrairement au VRPTW qui a fait l’objet d’une recherche intensive ces dix dernières années, peu de travaux ont porté sur le CARPTW. Dans cette partie de la thèse, nous proposons une méthode basée sur la métaheuristique GRASP couplée à une technique de reconnexion de chemins (path-relinking) pour le CARPTW et un algorithme mémétique pour le VRPTW. La deuxième partie de cette thèse porte sur les problèmes de tournées de véhicules sur nœuds et sur arcs avec préemption de la demande (SDVRP pour Split Delivery Vehicle Routing Problem et SDCARP pour Split Delivery Capacitated Arc Routing Problem). Vu que le SDCARP est un problème relativement nouveau, nous avons commencé par élaborer des modèles mathématiques. Nous avons ensuite proposé des bornes inférieures et supérieures. Les bornes inférieures sont obtenues par des méthodes de coupes, alors que les bornes supérieures sont déterminées par un algorithme mémétique avec gestion de la population et une nouvelle métaheuristique. L’algorithme mémétique a été aussi adapté au SDVRP, donnant lieu à des résultats très compétitifs avec ceux déjà publiés
This thesis studies the node and arc routing problems which are the two main types of routing problems encountered in most transportation applications. We focus particularly on the cases with time windows or split deliveries. This work is divided into two main parts. The first part is devoted to the node and arc routing problems with time windows (VRPTW for the Vehicle Routing Problem with Time Windows and CARPTW for the Capacitated Arc Routing Problem with Time Windows). Contrary to the VRPTW which has been the subject of intensive research over the past decade, few studies have considered the CARPTW. In this part of the thesis, we propose a method based on the metaheuristic GRASP combined with a path-relinking process for the CARPTW and a memetic algorithm for the VRPTW. The second part of the thesis focuses on the node and arc routing problems with split deliveries (SDVRP for the Split Delivery Vehicle Routing Problem and SDCARP for the Split Delivery Capacitated Arc Routing Problem). Since the SDCARP is a relatively new problem, we started by developing mathematical models. We then proposed lower and upper bounds. The lower bounds are obtained by two cutting plane methods while the upper bounds are determined by a memetic algorithm with population management and a new metaheuristic. The memetic algorithm was also adapted to the SDVRP, giving rise to competitive results

La loi du 2 août 2005, pris en application du décret du 26 décembre 2007, et réformée par la loi du 22 mars 2012 a fourni aux communes un outil de protection du « commerce de proximité ». Les communes peuvent désormais préempter un fonds artisanal, un fonds de commerce ou un bail commercial. Mais cet objectif soulève des interrogations car la pluridisciplinarité du dispositif complexifie sa mise en œuvre. Nombre d’incohérences sont donc révélées, et concernent tant les critères de la motivation de délimitation de la zone de préemption et de la décision de préempter, que les mesures de publicité du périmètre de préemption, sans oublier la déclaration préalable inadaptée aux exigences du commerce. De même les difficultés se révèlent dans une hypothèse d’atteintes aux droits et libertés générant un contentieux dont la répartition des compétences reste « floue ». Ces imperfections focalisent toutes les critiques présageant une réforme nécessaire. Cette réforme est intervenue par la loi du 18 juin 2014, dite « loi Pinel ». Les apports législatifs étaient ainsi nécessaires et leur indéniable intérêt ne reste pas, pour autant, sans critiques. L’objectif scientifique est celui de l’analyse méthodique des incidences juridiques d’un dispositif légal pluridisciplinaire afin de dégager une vision efficiente dans la pratique
The law of August 2nd, 2005, taken in application of the decree of December 26th, 2007, and reformed by the law of March 22nd, 2012 supplied in the municipalities a tool of protection of the "convenience store". The municipalities can preempt from now on a business or a commercial lease. But this objective raises questioning because the multidisciplinarity of the device complicates its implementation. Number of incoherence is thus revealed, and concern as long the criteria of the motivation of demarcation of the zone of preemption and the decision to preempt, that the measures of publicity of the perimeter of preemption, without forgetting the preliminary declaration unsuitable for the requirements of the business. Also the difficulties show themselves in a hypothesis of infringements of rights and liberties generating a dispute the distribution of the skills of which remains "vague". These imperfections focus all the criticisms auguring a necessary reform. This reform intervened by the law of June 18th, 2014, said "law Pinel". The legislative contributions were so necessary and their undeniable interest does not stay, however, without criticisms. The objective scientists is the one of the methodical legal analysis of the incidence of a multidisciplinary legal device to release an efficient vision in the practice

Les propriétés conditionnelles sont mal définies. Les auteurs les identifient lorsque la propriété est transmise sous condition, une corrélation étant établie entre une propriété sous condition suspensive et une propriété sous condition résolutoire. La principale difficulté consiste alors à identifier les conditions affectant le transfert de propriété. Seront ainsi identifiées comme des conditions la purge des droits de préemption, et l'obtention d'une autorisation administrative. Cette qualification sera au contraire déniée à la clause de réitération par acte authentique ou au caractère futur de la chose objet du transfert. Pourtant, l'étude des mécanismes sources de propriétés conditionnelles montre que la corrélation entre propriété sous condition suspensive et propriété souscondition résolutoire fait fi de l'unilatéralisme pouvant s'introduire dans les actes juridiques, résultant soit de la nature de l'acte, soit d'une incertitude unilatérale. Il en est ainsi pour la vente à réméré, la faculté de dédit unilatérale, les droits de repentir, la vente avec clause de réserve de propriété ou encore la clause de tontine. L'examen des effets de la condition sur la propriété montre qu'il n'existe pas deux propriétés conditionnelles: le propriétaire sous condition suspensive n'en est pas un. Il bénéficie d'une simple vocation à la propriété, lui permettant de protéger l'acquisition de son droit futur. La seule propriété est celle du propriétaire sous condition résolutoire. Ses prérogatives étant restreintes, elle est modelée, mais elle conserve cependant ses caractères essentiels.

La conception et la maîtrise des systèmes embarqués proposent un défi de plus en plus important à relever avec le développement des aéronefs modernes. Cette importance révèle la nécessité de mettre en œuvre des méthodes formelles automatiques permettant d’assister le concepteur. Or, la nature distribuée et le partage des ressources de tels systèmes rendent difficiles leur description à l'aide des méthodes classiques mises en œuvre dans le cadre des systèmes temps-réel (algèbres de processus temporisés, automates temporisés, et, par la suite, de savoir si le système répond bien aux spécifications attendues (vérification). L'objectif de cette thèse est de proposer un élément de réponse à la modélisation, puis à la vérification, de tels systèmes en utilisant les mécanismes de préemption pour réaliser le partage de ressources. L’idée proposée consiste à construire un système embarqué sous la forme d'un ensemble de processus réactifs communicants et préemptibles spécifiés au moyen d’un formalisme algébrique. Deux types de préemption ont été identifiés : l'interruption définitive et la suspension temporaire avec reprise. De ces deux types de préemption découlent la structure de l'étude. En premier lieu, nous proposons de définir une algèbre de processus, nommée TPAPa, permettant l'interruption définitive. Afin de pouvoir vérifier les systèmes décrits dans ce formalisme, une traduction en automates temporisés a été réalisée. De cette manière, il est possible d’utiliser les outils de model-checking classiques (UPPAAL, KRONOS, CMC,. . . ). En deuxième lieu, nous avons intégré la possibilité de suspendre temporairement l'activité d’un processus puis sa reprise à partir du point d’arrét. Cette fois, la traduction conduit au formalisme des automates à chronomètres. Nous montrons alors que la vérification de propriétés sur une algèbre de processus possédant des mécanismes de suspension, nommée TPAPas, est en général indécidable.

Nous nous intéressons aux problèmes d'ordonnancement de tâches périodiques dans les systèmes temps réel critiques (durs). Dans la littérature, l'approximation du coût de la préemption, qui est la partie variable du coût du système d'exploitation (OS), dans le WCET des tâches conduit à faire un compromis entre gaspillage et sûreté de l'ordonnançabilité, ce qui n'est pas satisfaisant. Quelques travaux ont été proposés pour résoudre ce problème mais les résultats conduisent à la prise en compte soit d'un nombre minimal soit d'un nombre maximal de préemptions. Dans cette thèse, nous introduisons un nouveau modèle pour résoudre le problème général de l'ordonnancement de systèmes temps réel durs avec des contraintes multiples telles que la précédence, la périodicité stricte, la latence et la gigue, tout en tenant compte du coût exact de la préemption pour tous les scénarii de premières activations de toutes les tâches (simultané ou non simultané). Nous avons développé un logiciel appelé SAS (Simulation Analysis of Scheduling) pour mettre à la disposition d'utilisateurs les résultats que nous avons obtenus. Sa principale contribution, par rapport à d'autres outils commerciaux et académiques du même type, est qu'il prend en compte le coût exact de préemption au cours de l'analyse d'ordonnançabilité avec des contraintes multiples
We are interested in the scheduling problem of periodic tasks in critical (hard) real-time systems. In the literature, the approximation of the preemption cost, which is the variable part of the Operating System (OS) cost, in the WCET of tasks leads us to a compromise between waste and safety of the schedulability, that is not satisfactory. Some works have been proposed to solve this problem but the results led to taking into account either a minimum or a maximum number of preemptions. In this thesis, we introduce a new model to solve the general scheduling problem of hard real-time systems with many constraints such as precedence, strict periodicity, latency and jitter, while taking into account the exact cost of preemption for all scenarios of first activation for all tasks (simultaneous or not simultaneous). We have developed a software called SAS (Simulation Analysis of Scheduling) to make them available to users the results we have achieved. The main contribution of SAS, compared to other commercial and academic tools of the same type, is that it takes into account the exact cost of preemption during the schedulability analysis

Selon un adage traditionnel du droit francais, il ne peut exister de privilege sans texte. Neanmoins, la conclusion d'un contrat permet de reserver a une personne la priorite dans la concurrence avec les tiers, en prevision d'un acte futur. Selon les circonstances, un tel avantage pourra trouver sa source dans accord de preference, ou dans une clause de l'offre concurrente, du premier refus, ou du client le plus favorise. La conclusion de tels accords est courante en prevision de ventes immobilieres, de cessions d'actions dans les societes anonymes, dans le cadre d'accords industriels, entre editeurs et auteurs d'une oeuvre future, ou encore sous la forme de contrats dits de non-sollicitation, entre un sportif amateur et un club professionnel. Du fait qu'ils ont pour objet de faire naitre priorite d'origine contractuelle, ces accords sont cependant exposes a de nombreuses causes de nullite, qui sont invocables aussi bien par les parties au contrat que par les tiers. La preference parait donc entouree de suspicion lorsqu'elle constitue l'objet d'un contrat. Cette suspicion se dissipe lorsque la preference n'est pas l'objet meme d'un contrat, mais quand elle trouve sa source a l'occasion d'une relation contractuelle, parmi ses suites objectives. La preference apparait alors comme une des realisations de l'exigence generale de bonne foi dans l'interpretation du contrat. Tel est le cas par exemple du droit preferentiel de souscription dans les societes anonymes, ou de la priorite de reembauchage a la suite d'un licenciement economique. Sous cet eclairage, l'auteur analyse diverses situations d'origine contractuelle, dans lesquelles deux personnes peuvent se trouver obligees de se reserver la preference, notamment dans les societes ou dans le domaine de la distribution commerciale. Toutefois, parce qu'elle deroge a l'egalite des chances, l'efficacite d'une telle priorite d'origine contractuelle demeure controversee
According to a french common saying, there can not exist any privilege unless the provisions of the law. But meanwhile, it is well known that contracting allows to give someone a priority in the outlook of a future decision. Such a priority can proceed from a priority agreement, or other contracting provisions, like a first refusal agreement, or provisions of the most favoured customer. These provisions are commonly used in real state sales, between corporate partners in the outlook of stocks sales, in industrial agreements,. . . Because they aim to settle a priority, these agreements are subject to various causes of cancellation, which can be invoked by the contracting parties and third parties as well. So priority rights look suspicious when they proceed from provisions of a contract. But this suspicion vanish as a priority right is not the object of a contracting provision, but proceeds from relationships between contracting parties, amongst the rational inferences of these relationships. Then, priority rights in the relationships between contracting parties look like a materialisation of the general requirement of good faith in the interpretation of contracts. Such is the subscription priority right which is granted to actual partners in french corporations, or the priority right of hiring which is granted to former workers after downsizing. Therefore, the same good faith requirement sheds a new light to priority rights which should be granted to contracting parties in corporations, or in the field of commercial supply. However, because it departs from the general requirement of equality in the competition, the efficiency of such priority rights amongst contracting parties are still contested

La thèse est fondée sur l'idée essentielle que la préemption implique une distinction entre l'acte administratif unilatéral que constitue la décision d'user de ce droit par une collectivité publique et l'acte contractuel de droit privé que constitue ensuite la cession de ce bien. Des lors, peut naître un double contentieux dans l'exercice du droit de préemption s'il s'agit de contester, dans sa régularité, la décision initiale, unilatéralement prise par l'administrative ; en revanche, si la contestation porte sur l'irrégularité du contrat par lequel s'exerce la préemption, la compétence reste celle du juge judiciaire. Cette démonstration comporte en conséquence deux parties consacrées à l'étude du contentieux du droit de préemption des collectivités publiques respectivement au regard du juge administratif et du juge judiciaire. Dans la 1ère partie, l'auteur analyse les différents droits de préemption des personnes publiques et montre que leur institution et leur exercice donnent lieu à un contentieux abondant et varié, notamment en ce qui concerne le contrôle du support de ces droits (P. O. S. ) et les conflits qui peuvent naître entre eux. La 2ème partie de la thèse se rapproche du droit privé puisqu'elle porte sur l'étude du contrat entraînant le transfert de propriété qui est l'aboutissement du droit de préemption.

Le changement d'une partie au sein d'un contrat ou d'un rapport d'obligation est souvent conçu comme le moyen de mener à terme l'opération économique que le rapport de droit recouvre. C'est ainsi que la cession de contrat intervient accidentellement, au cours de l'exécution du contrat, afin d'en épuiser l'utilité. La substitution de contractant à la formation du contrat est une opération juridique à trois personnes qui répond à un ordre inverse de priorités. L-e contrat y est perçu comme une opportunité qu'un tiers doit être en mesure de saisir par préférence à tout autre. Pour cette raison, la substitution de contractant est toujours prévisible et réalisée au cours de la formation du contrat. L'échange des consentements s'accompagne de l'attribution à un tiers, par la loi ou la convention, d'un droit de substitution qui lui permet de se désigner comme sujet d'imputation du contrat, à la place de l'un des auteurs. Le contrat est en conséquence affecté d'une modalité originale. Il n'est pas conclu pour autrui, mais ouvert à autrui. La phase de formation de l'acte s'achève, selon la décision du tiers, en sa personne ou en celle du contractant originaire. Conçu pour choisir un contractant préférable entre deux personnes, le droit de substitution n'est utile que lorsque ce choix s'impose. A la fois rares et désirables par le plus grand nombre, les objets possibles de propriété sont de nature à susciter une rivalité et rendent nécessaire le choix d'un propriétaire à l'exclusion des autres. C'est pour orienter ce choix qu'intervient le mécanisme substitutif. Il s'agit plus précisément d'éviter l'attribution d'un droit de propriété suivant les critères exclusivement objectifs du marché. C'est en conséquence dans le contrat de vente que la substitution de contractant trouve son terrain d'élection. Le droit de substitution a pour formalité de priver une vente de tout caractère spéculatif. Le respect de cette finalité conditionne la validité de la substitution réalisée.

Qui sont les copreneurs et que leur importe-t-il ? Telles sont sans doute les deux problématiques centrales de l’étude de la coprise à bail. Cette dernière ou comme on l’appelle plus communément en matière de baux d’habitation, la « colocation » existe dès lors que l’on est en présence, dans un même bail, de plusieurs copreneurs. Lorsque l’on évoque cette situation, il vient immédiatement à l’esprit la coprise à bail d’habitation par plusieurs étudiants. En effet, mise en lumière par le film « l’Auberge Espagnole » et par la série américaine « Friends », la coprise à bail d’habitation constitue de nos jours un remède à la pénurie de logement étudiant et répond à une nécessité économique indiscutable. Il n’en demeure pas moins que l’étude de la coprise à bail ne saurait se réduire à l’étude des baux d’habitation. En effet, le coprise à bail rural et la coprise à bail commercial sont bien moins connues du grand public mais demeurent incontestablement une réalité juridique quotidienne, tel sera le cas en cas d’acquisition d’un fonds de commerce comportant bail commercial par deux personnes ou en cas de décès d’un fermier entrainant la transmission du bail à ses enfants qui exploitaient avec leur père… Quelque soit le type de bail, l’existence d’une partie plurale - les copreneurs - pose des difficultés et pourtant le législateur n’a pas cru bon de légiférer en la matière, laissant les copreneurs soumis au droit des obligations plurales. Comment vont pouvoir s’exercer à plusieurs les droits que la loi n’a attribué qu’à une seule personne, le locataire ? En effet, la loi octroie çà et là au preneur à bail divers droits tels que, par exemple, le droit au renouvellement, le droit de préemption, le droit de sous-louer ou encore celui de céder son bail à un tiers, mais la loi ne nous indique quasiment jamais comment peuvent s’exercer ses droits en présence d’une pluralité de preneur à bail. C’est bien là, pour le praticien, l’intérêt de cette étude : tenter de pallier l’oubli quasi permanent par le législateur de la cotitularité d’un bail et d’essayer d’apporter des solutions
Who are the "copreneurs" (that is to say whose who decide to rent together) and what matters to them ? These are with no doubt the two major issues concerning the "coprise à bail". This latter more commnly named "colocation" (i. E. Co-renting) is actual when several "copreneurs" have got a same lease. When bringing up such a situation at once comes to one's mind the "coprise" à bail" by several students. Enlightening by the film ''The Spanish Apartment" and the American series ''Friends" the "coprise à bail" is a solution to the lack of accommodation and is an answer to an unquestionable economic need. Nevertheless the "coprise à bail" and the commercial one are less taken into account by the people but are unquestionably an every day legal reality : let's take the example of two persons signing a commercial lease when acquiring a business fund or a farmer death involving the lease transmission to his children used to work with their father. . . Whatever the sort of lease, a plural part, the "copreneurs" raises difficulties ; yet the legislator has not legislated on this topic, letting the "copreneurs" facing the plural obligation laws. The question is : how will the right be applied to several people, when the law is only used to envisage one person that is to say : the tenant ? As the matter of fact, the law grants the renter some right such as, for example, the renewal, the preemption one, the right to sublet or the right, to let one's lease another person, but the law hardly ever rights when there are several people concerned in the lease. Thus, that is the relevant point of the study : tempting to compesante for the hardly ever permanent omission of a plural lease by the legislation and trying to bring solutions

Il arrive qu'un associé s'engage à racheter à terme les titres d'un minoritaire, que les statuts d'une société intègrent une clause d'agrément ou d'exclusion, ou encore qu'une société émette des titres offrant un accès futur à son capital social: toutes ces hypothèses, extrêmement fréquentes en pratique, ont pour point commun de reposer sur la technique civiliste du contrat préparatoire, plus précisément sur ses figures les plus connues que constituent la promesse unilatérale et le pacte de préférence. Si l'utilisation de ce type de conventions en matière de droits sociaux révèle la vitalité et la capacité d'adaptation de mécanismes relevant du droit commun, la détermination de leur régime soulève de nombreuses interrogations, qui tiennent au caractère atypique de leur objet. Contrairement à l'immeuble ou au fonds de commerce, les droits sociaux sont l'émanation d'un groupement qui unit ses membres autour d'un intérêt commun, de sorte que leur acquisition n'est jamais indifférente pour les autres associés. Aussi un simple renvoi aux solutions du droit commun des contrats ne peut-il suffire à dresser le régime applicable aux avant-contrats étudiés. La présente étude se propose, s'agissant de la formation comme de la vie toute entière de ces conventions, de mettre en évidence une perversion des règles de droit commun et l'intrusion d'un ordre juridique nouveau propre au droit des sociétés. A l'analyse, le droit commun voit ses règles simplement modulées en fonction du contexte sociétaire de la convention, tandis que la sollicitation des normes spéciales afférentes à la matière sociétaire exige pour sa part une mise en cause directe de l'intérêt commun des associés.

Les emprunts au droit international et au droit interne confèrent aux mécanismes de dévolution de compétences à la Communauté une nature particulière caractérisée par la conciliation équilibrée du pouvoir d'action des Etats et d'autodéveloppement de la Communauté. L'origine conventionnelle des compétences communautaires et le principe des compétences d'attribution font des Etats les détenteurs du pouvoir de création, lequel est atténué par un principe d'adaptation matérielle et fonctionnelle des compétences par. Les institutions communes, sur le fondement de l'article 308, du rapprochement des législations et des compétences implicites, qui permettent le développement des compétences externes et d'actes atypiques. L'extension par la Communauté de ses compétences rencontre néanmoins l'assentiment des Etats qui en ont initié le processus dans un cadre intergouvernemental et qui en ont pris acte, chaque révision leur permettant de confirmer l'existence de nouveaux domaines de compétences communautaires et de préciser davantage les modalités du partage vertical de compétences. Il en ressort une typologie des compétences communautaires comprenant les compétences exclusives, parallèles, concurrentes, coordonnées et complémentaires. Face à l'importante étendue matérielle des compétences communautaires, renforcée par la consécration jurisprudentielle de l'intangibilité des compétences, de la théorie de la préemption imposant le dessaisissement des Etats au fur et à mesure du développement du droit dérivé et enfin des incursions du droit communautaire dans des domaines réservés à la compétence nationale tels l'état civil des personnes, la nationalité ou le droit pénal, les Etats réactualisent leur pouvoir créateur en l'affectant, depuis le traité de l'Union, à une régulation plus précise de l'exercice des compétences communautaires par les principes de subsidiarité, de proportionnalité, de coopération renforcée voire par la multiplication des actes annexés au traité.

Le principal objet de cet thèse réside dans la modélisation et l’optimisation de services de transport à la demande aussi différents soient-ils (ou seront-ils). Les techniques de supervision doivent alors pouvoir supporter différents objectifs et différentes contraintes pour s’adapter aux services actuels et futurs. Ainsi, ce rapport de thèse développe différentes variantes du DARP - ang. Dial-a-Ride Problem -, le problème de Recherche Opérationnelle modélisant et optimisant un service classique de transport à la demande. Le DARP standard a été étendu de façon à prendre en compte des hypothèses de fonctionnement prometteuses, comme le fait de séparer les composants d’une même requête pour les dispatcher sur des véhicules différents ou encore la présence de mécanismes d’intermodalité. Cette thèse permet également d’inscrire les véhicules autonomes tels que les VIPA dans de nouvelles problématiques de la Recherche Opérationnelle tout en restant dans le domaine du transport à la demande. La modélisation puis l’optimisation de ces systèmes permet de créer les plannings de ces nouveaux véhicules. A long terme, l’évolution technologique devrait permettre de ne plus se soucier du fait qu’ils sont automatiques. Ces travaux tentent de fournir un cadre suffisamment générique permettant à la fois de fournir une solution exploitable aujourd’hui et qui soit adaptable demain
The main objective of the thesis is modeling and optimization of several on-demand transportation services. Supervision techniques must be able to handle numerous criteria and numerous constraints to adapt to the current and future services. Thus, this research develops several types of DARP - Dial-a-Ride Problem -, the operation research problem modeling and optimizing an on-demand transportation system. The standard DARP has been adapted to promising systems, such as those allowing to split the components of the same request and the possibility to dispatch them on different vehicles or the presence of intermodal mechanisms. This thesis also formulates new Operations Research problems in order to integrate autonomous vehicles such as the VIPA in an optimized on-demand transportation system. Modeling and optimizing these systems create schedules of these new vehicles. In the future, technological evolutions are expected and the automatic feature of the vehicles will not be taken into account anymore. These studies attempt to provide a generic framework in order to provide a usable tool for today and an adaptable tool for tomorrow

Selon l’article 2 de la Charte de l’environnement : « Toute personne a le devoir de prendre part à la préservation et à l’amélioration de l’environnement ». L’article L. 200-2 du Code rural précise : « les lois et règlements organisent le droit de chacun à un environnement sain et contribuent à assurer un équilibre harmonieux entre les zones urbaines et les zones rurales. Il est du devoir de chacun de veiller à la sauvegarde et de contribuer à la protection de l’environnement. Les personnes publiques et privées doivent, dans toutes leurs activités, se conformer aux mêmes exigences ». Chaque année, il se vend en France des milliers de biens immobiliers. Par conséquent, les personnes impliquées dans l'acte de cession de biens immobiliers ont le devoir de prendre part à la préservation et à l'amélioration de l'environnement. Concrètement, comment s'opère la défense de la nature lors de la vente de biens immobiliers ? Deux hypothèses méritent une attention toute particulière. Il s'agit dans un premier temps de la solution qui consiste à vendre les biens immobiliers à des acquéreurs qui ont pour mission de sauvegarder la nature. L'environnement est sans aucun doute protégé. Toutefois, ces protecteurs de l’environnement ne sont pas les seuls acheteurs possibles. Pour leur permettre d’acquérir de tels immeubles ces derniers bénéficient d’un droit de préemption. Dans une seconde approche, les biens immobiliers sont vendus à des acheteurs dont l'objectif immédiat n'est pas de préserver l'environnement. La question de la sauvegarde de la nature se trouve donc posée dans une telle hypothèse. En réalité, la défense des intérêts des acquéreurs de biens immobiliers assure par ricochet la protection de l'environnement. La protection de l'environnement lors de la vente de biens immobiliers présente cependant des insuffisances. Mais la vente de biens immobiliers reste un maillon essentiel dans la sauvegarde de la nature. Car chaque année des milliers de biens immobiliers sont mis sur le marché
According to the article 2 of the Charter of the environment : “Every person has duty to take part in preservation and in improvment of the environment”. The article L. 200-2 of Code Rural specifies : “laws and regulations organize the right to each to a healthy environment and contribute to assure a harmonious equilibrium between the urban zones and country zones. It is the duty of each to look after maintenance and to contribute of the protection of environment. The private and public persons must do in all activities, to conform to the same requirements”. As a result, the public persons and private persons have to participate to safeguard nature. In addition, the persons implicated in the act of cession of real estates would not know how to infringe. So how this defence of the environment is done? In the first approach, real estates are sold to the purchasers having protection of environment as mission. Nevertheless, these protectors of environment are not the only possible purchasers for sale real estates. To allow acquiring such things, these last have to benefit privilege constraining the sellers to give to them up such property. This privilege is known under the name of right of pre-emption. Once acquired, these properties must be preserved to assure the maintenance of nature. In the second approach, the real states are bought by persons no eager to protect environment even if they are guest to do it by the law. How to assure the maintenance of nature? It results simply from the defense of the purchasers of real estates. In spite of the insufficiency of the protection environment during the sale of real estates, this operation remains an essential link in the defense of nature. Every year, thousands of properties are sold. These thousands persons implicated in such settlements remains major actors in the protection of environment

Cette thèse porte sur la vérification formelle de systèmes temps réel et procède par transformation de modèle entre l'algèbre de processus temporisée RT-LOTOS et les réseaux de Petri temporels étendus par des chronomètres et des données. Des schémas de traduction de RT-LOTOS vers ces réseaux de Petri étendus sont proposés et formellement prouvés. L'approche transformationnelle développée pour la partie " contrôle " de RT-LOTOS est étendue à la partie " données ". Le langage RT-LOTOS est lui même enrichi d'un opérateur de suspension reprise qui permet de modéliser et vérifier une classe plus large de systèmes temps réel Plusieurs études de cas attestent de l'efficacité des schémas de traduction proposés par rapport à des outils LOTOS ou RT-LOTOS développés antérieurement. L'approche proposée s'avère transposable à d'autres langages de modélisation en particulier le profil UML temps réel TURTLE (Timed UML and RT-LOTOS Environment).

Dans le cadre des enjeux actuels du droit à la ville et à la qualité de vie, l'aménagement urbain constitue un outil pertinent qu'il convient de façonner en ce sens. Notion pivot de l'urbanisme opérationnel, aucune définition complète ne figure pourtant dans les textes, et les multiples références à l'aménagement dans l'ensemble des branches du droit n'ont fait qu'embrumer davantage les contours de l'aménagement urbain. L'étude du code de l'urbanisme, des débats parlementaires et de la jurisprudence conduit à désigner l'opération d'aménagement urbain comme sa matérialisation concrète. Distinct de l'aménagement du territoire et transcendant la frontière public-privé, l'aménagement urbain désigne les opérations de travaux visant un projet urbain d'intérêt général portant sur un quartier ou du moins sur un lieu de vie. Elle constitue dès lors un instrument local de choix au service de la qualité de vie. C'est pour cette raison qu'un régime juridique de droit commun, qui serait applicable à toute opération d'aménagement urbain, doit être élaboré. De sa conception à sa réalisation, ce régime permettrait de concilier les considérations purement économiques de cette activité avec les exigences modernes de garantie d'un cadre de vie de qualité
In the context of current issues pertaining to the right to the city and to quality of life, urban development is a relevant tool which should be adapted. As a pivotal notion of operational urban planning, no complete definition yet exists for urban development. Furthermore, the multiple references to development in corpus juris obfuscate the notion. After examining the code de l’urbanisme, parliamentary debates and case law, it is evident that urban development operation should be considered as the materialization of urban development. Distinct from land settlement operations and overcoming the public-private border, urban development can be defined as works of general interest focused on a district or at least a place of life. Consequently, it represents a local tool appropriate to quality of life, which is why general regulations, applicable to every urban development operation, must be elaborated. From conception to realisation, these regulations make it possible to reconcile strictly economic parts of this activity with the modern requirements of a quality living environment

L'analyse des situations d'interactions stratégiques, telle qu'elle s'est développée ces trente dernières années en économie industrielle sur la base de modèles théoriques mobilisant la théorie des jeux, peut-elle être utilisée dans les firmes pour l'aide à l'analyse stratégique ? L'objectif de cette thèse est d'explorer cette question dans le secteur spécifique des industries de biens "de commodité". Le chapitre 1 est un essai traitant de l'impact de l'incertitude de la demande sur des stratégies de préemption . Le chapitre 2 s'attache à la prise en compte des contraintes de capacité de production dans l'équilibre de Cournot-Nash. Le chapitre 3 propose un équilibre de négociation fondé sur des menaces de guerre de prix en demande inélastique. Le chapitre 4 présente un jeu expérimental proposant des limitations aux stratégies d'accommodation.

Depuis quelques années, les centres d'appels enregistrent une forte croissance dans le monde. Les entreprises s'orientent de plus en plus vers ce choix qui leur offre une relation privilégiée avec leurs clients. Ainsi, ils disposent d'un moyen convivial et peu coûteux pour fidéliser leurs clients tout en essayant d'en acquérir de nouveaux. Le sujet de cette thèse porte sur le développement et l'analyse de modèles stochastiques pour l'aide à la décision dans les centres d'appels.
Dans la première partie, nous considérons un centre d'appels où tous les agents sont groupés dans un même pool et les clients sont traités indifféremment par un des agents. Nous étudions les bénéfices de la migration depuis cette configuration vers un centre d'appels où les clients sont divisés en classes (appelées portefeuilles de clients). Chaque portefeuille de clients est servi par un pool de conseillers qui lui est exclusivement dédié. Ensuite, nous considérons un centre d'appels avec deux classes de clients impatients. Nous développons des politiques dynamiques pour l'affectation des clients (selon leurs types) aux différentes files d'attente. L'objectif étant lié aux qualités de service différentiées exprimées en terme du pourcentage des clients perdus, ainsi qu'en terme de la variance du temps d'attente. Enfin, nous étudions un centre d'appels qui annonce le délai d'attente à chaque nouveau client. Nous montrons les avantages de l'annonce sur les performances du centre d'appels.
Dans la deuxième partie, nous considérons un processus de naissance et de mort de forme générale. Nous calculons ensuite les moments de plusieurs variables aléatoires liées aux temps de premiers passages (ordinaires et conditionnels). Ensuite, nous montrons un résultat de concavité dans une file d'attente avec capacité limitée et avec une seule classe de clients impatients. Nous démontrons que la probabilité d'entrer en service est strictement croissante et concave en fonction de la taille de la file d'attente.

Cette thèse présente les résultats d’un projet de recherche visant l’optimisation du processus d’ordonnancement d’activités au sein d’un laboratoire de recherche du Commissariat à l’Énergie Atomique et aux Énergies Alternatives (CEA). Pour aborder ce problème, nous décomposons chaque activité en un ensemble de tâches élémentaires pour appliquer des méthodes classiques d’ordonnancement. Nous modélisons le problème d’ordonnancement du laboratoire comme une version étendue du problème de gestion de projet multi-compétences (Multi-Skill Project Scheduling Problem ou MSPSP). En première approche, nous proposons un MSPSP avec pénalité par préemption, ainsi que sa formulation en Programmation Linéaire en Nombres Entiers (PLNE). Dans cette version du problème, la préemption est autorisée et une pénalité est appliquée chaque fois qu’une activité est interrompue. Cette approche précédente ne prend cependant pas en compte toutes les contraintes de sûreté et sécurité de l’installation et une variante plus précise du problème est nécessaire. Ainsi, nous proposons ensuite d’intégrer le concept de préemption partielle au MSPSP. Ce concept, qui n’a pas encore été étudié dans la littérature scientifique, implique que seul un sous-ensemble de ressources est libéré pendant les périodes de préemption. Le problème qui en découle (MSPSP avec préemption partielle ou MSPSP-PP) est modélisé à l’aide de deux méthodologies : la PLNE et la programmation par contraintes. Compte tenu du besoin industriel de disposer de bonnes solutions dans un délai très court, nous présentons également une série d’algorithmes heuristiques pour MSPSP-PP. Tout d’abord, nous présentons un algorithme glouton qui utilise des règles de priorité et un problème de flot pour l’affectation des techniciens. Pour améliorer les solutions de l’algorithme glouton, nous présentons un algorithme de recherche locale basée sur une arborescence binaire et une procédure de recherche adaptative aléatoire gloutonne. Enfin, nous présentons un algorithme de recherche locale à grand voisinage, une procédure hybride combinant des méthodes exactes et heuristiques. Une maquette d’interface graphique, permettant l’exploitation simple des algorithmes d’ordonnancement par l’équipe de planification de l’installation, est aussi présentée
This dissertation presents the results of a research project aiming to optimise the scheduling of activities within a research laboratory of the “Commissariat à l’Energie Atomique et aux Energies Alternatives (CEA)”. To tackle this problem, we decompose every activity into a set of elementary tasks to apply standard scheduling methods. We model the problem as an extended version of the Multi-Skill Project Scheduling Problem (MSPSP). As a first approach, we propose an MSPSP with penalty for preemption, along with its mixed-integer/linear programming (MILP) formulation, where the preemption is allowed applying a penalty every time an activity is interrupted. However, the previous approach does not take into account all safety constraints at the facility, and a more accurate variant of the problem is needed. We then propose to integrate the concept of partial preemption to the MSPSP. This concept, which has not been yet studied in the scientific literature, implies that only a subset of resources is released during preemption periods. The resulting MSPSP with partial preemption (MSPSP-PP) is modelled using two methodologies: MILP and constraint programming. Regarding the industrial need of having good solutions in a short time, we also present a series of heuristics algorithms for the MSPSP-PP. First, we present a serial greedy algorithm, using priority rules and a flow problem for the allocation of technicians. To improve the solutions of the greedy algorithm, we present a binary-tree-based search algorithm and a greedy randomised adaptive search procedure. Finally, we present a large neighbourhood search algorithm, a hybrid procedure combining exact and heuristic methods. A mock-up of a Graphical User Interface, allowing the exploitation of the scheduling algorithms by the CEA is also presented

Depuis quelques années, les centres d'appels enregistrent une forte croissance dans le monde. Les entreprises s'orientent de plus en plus vers ce choix qui leur offre une relation privilégiée avec leurs clients. Ainsi, ils disposent d'un moyen convivial et peu coûteux pour fidéliser leurs clients tout en essayant d'en acquérir de nouveaux. Ce travail fait suite à des problématiques réelles exprimées par l'entreprise Bouygues Telecom. Les données utilisées sont dans le même ordre de grandeur que ce qui se passe dans la réalité.
Dans la première partie de ce travail, nous étudions le phénomène de rappels. Nous commençons, d'abord, par montrer son importance dans le système. Par la suite, nous montrons que le fait d'ignorer ce phénomène engendre beaucoup d'erreurs lors du dimensionnement du centre d'appels et se traduit par des objectifs non satisfaits ou par un système surdimensionné sujet à des coûts supplémentaires. Cette analyse concerne le régime stationnaire. L'étude du système multi-période aboutit, elle, à la détermination de l'évolution de la demande réelle en fonction du temps et ce, à partir des arrivées observées.
Dans la deuxième partie, nous commençons par proposer des estimateurs du temps d'attente que les clients doivent passer dans la file avant d'être servis et ce, pour des clients répartis en plusieurs classes de priorité non-préemptive. En fonction de ces estimateurs, nous étudions plusieurs règles de routage. Nous comparons le système composé de plusieurs files d'attente, et nécessitant donc un routage, avec le système où les files d'attente sont fusionnées. Nous terminons cette partie par une analyse de deux disciplines de priorités probabilistes et nous les comparons avec la discipline de la priorité stricte. Comme dans le cas du routage, la comparaison s'effectue en fonction du nombre de conseillers nécessaires à la satisfaction de qualités de service objectif pour chaque classe de clients

Les systèmes embarqués temps réel impactent nos vies au quotidien. Leur complexité s’intensifie avec la diversité des applications et l’évolution des architectures des plates-formes de calcul. En effet, les systèmes temps réel peuvent se retrouver dans des systèmes autonomes, comme dans les métros, avions et voitures autonomes. Ils sont donc souvent d’une importance décisive pour la vie humaine, et leur dysfonctionnement peut avoir des conséquences catastrophiques. Ces systèmes sont généralement multi-périodiques car leurs composants interagissent entre eux à des rythmes différents, ce qui rajoute de la complexité. Par conséquent, l’un des principaux défis auxquels sont confrontés les chercheurs et industriels est l’utilisation de matériel de plus en plus complexe, dans le but d’exécuter des applications temps réel avec une performance optimale et en satisfaisant les contraintes temporelles. Dans ce contexte, notre étude se focalise sur la modélisation et l’ordonnancement des systèmes temps réel en utilisant un formalisme de flot de données. Notre contribution a porté sur trois axes: Premièrement, nous définissons un mode de communication général et intuitif au sein de systèmes multi-périodiques. Nous montrons que les communications entre les tâches multi-périodiques peuvent s’exprimer directement sous la forme d’une classe spécifique du “Synchronous Data Flow Graph” (SDFG). La taille de ce graphe est égale à la taille du graphe de communication. De plus, le modèle SDFG est un outil d’analyse qui repose sur de solides bases mathématiques, fournissant ainsi un bon compromis entre l’expressivité et l’analyse des applications. Deuxièmement, le modèle SDFG nous a permis d’obtenir une définition précise de la latence. Par conséquent, nous exprimons la latence entre deux tâches communicantes à l’aide d’une formule close. Dans le cas général, nous développons une méthode d’évaluation exacte qui permet de calculer la latence du système dans le pire des cas. Ensuite, nous bornons la valeur de la latence en utilisant deux algorithmes pour calculer les bornes inférieure et supérieure. Enfin, nous démontrons que les bornes de la latence peuvent être calculées en temps polynomial, alors que le temps nécessaire pour évaluer sa valeur exacte augmente linéairement en fonction du facteur de répétition moyen. Finalement, nous abordons le problème d’ordonnancement mono-processeur des systèmes strictement périodiques non-préemptifs, soumis à des contraintes de communication. En se basant sur les résultats théoriques du SDFG, nous proposons un algorithme optimal en utilisant un programme linéaire en nombre entier (PLNE). Le problème d’ordonnancement est connu pour être NP-complet au sens fort. Afin de résoudre ce problème, nous proposons trois heuristiques: relaxation linéaire, simple et ACAP. Pour les deux dernières heuristiques, et dans le cas où aucune solution faisable n’est trouvée, une solution partielle est calculée
Real-time embedded systems change our lives on a daily basis. Their complexity is increasing with the diversity of their applications and the improvements in processor architectures. These systems are usually multi-periodic, since their components communicate with each other at different rates. Real-time systems are often critical to human lives, their malfunctioning could lead to catastrophic consequences. Therefore, one of the major challenges faced by academic and industrial communities is the efficient use of powerful and complex platforms, to provide optimal performance and meet the time constraints. Real-time system can be found in autonomous systems, such as air-planes, self-driving cars and drones. In this context, our study focuses on modeling and scheduling critical real-time systems using data flow formalisms. The contributions of this thesis are threefold: First, we define a general and intuitive communication model within multi-periodic systems. We demonstrate that the communications between multi-periodic tasks can be directly expressed as a particular class of “Synchronous Data Flow Graph” (SDFG). The size of this latter is equal to the communication graph size. Moreover, the SDFG model has strong mathematical background and software analysis tools which provide a compromise between the application expressiveness and analyses. Then, the SDFG model allows precise definition of the latency. Accordingly, we express the latency between two communicating tasks using a closed formula. In the general case, we develop an exact evaluation method to calculate the worst case system latency from a given input to a connected outcome. Then, we frame this value using two algorithms that compute its upper and lower bounds. Finally, we show that these bounds can be computed using a polynomial amount of computation time, while the time required to compute the exact value increases linearly according to the average repetition factor. Finally, we address the mono-processor scheduling problem of non-preemtive strictly periodic systems subject to communication constraints. Based on the SDFG theoretical results, we propose an optimal algorithm using MILP formulations. The scheduling problem is known to be NP-complete in the strong sense. In order to solve this issue, we proposed three heuristics: linear programming relaxation, simple and ACAP heuristics. For the second and the third heuristic if no feasible solution is found, a partial solution is computed

Cette thèse analyse le rôle de l'irréversibilité de l'investissement sur la concurrence dynamique. Elle est composée de quatre articles théoriques et d'une introduction générale. Le deuxième chapitre s'intéresse à la possibilité de préemption en investissement irréversible, concurrence imparfaite et évolution de la demande aléatoire. Il montre qu'il n'y a pas de préemption sans sauts de demande. En effet, la linéarité des coûts d'investissement crée une incitation pour les entreprises à investir aussi vite que possible. Dès lors, il ne peut y avoir de préemption en l'absence d'évolution de la demande. Le troisième chapitre étudie la dynamique de la répartition de capacités au sein de l'oligopole, lorsque l'investissement est irréversible, la concurrence imparfaite et la demande aléatoire. Il montre que la dynamique de l'investissement a une propriété d'efficacité, et qu'une asymétrie entre capacité initiale peut se conserver à court terme, mais disparait à long terme. Le quatrième chapitre analyse les décisions d'investissement d'un duopole quand chaque entreprise peut investir dans deux types de capacités différentes. L'une des capacités permet de produire à un coût marginal plus faible, mais est plus chère à l'achat. Les entreprises sont contraintes financièrement en première période. A cause de cela, les entreprises peuvent utiliser les deux types de capacités en même temps, et il y a une possibilité de préemption. De plus, l'augmentation du prix de la capacité inefficace peut renforcer son utilisation. Le dernier chapitre étudie l'impact de l'irréversibilité de l'investissement sur la possibilité de collusion. L'irréversibilité de l'investissement réduit la profitabilité de la déviation de court terme, l'entreprise qui dévie ayant besoin d'augmenter sa capacité, mais crée aussi une incitation de long terme. En effet, l'investissement réalisé par l'entreprise qui dévie l'engage à un certain niveau de capacité dans le futur, permettant de préempter l'entreprise concurrente. A cause de cet effet de préemption, plus les entreprises sont patientes, plus la collusion peut être difficile à soutenir
This thesis studies the role of the irreversibility of investment on the dynamic imperfect competition. It is composed of four theoretical articles and a general introduction. The second chapter studies the role of demand evolution on the possibility of preemption under irreversible investment under imperfect competition. It shows there is no possibility of preemption when there is no jump of demand. Indeed, the linearity of investment cost creates no incentive for the firms to delay investment. When there is no demand evolution, this prevents preemption. The third chapter focuses on the dynamics of firms' capacity when the irreversibility of investment is partial. It shows that the investment dynamics exhibits an efficiency property, and that some initial asymmetry in capacity can be preserved in the short run, but disappears in the long run. The fourth chapter considers the investment choice of firms when there are two different productive capacities embodying different types of technology. One technology permits to produce at a lower marginal cost but the purchasing price of the capacity using this technology is higher. Due to the presence of a financial constraint, firms use different technologies at the same time, and a preemption equilibrium appears. Finally, this paper presents a counter intuitive policy result: an increase in the price of one of the capacities may increase its utilization. The last chapter studies the impact of the irreversibility of investment on collusion possibility. The irreversibility of investment reduces the profitability of short run deviation, as the deviating firm has to invest in order to increase its capacity, and it creates a long run effect. lndeed, once the deviating firr has invested, it is committed toits new capacity. The deviation may thus lead to a preemption of the punishing firm. This preemption effect can make collusion harder to sustain for more patient firms

Les sociétés sont traditionnellement classées en sociétés de personnes et sociétés de capitaux. L’intuitus personae constitue le fondement sur lequel repose cette distinction. Fort présent dans les sociétés de personnes, l’intuitus personae serait, en théorie, absent dans les sociétés de capitaux. Toutefois, cette distinction classique ne correspond plus, aujourd’hui, à la réalité. Nous assistons, en effet, à la résurgence de la considération de la personne dans les sociétés de capitaux à travers le développement de techniques contractuelles dont le but est de contrôler l’accès à ces sociétés. Ce mouvement de personnalisation a été renforcé par le législateur, d’abord, par la création de la société par actions simplifiée, mais aussi par la reconnaissance, dans les sociétés cotées, de la notion de concert ou encore d’un droit de sortie au profit des actionnaires minoritaires. La consécration de la validité de l’exclusion, qu’elle soit conventionnelle ou le résultat d’un mécanisme spécifique du droit des sociétés comme le retrait obligatoire ou le coup d’accordéon, participe également de ce phénomène. Cette présence a des conséquences majeures sur le fonctionnement de ces sociétés, mais aussi sur le droit des sociétés en général. En effet, d’une part, la reconnaissance de la primauté des relations entre actionnaires sur les capitaux offre une nouvelle perspective de la notion d’affectio societatis et du principe majoritaire. Et d’autre part, la mise en oeuvre de l’intuitus personae dans des sociétés dans lesquelles il est censé être absent affecte la cohérence même du droit des sociétés en anéantissant la summa divisio sur laquelle ce droit est bâti et en dénaturant le choix du pluralisme juridique, fait de longue date par le législateur français, qui commande en présence d’une pluralité de structures offertes aux opérateurs, une distinction de chacune d’elles reposant sur des critères précis et invariables
Companies are traditionally classified into partnerships and joint stock companies. Intuitus personae is the basis for this distinction. Clearly present in partnership companies, intuitus personae is, in theory, absent in joint stock companies. However, this traditional distinction does not correspond today to reality. We are, in fact, witnessing a resurgence of the consideration of the individual in joint stock companies by means of contractual techniques whose aim is to control access to these companies. This resurgence has been further strengthened by the legislator, first by the creation of the status of simplified stock company and also by the recognition in listed companies of the existence of concerted action and a right to voluntary withdrawal benefiting minority stockholders. The admission of the validity of exclusion, either conventional or resulting from mechanisms specific to company law such as a squeeze out or even an “accordion squeeze”, add to the growth of this phenomenon. This presence of intuitus personae has major implications on the functioning of joint stock companies and on company law, in general. Indeed, on the one hand, the primacy of shareholder relationships over capital offers a new perspective of the notion of affectio societatis and the principle of majority rule. On the other hand, the introduction of intuitus personae into companies where this concept should have been absent affects the coherence of company law by destroying the summa divisio basis on which this law is founded and by distorting the legal pluralism long ago adopted by the French legislator which, in the presence of diverse legal structures, necessitates a distinction amongst them based on precise and invariable criteria

Primauté absolue du droit de l’UE ou suprématie des dispositions constitutionnelles ? Consacrée à l’analyse des conflits nés ou à naître entre normes constitutionnelle et celles du droit de l’UE, cette étude doctorale s’est focalisée sur l’analyse du lien entre les termes primauté et recours pour relever que dans ce genre de litiges contentieux un syllogisme juridique inédit est appliqué. Il s’agit de celui qui préserve cumulativement le critère hiérarchique caractérisant les ordres juridiques internes des États membres, à son sommet le principe de suprématie des dispositions constitutionnelles sur toutes les autres et l’application effective de la primauté matérielle du droit de l’Union ; les évolutions récentes du droit interne de l’UE convergent toutes dans ce sens : dans le cadre d’un litige contentieux, la primauté n’est plus une problématique de légalité constitutionnelle, le conflit est contourné. En la matière, les débats sur l’autorité et la force du droit international classique sur le droit constitutionnel ne se pose plus. Il a été séparé entre la force et l’effet des traités du droit international de l’Union. Pourtant sur le plan des principes, même au sein d’un État fédéral, le contenu définitionnel et surtout le maniement du texte constitutionnel n’ont pas été revisités ; la Constitution est le fondement sans être le contenu de validité de la primauté du droit de l’Union, le texte suprême opère en tant que technique de renvoi, il cadre deux types de champs en fonction du critère de l’objet du litige contentieux. Suprématie et primauté sont deux principes de nature juridique différente qui ne s’affrontent pas. La prévalence de la primauté matérielle du droit de l’Union n’affecte nullement la suprématie au sommet de la hiérarchie pyramidale des normes de chacun des États adhérents
Absolute primacy of Community law or supremacy of constitutional provisions ? Devoted to the analysis of the conflicts born or to be born between EU law and constitutional standards, this doctoral study focused on analysis of the link between the terms of primacy or preemption rule and jurisdictional actions to raise that in this kind of litigation disputes a unreported legal syllogism is applied. It's one that cumulatively preserves the hierarchical criterion characterizing the domestic legal systems of the Member States, at its peak the principle of supremacy of the Constitution over all others and the effective application of the material primacy of Union law ; recent developments in internal law of the Union converge in this sense : in a dispute litigation, primacy is no longer a problem of constitutional legality, the conflict is circumvent. Concerning this matter, the debate on the authority and the force of traditional international law on constitutional law no longer arises. It has been separated between the force and the effect of the treaties of international law of the Union. Yet in terms of principles, even within a federal State, the definitional content and especially the handling of the constitutional text have not been revisited ; the Constitution is the legal basis without being the content validity of the primacy of Union law, the supreme text operates as a reference technique, it fits two types of fields based on the criterion of the contentious issue. Supremacy and rule are two different legal nature principles which do not compete. The prevalence of the material primacy of Union law sets no supremacy at the top of the pyramidal hierarchy of standards of each of the acceding States

On considère le problème d'ordonnancement des systèmes temps-réel. On commence par la modelisation d'une certaine classe de programmes Java, avec des processus concurrents constitués d'une séquence de tâches temps-réel qui se synchronisent et peuvent accéder aux ressources communes. Pour ce modèle on analyse l'ordonnancement en proposant un algorithme d'attribution de priorités fixes; le problème de deadlock est aussi analysé grace à une technique de détection. A partir de ce problème, on aborde l'ordonnancement dans une approache plus générale basée sur le modèle des automates temporsés; on propose de techniques pour décider le problème d'ordonnancement qui réposent sur des procédures d'analyse symbolique d'accessibilité dans differents modèles: LIFO one-préemption, EDF one-préemption, General Scheduling. Pour chaque modèle on donne une serie de proprietés, notamment la preuve d'accessibilité. On conclut par donner une methode complète d'ordonnancement

Cette thèse de doctorat propose une analyse des temporalités narratives dans les séries télévisées récentes Life on Mars (BBC, 2006-2007), Flashforward (ABC, 2009-2010) et Damages (FX/Audience Network, 2007-2012). L’argument général part de la supposition que les nouvelles technologies télévisuelles ont rendu possible de nouveaux standards esthétiques ainsi que des expériences temporelles originales. Il sera montré par la suite que ces nouvelles qualités esthétiques et expérientielles de la fiction télévisuelle relèvent d’une nouvelle pertinence politique et éthique du temps. Cet argument sera déployé en quatre étapes. La thèse se penche d’abord sur ce que j’appelle les technics de la télévision, c’est-à-dire le complexe de technologies et de techniques, afin d’élaborer comment cet ensemble a pu activer de nouveaux modes d’expérimenter la télévision. Suivant la philosophie de Gilles Deleuze et de Félix Guattari ainsi que les théories des médias de Matthew Fuller, Thomas Lamarre et Jussi Parikka, ce complexe sera conçu comme une machine abstraite que j’appelle la machine sérielle. Ensuite, l’argument puise dans des théories de la perception et des approches non figuratives de l’art afin de mieux cerner les nouvelles qualités d’expérience esthétique dans la fiction sérielle télévisée. Pour ce faire, je développe le concept de figure de temps définie comme la forme abstraite, immédiatement ressentie, du mouvement temporel effectué par un récit. Il sera montré, en troisième lieu, que ces mouvements figuraux mettent en jeu l’orientation vers l’avenir et la préemption. Tous les récits du corpus anticipent leur propre fin et prennent forme en fonction de cette fin prédite, ce pourquoi ils seront appelés récits préemptifs où l’avenir pose un problème affectif plutôt qu’épistémologique. Je montre que, dans ces séries, la boucle passant par l’avenir est immédiatement ontogénétique dans la mesure où elle crée la réalité dans le présent en suscitant l’incertitude et la peur. Enfin, la thèse soutien qu’une telle politique affective fait partie de ce que Gilles Deleuze appelle les « sociétés de contrôle » qui opèrent une modulation continue des conditions de vie de l’individu. En suivant les écrits de Deleuze sur les sociétés de contrôle et sur l’Éthique de Spinoza, je suggère que les exigences d’un tel environnement modulant sont éthiques (plutôt que morales). Seront ensuite décortiquées les complexes de techniques, appelés procédures suivant les artistes-philosophes Madeline Gins et Arakawa, qui soutiennent une éthique pour survivre la société de contrôle dans la série Damages.
This thesis examines complex narrative temporalities in the recent television series Life on Mars (BBC, 2006-2007), Flashforward (ABC, 2009-2010), and Damages (FX/Audience Network, 2007-2012). The general argument proposes that the renewed technics of television have enabled innovative aesthetic standards and temporal experiences in serial TV fiction. It is subsequently shown that these new aesthetic and experiential qualities of TV fiction are correlative to an increased political and ethical relevance of time. This overall argument is laid out in four major steps. The project first addresses the technics of recent television to show how new technologies have enabled new techniques of experiencing television. Drawing on the philosophy of Gilles Deleuze and Félix Guattari as well as the media theories of Matthew Fuller, Thomas Lamarre, and Jussi Parikka, the complex and productive linkages between technology and techniques will be theorized as an abstract machine which I call the serial machine. The argument then draws on theories of perception and nonrepresentational approaches to art in order to analyze the new qualities of aesthetic experience in serial TV fiction. For this purpose, I develop the central concept of the figure of time understood as the directly felt abstract shape effectuated by a narrative’s movement through time. It will be seen, in a third step, that the figural movements discussed in this thesis concern questions of future-orientation and preemption. All of the narratives in this project anticipate their own ending and take form with respect to this foretold future. They are therefore conceptualized as “preemptive narratives,” in which the future poses an affective rather than epistemological problem. I will show that, in the serial narratives under discussion, the preemptive loop through the future is immediately ontogenetic in that it creates a reality in the present by inducing uncertainty and fear of the future. Finally, the thesis proposes that such affective politics are an element of what Gilles Deleuze calls control societies, in which conditions of life are constantly modulated. Following his writings on control societies and Spinoza’s Ethics, it is argued that the requirements of such a modulatory environment are ethical in nature (rather than moral). Drawing on the work by artists-philosophers Madeline Gins and Arakawa, I elaborate the techniques of attention which sustain an ethics for surviving the control society in the TV series Damages.
Faute de droits d'auteurs pour les captures d'écrans, mon document ne contient pas d'images. Si vous voudriez consulter ma thèse avec les images, veuillez me contacter.