Cette thèse porte sur trois déterminants sociaux des décisions économiques : l'identité sociale, l'image sociale et les préférences sociales. Le premier chapitre rend compte d'une expérience visant à tester l'effet de la mobilité sociale ascendante sur la confiance interpersonnelle. Les individus se sont caractérisés à la fois par une identité de groupe naturelle et par un statut attribué au moyen de leur performance relative dans une tâche dans laquelle les identités naturelles prédisent fortement la performance. La mobilité ascendante se caractérise par l'accès au statut élevé des individus appartenant au groupe naturel associé à une performance attendue inférieure. Nous constatons que les personnes socialement mobiles font moins confiance que celles qui ne sont pas socialement mobiles, à la fois lorsque le l'autre individu appartient au même groupe naturel ou à un autre groupe naturel. En revanche, la mobilité ascendante n'affecte pas la fiabilité. Nous ne trouvons rien qui indique que l'interaction avec une personne mobile a une incidence sur la confiance ou la fiabilité. Dans le deuxième chapitre, nous testons si les individus intériorisent les effets de leur comportement sur l'image sociale de leur groupe. Dans notre expérience, nous recrutons des paires d'amis et étudions si le nombre de fausses déclarations diminue quand cela peut avoir des retombées négatives sur l'image de l'ami. Nous constatons que les participants nuisent à l'image sociale de leurs amis en faisant de fausses déclarations : les observateurs externes mettent à jour leurs croyances et s'attendent à juste titre à ce qu'un participant dont l'ami a fait de fausses déclarations soit susceptible de faire de même. Cependant, les participants font autant de fausses déclarations quand leur comportement peut nuire à l'image de leur ami que quand il ne le peut pas, même si le fait de nuire à l'image de leurs amis réduit leurs propres gains monétaires. Notre interprétation est qu'ils sous-estiment l'impact de leur comportement sur les croyances des observateurs externes concernant leurs amis. Nos résultats montrent que, même dans notre cas où l'appartenance à un groupe est évidente, les groupes peuvent avoir de la difficulté à se bâtir une bonne image. La bonne nouvelle, c'est que les observateurs externes peuvent utiliser les retombées d'images pour mettre à jour leurs croyances et interagir plus efficacement avec les membres des groupes. Dans le troisième chapitre, nous examinons expérimentalement si la sailliance des gains contre-factuels a une incidence sur la générosité. Les participants exécutent d'abord une tâche d'effort réel pour un salaire fixe, puis jouent au jeu du dictateur. Entre les conditions, nous faisons varier le niveau et le moment de la révélation du salaire. Dans certaines conditions, les participants connaissent le salaire avant la tâche de l'effort réel et ne sont pas informés des autres niveaux potentiels. Dans d'autres conditions, ils sont informés de la répartition des salaires avant la tâche d'effort réel, mais le salaire réel n'est révélé qu'ensuite. Notre hypothèse est que les participants à ces dernières conditions évaluent leur salaire réel par rapport aux autres niveaux potentiels, ce qui, à son tour, influe sur leurs transferts dans le jeu dictateur qui suit. Les résultats corroborent cette hypothèse : les participants qui obtiennent un salaire élevé ont tendance à transférer davantage lorsqu'ils sont informés des autres niveaux potentiels que lorsqu'ils ne le sont pas. Symétriquement, les participants qui reçoivent le plus bas salaire ont tendance à transférer moins quand ils sont informés des autres niveaux potentiels que quand ils ne le sont pas. / The present dissertation studies three social determinants of economic decisions: Social Identity, Social Image, and Social preferences. The first chapter reports on an experiment testing the effect of upward social mobility on interpersonal trust. Individuals are characterized both by a natural group identity and by a status awarded by means of relative performance in a task in which natural identities strongly predict performance. Upward mobility is characterized by the access to the high status of individuals belonging to the natural group associated with a lower expected performance. We find that socially mobile individuals trust less than those who are not socially mobile, both when the trustee belongs to the same natural group or to the other natural group. In contrast, upward mobility does not affect trustworthiness. We find no evidence that interacting with an upwardly mobile individual impacts trust or trustworthiness. In the second chapter, we test whether individuals internalize the effects of their behavior on the social image of their group. In our experiment, we recruit pairs of real-life friends and study whether misreporting decreases when it may have negative spillovers on the image of the friend. We find that participants hurt their friends' social image by misreporting: external observers update their beliefs and rightfully expect that a participant whose friend misreported is likely to misreport himself. However, participants misreport as often when their behavior can hurt the friend's image as when it cannot, even though hurting their friends' image reduces their own monetary gains. Our interpretation is that they underestimate the impact of their behavior on external observers' beliefs about their friends. Our results show that, even in our case where group membership is salient, groups might have difficulties building a good image. The good news is that external observers may use image spillovers to update their beliefs and interact with members of groups more efficiently. In the third chapter, we experimentally test whether the salience of counter-factual payoffs impacts generosity. Participants first perform a real-effort task for a fixed wage, and then play a dictator game. Between conditions, we vary the level and the timing of the revelation of the wage. In some conditions, participants know the wage before the real effort task, and are not informed of the other potential levels. In some other conditions, they are informed of the distribution of the wages before the real effort task, but the actual wage is only revealed afterward. Our hypothesis is that participants in the latter conditions evaluate their actual wage relative to the other potential levels, which in turns impact their transfers in the subsequent dictator game. The results support this hypothesis: participants who get a the high wage tend to transfer more when they are informed of the other potential levels than when they are not. Symmetrically, participants who get the low wage tend to transfer less when they are informed of the other potential levels than when they are not.

Les consommateurs disposent d’une rationalité limitée et sont sujets à divers biais cognitifs. La thèse étudie les conséquences des biais de rationalité sur le comportement des consommateurs ainsi que les implications sur la politique de consommation. Chacun des trois chapitres de la thèse est consacré à un biais particulier (surestimation de la qualité, erreurs d’anticipation de l’utilité, biais de projection) dans un contexte concurrentiel déterminé. Les deux premiers chapitres sont bâtis sur des modèles de duopole standards auxquels sont intégrés des biais de rationalité : le premier est un duopole avec différenciation horizontale inspiré de Dixit (1979), tandis que le second envisage un modèle de différenciation verticale adapté de Gabszewicz & Thisse (1979). Le troisième chapitre étend à trois périodes la modélisation du biais de projection proposée par Loewenstein et al. (2003). J’aboutis à la conclusions que, si les biais cognitifs conduisent dans certains cas à des choix sous-optimaux (chapitres 1 et 2), les consommateurs naïfs peuvent également être avantagés par rapport aux agents sophistiqués (chapitre 3). Ce constat plaide en faveur d’une intervention circonstanciée et mesurée sur le marché. Enfin, des recommandations de politiques économiques sont formulées: je prône une approche renouvelée du droit de la consommation, qui ne serait plus fondé principalement sur l’information du consommateur mais davantage sur des mesures de redressement cognitif. Des exemples de mesures concrètes sont discutés tout au long de la thèse. / Consumers have bounded rationality and exhibit cognitive biases. The thesis studies the consequences of such biases on consumer choice and implications on consumer policy. Each chapter of the thesis investigates one specific bias (quality bias, utility misperception and projection bias) in a given market structure. The first two chapters focus on stan- dard duopoly models, in whichcognitive biases are incorporated: I build a horizontally differentiated duopoly based on Dixit (1979)in chapter 1, and a vertically differentiated duopoly inspired by Gabszewicz & Thisse (1979) in chapter 2. As for the third chapter, it extends to three periods, in a monopolistic framework, the projection bias model proposed by Loewenstein et al. (2003). I come to the conclusion that, while cognitive biases sometimes lead to suboptimal consumption decisions (chapters 1 and 2), naive consumers can be better off than their sophisticated counterparts(chapter 3). This observation pleads in favor of a non-systematic and context dependant legal intervention to counter cognitive errors. I argue in favor of a new approach of consumer policy, that would focus less on information disclosures in favor of debiasing schemes. Examples of such debiasing policies are discussed throughout the thesis.

L’océan Austral abrite encore des populations exceptionnelles de prédateurs marins (manchots, albatros, phoques…). Bien qu’activement étudiés, l’approche fonctionnelle des relations proies-prédateurs souffre encore d’un manque de connaissances chez les prédateurs marins. Etudier comment ces animaux utilisent les habitats est essentiel pour mieux comprendre leur écologie. Par ailleurs, dans une période où les écosystèmes sont soumis à d’importantes pressions d’origine anthropique (surpêche, pollutions, changement climatique), la connaissance de l’écologie d’une espèce est primordiale pour bien caractériser les aires à protéger. Le gorfou macaroni Eudyptes chrysoplophus est un oiseau marin pélagique et constitue l’espèce de manchot la plus abondante dans l’océan Austral (> 6 millions de couples). Au cours des 30 dernières années, les effectifs des populations de Géorgie du Sud et de l’île Marion ont fait face à une diminution drastique (> 30%). Actuellement, les populations de gorfou macaroni des Terres Australes et Antarctiques Françaises (archipel des îles Crozet et îles Kerguelen) abritent encore plus de 50% des effectifs mondiaux. Cependant, les comportements de recherche alimentaire de ces deux populations étaient jusqu’à présent encore mal connues. Au cours de cette thèse, nous avons étudié les stratégies de recherche alimentaire du gorfou macaroni, au cours de l’intégralité de son cycle de reproduction (incubation, élevage et crèche) de Kerguelen et Crozet, îles caractérisées par des environnements océanographiques contrastés. Les ajustements du comportement alimentaire face aux contraintes énergétiques liées à la reproduction et aux variations de la production biologique de leurs environnements ont été examinés en détail. Grace à des mesures biologiques d’origine télémétrique et/ou d’appareil embarqué (trajectoires, comportement de plongées) couplées à des données satellitaires (données environnementales), nous avons pu mettre en évidence l’existence : 1) d’un comportement de recherche alimentaire spécifique et de genre : sur les 2 sites étudiés, un ajustement similaire des déplacements, de l’effort d’approvisionnement, du régime alimentaire a été observé en réponse aux contraintes énergétiques imposées par la reproduction. En incubation, les deux sexes ciblent principalement les fronts océanographiques, les tourbillons et les zones filamentaires situées en eaux pélagiques au cours de longs trajets. En période d’élevage, les femelles s’approvisionnent plus près des côtes, majoritairement sur le plateau et au bord des talus afin de pouvoir alimenter régulièrement la progéniture. En crèche, les mâles ciblent à nouveau les structures frontales tandis que les femelles s’éloignent tout en restant inféodées aux talus. A l’aide de la littérature, nous avons pu observer que cette stratégie semble opérer à l’échelle de l’aire de répartition de l’espèce. 2) d’une plasticité phénotypique inattendue : l’approche comparative entre les îles Kerguelen et Crozet a permis d’étudier les points communs et les différences des stratégies d’approvisionnement entre les deux localités, liées aux conditions environnementales locales. Les deux populations semblent toutes deux très dépendantes des pics saisonniers de productivité primaire. En revanche, des variations d’éloignements à la colonie inter - site et intra – sexe plus importantes qu’attendues ont été observées mettant en évidence une flexibilité phénotypique insoupçonnée pour un prédateur marin pélagique. Cette étude est l’une des rares ayant couvert l’ensemble d’un cycle de reproduction chez les manchots. L’importante variabilité comportementale démontrée réitère le besoin impératif de prendre en compte l’intégralité d’un cycle pour mieux comprendre et définir les stratégies d’approvisionnement d’une espèce. / The Austral Ocean still hosts a great population of marine predators (i.e. penguins, albatross, and seals). Despite well studied, the functional approach investigating the relationship between prey and predators in the marine ecosystem is still poorly known. Knowledge on habitat selection and use of marine species is essential to better understand their ecology and behaviour. The knowledge about the ecology of key species is essential to characterise and identify the areas to protect and to predict the future of populations that may be affected by global changes. This is particularly true in an area where the natural ecosystems are more and more perturbed by anthropogenic activities (i.e. over-fishing, pollution, and climate change). The Macaroni penguin is the most abundant penguin species in the Austral Ocean (> 6 millions pairs). It is also the biggest consumer of secondary resources, in terms of biomass, in the world. Over the past 30 years the Macaroni penguin populations situated in South Georgia and Marion Island suffered of 30% population decline. At the moment, Kerguelen and Crozet Islands (French Southern Territories) still host more than 50% of their global population, however the foraging behaviour of this species is still poorly known. The objective of this research is to study the different foraging behaviour strategies of a pelagic seabird : the Macaroni penguin Eudyptes chrysoplophus during its whole breeding cycle (incubation, brood, crèche). The populations’object of study breed in different oceanographic conditions : the Kerguelen and Crozet archipelagos. The variation in foraging behaviour driven by energetic constraints, which is associated to the reproduction and to the biological production, has been studied in details. Telemetry data (i e. trajectories and diving behaviour) combined with environmental data obtained by remote sensing allowed determining that : 1) Foraging strategies of Macaroni penguin breeding in two different locations differ in terms of movement, foraging effort and foraging niche during their breeding cycle in response to reproduction constraints. In incubation, both sexes carried out long journeys and targeted large oceanographic structures such as fronts, eddy and transport fronts. During the brooding phase, the females foraged closer to the colony adjusting their foraging behaviour based on their offspring needs, targeting the shelf and the slope. When crèche started, males targeted large scale structures whereas females still foraged on the slope. At this time, a shift in the diet composition was observed. 2) The comparative approach between Kerguelen and Crozet allowed to highlighting differences in foraging strategies, in response to local environmental conditions. However, greater than expected variations in foraging areas were observed inter-site and inter-sex. These results have pointed out an unexpected phenotypic flexibility for a pelagic marine predator. This research investigated the entire breeding cycle of a penguin, a fact still rare in ecology. The observed degree of behavioural variability reiterates the imperative to take into account an entire cycle to better understand and define the foraging strategies of a species.

Notre recherche vise à décrire les liens entre l’appropriation des IFRS et les dimensions organisationnelles et managériales des services comptables. Nous avons situé ces deux axes dans l’activité productive des acteurs en mobilisant la théorie socio-économique et la théorie d’agence, afin d’ancrer les IFRS dans le comportement des acteurs et dans l’organisation des entités. A partir d’une recherche-action inscrite dans nos activités d’expert-comptable et de commissaire aux comptes, nous avons identifié trois principes directeurs de réorganisation des activités comptables : ajustement, traitement et distanciation. En associant ces principes aux opérations de la chaîne comptable, nous avons mis en évidence trois niveaux de configuration organisationnelle : organisation ad’hoc, prégnance de la fonction comptable, fonction décentralisée. Dans les deux premiers niveaux, la présence d’une relation de collaboration entre acteurs a pu être observée, alors qu’elle est pratiquement inexistante au niveau de la fonction décentralisée. / The aim of our research is to describe the links between IFRS appropriation and the organization and management structures of the accounting departments. We positioned these two axes within the productive activities of stakeholders thanks to the use of both Socio-Economic and Agency Theories in order to connect IFRS with the stakeholders behaviors and with the organizations of firms.Through action research by virtue of our Chartered Accountant and Statutory Auditor positions we isolated three guidelines of accounting practices reorganizations: Adjustment, Treatment, and Distance analysis. The combination of these guidelines with the accounting process led us to emphasize three levels of organizational structures: Ad hoc Organization, Accounting Prevalence structure, and Decentralized Administration. In the two first organization levels a cooperation behavior has been observed between stakeholders, whereas in the Decentralized structure practically no collaboration has been recorded.

Les progrès constants en miniaturisation des transistors et l’augmentation des fréquences des signaux utilisés sont les principales tendances dans l’évolution des circuits électroniques. Avec ces évolutions apparaissent de nombreux effets indésirables qui perturbent le comportement des systèmes électroniques et sont soupçonnés d’être responsables de la majorité des dégradations de signaux dans les systèmes en haute fréquence. Des retards de propagation indésirables sont ainsi introduits par la présence des interconnexions, et la diaphonie, phénomène dû aux couplages entre lignes d’interconnexions, peut éventuellement provoquer des commutations non désirées des transistors. La prise en compte des interconnexions, dès les premières phases de conception d'un système, est par conséquent devenue une nécessité ces dernières années. Mais la simulation temporelle d’un réseau d’interconnexions est très gourmande en temps de calcul, ce qui impacte la durée globale de conception. Le remplacement des modèles électriques, décrivant précisément les interconnexions, par des modèles plus simples est primordial pour limiter les coûts de calcul. Une méthode de réduction d'ordre des modèles peut alors être employée pour effectuer cette opération efficacement. Le modèle final doit en effet décrire assez précisément certains aspects importants du modèle original et conserver les propriétés importantes du réseau d'interconnexions. Cette démarche permettra aux concepteurs d’effectuer des simulations temporelles rapides et d’étudier les paramètres d’intégrité du signal tel que le retard, le temps de montée, le dépassement….L'objectif de cette thèse est d’établir un nouvel outil de réduction de complexité des modèles de réseaux d'interconnexions. Différentes descriptions initiales des systèmes d'interconnexions sont envisagées : modèles circuits (fonctions de transfert) ou mesures fréquentielles. L’approche développée repose sur l’utilisation des fonctions orthogonales de Müntz-Laguerre et de Kautz afin de décrire mathématiquement, de manière précise, le système d'origine. Un opérateur linéaire, lié à ces fonctions de base, est ensuite appliqué pour déterminer un modèle rationnel de moindre complexité. La technique proposée est comparée à d'autres méthodes de la littérature d’abord sur des exemples académiques. Tout le potentiel de la méthode est ensuite illustré par sa mise en œuvre sur des réseaux d'interconnexions. / The ongoing progress in transistor miniaturization and a continuous frequency increase are the main trends in the present day evolution of electronic circuits. A number of undesired effects are intrinsic to these developments and are suspected to be responsible for most of the flawed signals present in high frequency systems. Parasitic delays are thus introduced by the presence of interconnect lines and crosstalk due to coupling may lead to undesired switching events in transistor circuits. Accounting for the presence of interconnect lines, at a very early stage in the design flow has become unavoidable in recent years. However, time domain simulations of massively coupled interconnect networks may be computationally costly and have a tremendous impact on the overall duration of the design process. Replacing complex, high order circuit models by more compact surrogates is thus necessary. Model order reduction is an effective way to derive such surrogates. The final model must mimic certain aspects of the original model with sufficient accuracy and preserve the interconnect network’s most important properties. This approach enables designers to account for the undesired effects of interconnect lines such as, delays, rise-times and overshoots while maintaining the overall duration of time-domain simulations within acceptable limits. The aim of this thesis is to create a new model order reduction tool applicable to complex interconnect networks. Different initial representations were considered – circuit models (transfer functions) or frequency domain measurements. The proposed approach uses orthogonal basis functions such as Müntz-Laguerre and Kautz to build an accurate mathematical representation of the original system .A linear operator, related to these functions, is subsequently used to derive a simplified model. The technique is first compared to other approaches using examples available in literature, its full potential being demonstrated on coupled interconnect models.

Chez les pollinisateurs sociaux, comme l'abeille domestique (Apis mellifera L.) et le bourdon terrestre (Bombus terrestris L.), mes deux modèles d'étude, différents individus sont spécialisés dans différentes tâches. Il est admis que différents types de comportement de butinage contribuent à une optimisation des performances de la colonie. Actuellement, les populations de pollinisateurs sont exposées à des stress environnementaux, qui sont connus pour perturber le comportement des individus en visant directement leur cognition. Il est ainsi crucial de mieux comprendre comment les colonies d'abeilles et de bourdons maintiennent une activité de butinage efficace, et quels sont les effets de stress environnementaux sur les butineuses. Dans cette thèse, j'ai donc examiné les différentes stratégies de butinage pour différentes sources de nourriture, pollen et nectar, et les variabilités interindividuelles dans le comportement de butinage. Je me suis aussi intéressé à l'impact de stress tels que les pesticides sur l'efficacité de butinage. J'ai utilisé la technologie RFID pour suivre le comportement des abeilles tout au long de leur vie. J'ai trouvé que les colonies d'abeilles et de bourdons reposent sur un petit groupe d'individus très actifs qui fournissent la majorité de la nourriture pour la colonie. Chez les abeilles, ces individus très actifs sont aussi plus efficaces pour collecter nectar et pollen. J'ai aussi identifié l'existence de différentes stratégies pour la collecte de pollen ou de nectar. Ensuite, j'ai pu montrer que les bourdons ont des différences interindividuelles très marquées dans un test de navigation, une tâche cruciale dans le comportement de butinage. Finalement, j'ai testé l'effet néfaste de pesticides sur l'apprentissage visuel chez l'abeille. Cette thèse a pour but de mieux comprendre les causes de vulnérabilité des pollinisateurs aux stress environnementaux. Mes résultats soulignent le besoin de considérer la diversité comportementale comme une adaptation des espèces de pollinisateurs sociaux, mais aussi comme une potentielle cause de vulnérabilité de la colonie vis-à-vis des stress. / In social insects, such as bees, different individuals specialise in the collection of different resources, and it is assumed that natural behavioural variability among foragers contributes to a self-organised optimisation of colony performance. Currently, bee populations are facing an increasing number of environmental stressors, known to disturb the behaviour of individuals, presumably upon their impact on cognitive capacities. Hence it is important to learn more about how stressors impact on individual foraging behaviour to understand how a colony maintains effective nutrition and development. In this thesis in cognitive ecology, I examined the different foraging strategies for the different macronutrient sources, pollen and nectar, and the inter-individual variation in bee foraging performance. I also looked at how stressors, such as pesticides, can impact on bee foraging efficiency. I compared two social Hymenoptera that vary in their level of social complexity: the European honey bee (Apis mellifera L.) and the buffed-tailed bumblebee (Bombus terrestris L.). I used Radio Frequency Identification (RFID) to automatically track the foraging behaviour of bees throughout their life. I found that honey bee and bumblebee colonies rely on a subset of very active bees to supply the whole colony needs. In honey bees, these foragers are more efficient and collect more pollen. I also identified different strategies for pollen or nectar collection in both species. Using manipulative experiments, I then showed that bees exhibit consistent inter-individual different behaviours in a spatial learning task and that pesticides impair visual learning. My thesis aims at better explaining the causes of vulnerability of pollinators to sublethal pesticides and other environmental stressors. The results highlight the need for considering behavioural diversity as an adaptation for social insects, as well as a potential dimension of colony-level vulnerability to environmental stressors that can impair the whole colony nutritional balance.

Les êtres vivants sont caractérisés par leur rapport avec l'environnement dans lequel ils évoluent. Ils sont dotés de capacités de perception, d'action et de décision. L'animation comportementale s'inspire de cette architecture pour peupler des environnements virtuels avec des entités autonomes à l'image des organismes vivants. Dans ce domaine, il est un être vivant qui retient particulièrement l'attention : l'être humain. Dans cette thèse, nous proposons une architecture pour la description du comportement des humanoïdes virtuels. Dans un premier temps, nous étudions la relation entre l'humanoïde et son environnement dans le cadre de la navigation. Nous proposons un système de subdivision spatiale permettant d'extraire des propriétés topologiques à partir d'un environnement géométrique. Ces informations sont ensuite utilisées pour créer un algorithme de planification de chemin hiérarchique. Nous proposons, dans la continuité, un algorithme de navigation s'inspirant d'études sur le comportement piétonnier et permettant de simuler, en temps réel, des foules composées de plusieurs centaines de piétons. Dans un second temps, nous étudions les composantes réactives et cognitives du comportement. Nous proposons un modèle réactif dont la propriété est de synchroniser et d'adapter automatiquement le déroulement simultané de plusieurs comportements. Le modèle cognitif peut alors exploiter cette propriété pour choisir des actions permettant à l'humanoïde de réaliser un but. Ce modèle se base sur un langage orienté objet permettant de décrire le monde sous la forme des interactions qu'il offre aux humanoïdes. Différentes applications ont validé les travaux réalisés dans cette thèse : simulation de foule, fiction interactive et cinématographie virtuelle.

Ce travail porte sur la programmation et la verification des systemes reactifs. Il consiste dans une premiere partie en la definition d'un langage mixte imperatif/declaratif, nomme ArgoLus, fonde sur les langages synchrones Argos et Lustre. Argos est un langage imperatif a base d'automates paralleles et hierarchises. Lustre est un langage declaratif fonde sur le modele flots de donnees. Le langage ArgoLus permet de melanger au niveau source ces deux langages. La definition des traductions structurelles d'ArgoLus en Argos ou en Lustre offre deux solutions interessantes pour mettre en oeuvre ce langage, tout en profitant des environnements deja existants. Dans un deuxieme temps la semantique d'Argos en termes de graphes temporises a ete definie. Initialement, celle-ci est definie en termes de systemes de transitions etiquetees. L'inconvenient de ce modele est lie au phenomene d'explosion du nombre d'etats qui limite les possibilites de verification formelle. Une des causes de cette explosion est la presence dans les programmes de compteurs d'occurrences d'evenement. Les graphes temporises sont des automates etendus avec des compteurs de temps, dont la taille est independante des valeurs limites des compteurs du programme. Par consequent, ils sont moins sensibles au phenomene d'explosion du nombre d'etats, d'ou une amelioration des possibilites de verification formelle. De plus, il est possible grace a ce modele d'exprimer des proprietes quantitatives faisant reference au temps. Enfin, un troisieme aspect de ce travail porte sur l'utilisation pour les systemes reactifs d'outils de verification formelle, non concus exactement pour ce type de systemes.

Nous rappelons tout d'abord le principe des procedures de decision classiques,qui reposent sur des algorithmes de raffinement de partitions. Cette approche necessite de construire au prealable les relations de transition des deux systemes a comparer, ce qui constitue une limitation en pratique. Nous proposons par consequent un algorithme original, base sur un parcours en profondeur du produit synchrone des deux systèmes, qui permet d'effectuer la comparaison ``a la volee'', sans jamais construire ni mémoriser explicitementles deux relations de transition. L'algorithme de comparaison ``a la volée'' a ete mis en œuvre au sein du logiciel de verification Aldebaran dans le cas de différentes relations : la bisimulation forte, l'équivalence observationnelle, la tau*a-bisimulation, la delay bisimulation et la bisimulation de branchement, ainsi que le preordre et l'equivalence de surete. Son application a la verification de plusieurs programmes Lotos de taille realiste a confirme l'interet pratique de notre approche par rapport aux methodes classiques. Enfin, nous nous interessons egalement a la generation d'un diagnostic lorsque les deux systemes de transitions etiquetees a comparer ne sont pas equivalents : les procedures de decision implementees dans Aldebaran fournissent le cas echeant un ensemble de sequences d'execution discriminantes, minimales pour une relation d'ordre donnee.

Actuellement, l'accélération des opérations de traitement d'images est principalement obtenue par l'utilisation de calculateurs parallèles. De tels processeurs, a flot d'instructions unique et a flots de données multiples (simd), sont développés, mais s'ils s'avèrent efficaces pour les opérations de traitement d'images dites de bas niveau, ou la structure des données reste la même, ils se heurtent a de nombreux problèmes lorsqu'il s'agit des opérations de moyen et de haut niveau. Notamment lors des opérations de moyen niveau, une réorganisation aléatoire des données sur les processeurs doit être effectuée, tache difficilement exécutable sur les structures parallèles synchrones a mémoire distribuée. Le but de cette thèse était d'étendre les capacités d'un calculateur simd, afin qu'il puisse exécuter, efficacement, les opérations de traitement d'images de moyen niveau. L'étude des algorithmes représentatifs de cette classe d'opérations dégage les limites de ce calculateur que des modifications d'architecture permettent d'affranchir. C'est ainsi que Sympatix, le nouveau calculateur SIMD, a été proposé. Afin de le valider, son modèle comportemental décrit en VHDL langage de description de matériel a été élaboré. Grâce a ce modèle, les performances de la nouvelle structure sont ainsi directement mesurées, par simulations d'algorithmes de traitement d'images. L'approche par modélisation VHDL permet, de plus, d'effectuer la conception électronique descendante du système, ce qui, par ailleurs, offre un couplage aise entre les modifications architecturales du système et leur cout électronique. Les résultats obtenus montrent que Sympatix est adapte aux opérations de traitement d'images de bas et de moyen niveau, qu'il est ouvert a un calculateur de haut niveau, et qu'il est capable de supporter d'autres applications de vision. Ce manuscrit présente également, une méthodologie de conception descendante, basée sur le vhdl, et destinée aux architectes de systèmes électroniques