Construction incrémentale de spécifications de systèmes critiques intégrant des procédures de vérification

Cette thèse porte sur l'aide à la construction de machines d'états UML de systèmes réactifs. Elle vise à définir un cadre théorique et pragmatique pour mettre en œuvre une approche incrémentale caractérisée par une succession de phases de construction, évaluation et correction de modèles. Ce cadre offre des moyens de vérifier si un nouveau modèle est conforme à ceux définis durant les étapes précédentes sans avoir à demander une description explicite des propriétés à vérifier. Afin de pouvoir analyser les machines d'états, nous leur associons une sémantique LTS ce qui nous a conduit à définir une procédure de transformation automatique de machines d'états en LTS. Dans un premier temps, nous avons défini et implanté des techniques de vérification de relations de conformité de LTS (red, ext, conf, et confrestr). Dans un second temps, nous nous sommes intéressés à la définition d'un cadre de construction incrémentale dans lequel plusieurs stratégies de développement peuvent être mises en œuvre en s'assurant que le modèle final élaboré sera une implantation conforme à la spécification initiale. Ces stratégies reposent sur des combinaisons de raffinements qui peuvent être de deux types : le raffinement vertical pour éliminer l'indéterminisme et ajouter des détails ; le raffinement horizontal pour ajouter de nouvelles fonctionnalités sans ajouter d'indéterminisme. Enfin, nous transposons la problématique de construction incrémentale d'une machine d'états à la construction d'architectures dont les composants sont des machines d'états. Des conditions sont définies pour assurer la conformité entre des architectures dans le cas de la substitution de composants.This thesis focuses on supporting construction of UML state machines of reactive systems. It aims at developing a theoretic and pragmatic framework to implement an incremental approach characterized by a succession of construction, evaluation and correction of models. This framework provides the means to verify whether a new model is consistent with those defined in the previous steps without requiring an explicit description of the properties to be verified. To analyze the state machines, we associated with them a LTS semantics which led us to define a procedure for automatic transformation of state machines in LTS. Initially, we have defined and implemented verification technique of conformance relations on LTS (red, ext, conf and confrestr). In a second step, we have defined a framework for incremental construction in which several development strategies can be implemented ensuring that the final developed model will be an implementation consistent with the initial specification. These strategies are based on combination of refinements that may be of two types: vertical refinement to eliminate nondeterminism and add details, and the horizontal refinement to add new features without adding nondeterminism. Finally, we transpose the problem of incremental construction of state machines to the construction of architectures whose components are state machines. Conditions are defined to ensure conformance between architectures in the case of substitution of components

Étude expérimentale du comportement du binôme chien/propriétaire pendant une consultation vétérinaire

Pour améliorer le bien-être des chiens chez le vétérinaire et faciliter leur manipulation, le comportement de vingt-neuf binômes chien/propriétaire a été observé lors d’un examen clinique basique. Nous avons recherché des corrélations entre le comportement du propriétaire et du chien l’un vers l’autre et entre les actions du propriétaire et le stress du chien et sa tolérance aux manipulations. Les résultats montrent que les actions apaisantes du propriétaire ne sont pas corrélées au stress du chien ni à la facilité des manipulations. A l’inverse, réprimander le chien est corrélé à un stress plus élevé et les manipulations sont plus difficiles. Ainsi, cette étude montre que rassurer son chien ne renforce pas ses réactions de peur mais le réprimander peut augmenter son stress. Enfin, les échanges de regards sont plus fréquents quand le chien est stressé, suggérant que celui-ci recherche un soutien auprès de son propriétaire. D’autres études sont nécessaire pour approfondir ces résultat

Le lien réciproque entre musique et mouvement étudié à travers les mouvements induits par la musique

Music and movement are inseparable. The movements that are spontaneously procuded when listening to music are thought to be related to the close relationship between the perceptual and motor system in listeners. This particular link is the main topic of this thesis. A first approach was focused on the impact of music-induced movements on music cognition. In two studies, we show that moving along to music neither enhances the retention of new musical pieces (Study 1) nor the retention of the contextual information related to their encoding (Study 2). These results suggest a shallow processing inherent to the expression of musical affordances required for the production of music-induced movements in the motor task. Moreover, they suggest that music is automatically processed in a motoric fashion independantly of the task. Our results also brought forward the importance of the musical groove. A second approach focused on the influence of the perception of musical rhythms on the production of rythmic movements. Our third study tested the hypothesis that different limbs would be differentially influenced depending on the musical tempo. Results show that the tapping taks was the most influenced by the perception of musical rhythms. We argued that this would come from the similar nature of the musical pulse and the timing mecanisms involved in the tapping task and motor resonance phenomena. We also observed different strategies put in place to cope with the task. All these results are discussed in light of the link between perception and action, embodied musical cognition and musical affordances.La musique et le mouvement sont inséparables. Les mouvements produits spontanément lors de l'écoute musicale seraient le reflet d'un lien étroit entre le système perceptif et moteur. Ce lien est l'objet d'étude de cette thèse. Une première approche concernait l'impact des mouvements induits par la musique sur la cognition musicale. Dans deux études, nous montrons que bouger en rythme sur la musique n'améliore ni la rétention de nouveaux morceaux de musique (Etude 1) ni la rétention d'informations contextuelles relatives à leur encodage (Etude 2). Les résultats des ces deux études suggèrent la superficialité du traitement inhérent à l'expression des affordances musicales nécessaire à la production de mouvements induits par la musique dans la tâche motrice ainsi qu'un traitement moteur automatique de la musique indépendamment de la tâche. L'importance du groove musical a également été mise en évidence. Une deuxième approche concernait l'influence de la perception de rythmes musicaux sur la production de mouvements rythmiques. Notre troisième étude testait l'hypothèse selon laquelle les membres du corps seraient influencés de manière différente en fonction du tempo musical. Les résultats montrent que la tâche de tapping était la plus influencée par la perception de rythmes musicaux. Ceci serait dû à la nature similaire de la pulsation musicale et des mécanismes de timing impliqués dans le tapping ainsi qu'à des phénomènes de résonance motrice. Nous avons également observé la mise en place de certaines stratégies face à la tâche. L'ensemble de ces résultats est discuté à la lumière du lien entre perception et action, de la cognition musicale incarnée et des affordances musicales

Contribution à la Spécification et à la Vérification des Exigences Temporelles (Proposition d'une extension des SRS d'ERTMS niveau 2)

Les travaux développés dans cette thèse visent à assister le processus d ingénierie des exigences temporelles pour les systèmes complexes à contraintes de temps. Nos contributions portent sur trois volets : la spécification des exigences, la modélisation du comportement et la vérification. Pour le volet spécification, une nouvelle classification des exigences temporelles les plus communément utilisées a été proposée. Ensuite, afin de cadrer l utilisateur durant l expression des exigences, une grammaire de spécification à base de motifs prédéfinis en langage naturel est développée. Les exigences générées sont syntaxiquement précises et correctes quand elles sont prises individuellement, néanmoins cela ne garantie pas la cohérence de l ensemble des exigences exprimées. Ainsi, nous avons développé des mécanismes capables de détecter certains types d incohérences entre les exigences temporelles. Pour le volet modélisation du comportement, nous avons proposé un algorithme de transformation des state-machine avec des annotations temporelles en des automates temporisés. L idée étant de manipuler une notation assez intuitive et de générer automatiquement des modèles formels qui se prêtent à la vérification. Finalement, pour le volet vérification, nous avons adopté une technique de vérification à base d observateurs et qui repose sur le model-checking. Concrètement, nous avons élaboré une base de patterns d observation (ou observateurs) ; chacun des patterns développés est relatif à un type d exigence temporelle dans la nouvelle classification. Ainsi, la vérification est réduite à une analyse d accessibilité des états correspondants à la violation de l exigence associéeThe work developed in this thesis aims to assist the engineering process of temporal requirements for time-constrained complex systems. Our contributions concern three phases: the specification, the behaviour modelling and the verification. For the specification of temporal requirements, a new temporal properties typology taking into account all the common requirements one may meet when dealing with requirements specification, is introduced. Then, to facilitate the expression, we have proposed a structured English grammar. Nevertheless, even if each requirement taken individually is correct, we have no guarantee that a set of temporal properties one may express is consistent. Here we have proposed an algorithm based on graph theory techniques to check the consistency of temporal requirements sets. For the behaviour modelling, we have proposed an algorithm for transforming UML State Machine with time annotations into Timed Automata (TA). The idea is to allow the user manipulating a quite intuitive notation (UML SM diagramsduring the modelling phase and thereby, automatically generate formal models (TA) that could be used directly by the verification process. Finally, for the verification phase, we have adopted an observer-based technique. Actually, we have developed a repository of observation patterns where each pattern is relative to a particular temporal requirement class in our classification. Thereby, the verification process is reduced to a reachability analysis of the observers KO states relatives to the requirements violationVILLENEUVE D'ASCQ-ECLI (590092307) / SudocSudocFranceF

Une approche par composants pour l'analyse visuelle interactive de résultats issus de simulations numériques

Component-based approaches are increasingly studied and used for the effective development of the applications in software engineering. They offer, on the one hand, safe architecture to developers, and on the other one, a separation of the various functional parts and particularly in the interactive scientific visualization applications. Modeling such applications enables the behavior description of each component and the global system’s actions. Moreover, the interactions between components are expressed through a communication schemes sometimes very complex with, for example, the possibility to lose messages to enhance performance. This thesis describes ComSA model (Component-based approach for Scientific Applications) that relies on a component-based approach dedicated to interactive and dynamic scientific visualization applications and its formalization in strict Colored FIFO Nets (sCFN). The main contributions of this thesis are, first, the definition of a set of tools to model the component’s behaviors and the various application communication policies. Second, providing some properties on the application to guarantee it starts properly. It is done by analyzing and detecting deadlocks. This ensures the liveness throughout the application execution. Finally, we present dynamic reconfiguration of visual analytics applications by adding or removing on the fly of a component without stopping the whole application. This reconfiguration minimizes the number of unavailable services.Les architectures par composants sont de plus en plus étudiées et utilisées pour le développement efficace des applications en génie logiciel. Elles offrent, d’un côté, une architecture claire aux développeurs, et de l’autre, une séparation des différentes parties fonctionnelles et en particulier dans les applications de visualisation scientifique interactives. La modélisation de ces applications doit permettre la description des comportements de chaque composant et les actions globales du système. De plus, les interactions entre composants s’expriment par des schémas de communication qui peuvent être très complexes avec, par exemple, la possibilité de perdre des messages pour gagner en performance. Cette thèse décrit le modèle ComSA (Component-based approach for Scientific Applications) qui est basé sur une approche par composants dédiée aux applications de visualisation scientifique interactive et dynamique formalisée par les réseaux FIFO colorés stricts (sCFN). Les principales contributions de cette thèse sont dans un premier temps, un ensemble d’outils pour modéliser les différents comportements des composants ainsi que les différentes politiques de communication au sein de l’application. Dans un second temps, la définition de propriétés garantissant un démarrage propre de l’application en analysant et détectant les blocages. Cela permet de garantir la vivacité tout au long de l’exécution de l’application. Finalement l’étude de la reconfiguration dynamique des applications d’analyse visuelle par ajout ou suppression à la volée d’un composant sans arrêter toute l’application. Cette reconfiguration permet de minimiser le nombre de services non disponibles

Jeux pédagogiques collaboratifs situés (conception et mise en oeuvre dirigées par les modèles)

Un jeu pédagogique constitue une déclinaison relative à l apprentissage du concept de jeu sérieux (serious game). Ce type d'outil permet la ludification (gamification) de l'activité afin d'utiliser des éléments de jeu dans un contexte non ludique et conduit à catalyser l attention, faire accroître l engagement et augmenter la motivation des joueurs-apprenants dans les situations d apprentissage. Les jeux pédagogiques reposent sur la mise en situation et l immersion des apprenants, utilisant les ressorts ludiques dans des simulations axées vers la résolution de problèmes. Parmi des recherches antérieures, certains retours d expériences font écho d une trop grande artificialité de l activité notamment par manque de contextualisation de l apprentissage dans l environnement d utilisation des connaissances apprises. Nous avons proposé la mise en place un environnement mixte (physique et numérique) et l utilisation de techniques collaboratives pour raffiner l approche pédagogique. Ces orientations nous ont menés à la mise en place de ce que nous appelons des Jeux Pédagogiques Collaboratifs Situés (JPCS). Les deux questions de recherche qui nous ont été posées dans le cadre du projet SEGAREM et qui sont devenues les nôtres sont : 1/ comment accompagner les jeux sérieux par l approche Réalité Augmentée (RA) et l'approche Interface Tangible (IT)? 2/ comment rendre la conception et la mise en œuvre des JPCS (Jeux Pédagogiques Collaboratifs Situés) plus explicite et plus systématique ? Les réponses que nous présentons dans cette thèse sont les suivantes : 1/ la conception et la mise en œuvre des pupitres interactifs supportant des objets réels augmentés, associés à un protocole de communication existant, proposant un support générique des techniques d interaction détectée et de prise en compte du contexte physique d utilisation ; 2/ une approche de production de JPCS se situant après l étape de scénarisation ludo-pédagogique qui constitue notre cahier des charges. Nous avons basé notre approche sur des modèles pour permettre un support d expression qui précise les caractéristiques des JPCS. Ces modèles sont soutenus par des éditeurs contextuels et produisent comme résultat des fichiers de descriptions en XML. La projection des descriptions obtenues sur une architecture générique d exécution du JPCS permet une spécialisation pour obtenir une version exécutable. Dans les six modèles, certains sont adaptés des travaux antérieurs de l équipe, d'autres issues de la littérature et les derniers sont directement proposés ici. Ces six modèles décrivent l activité (un modèle d orchestration de l activité et un modèle de tâches), la structure de différents environnements, l état initial de l environnement et les conditions nécessaires d un état final et les interactions possibles entre les joueurs et l environnement. Nos travaux tant sur les pupitres que sur les modèles et le support d exécution ont été concrétisés dans la mise en place de Lea(r)nIt. Ce JPCS avait pour but de consolider des acquis méthodologiques en Lean Manufacturing par l utilisation et l optimisation d une chaîne de production simulée sur pupitres (supportant interactions tactiles, interactions tangibles et pouvant être assemblés) et sur téléphones mobiles (permettant la mobilité des joueurs-apprenants).A Learning game is a declension of the serious game concept dedicated to the learning activity. A Learning game is based on a scenario and immersion of the learners with use of game mechanics on problem based simulation. The gamification concept is the use of game elements in a non-playful activity with as impact attention, motivation and engagement. However, some research feedback explains that too much artificiality on learning activity caused by a lack of contextualization of the activity on the professional environment. We propose to use Mixed Reality and Collaborative Supported Computer Work as technological solution to support situated and collaborative situation in aim to enhance pedagogical strategy and allow a better learning. We call it Situated Collaborative Learning Game (SCLG) as a concept of pedagogical tools to enhance learning of content with use of collaborative learning (when learners interactions is useful to learn), situated learning (when the environment context is meaningful) and human-physical objet interaction (with use of mixed reality, with kinesthetic and tangible interaction in augmented reality) and game based learning (when learner's motivation is improved by the learning activity). In these contexts, our two research questions are: 1 / How to create a serious games support by use of Augmented Reality (AR) approach and Tangible Interface (IT) approach? 2 / How to make design and development of SCLG (situated collaborative learning game) more explicit and systematic? We propose two solutions: 1/ the design and the production of four interactive desks with support of tangible interaction on and above the table. These devices are linked to a communication protocol which allows a generic support of technical interaction. 2/ A generic way to design the CSLG system, with integration of advanced human computer interaction support (as augmented reality and tangible interaction) and ubiquitous computing in Learning Games. For that, we propose, with a user centered oriented and model oriented design, a way to make a CSLG factory. For that, we propose use of six models to determinate the behavior of the CSLG. These six models describe learners activity (with use of three different models to follow the activity theory s), the mixed game environment, deployment of entities on the environment, and human computer interactions. All of these models are linked by an orchestration model and can be project on a multi-agent multi-layers architecture by use of XML description file. We propose tools to help each step of our design and production process. Our work on interactive desks, on the six models and on the runtime support has been realized in the production of Lea(r)nIT. This SCLG consolidate methodological knowledge of Lean Manufacturing by use and optimization of a simulated chain production on four desks (which support touch and tangible interactions and can be assembled) and on mobile phones (to allow movement of learners).LYON-Ecole Centrale (690812301) / SudocSudocFranceF

Les corrélats comportementaux et neurofonctionnels de la thérapie par analyse des composantes phonologiques

L'aphasie est un trouble acquis du langage qui cause des difficultés de communication pouvant affecter la compréhension et l'expression. Lorsque l'aphasie survient par suite d’un accident vasculaire cérébral, des difficultés importantes de communication sont initialement constatées, puis une amélioration graduelle dans les semaines et les mois qui suivent. Toutefois, pour certaines personnes, l’aphasie peut rester sévère un an, l’aphasie est alors considérée comme chronique. L'une des manifestations les plus courantes de l'aphasie est l'anomie - un manque de mots. Un nombre croissant d'études se penchent sur l'impact de la thérapie sur l'aphasie chronique et ont montré une amélioration du langage après plusieurs années. Des thérapies sont développées et étudiées en anglais, mais peu d’écrits scientifiques décrivent les effets des thérapies spécifiques et formalisées en français. Le but du présent travail doctoral est d'examiner les effets comportementaux et d’explorer les substrats neurologies du protocole Analyse des Composantes Phonologiques (ACP) ainsi que l’influence des facteurs individuels sur les gains chez dix-huit personnes vivant avec une aphasie chronique. Ainsi, la thèse comporte trois articles qui abordent, chacun, des facettes différentes des effets de l’ACP. Dans le premier article, les effets comportementaux de l’ACP sont explorés ainsi que le rôle des facteurs individuels sur la réponse à l’intervention. Le deuxième considère l’effet de l’ACP sur la connectivité fonctionnelle du cerveau, tout en considérant l’effet des facteurs individuels. Enfin, le troisième article s’intéresse à la réponse par suite de l’intervention ACP en considérant les facteurs individuels du bilinguisme et des caractéristiques neuroanatomiques comme la localisation des lésions et l’épaisseur corticale. L'ensemble de résultats démontre une amélioration significative de la dénomination des noms parmi les dix-huit participant·e·s inclus·e·s. Par ailleurs, cette amélioration a été mesurée sur des mots non-traités, ce qui reflète un effet de généralisation. Par surcroit, cette amélioration se maintient à trois mois et six mois après la fin de l’intervention. L’âge, la sévérité de l’anomie et la présence d’une apraxie de la parole sévère influencent les gains mesurés. Les analyses neurofonctionnelles de connectivité fonctionnelle au repos auprès de dix participant·e·s montrent une meilleure intégration des réseaux visuels et langagiers, associés lors d’une tâche de dénomination des noms. Les changements de connectivité observés dépendent de la sévérité de l'aphasie. Plus spécifiquement, l’intégration interhémisphérique et au sein de l’hémisphère droit est plus importante chez les personnes ayant une aphasie plus légère. Finalement, être bilingue influence aussi les gains observés par suite du protocole Analyse des Composantes Phonologiques. Les personnes bilingues s’améliorent davantage, cet avantage est associé une épaisseur corticale supérieure dans l’hémisphère droit comparativement aux personnes monolingues. Ces données préliminaires suggèrent que les changements comportementaux observés résultent de la combinaison des composantes phonologiques et orthographiques de l'intervention, et que l’intervention requiert et entraîne les fonctions exécutives. Les données cueillies dans le cadre de cette thèse sont prometteuses en ce qui concerne les effets bénéfiques de l’Analyse des Composantes Phonologiques en français. Plus précisément, les gains mesurés auprès d’un échantillon présentant des symptômes variés, la généralisation et le maintien supportent l’utilisation de ce protocole d’intervention auprès de personnes francophones. Il est à noter que la taille du groupe étudié est modeste, mais les méthodologies complémentaires et la convergence des résultats avec les données existantes dans les écrits scientifiques et à travers les méthodes d'étude de cette thèse (niveaux comportemental et neurofonctionnel) justifient des études subséquentes pour mieux comprendre les mécanismes d'action et l’influence des facteurs individuels sur les gains.Aphasia is an acquired language disorder that causes communication difficulties that can affect understanding and expression. When aphasia occurs following a stroke, significant communication difficulties are initially noted, followed by gradual improvement over the following weeks and months. However, for some people, the aphasia may remain severe after a year even when recovery has been seen, in which case the aphasia is considered chronic. One of the most common symptoms in aphasia is anomia - a difficulty finding and saying words. A growing number of studies are looking at the impact of speech and language therapy on chronic aphasia and have shown improvement in language after several years. Therapies are developed and studied in English, but little scientific literature describes the effects of specific, formalized therapies in French. The purpose of the present doctoral work is to examine the behavioural effects and to explore the neurological substrates of the Phonological Component Analysis (PCA) protocol as well as the influence of individual factors on gains in 18 adults living with chronic aphasia. Thus, the dissertation consists of three articles, each of which addresses different facets of the effects of PCA. In the first article, the behavioural effects of PCA are explored as well as the role of individual factors on the response to the intervention. The second considers the effect of PCA on resting-state functional brain connectivity, while considering the effect of individual factors. Finally, the third paper looks at the response to the PCA intervention by considering the individual factors of bilingualism and neuroanatomical characteristics associated such as cortical thickness, and also lesion location. The overall results show a significant improvement in naming among the eighteen participants included in the thesis. Moreover, this improvement was measured on untreated words, which reflects a generalization effect and was maintained at three and six months after the end of the intervention. Age, severity of impairment and the presence of severe apraxia of speech influenced the measured gains. Neurofunctional analyses of resting-state functional connectivity in ten participants showed improved integration of the visual and language networks, associated during a naming task. The connectivity changes observed depend on the severity of the aphasia. More specifically, interhemispheric and right hemisphere integration is greater in individuals with milder aphasia. Finally, being bilingual also influences the gains observed following the Phonological Component Analysis protocol. Bilinguals improved more, and this advantage was associated with greater cortical thickness in frontal regions of the right hemisphere compared to monolinguals. These preliminary data suggest that the observed behavioural changes result from the combination of the phonological and orthographic components of the intervention, and that the intervention requires and trains executive functions. The data collected in this thesis show promise for the beneficial effects of Phonological Component Analysis in French. Specifically, the gains, generalization, and maintenance measured in a sample of adults living with aphasia displaying varied symptoms support the use of this intervention protocol with French speakers. It should be noted that the size of the study group is modest, but the complementary methodologies and the convergence of the results with existing data in the scientific literature and through the study methods of this thesis (behavioural and neurofunctional levels) justify subsequent studies to better understand the mechanisms of action and the influence of individual factors on gains

Une approche logicielle du traitement de la dyslexie : étude de modèles et applications

Neuropsychological disorders are widespread and generate real public health problems. In particular in our modern society, where written communication is ubiquitous, dyslexia can be extremely disabling. Nevertheless we can note that the diagnosis and remediation of this pathology are fastidious and lack of standardization. Unfortunately it seems inherent to the clinical characterization of dyslexia by exclusion, to the multitude of different practitioners involved in such treatment and to the lack of objectivity of some existing methods. In this respect, we decided to investigate the possibilities offered by modern computing to overcome these barriers. Indeed we have assumed that the democratization of computer systems and their computing power could make of them a perfect tool to alleviate the difficulties encountered in the treatment of dyslexia. This research has led us to study the techniques software as well as hardware, which can conduct to the development of an inexpensive and scalable system able to attend a beneficial and progressive changing of practices in this pathology field. With this project we put ourselves definitely in an innovative stream serving quality of care and aid provided to people with disabilities. Our work has been identifying different improvement areas that the use of computers enables. Then each of these areas could then be the subject of extensive research, modeling and prototype developments. We also considered the methodology for designing this kind of system as a whole. In particular our thoughts and these accomplishments have allowed us to define a software framework suitable for implementing a software platform that we called the PAMMA. This platform should theoretically have access to all the tools required for the flexible and efficient development of medical applications integrating business processes. In this way it is expected that this system allows the development of applications for caring dyslexic patients thus leading to a faster and more accurate diagnosis and a more appropriate and effective remediation. Of our innovation efforts emerge encouraging perspectives. However such initiatives can only be achieved within multidisciplinary collaborations with many functional, technical and financial means. Creating such a consortium seems to be the next required step to get a funding necessary for realizing a first functional prototype of the PAMMA, as well as its first applications. Some clinical studies may be conducted to prove undoubtedly the effectiveness of such an approach for treating dyslexia and eventually other neuropsychological disorders.Les troubles neuropsychologiques sont très répandus et posent de réels problèmes de santé publique. En particulier, dans notre société moderne où la communication écrite est omniprésente, la dyslexie peut s’avérer excessivement handicapante. On remarque néanmoins que le diagnostic et la remédiation de cette pathologie restent délicats et manquent d’uniformisation. Ceci semble malheureusement inhérent à la caractérisation clinique par exclusion de la dyslexie, à la multitude de praticiens différents impliqués dans une telle prise en charge ainsi qu’au manque d’objectivité de certaines méthodes existantes. A ce titre, nous avons décidé d’investiguer les possibilités offertes par l’informatique actuelle pour surmonter ces barrières. Effectivement, nous avons supposé que la démocratisation des systèmes informatiques et leur puissance de calcul pourraient en faire un outil de choix pour pallier les difficultés rencontrées lors de la prise en charge de la dyslexie. Cette recherche nous a ainsi mené à étudier les techniques, aussi bien logicielles que matérielles, pouvant conduire au développement d’un système bon marché et évolutif qui serait capable d’assister un changement bénéfique et progressif des pratiques qui entourent cette pathologie. Avec ce projet, nous nous plaçons définitivement dans un courant innovant au service de la qualité des soins et des aides apportées aux personnes souffrant d’un handicap. Notre travail a ainsi consisté à identifier différents axes d’amélioration que l’utilisation de l’outil informatique rend possible. Chacun de ces axes a alors pu faire l’objet de recherches exhaustives, de modélisations et de développements de prototypes. Nous avons également réfléchi à la méthodologie à mettre en œuvre pour concevoir un tel système dans sa globalité. En particulier, nos réflexions et ces différents accomplissements nous ont permis de définir un framework logiciel propice à l’implémentation d’une plate-forme logicielle que nous avons appelée la PAMMA. Cette plate-forme devrait théoriquement pouvoir disposer de tous les outils permettant le développement souple et efficace d’applications médicales intégrant des processus métiers. Il est ainsi attendu de ce système qu’il permette le développement d’applications, pour la prise en charges des patients dyslexiques, conduisant à un diagnostic plus rapide et plus précis ainsi qu’à une remédiation plus adaptée et plus efficace. De notre effort d’innovation ressortent des perspectives encourageantes. Cependant, ce type d’initiative ne peut se concrétiser qu’autour de collaborations pluridisciplinaires disposant de nombreux moyens fonctionnels, techniques et financiers. La constitution d’un tel consortium semble donc être la prochaine étape nécessaire à l’obtention des financements pour réaliser un premier prototype fonctionnel de la PAMMA, ainsi que de premières applications. Des études cliniques pourront être alors menées pour prouver indubitablement l’efficacité d’une telle approche dans le cadre de la prise en charge de la dyslexie, ainsi qu’éventuellement d’autres troubles neuropsychologiques

Interactions olfacto-alimentaires : étude fonctionnelle de la plasticité du système olfactif chez deux modèles murins de l’obésité

Olfaction makes possible both the detection and the processing of odors related to food location and palatability. Interestingly, receptors to anorexigen and orexigen hormones and neuropeptides found in the hypothalamus are also expressed in the main olfactory bulb (MOB), suggesting that feeding state has an impact on odor representation. However, neuronal mechanisms linking olfaction, food intake and metabolic disorders are still unclear. In this PhD thesis, we wanted to further understand mechanisms of the olfactory-feeding crosstalk and tested the effects of obesity on olfactory activity in the MOB. Leptin, a peptidergic hormone produced by adipocytes, is a major regulator of the energy balance and inhibits food intake. Ob/ob mice are deficient in leptin from birth and are widely used as a murine model of obesity. We used a functional neuroimaging technique, Manganese Enhanced Magnetic Resonance Imaging (MEMRI), in association with statistical parametric mapping (SPM) to monitor food odor-evoked spatial activity in the MOB of these mice. Using MEMRI, we found that odor-evoked signal is different, both in terms of intensity and localization between lean and ob/ob mice for the spontaneous activity and in response to food odor. However, this is not the case for a neutral odor. Moreover, leptin impacts both spontaneous activity and food odor-evoked signal intensity in both groups. Interestingly leptin strongly activates deep layers (mitral cell layer and mainly granule cell layer) of the MOB. To pinpoint what cellular/molecular mechanisms can be responsible for these changes in the spatial distribution of activity, we analyzed the effects of the lack of leptin on the composition and activity of the MOB cellular network.We quantified bulbar adult neurogenesis and found that 21 days after BrdU injections, a cell birth marker, ob/ob mice showed an increased number of both new periglomerular and granular cells as compared to control, suggesting that leptin regulates new neuron elimination. We also tested whether an inflammation could be occurring in the MOB. Using RTPCR of different neuronal and glial markers we did not observe strong signs of inflammation. Then we probed changes in local network activity in the deep layers of the MOB by recording local field potentials during a Go/NoGo odor discrimination task. We observed that the power of beta oscillations, the functional marker of the olfactory network between the MOB and the olfactory cortex, is way higher in the MOB of ob/ob mice compared to control mice.La compréhension des mécanismes cérébraux régulant la prise alimentaire est devenue cruciale face à la pandémie mondiale d’obésité. L’ingestion d’aliments est sous le contrôle d’un large réseau de structures cérébrales qui régulent la balance énergétique en régulant l’apport de nourriture et la dépense énergétique. Etant donné l’importance de l’olfaction dans l’appréciation des aliments, il est primordial d’identifier des mécanismes précis liant olfaction et nutrition.Nous avons choisi d’étudier l’activité dans le Bulbe Olfactif principal (BO), la première structure cérébrale qui permet la représentation spatiotemporelle des odeurs. De façon intéressante, des récepteurs aux hormones anorexigènes et orexigènes sont exprimés à la fois dans l’hypothalamus et le BO. Toutefois, l’impact de la leptine (et de l’obésité) sur l’activité du BO in vivo demeure inconnu.Pour évaluer l’action de la leptine et de l’obésité sur la plasticité olfactive, nous avons choisi le modèle murin ob/ob. Nous avons d’abord décrit la répartition spatiale de l’activité dans le BO en réponse à une odeur alimentaire et à une odeur neutre chez ces souris en les comparant à des souris témoins grâce une technique de neuroimagerie fonctionnelle, l’Imagerie par Résonance Magnétique renforcée au Manganèse (MEMRI). Par le développement d’une méthode de comparaison statistique indépendant de l’utilisateur, le SPM (Statistical Parametric Mapping), nous avons mis en évidence une augmentation de l’activité spontanée et de l’activité induite par odeur alimentaire dans le BO des ob/ob. Cependant, l’activité induite par une odeur neutre n’était pas plus élevée. L’injection de leptine a pour résultat d’augmenter le signal MEMRI dans les couches profondes du BO et ne restaure que partiellement l’activité des ob/ob. En quantifiant la neurogenèse dans le BO par injections de BrdU, nous avons mis en évidence une survie accrue des cellules granulaires et périglomerulaires chez les ob/ob.Pour évaluer la dynamique temporelle de l’activité du BO, nous avons enregistré par électrophysiologie les variations de l’activité oscillatoire du potentiel de champ local dans les couches profondes du BO pendant l’apprentissage d’une tâche de discrimination olfactive, le Go/NoGo. L’apparition d’une oscillation lente dite bêta (15-40 Hz) pendant cet apprentissage est un marqueur fonctionnel de l’état du réseau olfactif. Elle est dépendante des retours centrifuges provenant du cortex olfactif, majoritairement du cortex piriforme. Si nous n’avons pas observé de différence importante dans la discrimination olfactive, nous avons en revanche mis en évidence un problème motivationnel chez les animaux ob/ob, qui n’effectuaient la tâche que si la récompense hydrique contenait du sucre. Nos enregistrements montrent une forte augmentation des oscillations bêta chez les souris obèses après apprentissage comparé aux souris témoins