Les systèmes embarqués ont évolué d'une manière spectaculaire et sont devenus partie intégrante de notre quotidien. En réponse aux exigences grandissantes en termes de nombre de fonctionnalités et donc de flexibilité, les parties logicielles de ces systèmes se sont vues attribuer une place importante malgré leur manque d'efficacité, en comparaison aux solutions matérielles. Par ailleurs, vu la prolifération des systèmes nomades et à ressources limités, tenir compte de la performance est devenu indispensable pour bien les concevoir. Dans cette thèse, nous proposons une démarche rigoureuse et intégrée pour la modélisation et l'évaluation de performance tôt dans le processus de conception. Cette méthode permet de construire des modèles, au niveau système, conformes aux spécifications fonctionnelles, et intégrant les contraintes non-fonctionnelles de l'environnement d'exécution. D'autre part, elle permet d'analyser quantitativement la performance de façon rapide et précise. Cette méthode est guidée par les modèles et se base sur le formalisme $mathcal{S}$BIP que nous proposons pour la modélisation stochastique selon une approche formelle et par composants. Pour construire des modèles conformes au niveau système, nous partons de modèles purement fonctionnels utilisés pour générer automatiquement une implémentation distribuée, étant donnée une architecture matérielle cible et un schéma de répartition. Dans le but d'obtenir une description fidèle de la performance, nous avons conçu une technique d'inférence statistique qui produit une caractérisation probabiliste. Cette dernière est utilisée pour calibrer le modèle fonctionnel de départ. Afin d'évaluer la performance de ce modèle, nous nous basons sur du model checking statistique que nous améliorons à l'aide d'une technique d'abstraction. Nous avons développé un flot de conception qui automatise la majorité des phases décrites ci-dessus. Ce flot a été appliqué à différentes études de cas, notamment à une application de reconnaissance d'image déployée sur la plateforme multi-cœurs STHORM. / In the present work, we tackle the problem of modeling and evaluating performance in the context of embedded systems design. These have become essential for modern societies and experienced important evolution. Due to the growing demand on functionality and programmability, software solutions have gained in importance, although known to be less efficient than dedicated hardware. Consequently, considering performance has become a must, especially with the generalization of resource-constrained devices. We present a rigorous and integrated approach for system-level performance modeling and analysis. The proposed method enables faithful high-level modeling, encompassing both functional and performance aspects, and allows for rapid and accurate quantitative performance evaluation. The approach is model-based and relies on the $mathcal{S}$BIP formalism for stochastic component-based modeling and formal verification. We use statistical model checking for analyzing performance requirements and introduce a stochastic abstraction technique to enhance its scalability. Faithful high-level models are built by calibrating functional models with low-level performance information using automatic code generation and statistical inference. We provide a tool-flow that automates most of the steps of the proposed approach and illustrate its use on a real-life case study for image processing. We consider the design and mapping of a parallel version of the HMAX models algorithm for object recognition on the STHORM many-cores platform. We explored timing aspects and the obtained results show not only the usability of the approach but also its pertinence for taking well-founded decisions in the context of system-level design.

Objectif : L’objectif de ce travail de thèse était de proposer une nouvelle approche pour appréhender l’accessibilité afin qu’elle offre des opportunités réelles aux personnes de se déplacer et de se développer. Cette orientation de recherche s’est appuyée sur l’approche par les capabilités qui fournit un cadre théorique pertinent et original pour atteindre une accessibilité capacitante, c'est-à-dire qui permette le développement des personnes. Dans cette thèse, le cadre applicatif de l’approche théorique est la mobilité des personnes vieillissantes.Méthodes : Après une présentation de l’approche par les capabilités, un état de l’art sur l’accessibilité et la présentation du contexte applicatif de cette thèse, nous présentons trois recherches, qui utilisent une combinaison de méthodes (i.e. atelier, observations, questionnaires, projection situationnelle, technique des incidents critiques).Résultats : Les résultats de ces recherches permettent de définir l’accessibilité capacitante et de concevoir un modèle pour l’appréhender en ergonomie. Ce modèle met en évidence des déterminants de l’accessibilité capacitante tels que les ressources et les facteurs d’usage (i.e. les facteurs de conversion et les facteurs de choix). De plus, il décrit le processus qui peut amener à des activités contraintes et/ou empêchées.Conclusion : En conclusion, une présentation du modèle développé dans ce travail est proposée ainsi qu’une définition de l’accessibilité capacitante. Ensuite, les perspectives de recherches portent d’une part sur les recherches en conception visant l’accessibilité capacitante, et d’autre part, sur les effets à long terme de l’accessibilité capacitante sur les activités méta-fonctionnelles. / Objective: The objective of this work was to propose a new approach for the understanding of accessibility. Through this approach, accessibility is considered as a number of qualities of environments or activities providing real opportunities for development to people. This line of research was based on the capability approach which provides a unique and relevant theoretical framework to achieve enabling accessibility (i.e. accessibility which offers real development opportunities to people). In this thesis, the application context of enabling accessibility is older adults’ mobility. Methods: After a presentation of the capability approach, a state of the art on accessibility and presentation of the application context of this research, we present three studies, which use a combination of methods (i.e. workshop, observations, survey, situational projection, critical incident technique). Results: The results of this research are used to define a model of enabling accessibility and to clarify its position in ergonomics. This model highlights a number of determinants of enabling accessibility (e.g. resources conversion factors, factors of choice). This model also describes a number of process which can constraint or hamper activity. Conclusion: In conclusion, a presentation of the model develops in this work is proposed as well as a definition of enabling accessibility. The prospects for research focuses firstly on the research design for enabling accessibility, and secondly, on the long-term effects of enabling accessibility on meta-functional activities.Keywords: enabling accessibility, capability approach, freedom of choice, older people, mobility

Attendre un enfant est généralement un événement heureux pour un couple. Toutefois, lorsqu’une hospitalisation de la femme survient en raison d’une grossesse à risque élevé, l’expérience des futurs parents peut se transformer en véritable cauchemar. Jusqu’à maintenant, les savoirs disponibles suggèrent que cet événement imprévu ait de nombreux impacts sur les futurs parents. Néanmoins, ce sujet n’a été abordé que selon une perspective maternelle ou paternelle, sans s’intéresser au caractère systémique de la situation. Cette étude qualitative de cas multiples propose d’explorer l’expérience de couples vivant l’hospitalisation de la femme en raison d’une grossesse à risque élevé, dans une perspective systémique et constructiviste. Des entrevues semi-dirigées ont été réalisées auprès de 7 couples dont la femme était, au moment de l’entrevue, hospitalisée en raison d’une grossesse à risque élevé. L’analyse qualitative des données s’est inspirée de la thématisation et a tenu compte des cadres théoriques et épistémologique choisis, étant respectivement l’approche systémique familiale de Wright et Leahey (2013) et le constructivisme. Les résultats suggèrent que l’hospitalisation est marquée par l’intensité des émotions ressenties. Les futurs parents ressentent presque constamment des sentiments d’inquiétude, d’incertitude et de solitude. Il est toutefois intéressant de constater que le couple lui-même subit des changements au cours de l’hospitalisation. En ce sens, cet événement requiert une immense réorganisation, laquelle touche plusieurs systèmes gravitant autour du système conjugal. Enfin, afin de faire face à l’intensité et à l’imprévisibilité de la situation, les couples sont amenés à solliciter un soutien externe et à puiser dans leurs propres ressources internes. En lien avec les cadres théoriques et épistémologiques choisis, ces résultats conviennent de la nécessité d’adopter une vision systémique et contextuelle afin de développer des soins infirmiers concordants avec l’expérience des couples. Cela ramène à la nécessité de réaliser d’autres études afin de perfectionner la compréhension de l’expérience. Certaines pistes d’interventions infirmières sont néanmoins énoncées, afin d’amener les infirmières à considérer la situation du point de vue de l’expérience conjugale, dont les défis de réorganisations extérieurs et des relations conjugales. Enfin, il est proposé que l’infirmière puisse agir afin de renforcer la capacité des couples à composer avec les conséquences de l’hospitalisation anténatale. / Planning to have a child is most of the time a joyful event for a couple. However, the same event might becomes a real nightmare when the woman is hospitalized because of an at high risk pregnancy. To date, researches exploring this abrupt event have suggested that it may conduct to numerous impacts on future parents. Even though, the subject has only been explored using a maternal or paternal perspective, without considering the systemic aspect of the situation. This qualitative multiple case study suggests to explore the couples’ experience regarding the hospitalization of the woman because of an at high risk pregnancy, in a systemic and constructivist approach. Semi-directed interviews have been conducted with seven couples with a woman hospitalized because of an at high risk pregnancy, at the moment of the interview. Qualitative data analysis was inspired of thematization and took into account the theoretical and epistemological approach, respectively the Wright and Leahey (2013) family approach and constructivism. Results suggest the hospitalization is touched by intense emotions, such as feeling almost all the time worries, uncertainties and loneliness. It is however interesting to note that even the couple himself is touched by changes resulting of the hospitalization. According to that, this event requires a huge reorganization, which implies loads of systems gravitating around the couple’s system. Lastly, in order to face the intensity and the unpredictability of the situation, couples are asking for external support, while using their own internal resources. Concerning the theoretical and epistemological approach chosen to realize this study, results confirm the necessity of adopting a systemic and contextual vision in order to develop nursing cares appropriate with couples’ experience. Besides, it becomes essential to duplicate this type of study to perfection the actual comprehension of the event. However, nursing interventions relating to the external reorganization and the couple relation reorganization are proposed, in order to reinforce nurses’ consideration of the couple’s experience. Only then, it is suggested that nurses can influence couples’ capacity to face the consequences of the antenatal hospitalization.

Cette thèse est composée de deux parties indépendantes. La première est consacrée à l'étude de quelques problèmes elliptiques de type de Kirchhoff de la forme suivante : -M(ʃΩNul² dx) Δu = f(x, u) xЄΩ ; u(x) = o xЄƋΩ où Ω cRN, N ≥ 2, f une fonction de Carathéodory et M une fonction strictement positive et continue sur R+. Dans le cas où la fonction f est asymptotiquement linéaire à l'infini par rapport à l'inconnue u, on montre, en combinant une technique de troncature et la méthode variationnelle, que le problème admet au moins une solution positive quand la fonction M est non décroissante. Et si f(x, u) = |u|p-1 u + λg(x), où p >0, λ un paramètre réel et g une fonction de classe C1 et changeant de signe sur Ω, alors sous certaines hypothèses sur M, il existe deux réels positifs λ. et λ. tels que le problème admet des solutions positives si 0 < λ <λ. et n'admet pas de solutions positives si λ > λ.. Dans la deuxième partie, on étudie deux problèmes soulevés en dynamique des fluides. Le premier est une généralisation d'un modèle décrivant la propagation unidirectionnelle dispersive des ondes longues dans un milieu à deux fluides. En écrivant le problème sous la forme d'une équation de point fixe, on montre l'existence d'au moins une solution positive. On montre ensuite sa symétrie et son unicité. Le deuxième problème consiste à prouver l'existence de la vitesse, la pression et la température d'un fluide non newtonien, incompressible et non isotherme, occupant un domaine borné, en prenant en compte un terme de convection. L'originalité dans ce travail est que la viscosité du fluide ne dépend pas seulement de la vitesse mais aussi de la température et du module du tenseur des taux de déformations. En se basant sur la notion des opérateurs pseudo-monotones, le théorème de De Rham et celui de point fixe de Schauder, l'existence du triplet, (vitesse, pression, température) est démontré

Depuis une vingtaine d'année, les Technologies de l'Information et de la Communication (TIC) se diffusent dans notre quotidien autant que dans les territoires. Leur appropriation massive, combinée à la déréglementation des télécommunications et à l'évolution continue du web pose la question de leurs effets sur les organisations spatiales. L'objet de cette recherche est d'apporter aux territoires une lecture de leur évolution dans les domaines de l'aménagement numérique, de l'innovation dans les services et dans l'appropriation des usages de TIC, ainsi que dans la co-construction de biens publics et la création d'écosystèmes basés sur les valeurs d'une " Société de la Connaissance ". Une première partie est consacrée au contexte très évolutif de la diffusion des TIC dans la société. Par une approche combinant des dimensions législatives, technologiques, économiques et organisationnelles, les enjeux de la Société des Connaissances sont posés au niveau national et en référence aux cadres d'orientation stratégique européens. Une seconde partie analyse la diffusion des TIC dans les territoires. Celle-ci ne relevant pas d'une simple présence ou absence des technologies disponibles, elle rend aussi compte des stratégies commerciales d'opérateurs, des priorités politiques et d'appropriations différenciées des usages. Tous ces éléments n'opèrent pas au même rythme et ne s'articulent pas de manière équivalente. La méthode est basée sur l'analyse des réseaux en trois niveaux, explicitée par G. Dupuy en 1991. La douzaine d'indicateurs pris en compte pour cette analyse et ont été choisis pour leur caractère structurant : déploiement de Réseaux d'Initiative Publique, localisation des entreprises de TIC, mise en réseau d'Espaces Publics Numériques,... Des croisements de ces indicateurs permettent de brosser le paysage de la diffusion spatiale des TIC sur une période de 10 ans (2002- 2012). La complexité induite ne pouvait être explicitée sans adopter une approche systémique pour modéliser l'évolution des territoires dans le temps ainsi que les enjeux auxquels les décideurs sont confrontés. Le socle théorique de référence de la troisième partie est celui de l'approche systémique dont les travaux de Joël de Rosnay dans Le Macroscope (1975), ont été précurseurs de l'évolution de la société avec les TIC. L'objectif est d'apporter des clés de lecture aux décideurs et de susciter une approche globale de l'évolution de leurs territoires dans une Société des Connaissances. A l'heure où le web évolue vers le web sémantique, où les modèles de création et diffusion de l'énergie évoluent vers des modèles distribués, un changement de modèle dans les réseaux de télécommunication est également possible : d'un modèle dominant " intégré " orienté opérateur, vers un modèle transversal, " ouvert ", orienté utilisateur. Les choix d'aujourd'hui qui engageront les territoires de demain sont explicités par la modélisation systémique.

Dans le cadre de la simulation du procédé de consolidation de pièces céramiques ou composites CerMet par frittage, cette thèse se propose de modéliser et de simuler deux aspects particuliers du frittage. Le premier consiste à prendre en compte l'effet d'éléments dopants sur l'évolution microstructurale d'un élément volumique représentatif d'un compact de poudre. Pour cela les chemins de diffusion tels que la diffusion volumique et de surface sont pris en compte. Le second aspect est en relation avec l'élaboration de matériaux composites à dispersoïdes et l'étude de l'évolution de leur microstructure par simulation numérique selon les caractéristiques des inclusions ne participant pas au processus de frittage. Ces simulations reposent sur le développement de la méthode Level-Set qui permet de suivre tous les changements de topologie qui interviennent au cours du frittage à l'échelle des grains.Des résultats concluants ont été obtenus à partir de la simulation de l'effet du dopage, dans le cas particulier de l'alumine dopée magnésie, puis généralisés au cas du codopage. Pour les multimatériaux, la première étape de la modélisation a consisté à considérer des inclusions ayant le même type de loi de comportement que la matrice céramique, à savoir élastique, linéaire et isotrope. Cependant, les propriétés des matériaux seront différentes. Du point de vue numérique, la complexité du problème a consisté à bien gérer les deux phases solides, et en particulier leur interface commune en vue de la résolution de l'équilibre mécanique par éléments finis, en utilisant plusieurs fonctions Level-Set.

La prochaine génération de moteur d'avion civil, LEAP, développé par Snecma (groupe Safran) et General Electric, intègrera de nombreuses innovations matériaux qui contribueront à la réduction de la consommation de carburant, d'émission de polluants et du bruit. Parmi ces innovations, l'utilisation d'aubes de turbine en CMC (Composites à Matrice Céramique) permettra une réduction significative de la masse du moteur. Les travaux présentés concernent à la fois la caractérisation du comportement mécanique de composites tissés 3D-SiC/Si-B-C et le développement d'une approche multi-échelle du comportement élastique adaptée aux structures CMC complexes. Un premier modèle à l'échelle du fil a été développé en prenant en compte la variabilité du matériau (porosité, architecture, usinage, etc...). Le modèle HPZ (Homogénéisation Par Zone) reposant sur la discrétisation du domaine d'homogénéisation permet de faire le lien entre l'échelle mésoscopique et l'échelle de la structure.

Cette recherche veut comprendre les enjeux psychiques liés à la confrontation de l'enseignant de fin de cycle élémentaire, dans une période charnière avant le collège, avec les élèves considérés en grande difficulté, selon les normes institutionnelles. La problématique prend sa source dans les différentes expériences professionnelles de l'auteur en France hexagonale et ultramarine. La démarche de recherche clinique à orientation psychanalytique permet d'appréhender les mouvements psychiques conscients et inconscients mobilisés dans la " personnalité professionnelle " de chaque enseignant. Sept entretiens cliniques non-directifs ont été menés auprès d'enseignantes de fin de cycle élémentaire, en métropole, en Polynésie française et aux Antilles. S'appuyant sur ses élaborations contre-transférentielles, l'auteur met au travail les concepts de rapport au savoir, de temporalité psychique, d'angoisse mais aussi les notions de transmission, de connivence culturelle et d'espace potentiel à partir de l'analyse de chaque entretien puis d'une réflexion transversale les mettant en perspective. Les résultats de la recherche montrent la présence de dynamiques psychiques actives dans cette situation d'enseignement, où dominent des vécus d'impuissance pédagogique et didactique, des formes d'angoisse, notamment de séparation, et des modes de défense spécifiques, dans le contexte du passage des classes de CM 2 à la 6ème, situation qui radicalise les possibilités d'échec. La recherche met aussi en évidence l'importance de la confrontation de l'expérience singulière des enseignants avec des valeurs collectives intériorisées ; elle identifie les influences culturelles mobilisées par les défenses psychiques et professionnelles des praticiens qui participent à des processus de dégagement et d'ouverture face aux conflits psychiques éprouvés. Une transmission devient possible via une connivence culturelle, transformatrice et élaborative, offrant un " espace potentiel " où se rétablissent les liens entre élève et maître. Ainsi cette recherche centrée sur la subjectivité des professionnels, en s'ouvrant sur les contextes environnementaux, permet des confrontations avec d'autres disciplines telles que l'anthropologie et enrichit la compréhension des phénomènes psychiques en jeu dans cette situation.

Le fonctionnement à haute température de certains composants des centrales nucléaires, provoque une dégradation de leurs propriétés à rupture. Cette dégradation provient essentiellement de l'activation de phénomènes thermodynamiques qui entraînent la ségrégation d'éléments aux joints des grains. L'objectif de ce travail est de proposer une modélisation multi-échelle permettant de relier la cinétique de cette ségrégation à l'évolution des propriétés à rupture du matériau.

L'objectif de notre thèse est de comprendre et d'expliquer les modes d'intégration des systèmes comptables des entreprises à partir de quatre cas (deux grandes entreprises et deux entreprises moyennes). Nous nous sommes appuyés sur la théorie de la différenciation-intégration de Lawrence et Lorsch (1967) pour interpréter les situations d'intégration étudiées. Cette théorie montre que les entreprises ayant des structures très différenciées disposent des mécanismes d'intégration sophistiqués tandis que celles dont les structures sont peu différenciées ont des mécanismes de coordination rudimentaires. Nous avons également mobilisé l'approche événementielle et multidimensionnelle de Sorter (1969) qui propose un cadre théorique de l'intégration informatico-comptable. Les progiciels ERP constituent une application très concrète de cette approche. Notre analyse qualitative de quatre cas en termes de similitudes et de différences, appuyée sur la théorie de la différenciation-intégration, a permis d'expliquer les situations d'intégration des sous-systèmes comptables observées mais aussi de montrer la pertinence de l'approche événementielle, comme cadre de conception du système d'information de structures diversifiées et différenciées. Nos résultats montrent, à l'instar de Lawrence et Lorsch, qu'il existe des modes différents d'intégration des systèmes comptables adaptés à des contextes différents. Nous avons ébauché une typologie de quatre configurations types des systèmes comptables (quatre situations d'intégration-différenciation) : (1) Système classique bidimensionnel, (2) Système quasi-intégré centralisé, (3) Système intégré, (4) Système multidimensionnel. La stratégie et la taille paraissent être, au-delà de toutes autres considérations, les principaux déterminants de l'intégration comptable ; viennent ensuite, l'environnement et certains autres éléments du contexte tels que la structure de gestion et le système de contrôle. Cependant, l'impact de la taille diffère d'une entreprise à l'autre. Lorsque la taille est combinée à une stratégie de diversification (et par extension à des environnements variés et dynamiques) son effet différenciateur sur l'organisation (et le système comptable) est très important, ce qui nécessite des mécanismes compensateurs d'intégration développés. Les deux entreprises diversifiées (POULINA et MEDDEB) ont mis en place un système comptable intégré voire multidimensionnel pour maitriser leurs sous-systèmes différenciés. Lorsque la taille est la conséquence d'un simple développement d'une activité unique (monoactivité) son effet différenciateur-intégrateur sur l'organisation et le système comptable est moins important. Les deux entreprises ayant des activités et des structures homogènes (SONEDE et SME) se sont contentées d'un système comptable peu intégré voire bidimensionnel.