Agir de façon optimale dans un environnement incertain nécessite d'évaluer et de comparer les coûts et bénéfices des différentes alternatives. Cela implique aussi de réguler et de contrôler le comportement de façon flexible pour optimiser les périodes de recherche de gains ou de ressources et les périodes d'exploitation des acquis. Une des hypothèses actuelles sur les mécanismes neurobiologiques impliqués, propose que cortex cingulaire antérieur (CCA), associé à l’évaluation de l’action, et cortex préfrontal dorsolatéral (CPFdl), associé au contrôle cognitif, interagiraient pour réguler le comportement. Les travaux réalisés au cours de cette thèse ont permis de préciser le rôle joué par le CCA dans la détection et l’évaluation des performances ainsi que ses interactions avec le CPFdl au sein d'une boucle du contrôle cognitif. Menés grâce à des enregistrements électrophysiologiques chez le singe en comportement, ils apportent des précisions sur la séquence d’activation du CCA et du CPFdl dans la bande de fréquences gamma lors de l'adaptation du comportement. L’étude des potentiels de champs locaux de ces deux régions amènent à poser des hypothèses sur les mécanismes oscillatoires sous-jacents et notamment sur le rôle des communications basses fréquences entre le CCA et le CPFdl et leur implication différentielle entre recherche et exploitation. / Acting optimally in uncertain environments requires evaluating costs and benefits of choosing each alternative. It also requires to flexibly regulate between exploration for and exploitation of resources. One current hypothesis is that the anterior cingulate cortex (ACC), involved in action valuation, and dorsolateral prefrontal cortex (dlPFC), involved in cognitive control, interact to elaborate an optimal regulation of behaviour. Studies achieved during this thesis allowed to precise the role of ACC in the detection and valuation of action outcomes as well as to describe the interactions with dlPFC in a cognitive control loop. Thanks to neurophysiological recordings in behaving monkey our work give new clues on the sequential activation of ACC and dlPFC during adaptation. The analyses of local field potentials allowed us to suggest hypotheses on the underlying oscillatory mechanisms, in particular on low frequency communications between ACC and dlPFC, and their modulation during exploration and exploitation.

Agir de façon optimale dans un environnement incertain nécessite d'évaluer et de comparer les coûts et bénéfices des différentes alternatives. Cela implique aussi de réguler et de contrôler le comportement de façon flexible pour optimiser les périodes de recherche de gains ou de ressources et les périodes d'exploitation des acquis. Une des hypothèses actuelles sur les mécanismes neurobiologiques impliqués, propose que cortex cingulaire antérieur (CCA), associé à l'évaluation de l'action, et cortex préfrontal dorsolatéral (CPFdl), associé au contrôle cognitif, interagiraient pour réguler le comportement. Les travaux réalisés au cours de cette thèse ont permis de préciser le rôle joué par le CCA dans la détection et l'évaluation des performances ainsi que ses interactions avec le CPFdl au sein d'une boucle du contrôle cognitif. Menés grâce à des enregistrements électrophysiologiques chez le singe en comportement, ils apportent des précisions sur la séquence d'activation du CCA et du CPFdl dans la bande de fréquences gamma lors de l'adaptation du comportement. L'étude des potentiels de champs locaux de ces deux régions amènent à poser des hypothèses sur les mécanismes oscillatoires sous-jacents et notamment sur le rôle des communications basses fréquences entre le CCA et le CPFdl et leur implication différentielle entre recherche et exploitation.

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.