Modélisation en UML/OCL des langages de programmation et de leurs propriétés et processus IDM

Cette étude est axée sur l'activité de génération de composants logiciels se situant en phase terminale des processus de développement de logiciels dirigés par les modèles. Dans une première partie, nous présentons les travaux de recherche déjà existants sur les modèles et les transformations de modèles, ainsi que sur la modélisation en UML/OCL des langages de programmation limitée, la plupart du temps, aux aspects syntaxiques. Dans une deuxième partie, nous montrons comment nous modélisons en UML/OCL, les propriétés comportementales et axiomatiques des langages de programmation de style impératif. La modélisation des propriétés comportementales et axiomatiques d'un langage, en UML/OCL enrichi d'un langage d'actions, nous amène à montrer comment on peut, à l'aide de triplets de Hoare, vérifier que des segments de modèles de programmes sont corrects. Les assertions déduites des triplets de Hoare par application des propriétés axiomatiques du langage sont transmises à un Atelier B en vue d'étudier leurs éventuelles validités. Dans une troisième partie, nous montrons comment on peut injecter au niveau du Méta-Modèle UML des propriétés comportementales et axiomatiques spécifiques à un domaine d'applications particulier. Nous nous sommes limités au fragment du Méta-Modèle UML définissant les diagrammes d'activité se situant donc en amont des modèles de codes, avant la génération proprement dite des codes. La cohérence entre les modèles et les codes peut se vérifier à l'aide de propriétés comportementales et axiomatiques en comparant les modèles issues des exigences et les modèles des codes. Ces travaux de recherche ont été financés dans le cadre de l'ANR.Our work focuses on the software component generation phase that takes place at the last phase of a model driven development process. Our work is related to either the modelware or the grammarware because the model driven process can be considered as a successive of model transformations whereas the code generation is a specific transformation from the model to a language grammar. In the first part, we resume some relative works in the domain of the models and of the models transformation; we also present the language modeling in UML which is generally restricted by the syntax modeling. In the second part, we show how we model in UML/OCL the behavioral and axiomatic properties of imperative programming languages. The modeling of the behavioral properties helps to execute the code models if we dispose a right execution environment. In the other hand, the modeling of the axiomatic properties helps to demonstrate the correctness of the code model. In fact, the assertions obtained from the modeling of the axiomatic properties of the language will be transferred to a B atelier in order to have further validation. In the third part, we show how we inject into the UML metamodel the considered domain behavioral and axiomatic properties. We focus on the activity diagram metamodel of the UML which defines the behavior part of a UML model. The coherence between the models and the codes can be then verified in comparing the behavioral and axiomatic properties of the models issued from the requirements and that of the codes. Our work is financed by the ANR research projects

Etude et Implantation d'Algorithmes de Compression d'Images dans un Environnement Mixte Matériel et Logiciel

The main purpose of this thesis was to contribute to the development and to the design of anembedded system for multimedia by using the HW/SW methodology (codesign). A library offlexible IP cores (Intellectual Property) for video applications was created. Within thisframework, a hardware platform for video acquisition and video restitution was achieved inorder to evaluate the codesign methodology approach and to study the video processingalgorithm. We have studied and implemented the H.263 video encoder from the UIT-Torganism. The frequency of our platform is about 120 MHz. The whole development wasexecuted under μClinux Operating System and controlled by the NIOS II processor. TheH.263 encoder was developed with different hardware accelerators for the SAD, TCD/TCDIand Q/QI operations and permits finally to code video sequences at [email protected] sujet de cette thèse est la contribution au développement et à la conception d’un systèmemultimédia embarqué en utilisant la méthodologie de conception conjointelogicielle/matérielle (codesign). Il en a découlé la constitution d’une bibliothèque des modulesIP (Intellectual Property) pour les applications vidéo. Dans ce contexte, une plateformematérielle d’acquisition et de restitution vidéo a été réalisée servant de préalable àl’évaluation de la méthodologie de conception en codesign et à toute étude d’algorithme detraitement vidéo. On s’est intéressé en particulier à l’étude et à l’implantation de la norme decompression vidéo H.263 de l’organisme UIT-T. La fréquence de fonctionnement de laplateforme est de 120 MHz. L’ensemble du développement est exécuté par le processeurNIOS II sous le système d’exploitation μClinux. Le codeur H.263 ainsi développé, grâce auxdifférents accélérateurs matériels pour le SAD, TCD/TCDI et Q/QI permet de coder desséquences vidéo QCIF@15Hz

Etude et implantation d'algorithmes de compression d'images dans un environnement mixte matériel et logiciel

Le sujet de cette thèse est la contribution au développement et à la conception d’un système multimédia embarqué en utilisant la méthodologie de conception conjointe logicielle/matérielle (codesign). Il en a découlé la constitution d’une bibliothèque des modules IP (Intellectual Property) pour les applications vidéo. Dans ce contexte, une plateforme matérielle d’acquisition et de restitution vidéo a été réalisée servant de préalable à l’évaluation de la méthodologie de conception en codesign et à toute étude d’algorithme de traitement vidéo. On s’est intéressé en particulier à l’étude et à l’implantation de la norme de compression vidéo H.263 de l’organisme UIT-T. La fréquence de fonctionnement de la plateforme est de 120 MHz. L’ensemble du développement est exécuté par le processeur NIOS II sous le système d’exploitation μClinux. Le codeur H.263 ainsi développé, grâce aux différents accélérateurs matériels pour le SAD, TCD/TCDI et Q/QI permet de coder des séquences vidéo [email protected] main purpose of this thesis was to contribute to the development and to the design of an embedded system for multimedia by using the HW/SW methodology (codesign). A library of flexible IP cores (Intellectual Property) for video applications was created. Within this framework, a hardware platform for video acquisition and video restitution was achieved in order to evaluate the codesign methodology approach and to study the video processing algorithm. We have studied and implemented the H.263 video encoder from the UIT-T organism. The frequency of our platform is about 120 MHz. The whole development was executed under μClinux Operating System and controlled by the NIOS II processor. The H.263 encoder was developed with different hardware accelerators for the SAD, TCD/TCDI and Q/QI operations and permits finally to code video sequences at QCIF@15Hz

The pension projection package of the Destinie 2 model: users guide

The Destinie model is a dynamic microsimulation model whose main purpose is the long run projection of pensions both at the macro and micro levels. This document presents how such simulations can be built with the new version of the model. They do not rely on a closed ready-made program where variants would be obtained by just changing values for a predetermined set of parameters. The new Destinie 2 model has been rather designed as a toolbox of modules, allowing the construction of ad hoc projection programs that can be tailored to users demands. We provide a comprehensive view of this toolbox. This document addresses the needs of both basic users and more advanced ones, including for applications that would eventually require the building of additional modules.Microsimulation, pensions

Circulation symbolique des désordres fonctionnels gastro-intestinaux : étude réalisée dans les familles québécoises francophones

La présente étude en anthropologie médicale propose d’examiner la dimension socioculturelle des désordres fonctionnels gastro-intestinaux (DFGI) en considérant l’expérience de six familles québécoises francophones où un pré-adolescent souffre de symptômes associés à un DFGI. Le regard anthropologique qui nous a permis d’appréhender ces expériences de douleur s’appuie principalement sur les travaux issus de la psychiatrie transculturelle, de même que sur les influences de l’anthropologie du corps et de la phénoménologie. À travers ce regard, la somatisation est considérée comme une forme de communication de la douleur, modulée de manière importante par le contexte socioculturel et représentative d’une certaine souffrance sociale. Ce langage ponctué d’idiomes de détresse et de métaphores permet aux individus d’exprimer leur souffrance et de mobiliser un soutien social efficace pour la prendre en charge. Dès lors, le corps doit être perçu comme un corps vécu; comme un lieu de marquage du social, mais également comme un instrument de positionnement social et une frontière où des mouvements d’appartenance et de divergence sont exprimés. Par l’exploration, dans chacune de ces familles, des différentes manières de décrire les symptômes, de les interpréter et d’y réagir, nous avons procédé à la reconstruction d’histoires particulières pour voir comment ces symptômes venaient s’inscrire dans la biographie individuelle et familiale. À travers l’analyse de la construction du sens de la douleur et des pratiques adoptées pour la contrôler, la douleur abdominale nous est apparue comme intimement liée à l’expérience sociale et la médicalisation comme une base pour une meilleure appréhension de cette douleur. Par ses maux de ventre, l’enfant exprime ses limites corporelles et sociales. À l’intérieur de la famille, l’expression de cette limite peut être parfois dérangeante, confrontante, et même entraîner des rapports conflictuels. C’est ainsi qu’est « négociée » une approche appropriée à la douleur qui redéfinit les rôles de chacun par rapport à cette dernière. Le ventre devient le médiateur qui permet le compromis nécessaire au « vivre ensemble » ou au « vivre dans le monde ». À l’issue de ii cette négociation qui implique la participation du médecin traitant, les rapports sont parfois reconstruits et la relation au monde et aux autres peut devenir différente.This study in medical anthropology is an exploration of the sociocultural dimension of functional gastrointestinal disorders (FGID) considering the experience of six frenchspeaking families of Québec where a pre-teenager suffers from symptoms associated with FGID. The anthropological perspective that allowed us to approach these experiences of pain is based mainly on work from tanscultural psychiatry, as well as on the influences of the anthropology of the body and phenomenology. Through this view, somatization is considered to be a form of communication of distress, modulated in an important way by sociocultural context and reflecting social suffering. This language punctuated with idioms of distress and metaphors allows individuals to express their suffering and to mobilize an efficient social support. From then on, the body must be seen as a lived body; as a place of social marking, but also as an instrument of social positioning and a border where movements of belonging and divergence are expressed. By exploring, in each of these families, different ways of describing the symptoms, interpret them and respond to them, we proceeded to the reconstruction of particular stories to find how these symptoms were part of the individual’s and family’s biography. Through the analysis of how those families make sense of the pain and adopte practices to control it, abdominal pain appeared to us as intimately linked to social experience and the medicalization as a basis for a better apprehension of this suffering. While telling his or her pain, the child is also expressing his or her bodily and social boundaries. Within the family, the expression of this limit can sometimes be disturbing, confrontational, even lead to conflict. Thus was “negociated” an appropriate approach to pain that redefines the roles of each in relation to it. The abdomen becomes the mediator who allows the compromises needed to “live together” or to “live in the world”. Following this “negociation” that involves the participation of the attending physician, bonding within the family is sometimes positively transformed and the relation to the world and to the others can become different

Le cadre privatif (des données aux contextes)

Nous construisons une analyse des dispositifs identitaires contemporains (dont les réseaux socionumériques) sur plusieurs niveaux : au niveau informatique (modèle conceptuel clôturant représentations sociales et sociabilités) ; au niveau microsocial (négociation des singularités subjectives et ancrage des normes sociales) ; au niveau économique (stratégies hégémoniques et partenariat avec les industries culturelles) ; au niveau sociopolitique (expérimentation de postures individuelles sur la base d'expériences affectives et dans un cercle privé rendant possible l'engagement dans les processus délibératifs constituant le sens commun). Pour appréhender ces enjeux, nous avons mis en œuvre une méthodologie immersive et multi-située en compagnie d'une population composée de figures du sujet contemporain : des apprentis en BTS dans le secteur du Tertiaire, soumis à un complexe de contraintes, et engagés au niveau personnel et socioprofessionnel dans divers dispositifs identitaires. Il ressort de ces analyses plusieurs propositions théoriques, dont celle du cadre privatif présenté comme ensemble de contraintes identitaires définies ou négociées par les interactants et resitué au niveau informatique (ingénierie de la vie privée médiatisée), microsocial (veille mutuelle), économique (modèle socioéconomique du salon), sociopolitique (espace anecdotique), et méthodologique (immersion auprès des usagers).We build an analysis of contemporary identity devices (including social network sites) on several levels: computer (conceptual model ending social representations and sociability), microsocial (negotiating subjective singularities and anchoring social norms), economics (hegemonic strategies and partnerships with cultural industries), socio-political (experimenting individual postures based on emotional experiences in a private club model and making it possible to engage in deliberative processes constituting common sense). To understand these issues, we have implemented an immersive and multi-situated methodology located in a population composed of contemporary subject's figures: young apprentices in the Tertiary, subject to complex constraints, and committed personal level, social and professional identity in various devices. It is clear from these analyzes several theoretical proposals, including the privatory framework presented as a set of identity constraints defined or negotiated by interactants and situating in Computer Science (engineering publicized privacy), the micro (mutual insight), economic (socioeconomic model of the private club ), socio-political (anecdotical sphere) and methodological (immersion to users).SAVOIE-SCD - Bib.électronique (730659901) / SudocGRENOBLE1/INP-Bib.électronique (384210012) / SudocGRENOBLE2/3-Bib.électronique (384219901) / SudocSudocFranceF

La structuration d'une action intersectorielle à base communautaire comme stratégie d'actualisation d'une approche globale en promotion de la santé : les régulations en jeu

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal