Cette thèse examine les notions de temps réel et de temps différé telles qu'on les rencontre en informatique musicale et dans la musique contemporaine. La première partie commence par une approche historique, montrant la concomitance de leur apparition avec l'essor de l'informatique au début des années 60. Puis elle développe une critique du cloisonnement du temps réel et du temps différé en tant que catégories dichotomiques, à partir de définitions du seuil de latence qui sont incompatibles entre elles. Elle formalise enfin une représentation alternative : un axe " latentiel ", qui intègre temps réel et temps différé. Cette représentation est illustrée par trois analyses axiales, utilisant un logiciel d'aide au classement relatif et subjectif. À la suite de cette réflexion théorique, la seconde partie présente cinq collaborations musicales dans lesquelles j'ai réalisé la partie informatique avec Max/MSP : CBox avec le compositeur Mario Lorenzo, sur un projet d'exploration des possibilités de la circularité ; Mimi et Rose amère avec l'altiste Stéphanie Réthoré, sur un projet d'alto augmenté pour l'improvisation ; FeedItBack et Iviv avec le compositeur Santiago Quintáns, principalement sur la pièce In Vivo / In Vitro, pour caisse claire augmentée ; a2m, Loterie, Emzed et Nappe avec le compositeur Mauricio Meza, sur la pièce Woes-war-sollichwer-den, pour clarinette, public, et ordinateur ; Plugiscope, Ifso, et Ultraviolette avec le clarinettiste et compositeur Iván Solano, sur un premier projet pour voix, un deuxième pour clarinette basse, et un troisième pour percussion. La thèse s'achève avec une brève réflexion sur le réalisateur en informatique musicale.

Les systemes temps reel sont des dispositifs constitues de materiels et de logiciels soumis a des contraintes a la fois fonctionnelles et temporelles pour realiser des traitements, et agir sur leur environnement. Des exemples de domaines o u on rencontre de tels systemes sont les telecommunications, le nucl eaire, l'avionique ou le medical. Ces systemes sont souvent critiques a cause d'enjeux humains et economiques importants. Leur developpement exige donc des methodes tres ables. L'approche synchrone a et e proposee dans le but de repondre a cette attente. Ses fondements mathematiques o rent un cadre formel propice a la description et la validation des systemes temps reel. Parmi les modeles de specification synchrone, le modele multi-horloge ou polychrone se distingue par le fait qu'il permet de decrire des systemes o u chaque composant peut avoir sa propre horloge d'activation. Outre la validation formelle, il favorise des approches orientees composants et le d eveloppement modulaire de systemes a grande echelle. Cette these propose une m ethodologie de conception de syst emes temps reel en utilisant comme formalisme de description le langage synchrone Signal fond e sur le mod ele polychrone. Elle utilise les outils et techniques formels bas es sur ce modele pour verifier des proprietes comportementales portant sur des aspects tant fonctionnels que non fonctionnels. Cette demarche facilite l' evaluation des choix de conception. La methodologie propos ee permet de concevoir des systemes comportant des m ecanismes asynchrones a l'aide de l'approche synchrone. Elle illustre la caracterisation de comportements temps r eel dans le modele polychrone. L'avionique est le domaine d'application privilegie par la these. Cette derniere s'inscrit dans le cadre du projet europ een IST SafeAir (Advanced Design Tools for Aircraft Systems and Airborne Software), regroupant plusieurs industriels. Nous nous sommes particulierement interesses a la conception d'applications suivant le mod ele d'architecture IMA (Integrated Modular Avionics) sur lequel repose la norme avionique ARINC. Cela a conduit a la r ealisation d'une bibliotheque Signal de composants, constituee en majeure partie de services d'un ex ecutif temps reel d e nis par ARINC.

Les RCsF sont des réseaux ad hoc, sans fil, large échelle déployés pour mesurer des paramètres de l'environnement et remonter les informations à un ou plusieurs emplacements (nommés puits). Les éléments qui composent le réseau sont de petits équipements électroniques qui ont de faibles capacités en termes de mémoire et de calcul ; et fonctionnent sur batterie. Ces caractéristiques font que les protocoles développés, dans la littérature scientifique de ces dernières années, visent principalement à auto-organiser le réseau et à réduire la consommation d'énergie. Avec l'apparition d'applications critiques pour les réseaux de capteurs sans fil, de nouveau besoins émergent, comme le respect de bornes temporelles et de fiabilité. En effet, les applications critiques sont des applications dont dépendent des vies humaines ou l'environnement, un mauvais fonctionnement peut donc avoir des conséquences catastrophiques. Nous nous intéressons spécifiquement aux applications de détection d'événements et à la remontée d'alarmes (détection de feu de forêt, d'intrusion, etc), ces applications ont des contraintes temporelles strictes. D'une part, dans la littérature, on trouve peu de protocoles qui permettent d'assurer des délais de bout en bout bornés. Parmi les propositions, on trouve des protocoles qui permettent effectivement de respecter des contraintes temporelles mais qui ne prennent pas en compte les spécificités des RCsF (énergie, large échelle, etc). D'autres propositions prennent en compte ces aspects, mais ne permettent pas de garantir des bornes temporelles. D'autre part, les applications critiques nécessitent un niveau de confiance très élevé, dans ce contexte les tests et simulations ne suffisent pas, il faut être capable de fournir des preuves formelles du respect des spécifications. A notre connaissance cet aspect est très peu étudié pour les RcsF. Nos contributions sont donc de deux types : * Nous proposons un protocole de remontée d'alarmes, en temps borné, X-layer (MAC/routage, nommé RTXP) basé sur un système de coordonnées virtuelles originales permettant de discriminer le 2-voisinage. L'exploitation de ces coordonnées permet d'introduire du déterminisme et de construire un gradient visant à contraindre le nombre maximum de sauts depuis toute source vers le puits. Nous proposons par ailleurs un mécanisme d'agrégation temps-réel des alarmes remontées pour lutter contre les tempêtes de détection qui entraînent congestion et collision, et donc limitent la fiabilité du système. * Nous proposons une méthodologie de vérification formelle basée sur les techniques de Model Checking. Cette méthodologie se déroule en trois points, qui visent à modéliser de manière efficace la nature diffusante des réseaux sans fil, vérifier les RCsF en prenant en compte la non-fiabilité du lien radio et permettre le passage à l'échelle de la vérification en mixant Network Calculus et Model Checking. Nous appliquons ensuite cette méthodologie pour vérifier RTXP.

Ce travail de recherche étudie les apports de l'application de la technologie RFID dans le transport et évalue l'impact de cette intégration sur la performance de la Supply Chain globale. Nous mettons une attention particulière sur l'intérêt de fournir une traçabilité continue dans un environnement complexe où des décisions réactives doivent être prises suite à l'apparition d'évènements incertains. Nous étudions la pertinence de l'implémentation de la technologie RFID dans les processus de préparation de commandes, de chargement, de routage et de déchargement, principalement sur la réaction de la Supply Chain face aux aléas susceptibles d'intervenir lors du transfert des produits vers les clients. Afin de répondre à cette problématique, nous adoptons l'approche par simulation pour effectuer une comparaison quantitative entre un système réel adoptant la technologie du code à barre et son évolution en un système doté d'une technologie RFID. Nous simulons trois scénarii : code à barre, RFID sur palette et RFID sur colis. Nous proposons des outils de modélisation qui permettent de décrire les différents processus de la Supply Chain et de prendre en compte la spécificité dynamique liée à l'incertitude de l'environnement. Nous modélisons ensuite les processus de la Supply Chain en utilisant le modèle SCOR et le diagramme d'activité d'UML. Puis, nous décrivons les différents changements impactant la structure suite à l'introduction de la technologie RFID. Les modèles proposés constituent les bases de l'étape de l'évaluation de la performance. Nous intégrons ces modèles dans le logiciel de simulation ARENA puis nous simulons et comparons les trois scénarii retenus (Code à barre, RFID sur palette et RFID sur colis). Dans un premier temps, nous appliquons à chacun, un modèle de simulation sans aléas où nous supposons que l'acheminement des produits vers les clients se déroule correctement sans aucune erreur observée. Dans un second temps, nous introduisons aléatoirement des évènements pouvant surgir lors du transfert des produits vers les clients afin d'évaluer le comportement de la Supply Chain et de mesurer les performances réalisées avec et sans utilisation de la technologie RFID. Nous évaluons l'impact de l'utilisation de la technologie sur la performance en mesurant certains indicateurs issus du modèle SCOR et directement impactés par l'utilisation de la technologie RFID : réactivité, flexibilité et taux d'utilisation des ressources.

Depuis l'apparition de la vie sur terre, les pressions de sélection liées aux interactions biotiques et abiotiques ont généré une forte diversité des formes de vie. Ainsi, chaque espèce eucaryote coévolue avec sa communauté microbienne associée. Dans le cas des plantes, la diversité génétique se traduit au niveau de multiples traits phénotypiques (exsudation de substrats carbonés, architecture racinaire, densité et aération du sol, acidification, etc.) susceptibles d'influer sur les interactions avec les populations microbiennes du sol, et donc sur la composition et le fonctionnement de la communauté microbienne rhizosphérique. Notre hypothèse est que les différences entre communautés bactériennes rhizosphériques sont proportionnelles aux distances évolutives entre partenaires végétaux. L'objectif de cette thèse était donc de déterminer l'importance, dans le cas des Poacées et notamment du maïs, de l'histoire évolutive de la plante dans la capacité de sélection des communautés bactériennes de la rhizosphère. Les analyses faites à l'aide d'une puce à ADN taxonomique 16S indiquent que la composition de la communauté rhizobactérienne dépend du groupe génétique de maïs mais n'est pas liée aux marqueurs microsatellites de diversité du maïs. Par contre, à l'échelle des Poacées, une corrélation a été trouvée entre la phylogénie végétale et la composition de la communauté bactérienne (voire la prévalence de taxons bactériens particuliers). Cette corrélation n'était pas significative quand l'étude était limitée à l'effectif, le niveau de transcription de nifH ou la diversité du groupe fonctionnel des bactéries fixatrices d'azote. En conclusion, l'histoire évolutive du partenaire végétal à l'échelle des Poacées (mais pas à celle du maïs) est un facteur conditionnant les interactions avec les groupes bactériens taxonomiques (mais pas nécessairement fonctionnels) de la rhizosphère

Le développement de méthodes alternatives à la culture in vivo pour l'évaluation de la toxicité des molécules chimiques s'est accéléré ces dernières années, l'objectif étant de limiter l'utilisation d'animaux. Préconisés par l'OCDE (Organisation de coopération et de développement économiques), ces modèles alternatifs visent à mimer les conditions physiologiques en employant des systèmes in vitro ou in silico. Parmi les différents systèmes développés, les biopuces microfluidiques ont prouvé leur contribution à l'amélioration des fonctions cellulaires, ce qui permet des études toxicologiques pertinentes. Les travaux de ce doctorat sont basés sur l'emploi de ces biopuces pour cultiver des hépatocytes (cellules du foie) et portent sur la mise au point d'une méthode d'analyse d'images issues de ces cultures sous microscope au cours du temps. L'acquisition d'images tout au long de l'expérience permet de suivre, après traitement, l'évolution et le comportement des cellules au contact de molécules chimiques et d'évaluer les réponses toxicologiques. Les premiers résultats de ces travaux ont permis l'amélioration du procédé de culture microfluidique adaptée au matériel d'acquisition d'images, la sélection de sondes fluorescentes, et le choix d'un algorithme de traitement des images sur CellProfiler. Cela nous a permis de quantifier et caractériser certaines fonctions biologiques au sein de la biopuce comme l'activité mitochondriale. Le potentiel de cet outil pour évaluer la toxicité de molécule a été testé grâce à l'emploi d'un toxique connu : la staurosporine. Les résultats obtenus ont révélé l'impact de la mise en culture en dynamique sur le comportement des hépatocytes, et la toxicité de la staurosporine visible en biopuce.

Les systèmes temps-réel critiques sont de plus en plus complexes, et les exigences fonctionnelles et non-fonctionnelles ne cessent plus de croître. Le flot de conception de tels systèmes doit assurer, parmi d'autres propriétés, le déterminisme fonctionnel et la prévisibilité temporelle. Le déterminisme fonctionnel est inhérent aux modèles de calcul flot de données (ex. KPN, SDF, etc.) ; c'est pour cela qu'ils sont largement utilisés pour modéliser les systèmes embarqués de traitement de flux. Un effort considérable a été accompli pour résoudre le problème d'ordonnancement statique périodique et à mémoire de communication bornée des graphes flots de données. Cependant, les systèmes embarqués temps-réel optent de plus en plus pour l'utilisation de systèmes d'exploitation temps-réel et de stratégies d'ordonnancement dynamique pour gérer les tâches et les ressources critiques. Cette thèse aborde le problème d'ordonnancement temps-réel dynamique des graphes flots de données ; ce problème consiste à assigner chaque acteur dans un graphe à une tâche temps-réel périodique (i.e. calcul des périodes, des phases, etc.) de façon à : (1) assurer l'ordonnançabilité des tâches sur une architecture et pour une stratégie d'ordonnancement (ex. RM, EDF) données ; (2) exclure statiquement les exceptions d'overflow et d'underflow sur les buffers de communication ; et (3) optimiser les performances du système (ex. maximisation du débit, minimisation des tailles des buffers).

L’intégration des énergies renouvelables a conduit à introduire la notion d’utilisation locale de ces nouvelles sources de production. Nous pouvons définir le paradigme de microréseau comme une agrégation de plusieurs sources d'énergie distribuée qui peuvent alimenter leurs charges locales. Ces microréseaux peuvent être îlotables pour garantir la continuité de service et l’alimentation des charges. Pour assurer la fiabilité du réseau, une stratégie de protection des générateurs et du microréseau lui-même a été proposée. Dans ce mémoire, les points communs et les différences entre les générateurs classiques et les générateurs connectés au réseau à l’aide de convertisseur d’ d’électronique de puissance sont présentés. Ensuite, nous présentons la conception d’une source de tension à base d’une micro-turbine à gaz comme source d’énergie primaire contrôlable. Nous étudions les possibilités pour le générateur de demeurer connecté dans les conditions du creux de tension (fault-ride-through) tout en étant protégé contre les surintensités. Nous avons proposé deux solutions différentes permettant de limiter ces courants du générateur. De plus, pour assurer la continuité d’alimentation des charges en deux modes de fonctionnement, nous avons intégré un détecteur de l’ilotage basé sur le relais ROCOF dans le système de commande du générateur. Une validation expérimentale pour ces travaux a été réalisée en utilisant la simulation temps réel PHIL. Finalement, un plan de protection coordonnée valide dans les deux modes de fonctionnement et avec les différents types de source est présenté. Cette stratégie a été testée sur un exemple de microréseau simulé sur le simulateur temps réel / The integration of renewable energy has led to introduce the concept of local use of these new production sources. We can define the Microgrid paradigm as an aggregation of several distributed power sources that can supply their local charges. These microgrids may be islanded to ensure the continuity for supplying the loads in both operation modes. To provide the reliability of the network, a strategy to protect the generators and the Microgrid itself has been proposed. In this thesis, the similarities and differences between conventional generators and the generators connected to the network using the power electronics converter are firstly presented. Then, we present the design of a voltage source connected by a power electronic converter and LC filter, based on gas micro-turbine as the controllable primary energy source. We study the possibilities for the generator to remain connected in case of voltage sags (fault-ride-through) while being protected against the overcurrents. We have proposed two different solutions to limit these generator currents. In addition, to ensure continuity of supply the loads in two operation modes, we integrated an islanding detector based on the ROCOF (Rate Of Change Of Frequency) relay in the control system. An experimental validation for this work was realized using PHIL (Power Hardware in the Loop) real-time simulation. Finally, a coordinated protection plan valid in both operation modes and with different types of sources was presented. This strategy was tested on a simulated example of microgrid on real-time simulator

Dans ce travail, nous nous sommes intéressés à l’étude des dirofilarioses chez le réservoir canin « le chien » ainsi que chez les vecteurs « moustiques », en particulier, en ce qui concerne la détection, la surveillance et la prophylaxie. Le premier objectif était de développer une PCR duplex en temps réel ciblant le gène COI capable de détecter et de différencier simultanément D. immitis et D. repens. Ainsi, nous avons détecté par cet outil moléculaire, pour la première fois en France, D. immitis et D. repens chez des moustiques tigre "Aedes albopictus". Nous avons, de plus, confirmé la présence de l’infection à D. immitis chez les chiens du nord d'Algérie.Le deuxième objectif était d'évaluer l’intérêt de la spectrométrie de masse MALDI-TOF MS pour la détection de changements dans les profils protéiques d'Aedes aegypti infectés expérimentalement avec des nématodes filaires (D. immitis, Brugia malayi et B. pahangi). Les résultats obtenus montrent la capacité du MALDI-TOF MS à différencier des moustiques infectés et non infectés par les filaires. Ainsi, les meilleurs taux de classification correcte obtenus sont 94,1, 86,6, 71,4 et 68,7% pour les non infectés versus ceux infectés, respectivement, par D. immitis, B. malayi et B. pahangi.Le troisième objectif de ce travail était l’évaluation de l'efficacité anti-gorgement et insecticide d'un ectoparasiticide (Vectra® 3D) contenant trois principes actifs : le dinotéfurane, le pyriproxyfène et la perméthrine contre Ae. albopictus, l'une des principales espèces vectrices de Dirofilaria spp. Les résultats ont démontré que le DPP a une efficacité anti-gorgement et insecticide significative contre Ae. albopictus / In this work, we are interested in studying dirofilarial infections in dogs and vectors “Mosquitoes” especially detection, monitoring and prophylaxis. The first objective is to develop a real-time duplex PCR targeting the COI gene capable of simultaneously detecting and differentiating D. immitis and D. repens. Subsequently, we applied this tool to a canine dirofilariosis surveillance process in different endemic areas of Mediterranean basin (Corsica and Algeria). We have thus detected by this molecular tool for the first time in France, D. immitis and D. repens in Aedes albopictus mosquitoes. We reported, also, the presence of D. immitis in dogs from northern Algeria.The second aim was to assess whether the MALDI-TOF MS can detect changes in the protein profiles of Aedes aegypti infected experimentaly with filarial nematodes (D. immitis, Brugia malayi and B. pahangi). Obtained results showed the potential of MALDI-TOF MS as a reliable tool for differentiating non-infected and filariae-infected Ae. aegypti mosquitoes with a best correct classification rate obtained from the thorax-head part with 94.1 and 86.6, 71.4 and 68.7% for non-infected and D. immitis, B. malayi and B. pahangi infected mosquitoes respectively.The third aim of this work has focused on the evaluation of the anti-feeding and insecticidal efficacy of an ectoparasiticide (Vectra® 3D) containing three active ingredients: dinotefurane, pyriproxyfen and permethrin (DPP) against Ae. albopictus. Results demonstrated that the DPP combination has significant anti-feeding and insecticidal efficacy against Ae. albopictus for at least 4 weeks.

Les unités phraséologiques représentent actuellement un objet d’étude commun à de nombreuses disciplines en science du langage. C’est dans ce cadre que s’inscrivent les travaux exposés dans la présente thèse. Adoptant une optique pluridisciplinaire alliant linguistique et psycholinguistique et impliquant l’approche comparative interlangue, nous étudions un phénomène linguistique complexe, le figement, en français et arabe dialectal tunisien. Nous proposons, en premier lieu, une description des expressions figées dans les deux langues mises en contraste, en repérant la typologie et le fonctionnement morphosyntaxique, lexical et sémantique de ces séquences. Notre attention se porte essentiellement sur les deux notions importantes dans l’étude du figement: la scalarité et l’iconicité. La méthodologie et les résultats d’une étude psycholinguistique et expérimentale réalisée auprès d’adultes francophones natifs et non natifs (des arabophones tunisiens apprenant le français L2) sont, en second lieu, exposés. L’intérêt est de déterminer si les facteurs linguistiques, degré de figement et iconicité, facilitent le traitement du langage figé au cours d’une tâche de mémorisation impliquant l’encodage et la reconnaissance des séquences figées du français. Une troisième expérience consiste en un test de familiarité qui examine l’effet des facteurs linguistiques, la scalarité et l’iconicité, ainsi que personnels, l’âge et le sexe, sur la connaissance des expressions figées du dialectal tunisien par des locuteurs arabophones natifs. Ces recherches psycholinguistiques, portant sur une population d’adultes, sont suivies d’une étude exploratoire sur l’émergence des expressions figées ou semi-figées chez les enfants. Ce travail suit la double problématique de l’émergence et de la comparaison interlangue. Nous comparons les productions de deux enfants: un enfant arabe tunisien et un enfant français. / The phraseological units currently represent a common object of study in many disciplines in language science. It is in this context that we present our work in this thesis. Adopting a multidisciplinary approach combining linguistic and psycholinguistic involving comparative cross-language approach, our goal is to study a complex linguistic phenomenon, the fixation, in French and Tunisian Arabic dialect. We propose, first, to contrast the fixed expressions in both languages by identifying the type and the morphosyntactic, lexical and semantic operation of these sequences. Our interest will focus on two important concepts in the study of the fixed sequences: scalarity and iconicity. The methodology and results of a psycholinguistic and experimental study among native and non-native francophone adults (Tunisian Arabic speakers learning French as second language) will be then exposed. Our aim is to determine whether language factors, scalarity and iconicity, facilitate the processing of fixed expressions during a memorization task involving the encoding and recognition of French frozen sequences. A third experiment is a test of familiarity that examines the effect of linguistic factors, scalarity and iconicity as well as personal factors such as; age and sex, on the knowledge of Tunisian dialect frozen sequences by Arabic native speakers. This psycholinguistic work carried on an adult population is followed by an exploratory study on the emergence of fixed and semi-fixed expressions in children communication. This work follows the dual problem of emergence and cross-language comparison. We compare the productions of two children: a Tunisian Arab child and a French child.