Les travaux de cette thèse s'inscrivent dans le contexte général des réseaux logiciels, dits "Software-Defined Networking" (SDN). Ce paradigme récent est l'une des initiatives les plus notables pour rendre les réseaux actuels programmables ou, en d'autres termes, plus simple à configurer, à tester, à corriger et à faire évoluer. Dans un écosystème SDN, l'interface nord (Northbound API) est utilisée par l'administrateur réseaux pour définir ses politiques et programmer le plan de contrôle, elle représente donc un enjeu majeur. Idéalement, cette interface nord devrait permettre aux administrateurs de décrire, le plus simplement possible, des services réseaux et leurs interactions, plutôt que de spécifier comment et sur quels équipements physiques ils doivent être déployés. Des travaux existants montrent que cela peut être notamment réalisé grâce à des solutions de virtualisation de réseaux et des langages de programmation dédiés de haut niveau. L'objectif de ce travail de thèse est de proposer une nouvelle interface nord qui, d'une part, exploiterait la virtualisation de réseau et, d'autre part, exposerait ses services sous la forme d'un langage de programmation dédié. Actuellement, plusieurs langages intégrant des solutions de virtualisation de réseau existent. Néanmoins, nous pensons que les modèles d'abstraction qu'ils utilisent pour construire des réseaux virtuels restent inappropriés pour assurer des critères de simplicité, modularité et flexibilité des topologies virtuelles et des programmes de contrôle. Dans ce contexte, nous proposons un nouveau langage de contrôle de réseaux nommé AirNet. Ce dernier intègre un modèle d'abstraction dont la principale caractéristique est d'offrir une séparation nette entre les équipements de bordure (Edge) et de cœur de réseau (Fabric). Cette idée est bien connue et acceptée dans le domaine des architectures réseaux. L'originalité de notre contribution étant de faire remonter ce concept au niveau du plan de contrôle virtuel et non de le restreindre au seul plan physique. Ainsi, des frontières logiques entre les différents types de politiques existeront (fonctions de contrôle et de données vs. fonctions de transport), garantissant ainsi la modularité et la réutilisabilité de tout ou partie du programme de contrôle. De plus, dans l'approche proposée, la définition du réseau virtuel et des politiques peut être totalement dissociée de l'infrastructure physique cible, favorisant ainsi la portabilité des applications de contrôle. Une implémentation du langage AirNet a également été réalisée. Ce prototype inclut en particulier une bibliothèque des primitives et opérateurs du langage, ainsi qu'un hyperviseur qui assure la composition des politiques de contrôle sur un réseau virtuel, et leur transposition (mapping) sur l'infrastructure physique. Afin de s'appuyer sur des contrôleurs SDN existants, l'hyperviseur inclut des modules d'intégration des contrôleurs POX et RYU. Une validation expérimentale a été menée sur différents cas d'étude (filtrage, répartition de charge, authentification dynamique, limitation de bande passante, etc.) dont les résultats attestent de la faisabilité de la solution. Enfin, des mesures de performances ont montré que le surcoût apporté par cette nouvelle couche d'abstraction est parfaitement acceptable. / The work of this thesis falls within the general context of software-defined networking (SDN). This new paradigm is one of the most significant initiatives to enable networks programmability or, in other words, to make current networks easier to configure, test, debug and evolve. Within an SDN ecosystem, the Northbound interface is used by network administrators to define policies and to program the control plane, it thus represents a major challenge. Ideally, this northbound interface should allow administrators to describe, as simply as possible, network services and their interactions, rather than specifying how and on what physical device they need to be deployed. Current related works show that this can be partly achieved through virtualization solutions and high-level domain specific languages (DSL). The objective of this thesis is to propose a new Northbound interface which will, on the one hand, rely on network virtualization and, on the other hand, expose its services as a domain specific programming language. Currently, several languages that include network virtualization solutions exist. Nevertheless, we believe that the abstract models they are using to build virtual networks remain inadequate to ensure simplicity, modularity and flexibility of virtual topologies and control programs. In this context, we propose a new network control language named AirNet. Our language is built on top of an abstraction model whose main feature is to provide a clear separation between edge and core network devices. This concept is a well-known and accepted idea within the network designer community. The originality of our contribution is to lift up this concept at the virtual control plane, not limiting it solely at the physical plane. Thus, logical boundaries between different types of policies will exist (control and data functions vs. transport functions), ensuring modularity and reusability of the control program. Moreover, in the proposed approach, the definition of the virtual network and policies is totally dissociated from the target physical infrastructure, promoting the portability of control applications. An implementation of the AirNet language has also been done. This prototype includes in particular a library that implements the primitives and operators of the language, and a hypervisor that achieves the composition of the control policies on the virtual network, and their mapping on the physical infrastructure. In order to rely on existing SDN controllers, the hypervisor includes integration modules for the POX and RYU controllers. An experimental validation has been also conducted on different use cases (filtering, load balancing, dynamic authentication, bandwidth throttling, etc.), whose results demonstrate the feasibility of our solution. Finally, performance measurements have shown that the additional cost brought by this new abstraction layer is perfectly acceptable.

O objetivo deste estudo foi comparar o desempenho psicolingüístico de crianças com Distúrbio Específico de Linguagem (DEL) com o de crianças que apresentam desenvolvimento típico de linguagem (DTL), apontando os marcadores psicolingüísticos mais significativos do distúrbio e também comparar a eficácia de dois métodos de intervenção - Modelo de Intervenção no Meio e Modelo Neuropsicolingüístico - no desempenho psicolingüístico das crianças com DEL. Participaram desta investigação 12 pré-escolares de ambos os gêneros, com idade entre 4:0 - 6:11 anos, sendo metade deles pertencentes ao grupo experimental - crianças com DEL, submetidos à intervenção - e os demais ao grupo controle - crianças com DTL, não submetidos à intervenção. A quantificação do rendimento dos sujeitos nas distintas dimensões psicolingüísticas foi obtida mediante a utilização de diversos instrumentos, com o propósito de avaliar o nível primário, secundário e terciário da recepção e produção lingüística. Posteriormente às avaliações préintervenção, o grupo experimental foi distribuído aleatoriamente em dois grupos e submetido a dois diferentes modelos terapêuticos (primeiro ciclo), com duração de quatro meses. Ao fim deste ciclo foi reavaliado, submetido a quatro meses de terapia em que os Modelos foram alternados e os grupos novamente reavaliados. A análise estatística revelou a existência de diferença estatisticamente significante entre o desempenho do grupo experimental e controle em vários níveis de análise e produção lingüística, sendo os marcadores mais significativos encontrados os que envolvem a discriminação auditiva, análise fonológica, recepção e organização morfossintática, memória de curto prazo e habilidades pragmáticas quanto ao uso de turnos expansivos. Já a comparação da eficácia dos dois Modelos de intervenção propostos revelou que as distintas habilidades psicolingüísticas responderam de forma diferente aos mesmos, sugerindo que a combinação das estratégias dos Modelos investigados possa ser o melhor caminho quando se deseja intervir nos quadros de crianças cujas dificuldades encontram-se situadas nos níveis de análise e produção lingüística investigados neste trabalho. / This study aimed to compare the psycholinguistic performance of children with Specific Language Impairment (SLI) to children with Typical Language Development (TLD), pointing out the most significant psycholinguistic markers, and to compare the effectiveness of two intervention methods, Milieu Teaching Approach and Neuropsycholinguistic Model, in the psycholinguistic performance of children with SLI. The subjects were 12 pre-school boys and girls, 4:00 to 6:11 years old; half of them took part in the experimental group - children with SLI submitted to intervention - and the others in the control group - children with TLD not submitted to intervention. The subject performance quantification in distinct psycholinguistic dimensions was obtained through several tools in order to evaluate the primary, secondary and tertiary levels of linguistic reception and production. After pre-intervention evaluations, the experimental group was randomly distributed into two study groups and submitted to two different therapeutic models (first cycle) during four months. At the end of this cycle, it was evaluated again, submitted to four-month therapy with alternating Models and re-evaluated. Statistical analysis showed the existence of statistically significant difference in the performance between the experimental group and the control one in several levels of linguistic analysis and production. The most significant markers involve auditory discrimination, phonological analysis, morphosyntactic reception and production, short-term memory and pragmatic abilities in relation to the use of expansive turns. The comparison of the effectiveness between the two proposed Models showed that distinct psycholinguistic abilities responded differently to themselves, which suggests that the combination of strategies of the studied Models be the best way to intervene in the performance of children whose difficulties lie in the investigated analysis and linguistic production levels of this study.

Os objetivos deste estudo foram correlacionar o desempenho de crianças com Distúrbio Específico de Linguagem (DEL) nas provas de memória de trabalho e de compreensão de sentenças e verificar, entre as duas provas de memória de trabalho utilizadas, qual a mais eficaz para discriminar crianças com DEL, quando comparadas a crianças com desenvolvimento típico de linguagem (DTL). Foram selecionadas 66 crianças, com idades variando de 37 meses (3:1 anos) a 131 meses (10:11 anos), divididas em três grupos de 22 crianças: um grupo experimental, de crianças com diagnóstico de DEL, e dois grupos controle, de crianças com desenvolvimento típico de linguagem e aprendizagem (DTLA). O primeiro grupo controle (n=22) foi pareado pela idade psicolinguística (GCIPL) e, o segundo (n=22), pareado pela idade cronológica (GCIC). A memória de trabalho foi obtida por meio das provas de repetição de pseudopalavras (PP) e de memória seqüencial para dígitos (ITPA DG), e a compreensão de sentenças por meio do \"Token Test\". A comparação entre o desempenho dos grupos foi realizada pelo teste \"t\" de Student, a correlação entre as provas de memória de trabalho e compreensão de sentenças foi realizada pela correlação de Pearson e, para verificar qual a melhor prova para discriminar as crianças com DEL, utilizou-se a curva ROC. As análises demonstraram que os sujeitos do grupo experimental apresentaram menor número de acertos nas três provas aplicadas (p<0,05). Foi encontrada correlação positiva entre as provas de memória de trabalho e a prova de compreensão de sentenças (PP --> r=0,42, p=0,049; ITPA DG --> r=0,74, p<0,001). Entre as duas provas relacionadas à memória de trabalho, a que demonstrou ter o melhor índice discriminatório de crianças com DEL foi a de pseudopalavras, com acurácia de 95%. Concluiu-se que houve correlação positiva entre a memória de trabalho e o aspecto da linguagem, compreensão, e que a melhor forma de discriminar crianças com DEL e crianças com DTL, entre as duas analisadas é a prova de pseudopalavras. / The objectives of this study was to correlate the children\'s performance with Specific Language Impairment (SLI) in the working memory and sentences comprehension tasks and to verify among the two working memory tasks used, which one is more effective to discriminate children with SLI, when compared to children with typical language development (TLD). It was selected 66 children with ages varying of 37 months (3:1 years) to 131 months (10:11 years), divided in 3 groups of 22 children, being one a experimental group of children with diagnosis of SLI and two control groups of children with typical development of language and learning (TDLA), being the first control group (n=22) matched by the psycholinguistic age (CGPLA) and the second (n=22) matched by the chronological age (CGCA). The working memory was obtained through the nonwords repetition (NW) and digit span (ITPA DG) tasks, and the sentences comprehension through \"Token Test\". The comparison among the groups performance was accomplished by the Student\'s t-test, the correlation between the working memory and sentences comprehension tasks was accomplished by the Pearson correlation, and to verify which one is the best task to discriminate the children with SLI, the ROC curve analyses was used. The analyses demonstrated that the experimental group subject presented smaller number of successes in the three applied tasks (p <0,05). It was found positive correlation between the working memory and sentences comprehension tasks (NW-->r=0,42, p=0,049; ITPA DG-->r=0,74, p <0,001). Among the two tasks regarding the working memory, the one that demonstrated to be the best discriminatory index of children with SLI was the NW, with accuracy of 95%. Therefore it is ended that there was positive correlation among the working memory and the aspect of the language, comprehension. And the best form of discriminating children with SLI and children with TLD, among the analyzed two, is the NW task.

[pt] Esta dissertação tem como objetivo principal discutir e analisar a possibilidade de se avaliar a expressão obrigatória de argumentos de verbos como índice de manifestação do Déficit Especificamente Lingüístico (DEL) em Português do Brasil (PB) e de prover uma marca clínica para o diagnóstico do DEL com base nessa análise. Tem ainda como objetivo ampliar a amostra de crianças com queixas de linguagem submetidas a uma avaliação lingüística teoricamente embasada, na construção do banco de dados do projeto MABILIN (Módulos de Avaliação de Habilidades Lingüísticas) do LAPAL (Laboratório de Psicolingüística e Aquisição da Linguagem), com vistas a verificar os aspectos lingüísticos mais atingidos no PB. Participaram desse estudo crianças com suspeita de DEL e crianças com desenvolvimento normal de linguagem com 3 e 5 anos. Foram realizados sete experimentos de produção eliciada que avaliam, particularmente, a expressão de argumentos externo (sujeito) e internos (objeto direto, objeto indireto), assim como de adjuntos. Os resultados obtidos sugerem um comprometimento na condução da computação sintática da estrutura argumental de verbos em crianças DEL, o que resulta particularmente na omissão do sujeito em contexto sintaticamente obrigatório. Conclui- se que a omissão do sujeito no contexto obrigatório aqui caracterizado pode ser tomada como um índice do DEL no PB. / [en] This dissertation aims at examining the possibility of taking the obligatory expression of verbs arguments as an index of Specific Language Impairment (SLI) in Brazilian Portuguese (BP) and at providing a clinical criterion for SLI diagnoses on the basis of this analysis. A further goal is to enlarge the sample of children with language problems whose linguistic performance is assessed by means of a set of tests (Modules for the Evaluation of Linguistic Abilities) that has been developed in LAPAL (Laboratório de Psicolingüística e Aquisição da Linguagem), in order to identify those aspects of language that are particularly affected in BP. Children with a probable diagnosis of SLI and normally developing children from 3 to 5 years of age constitute the sample. Seven experiments were carried out by means of an elicited production task, which aimed at evaluating the expression of the arguments of the verb -- external argument (subject) and the internal arguments (direct object, indirect object), as well as adjuncts. The results suggest that children in the SLI group have difficulty in the syntactic computation of the verbs argument structure, which is particularly manifested in the omission of the subject argument in an obligatory context. It is concluded that subject omission in the obligatory context characterized here can be taken as an index of SLI in BP.

Testing is an important part of software development. It ensures that the developed product is of high standard and quality. Tieto frequently develops large complex systems which require comprehensive testing. Testing employs manually designed test cases. According to recent development within software testing it has been shown that design of test cases can be simplified with domain specific test languages (DSTL).     The thesis project is a research and development study in the field of software testing and has been performed at Tieto office in Karlstad. The project concerns the development of a DSTL and a suitable development environment based on the Eclipse Platform. The project evaluates the development of a domain specific test language using the tools Eclipse JDT, developed by Eclipse Foundation, and Xtext, developed by itemis AG. The experiment was evaluated by its functionality and integrability.     The project has shown promise in using a domain specific test language with a suitable development environment. The result and evaluation have shown that the subject shows promise, but needs further development if it is to be adapted within Tieto´s organization.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The beliefs that involve the language learning/teaching process are made up through experiences of each individual and they reflect the personal views about learning an FL. By assuming that each person has their particular beliefs, this work aims to verify if those may change from the type of education received. The information needed to perform this research was obtained through questionnaires, semi-structured interviews and observations in the classroom. We based the theoretical approach on Barcelos (2010; 2007; 2004a; 2004b; 2003; 2001; 1995), who work with beliefs. Ramos (2005) served as a basis on specific language learning and Vygotsky (2001; 1998; 1978) on the socio interactionism view of language. It is quali-quantitative research done with 76 students/professionals from the course Curso de Capacitação em Português Língua Estrangeira Instrumental para Agentes do Governo Uruguaio: Polícia Rodoviária, offered by the Centro de Ensino e Pesquisa de Línguas Estrangeiras Instrumentais (CEPESLI), from Federal University of Santa Maria. Some of the beliefs brought by the group were: being an adult does not interfere in FL learning; learning Portuguese is easy; it is possible to learn it without needing to study; a learning directed to the student s occupation is sufficient to communicate at work. After the identification and comparison of these beliefs and the data analysis it was possible to conclude that the beliefs of the students may change even at different extents from learning/teaching experiences with an intensive and communicative learning language approach. / As crenças que envolvem o processo de ensino/aprendizagem de línguas são constituídas através das experiências de vida de cada indivíduo e refletem as posições pessoais sobre a aprendizagem de uma LE. Este trabalho, assumindo que cada pessoa possui suas crenças particulares, teve como objetivo verificar se tais crenças podem vir a sofrer alterações a partir do tipo de ensino recebido. As informações necessárias à realização da pesquisa foram obtidas através de questionários, entrevistas semiestruturadas e observações realizadas em sala de aula. Serviram de base teórica trabalhos de autores como Barcelos (2010; 2007; 2004a; 2004b; 2003; 2001; 1995), na área de crenças. Ramos (2005) serviu de suporte teórico sobre o ensino instrumental de línguas e Vygotsky (2001; 1998; 1978) nos embasou nos propósitos sociointeracionistas da linguagem. A orientação metodológica foi de uma pesquisa quali-quantitativa, realizada com 75 alunos/profissionais do Curso de Capacitação em Português Língua Estrangeira Instrumental para Agentes do Governo Uruguaio: Polícia Rodoviária, oferecido pelo Centro de Ensino e Pesquisa de Línguas Estrangeiras Instrumentais (CEPESLI), da Universidade Federal de Santa Maria. Algumas das crenças trazidas pelo grupo foram: ser adulto não influencia na aprendizagem de uma LE; aprender português é fácil; é possível aprendê-lo sem a necessidade de estudo; o ensino voltado à profissão do aluno é suficiente para a comunicação em situações de trabalho. Após a identificação e comparação dessas crenças e da análise de todos os dados de nosso corpus foi possível concluir que as crenças dos alunos/policiais podem sofrer alterações, mesmo que em diferentes medidas, a partir da experiência de ensino/aprendizagem com a abordagem instrumental, intensiva e comunicativa de ensino de línguas.

Aujourd'hui, les systèmes logiciels sont omniprésents. Parfois, les applications doivent fonctionner sur des dispositifs à ressources limitées. Toutefois, les applications nécessitent un support d'exécution pour faire face à de telles limitations. Cette thèse aborde le problème de la programmation pour créer des systèmes "conscient des ressources" supporté par des environnements d'exécution adaptés (MRTEs). En particulier, cette thèse vise à offrir un soutien efficace pour recueillir des données sur la consommation de ressources de calcul (par exemple, CPU, mémoire), ainsi que des mécanismes efficaces pour réserver des ressources pour des applications spécifiques. Dans les solutions existantes, nous trouvons deux inconvénients importants. Les solutions imposent un impact important sur les performances à l'exécution des applications. La création d'outils permettant de gérer finement les ressources pour ces abstractions est encore une tâche complexe. Les résultats de cette thèse forment trois contributions : Un cadre de surveillance des ressources optimiste qui réduit le coût de la collecte des données de consommation de ressources ; une méthodologie pour sélectionner les le support d'exécution des composants au moment du déploiement afin d’exécuter la réservation de ressources ; un langage pour construire des profileurs de mémoire personnalisées qui peuvent être utilisés à la fois au cours du développement des applications, ainsi que dans un environnement de production. / Software systems are more pervasive than ever nowadays. Occasionally, applications run on top of resource-constrained devices where efficient resource management is required ; hence, they must be capable of coping with such limitations. However, applications require support from the run-time environment to properly deal with resource limitations. This thesis addresses the problem of supporting resource-aware programming in execution environments. In particular, it aims at offering efficient support for collecting data about the consumption of computational resources (e.g., CPU, memory), as well as efficient mechanisms to reserve resources for specific applications. In existing solutions we find two important drawbacks. First, they impose performance overhead on the execution of applications. Second, creating resource management tools for these abstractions is still a daunting task. The outcomes of this thesis are three contributions: an optimistic resource monitoring framework that reduces the cost of collecting resource consumption data ; a methodology to select components' bindings at deployment time in order to perform resource reservation ; a language to build customized memory profilers that can be used both during applications' development, and also in a production environment.

Currently, there is lack of effective and scalable methods to specify and ana-lyze requirements specifications, and verify the behavioral models of embed-ded systems. Most embedded systems requirements are expressed in naturallanguage which is flexible and intuitive but frequently ambiguous, vague andincomprehensive. Besides to natural language, template-based requirementsspecification methods are used to specify requirements specifications (esp. insafety-critical applications), which reduce ambiguity and improves the com-prehensibility of the specifications. However, the template-based method areusually rigid due to the fixed structures of the templates. They also lack meta-models for extensibility, and template selection is challenging.In this thesis, we proposed a domain specific language for embedded sys-tems, called ReSA, which is constrained natural language but flexible enoughto allow engineers to use different constructs to specify requirements. Thelanguage has formal semantics in proportional logic and description logic thatenables non-trivial and rigorous analysis of requirements specification, e.g.,consistency checking, completeness of specifications, etc.Moreover, we propose a scalable formal verification of Simulink models,whichisusedtodescribethebehaviorofsystemsthroughcommunicatingfunc-tional blocks. In industry, Simulink is the de facto modeling and analysis en-vironment of embedded systems. It is also used to generate code automati-cally from special Simulink models for various hardware platforms. However,Simulink lacks formal approach to verify large and hybrid Simulink models.Therefore, we also propose a formal verification of Simulink models, repre-sented as stochastic timed automata, using statistical model checking, whichhas proven to scale for industrial applications.We validate our approaches on industrial use cases from the automotiveindustry. These includes Adjustable Speed Limiter (ASL) and Brake-By-Wire(BBW) systems from Volvo Group Trucks Technology, both safety-critical. / Verispec

Les technologies omniprésentes dans notre environnement intègrent désormais des éléments logiciels facilitant leur utilisation. Ces technologies offrent un vaste laboratoire d’expérimentation pour la recherche et en particulier pour l’informatique appliquée. Ces technologies sont un support évident pour rendre des services aux personnes dans leur vie quotidienne. Ces services concernent divers champs d’applications, chacun servant des objectifs spécifiques : confort,sécurité, accès à l’information ou encore assistance à la personne. Puisque les applications offrant ces services sont intimement liées aux besoins des utilisateurs, il est indispensable qu’elles s’adaptent facilement à leurs besoins. Une manière de répondre à ce défi est de proposer à l’utilisateur des outils pour programmer lui-même ses applications.Notre contribution consiste non seulement à définir un tel outil, sous la forme d’un langage visuel paramétré par un champ d’applications, mais aussi à proposer une méthodologie dont l’objectif est de guider un utilisateur dans la programmation d’applications à l’aide de ce langage. Cette méthodologie est dédiée à l’orchestration d’entités communicantes : elles représentent les technologies déployées dans nos environnements. Notre approche, associant une méthodologie à un langage, est accessible à un programmeur novice et suffisamment expressive pour traiter divers champs d’applications. Afin d’augmenter la confiance de l’utilisateur dans le développement de ses applications, nous étendons la méthodologie en proposant une approche de développement dirigée par la vérification de quelques propriétés. Cette vérification est permise par la sémantique du langage, formellement définie. / Networked technologies, omnipresent in our surroundings, have increasingly more computing power, offering interfaces to easily access their functionalities. These technologies offer a widetesting ground for research, especially in applied computer science. They form an evident assistive support to help people in their daily activities. Applications that address people needs arefound in various application areas, each related to specific goals : comfort, security, information management, or assisted-living.The goal of this thesis is to propose an approach that bridges the gap between a user requirements and the applications that satisfy them. To do so, we define Pantagruel, an expressive and accessible visual language that is parameterized by an application area. To further reconcile accessibility with expressiveness, we provide the user with a domain-specific methodology toguide the development of applications. This methodology draws a bridge between the user needs and the applications, and is strongly coupled with the language concepts. In doing so, satisfying the requirements and evolving the applications according to new requirements is facilitated. To increase the user confidence in using Pantagruel language, and because the applications aimat being seamlessly integrated in his everyday life, Pantagruel programs need to be reliable.To this end, we extend our methodology with a programming approach driven by properties.These properties can be verified using the language semantics, which is formally defined.

L'internet des objets vise à connecter des milliards d'objets physiques ainsi qu'à les rendre accessibles depuis le monde numérique que représente l'internet d'aujourd'hui. Pour ce faire, l'accès à ces objets sera majoritairement réalisé sans fil et sans utiliser d'infrastructures prédéfinies ou de normes spécifiques. Une telle technologie nécessite de définir et d'implémenter des nœuds radio intelligents capables de s'adapter à différents protocoles physiques de communication. Nos travaux de recherches ont consisté à définir un flot de conception pour ces nœuds intelligents partant de leur modélisation à haut niveau jusqu'à leur implémentation sur des cibles de types FPGA. Ce flot vise à améliorer la programmabilité des formes d'ondes par l'utilisation de spécification de haut niveau exécutables et synthétisables, il repose sur la synthèse de haut niveau (HLS pour High Level Synthesis) pour le prototypage rapide des briques de base ainsi que sur le modèle de calcul de types flot de données des formes d'ondes radio. Le point d'entrée du flot consiste en un langage à usage spécifique (DSL pour Domain Specific Language) qui permet de modéliser à haut niveau une forme d'onde tout en insérant des contraintes d'implémentation pour des architectures reconfigurables telles que les FPGA. Il est associé à un compilateur qui permet de générer du code synthétisable ainsi que des scripts de synthèse. La forme d'onde finale est composée d'un chemin de données et d'une entité de contrôle implémentée sous forme d'une machine d'état hiérarchique. / The Internet of Things (IoT) aims at connecting billions of communicating devices through an internet-like network. To this aim, the access to these things is expected to be performed via wireless technologies without using any predefined infrastructures or standards. This technology requires defining and implementing smart nodes capable to adapt to different radio communication protocols. In this thesis, we have defined a design methodology/flow, for such smart nodes, starting from their high-level specification down to their implementation in FPGA fabrics. This flow aims at improving the programmability of the waveforms by leveraging some high-level specifications. Thus, it relies on the High-Level Synthesis (HLS) for rapid prototyping of the waveforms functional blocks as well as the dataflow model of computation. Its entry point is Domain-Specific Language which enables modeling a waveform while inserting some implementation constraints for reconfigurable architectures such as the FPGAs. The flow is featured with a compiler which purpose is to produce some synthesis scripts and generate some RTL source code. The final waveform consists of a datapath and a control unit implemented as a Hierarchical Finite State Machine (HFSM).