• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 152
  • 71
  • 22
  • Tagged with
  • 244
  • 90
  • 61
  • 54
  • 51
  • 42
  • 30
  • 26
  • 24
  • 23
  • 22
  • 21
  • 21
  • 21
  • 20
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
161

Rôle des protozoo-et virioplancton dans le contrôle des bactérioplancton et phytoplancton en zone côtière Méditerranéenne. / Role of protozooplankton and virioplankton on the bacterioplankton and phytoplankton control in Mediterranean coastal water.

Pecqueur, David 16 December 2011 (has links)
Ce travail de thèse focalise sur le fonctionnement du réseau microbien de la lagune de Thau à travers une approche « Réseau » ayant permis l’étude simultanée de l’ensemble des groupes microbiens (21 groupes) des virus au microzooplancton. La croissance et la mortalité des micro-organismes ont été étudiées expérimentalement lors de plusieurs saisons puis d’une étude en mésocosme. Nous avons déterminé les proportions de mortalité dont sont responsables le microzooplancton et les virus au travers de la lyse virale. Un suivi in situ puis en mésocosme dans la lagune de Thau nous a permis d'observer la réponse des composantes du réseau microbien à un forçage typiquement Méditerranéen, la crue.Il apparait que les bactéries hétérotrophes ont les plus fortes croissances allant jusqu’à 2,18 jour-1. La croissance pour divers groupes pico- et nano-phytoplanctoniques était inférieure à 1,5 jour-1. La cause majeure de mortalité des différents groupes de micro-organismes étudiés est la prédation du microzooplancton (> 90% en moyenne), tandis que la lyse virale semble être un processus sporadique et nettement moins important. Le fait que les taux de prédation observés soient très proches des taux de croissance de différents micro-organismes suggère que le réseau microbien étudié présente une forte efficacité de transfert de la biomasse vers les niveaux trophiques supérieurs.Dans ce contexte, la crue provoque à court terme une diminution de la croissance microbienne et du broutage, alors qu’elle déclenche la lyse virale chez certains groupes. Cependant, la réactivité de ce réseau permet un rétablissement rapide indiquant une forte capacité de résilience de ce système. / The aims of this thesis work were to shed new lights on the functioning of the microbial food web (MFW) in the Thau coastal lagoon through a “global approach” that permit us to study simultaneously the entire MFW components (21 groups) from viruses to microzooplankton. Growth and mortality of microorganisms were studied experimentally along seasons and during a mesocosm experiment. We particularly focus on mortality due to microzooplankton (<200µm) grazing and viral lysis. Responses of the different components of the MFW under a typical Mediterranean forcing, flash flood, was also studied during an in situ monitoring and a mesocosm experiment in the Thau Lagoon.In conclusion, it appears that heterotrophic bacteria show the highest growth rates (until 2.18 day-1). Growth rates of pico- and nanophytolankton groups were always lower than 1.5 day-1. The major cause of mortality of the different group studied, reaching on average 90%, was due to the predation by the microzooplankton. Mortality due to viral lysis appeared to be a “sporadic processes”, less important than microzooplankton grazing indeed. In addition, the observed grazing rates or bacterivory were close to growth rates of microorganisms, suggesting an efficient trophic transfer of the microbial biomass towards higher trophic levels.River flash flood; an important forcing in the Mediterranean coastal zone; triggered on a short time scale, a decrease in growth and grazing rates of microorganisms whereas viral lysis was enhanced. However, the important dynamics of this studied MFW allowed the rapid reestablishment of growth and grazing rates, indicating a strong resilience capability of this system.
162

Analyse de stabilité pour la reconfiguration de contrôleurs dans des véhicules autonomes / Stability analysis for controller switching in autonomous vehicles

Navas Matos, Francisco 28 November 2018 (has links)
Les avantages des véhicules autonomes sont formidables, mais le chemin vers une vraie autonomie sera long et semé d’incertitudes. La recherche de ces dernières années s’est basée sur des systèmes multi-capteurs capables de percevoir l’environnement dans lequel le véhicule est conduit. Ces systèmes deviennent plus complexes quand on contrôle le véhicule autonome, différents systèmes de contrôle sont activés dépendant de la décision du système multi-capteurs. Chacun de ces systèmes suit des critères de performance et de stabilité lors de leur conception. Cependant, ils doivent fonctionner ensemble, garantissant une stabilité et étant capable de se charger des changements dynamiques, structuraux et environnementaux. Cette thèse explore la paramétrisation Youla-Kucera (YK) dans des systèmes dynamiques comme les voitures, en insistant sur la stabilité quand la dynamique change, ou que le trafic impose une reconfiguration du contrôleur. Concentrons-nous sur l’obtention de résultats de simulation et expérimentaux en relation avec le "Cooperative Adaptive Cruise Control" (CACC), dans le but, non pas d’utiliser, ici, pour la première fois la paramétrisation YK dans le domaine des systèmes de transport intelligents (STI), mais d’améliorer l’état de l’art en CACC aussi. Des résultats de reconfiguration stable de contrôleurs sont donnés quand la communication avec le véhicule précédent n’est plus disponible, en cas de manœuvre d’entrées/sorties ou lorsqu’ils sont entourés de véhicules aux dynamiques différentes. Ceci démontrant l’adaptabilité, la stabilité et l’implémentation réelle de la paramétrisation YK comme structure générale de contrôle pour les véhicules autonomes. / Benefits of autonomous vehicles are genuinely exciting, but the route to true autonomy in transportation will likely be long and full of uncertainty. Research on the last years is on the development of multi-sensor systems able to perceive the environment in which the vehicle is driving in. These systems increase complexity when controlling an autonomous vehicle, as different control systems are activated depending on the multi-sensor decision system. Each of these systems follows performance and stability criteria for its design, but they all must work together, providing stability guarantees and being able to handle dynamics, structural and environmental changes. This thesis explores the Youla-Kucera (YK) parameterization in dynamics systems such as vehicles, with special emphasis on stability when some dynamics change or the traffic situation demands controller reconfiguration. Focus is in obtaining simulation and experimental results related to Cooperative Adaptive Cruise Control (CACC), with the aim not only of using for the very first time YK parameterization in the Intelligent Transportation Systems (ITS) domain, but improving CACC state-of-the art. Stable controller reconfiguration results are given when non-available communication link with the preceding vehicle, cut-in/out maneuvers or surrounding vehicles with different dynamics, proving adapability, stability and possible real implementation of the YK parameterization as general control framework for autonomous vehicles.
163

Corrélats neuro-fonctionnels du phénomène de sortie de boucle : impacts sur le monitoring des performances / Neurofunctional correlates of the out-of-the-loop phenomenon : impacts on performance monitoring

Somon, Bertille 04 December 2018 (has links)
Les mutations technologiques à l’œuvre dans les systèmes aéronautiques ont profondément modifié les interactions entre l’homme et la machine. Au fil de cette évolution, les opérateurs se sont retrouvés face à des systèmes de plus en plus complexes, de plus en plus automatisés et de plus en plus opaques. De nombreuses tragédies montrent à quel point la supervision des systèmes par des opérateurs humains reste un problème sensible. En particulier, de nombreuses évidences montrent que l’automatisation a eu tendance à éloigner l’opérateur de la boucle de contrôle des systèmes, créant un phénomène dit de sortie de boucle (OOL). Ce phénomène se caractérise notamment par une diminution de la conscience de la situation et de la vigilance de l’opérateur, ainsi qu’une complaisance et une sur-confiance dans les automatismes. Ces difficultés déclenchent notamment une baisse des performances de l’opérateur qui n’est plus capable de détecter les erreurs du système et de reprendre la main si nécessaire. La caractérisation de l’OOL est donc un enjeux majeur des interactions homme-système et de notre société en constante évolution. Malgré plusieurs décennies de recherche, l’OOL reste difficile à caractériser, et plus encore à anticiper. Nous avons dans cette thèse utilisé les théories issues des neurosciences, notamment sur le processus de détection d’erreurs, afin de progresser sur notre compréhension de ce phénomène dans le but de développer des outils de mesure physiologique permettant de caractériser l’état de sortie de boucle lors d’interactions avec des systèmes écologiques. En particulier, l’objectif de cette thèse était de caractériser l’OOL à travers l’activité électroencéphalographique (EEG) dans le but d’identifier des marqueurs et/ou précurseurs de la dégradation du processus de supervision du système. Nous avons dans un premier temps évalué ce processus de détection d’erreurs dans des conditions standards de laboratoire plus ou moins complexes. Deux études en EEG nous ont d’abord permis : (i) de montrer qu’une activité cérébrale associée à ce processus cognitif se met en place dans les régions fronto-centrales à la fois lors de la détection de nos propres erreurs (ERN-Pe et FRN-P300) et lors de la détection des erreurs d’un agent que l’on supervise, (complexe N2-P3) et (ii) que la complexité de la tâche évaluée peut dégrader cette activité cérébrale. Puis nous avons mené une autre étude portant sur une tâche plus écologique et se rapprochant des conditions de supervision courantes d’opérateurs dans l’aéronautique. Au travers de techniques de traitement du signal EEG particulières (e.g., analyse temps-fréquence essai par essai), cette étude a mis en évidence : (i) l’existence d’une activité spectrale θ dans les régions fronto-centrales qui peut être assimilée aux activités mesurées en condition de laboratoire, (ii) une diminution de l’activité cérébrale associée à la détection des décisions du système au cours de la tâche, et (iii) une diminution spécifique de cette activité pour les erreurs. Dans cette thèse, plusieurs mesures et analyses statistiques de l’activité EEG ont été adaptées afin de considérer les contraintes des tâches écologiques. Les perspectives de cette thèse ouvrent sur une étude en cours dont le but est de mettre en évidence la dégradation de l’activité de supervision des systèmes lors de la sortie de boucle, ce qui permettrait d’identifier des marqueurs précis de ce phénomène permettant ainsi de le détecter, voire même, de l’anticiper. / The ongoing technological mutations occuring in aeronautics have profoundly changed the interactions between men and machines. Systems are more and more complex, automated and opaque. Several tragedies have reminded us that the supervision of those systems by human operators is still a challenge. Particularly, evidences have been made that automation has driven the operators away from the control loop of the system thus creating an out-of-the-loop phenomenon (OOL). This phenomenon is characterized by a decrease in situation awareness and vigilance, but also complacency and over-reliance towards automated systems. These difficulties have been shown to result in a degradation of the operator’s performances. Thus, the OOL phenomenon is a major issue of today’s society to improve human-machine interactions. Even though it has been studied for several decades, the OOL is still difficult to characterize, and even more to predict. The aim of this thesis is to define how cognitive neurosciences theories, such as the performance monitoring activity, can be used in order to better characterize the OOL phenomenon and the operator’s state, particularly through physiological measures. Consequently, we have used electroencephalographic activity (EEG) to try and identify markers and/or precursors of the supervision activity during system monitoring. In a first step we evaluated the error detection or performance monitoring activity through standard laboratory tasks, with varying levels of difficulty. We performed two EEG studies allowing us to show that : (i) the performance monitoring activity emerges both for our own errors detection but also during another agent supervision, may it be a human agent or an automated system, and (ii) the performance monitoring activity is significantly decreased by increasing task difficulty. These results led us to develop another experiment to assess the brain activity associated with system supervision in an ecological environment, resembling everydaylife aeronautical system monitoring. Thanks to adapted signal processing techniques (e.g. trial-by-trial time-frequency decomposition), we were able to show that there is : (i) a fronto-central θ activité time-locked to the system’s decision similar to the one obtained in laboratory condition, (ii) a decrease in overall supervision activity time-locked to the system’s decision, and (iii) a specific decrease of monitoring activity for errors. In this thesis, several EEG measures have been used in order to adapt to the context at hand. As a perspective, we have developped a final study aiming at defining the evolution of the monitoring activity during the OOL. Finding markers of this degradation would allow to monitor its emersion, and even better, predict it.
164

Étude in vivo de la relation entre la structure et la fonction de la boucle variable de l'ARN de transfert de la sélénocystéine d'E. coli

Nemours, Stéphane 04 1900 (has links)
No description available.
165

D’autres voix que la sienne ; Manières de se faire écouter, modes d’écoute : une étude des marqueurs d’écoute en séances de médiation

Higham, Lise 08 1900 (has links)
La médiation est un dispositif de gestion de différends impliquant la présence et l’intervention d’une tierce personne, médiateur ou médiatrice, dont le rôle principal est d’en faciliter la résolution. L’étude de ce type d’interactions est souvent abordée par le biais d’analyses détaillées, centrées principalement sur la dynamique des tours de parole. Le présent travail propose de décentrer cette posture et de dresser un portrait en creux des interactions, en donnant la part belle à l’écoute. Comment, en effet, les participants tentent-ils de se faire écouter, et comment marquent-ils leur écoute ? L’ubiquité de l’écoute et son caractère spectral en font un objet d’étude évanescent, difficile à circonscrire. Pour cette raison, la présente étude vise à décrire et comprendre la manière dont l’écoute s’incarne, et ce, à travers des marqueurs d’écoute relevés lors de médiations durant lesquelles un citoyen et le représentant d’une institution tentent de régler le conflit qui les oppose. Les séances de médiation analysées sont réelles (il ne s’agit pas d’exercices). Captées en format vidéo puis retranscrites, ces données empiriques ont permis d’identifier des mécanismes d’écoute dialogique ainsi que des phénomènes clés rattachés à ces mécanismes. L’intention ici était d’observer la différence qu’un marqueur d’écoute ou son absence est susceptible de faire dans une interaction. Il ne s’agissait donc pas de juger de la qualité d’écoute des participants en tant que telle, mais plutôt de révéler la manière dont ceux-ci réagissaient à ce qui avait été précédemment exprimé et ce qu’ils en faisaient. Autrement dit, les marqueurs d’écoute doivent être compris, selon cette perspective, comme les moyens par lesquels l’existence de certaines choses qui semblent compter pour un participant se met à aussi compter pour le ou les autres. Parmi les phénomènes relevés se trouvent les manières de se faire écouter et les modes d’écoute des participants, mais aussi la manière dont les marqueurs d’écoute s’inscrivent dans des schémas décrits comme la trajectoire de l’écoute ou encore les boucles d’écoute. Ces boucles d’écoute et la trajectoire d’écoute rendent plus intelligible l’agentivité des humains, mais également celle des documents et des émotions intervenant dans le processus de médiation. Étudier une séance de médiation par le biais de l’écoute permet ainsi de creuser certains concepts proposés dans les travaux portant sur la négociation, comme les notions de position et d’intérêt. L’approche CCR (constitution communicationnelle de la réalité) (Cooren, 2012) adoptée pour cette recherche permet, par ailleurs, de transcender la perspective binaire que l’on retrouve souvent dans les réflexions et analyses portant sur l’écoute (à savoir l’évaluation d’une bonne ou mauvaise écoute) et d’envisager le phénomène sous l’angle de sa performativité, dépouillée de jugements de valeur. L’objectif d’une telle enquête est d’envisager les interactions autrement, avec un recul susceptible d’assister les médiateurs dans leur métier, et potentiellement d’autres acteurs en situation de négociation dans divers milieux organisationnels. / Mediation is a conflict management process that involves the presence and intervention of an impartial third party in charge of facilitating the discussion. Studies of this type of interaction are often conducted through detailed analyses focused on the dynamics of turns of talk. This dissertation proposes to reframe this approach by favouring the detailed study of listening over speaking in interactions. How do participants make themselves heard, and inversely, how do they manifest their listening? Listening’s spectral quality, as much as its ubiquity, challenges any attempt at producing a set definition of the phenomenon. This study aims to describe and comprehend how listening materializes itself as it unfolds. It concentrates on listening markers identified in videos and transcripts produced from 27 actual mediation sessions opposing a citizen and an institutional representative. The Communicative Constitution of Reality (CCR; Cooren, 2012) approach affiliated to the Communicative Constitution of Organization (CCO) literature allows for an in-depth exploration of listening that challenges the binary model of positive vs. negative listening by choosing to observe its performativity in interactions. For example, it is shown that the absence of listening markers is not necessarily related to the absence of attention, or malevolence. This study aims at observing how listening markers, or lack thereof, are likely to make a difference in the unfolding of a mediation session. The point here is not to judge the participants’ listening quality, but rather to unpack the ways in which participants react to what has been expressed and what they do with that information. In other words, and following the CCR perspective, listening markers indicate means by which the existence of certain things that seem to count for one participant begins to count for the other(s) participant(s) and end up existing more in the interlocutive sphere. Two dialogic listening mechanisms were identified from the analysis of the data set, and various phenomena related to these mechanisms were traced. These phenomena include ways of making oneself heard and the participants’ listening modes, as well the absence of listening markers. The first mechanism, the listening loop, indicates a shift in one or several of the participants’ listening pattern(s); the second is the listening trajectory. Together these mechanisms bring intelligibility to human agency as well as to that of documents or emotions that come into play during the mediation sessions. Studying mediation sessions through listening precipitates reassessing specific notions in the field of negotiation, such as the notions of position and interests. This inquiry considers interactions from the largely untapped perspective of listening, thereby providing insights to conducting mediations. This framework is potentially applicable to a wider range of organizational or peri-organizational areas/fields, including negotiation and decision-making.
166

Contribution to the implementation of a process control system for continuous powder mixing / Contribution à l'implémentation d'un système de contrôle-commande pour mélange de poudres en continu

Zhao, Xiaojuan 26 November 2013 (has links)
Le mélange de poudres est une opération essentielle dans divers domaines industriels, tels que les produits pharmaceutiques, agro-alimentaires, ciments, etc. Le mélange de poudres en continu, comme alternative intéressante au mélange conventionnel en batch, suscite beaucoup d'intérêt surtout en raison de sa capacité à gérer de grands volumes de production. Ce travail vise à contribuer à l'implémentation des applications de contrôle-commande. Avant de développer des stratégies de contrôle-commande, de nouveaux développements ont été présentés pour mieux comprendre le mélange continu de deux composants. La masse retenue et la répartition relative de la masse retenue de chaque composant dans le mélangeur ont été étudiées et prédites sous les différentes conditions opératoires. L'amélioration d'un modèle basé sur les chaînes de Markov a été finalement présentée pour prédire la concentration moyenne des mélanges obtenus à la sortie du mélangeur. L'implémentation d'un contrôleur PID a été expérimentalement réalisée comme une première tentative pour contrôler en temps réel l'homogénéité du mélange produit. La vitesse de rotation du mobile d'agitation, identifiée comme un facteur important influençant l'efficacité du mixer, a été considérée comme la variable manipulée. La commande en boucle fermée est basée, soit sur la concentration moyenne, soit sur le coefficient de variation. Les performances des boucles fermées proposées ont été évaluées pour le mélange continu subi à des changements d'échelon dans les débits d'alimentation du mélangeur. Quatre études de cas ont été définies et présentées. Le défi principal dans le système de contrôle-commande est le réglage des paramètres PID. La performance de commande en boucle fermée soit de la concentration moyenne, soit du coefficient de variation a été comparée à l'opération en boucle ouverte. / Powder mixing is an essential operation in various industrial fields, such as pharmaceuticals, agro-food, cements, etc. Continuous powder mixing, as an alternative to conventional batch mixing, has attracted a lot of interest mainly due to its capacity in handling high volume manufacturing. This work aims at the contribution to the implementation of process control applications for powder mixing in a pilot-scale continuous mixer. Prior to developing process control strategies, new developments have been presented for better understanding continuous mixing of two components. Hold-up weight and relative hold-up weight distribution of each component in the whole mixer have been experimentally investigated under different operating conditions. An improved Markov chain model has been finally presented to predict the mean concentration of the mixtures obtained at the mixer's outlet. The implementation of a proportional-integral-derivative (PID) controller has been experimentally performed as an initial attempt to real-time control the homogeneity of the mixture produced. The rotational speed of the stirrer, identified as an important deciding factor towards the mixer's efficiency, has been considered as the manipulated variable. The closed-loop control is based on either the mean concentration or the relative standard deviation. The performances of the proposed closed-loops have been evaluated for continuous mixing subjected to step changes in feed rates of the mixer. Four case studies have been defined and presented. The main challenge in the process control system is the tuning of PID parameters. The performance of closed-loop control of either the mean concentration or the relative standard deviation has been compared to open-loop operation.
167

Conception de miARN artificiels basée sur la caractérisation de la boucle de régulation miR-20/E2F

De Guire, Vincent 07 1900 (has links)
No description available.
168

Algèbre de Lie et cinématique des mécanismes en boucles fermées

Hao, Kuangrong 15 September 1995 (has links) (PDF)
L'objectif de cette thèse est l'étude du comportement cinématique des mécanismes bouclés de corps rigides. Le modèle mathématique d'un tel mécanisme est l'équation de fermeture f (q1,..., qm) = e où q1,...,qm sont des coordonnées articulaires et f est une fonction analytique à valeur dans un groupe de Lie. L'étude des propriétés cinématiques se ramène à celle de l'ensemble des configurations admissibles f-1 ( e ) qui est une sous-variété dans le cas régulier où f est une subimmersion. Par contre, l'étude est beaucoup plus difficile lorsque f possède des singularités. On utilise comme outil fondamental le formalisme de la géométrie différentielle des groupes de Lie pour le groupe des déplacements et la structure de Δ - module de son algèbre de Lie, ceci permet une écriture simple et condensée des équations de la cinématique et facilite leur traitement symbolique. Nous avons montré que l'analyse au deuxième ordre de l'équation de fermeture est suffisante pour les mécanismes 6R paradoxaux. Un algorithme d'évaluation du rang d'un ensemble de champs antisymétriques (équiprojectifs) est développé et est utilisé pour étudier les processus de génération des sous algèbres de Lie. Nous avons proposé également des méthodes de cinématique inverse pour des mécanismes spatiaux, ces méthodes permettent de résoudre l'équation de fermeture indépendamment d'un choix des coordonnées et d'obtenir des conditions nécessaires et suffisantes de résolution : notamment, la méthode simplifie considérablement la procédure de résolution pour les mécanismes 6R spatiaux.
169

Instrumentation cryogénique bas bruit et large bande en technologie SiGe

Prêle, Damien 07 December 2006 (has links) (PDF)
Les travaux présentés dans cette thèse sont consacrés à l'investigation du fonctionnement des technologies bipolaires, et plus particulièrement des technologies BiCMOS SiGe, pour une utilisation à température cryogénique. Un état de l'art sur les transistors bipolaires et les bruits électroniques que l'on rencontre sur ce genre de technologie sont donnés avec une approche orientée vers les basses températures. Ces rappels permettent d'aborder les mesures, des paramètres basse fréquence et du bruit, réalisées sur des transistors bipolaires silicium et sur deux technologies SiGe à 300 K, 77 K et 4.2 K. Il est ensuite présenté deux réalisations d'ASIC cryogénique en technologie standard BiCMOS SiGe. La première est un amplificateur bas bruit (1 nV/sqrtHz) et large bande (1 GHz) fonctionnant à 77 K. Il est destiné à la caractérisation de bolomètres supraconducteurs YBaCuO à électrons chauds. La seconde réalisation est un circuit de lecture et de multiplexage de matrice de SQUID. Il est, en particulier, présenté le développement, la réalisation et le test d'un amplificateur ultra bas bruit (0.2 nV/sqrtHz) avec deux entrées multiplexées fonctionnant à 4.2 K.
170

Construction flexible des boucles de contrôles autonomes pour les applications à large échelle

Nzekwa, Russel 05 July 2013 (has links) (PDF)
Les logiciels modernes sont de plus en plus complexes. Ceci est dû en partie à l'hétérogénéité des solutions misent en oeuvre, au caractère distribué des architectures de déploiement et à la dynamicité requise pour de tels logiciels qui devraient être capable de s'adapter en fonction des variations de leur contexte d'évolution. D'un autre coté, l'importance grandissante des contraintes de productivité dans le but de réduire les coûts de maintenance et de production des systèmes informatiques a favorisé l'émergence de nouveaux paradigmes pour répondre à la complexité des logiciels modernes. L'informatique des systèmes autonomes (Autonomic computing) s'inscrit dans cette perspective. Elle se propose entre autres de réduire le coût de maintenance des systèmes informatiques en développant des logiciels dits autonomes, c'est à dire dotés de la capacité de s'auto-gérer moyennant une intervention limité d'un opérateur humain. Toutefois, le développement de logiciels autonomes soulèvent de nombreux défis scientifiques et technologiques. Par exemple, l'absence de visibilité de la couche de contrôle dans les applications autonomes rend difficile leur maintenabilité, l'absence d'outils de vérification pour les architectures autonomes est un frein pour l'implémentation d'applications fiables, enfin, la gestion transparente des propriétés non-fonctionnelles et la traçabilité entre le design et l'implémentation sont autant de défis que pose la construction de logiciels autonomes flexibles. La principale contribution de cette thèse est CORONA. CORONA est un canevas logiciel qui vise à faciliter le développement de logiciels autonomes flexibles. Dans cet objectif, CORONA s'appuie sur un langage de description architecturale qui réifie les éléments qui forment la couche de contrôle dans les systèmes autonomes. CORONA permet l'intégration transparente des propriétés non-fonctionnelles dans la description architecturale des systèmes autonomes. il fournit aussi dans sa chaîne de compilation un ensemble d'outils qui permet d'effectuer des vérifications sur l'architecture des systèmes autonomes. Enfin, la traçabilité entre le design et l'implémentation est assurée par un mécanisme de génération des skeletons d'implémentation à partir d'une description architecturale. Les différentes propriétés de CORONA sont illustrées par trois cas d'utilisation.

Page generated in 0.0309 seconds