• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 15
  • 14
  • 12
  • 10
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • Tagged with
  • 65
  • 23
  • 19
  • 18
  • 18
  • 14
  • 14
  • 13
  • 13
  • 12
  • 12
  • 10
  • 10
  • 9
  • 9
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
41

Från vilsenhet och frustration till kontakt och ökat hopp : en modell för stöd till föräldrar till barn med samspels- och kommunikationssvårigheter / From disorientation and frustration to contact and increased hope : A model for support to parents of children with interaction and communication difficulties

Hjortgren, Katarina January 2020 (has links)
Syftet med denna studie var att undersöka erfarenheterna, hos föräldrar till barn med diagnos inom autismspektrum, av att delta i föräldrastödsmodellen Samspel i fokus, personalens erfarenheter av arbetet samt om och i vilken utsträckning det finns en överensstämmelse mellan föräldrarnas och personalens erfarenheter. En kvalitativ retrospektiv ansats har använts där åtta föräldrar till fem barn intervjuats tre till fyra år efter att de deltog. Intervjuer genomfördes även med samtliga tre personer som arbetar i verksamheten. Uppföljande filmade samspelssituationer mellan föräldrar och barn samt en träff för återföring genomfördes av personalen efter att föräldrarna intervjuats. Personalens erfarenheter av de uppföljande filminterventionerna undersöktes via gruppsamtal och föräldrarnas via telefonsamtal. Resultatet visar att föräldrarna upplevt att deltagande i Samspel i fokus bidragit till att de fått ökad förståelse för hur de kan bidra till barnets samspelsutveckling och några av dem menar att det inneburit ett genombrott i möjligheten till kontakt med barnet. Föräldrarnas erfarenheter av deltagande visar att de upplevt att personalen bidragit till att synliggöra barnets utvecklingspotential där möjligheten till ögonkontakt framstår som särskilt betydelsefullt. I föräldrarnas berättelser framkommer vidare att de upplevt att personalen förmedlat en tilltro till deras förmåga som samspelstödjare, vilket de även fått bekräftelse på via bilden som verktyg. Resultatet av intervjuerna med personalen visar en tydlig teoretisk medvetenhet och samsyn gällande föräldrastödsmodellens innehåll, vilken överensstämmer med hur föräldrarna beskriver sina erfarenheter av deltagande. De uppföljande filminterventionerna visar enligt personalen, förutom betydande framsteg hos barnen avseende deras samspelförmåga, att föräldrarna tydligt tagit till sig bärande idéer som de arbetat med under tiden i Samspel i fokus. Slutligen framkommer att föräldrarna upplevt den uppföljande filminterventionen som värdefull, genom att den på ett konkret sätt visat hur de kan hjälpa barnet vidare i sin utveckling samt att de fått bekräftelse på sin föräldraförmåga. / The purpose of this study was to investigate the parents of children with autism spectrum disorder experience of participating in the parent support model Interaction in focus and the staff´s experience working with children and parents. The purpose was also to investigate whether and to what extent there is a consensus between parent´s and staff's perception of the content. Through a qualitative retrospective design, eight parents of five children were interviewed, three to four years after they participated in the intervention. Interviews were also conducted with all three working in the team. A follow-up film intervention, of interaction situations between parents and children, was carried out by staff after the parents were interviewed. Staff's experiences of the follow-up film interventions were investigated through group interviews and parents through telephone interviews. The result shows that the parents felt that participation in the support model, Interaction in focus, contributed to greater understanding of how they can support the child's interaction development and some of them experienced that it was a breakthrough in the possibility of contact with the child. Parents' experiences of participation, shows that they felt that the staff helped to make visible the child's development where the possibility of eye contact, are particularly important. In parents' stories reveals further that they felt that the staff conveyed a belief in their ability to support the child´s interaction development, which they also received confirmation via the visual image as a tool. The result of the interviews with the staff shows a clear theoretical consciousness and consensus regarding the intervention content which is consistent with how parents describe their experiences of participation. The follow-up films shows, according to the staff, in addition to significant progress in the children regarding their interaction skills, the parents clearly embraced the fundamental ideas as they worked on during Interaction in focus. Finally, it appears that parents experienced the follow-up film intervention as valuable, though it in a concrete way gave keys how to help the child progress in their development, and that they received confirmation of their parenting skills.
42

Aplica??o da astronomia ao ensino de f?sica e biologia

Dos Santos, Iran?ia Campos 18 December 2017 (has links)
Submitted by Verena Pereira (verenagoncalves@uefs.br) on 2018-07-16T21:58:45Z No. of bitstreams: 1 DISSERTA??O FINAL 2018 - I_Iraneia.pdf: 8376499 bytes, checksum: 3d565609f591304bfbc372d0f241281c (MD5) / Made available in DSpace on 2018-07-16T21:58:45Z (GMT). No. of bitstreams: 1 DISSERTA??O FINAL 2018 - I_Iraneia.pdf: 8376499 bytes, checksum: 3d565609f591304bfbc372d0f241281c (MD5) Previous issue date: 2017-12-18 / Recognizing the importance of the insertion of Astronomy in our daily life, this dissertation has as main characteristic, to promote a holistic and interdisciplinary learning to the contents of Physics and Biology in classes of 1st and 2nd year of the High School of the Lu?s Eduardo Magalh?es Model School in Feira de Santana. The problems related to the problems and difficulties in teaching science in high school are noted through reports cited in IDEB and PISA Research Against the background of the recommendations of the PCN +, supported by a STEM approach, support the proposal of this work, aimed at the development of activities promoting Science Teaching, anchored in technological and astronomical themes. Concerned with the legitimacy of distinguishing skills through the students' cognitive levels, the Marzano and SOLO Taxonomies were used for a hierarchical organization of cognitively organized learning objectives Following a contextualization of this theme, the activities were organized in structured tests of interest in the Research (ROSE); research and in-house study on relevant scientific topics in Astronomy and its related fields; survey of interdisciplinary issues related to Astronomy and Natural Sciences and their Technologies; development of support material structured in the form of Didactic Sequences; development of the Ares Project and culminating in the holding of the Science Fair; and creation of the interactive page on Facebook to publicize events and activities. As a result of more than two years of project development, statistical analyzes were performed for the validation of quantitative results, while a qualitative analysis is used for evaluations of cognitive taxonomic development. Both evaluations significantly showed that the project interventions produced a qualitatively and quantitatively relevant transformation in the learning and cognitive understanding process of the students, showing the relevance of the incorporation of contextualized S & T topics as motivating elements in the learning process / Reconhecendo a import?ncia da inser??o da Astronomia em nosso cotidiano, esta disserta??o tem como principal caracter?stica, promover uma aprendizagem hol?stica e interdisciplinar aos conte?dos de F?sica e Biologia em turmas de 1? e 2? anos do Ensino M?dio do Col?gio Modelo Lu?s Eduardo Magalh?es em Feira de Santana. A problem?tica relacionada ao problemas e dificuldades no ensino de Ci?ncias no Ensino M?dio s?o notadas atrav?s de relatos citados nas Pesquisas IDEB e PISA. Tendo como pano de fundo as recomenda??es dos PCN+, suportada por uma abordagem com metodologia STEM, suportam a proposta deste trabalho, destinado ao desenvolvimento de atividades promotoras do Ensino de Ci?ncias, ancoradas em temas tecnol?gicos e astron?micos. Preocupada com a legitimidade de distinguir habilidades atrav?s dos n?veis cognitivos dos estudantes foram empregadas as Taxonomias Marzano e SOLO para uma organiza??o hier?rquica dos objetivos de aprendizagem organizados cognitivamente. Seguindo uma contextualiza??o dessa tem?tica, as atividades foram organizadas em testes de interesse estruturados na Pesquisa (ROSE); pesquisa e estudo em sala sobre temas cient?ficos relevantes de Astronomia e suas ?reas afins; levantamento de quest?es interdisciplinares relacionado ? Astronomia e as Ci?ncias da Natureza e suas Tecnologias; desenvolvimento de material de suporte estruturados na forma de Sequ?ncias Did?ticas; desenvolvimento do Projeto Ares e culminando com a realiza??o de Feira de Ci?ncias; e cria??o da p?gina interativa no Facebook para divulga??o de eventos e atividades. Como resultados decorrentes dos mais de dois anos de desenvolvimento do projeto foram realizadas an?lises estat?sticas para a valida??o dos resultados quantitativos, enquanto que uma an?lise qualitativa ? usada para as avalia??es de desenvolvimento cognitivo taxon?mico. Ambas as avalia??es constataram significantemente que as interven??es do projeto produziram uma transforma??o relevante quali e quantitativamente no processo de aprendizagem e de compreens?o cognitiva dos estudantes, mostrando a relev?ncia da incorpora??o de tem?ticas contextualizadas em C&T como elementos motivadores no processo de aprendizagem
43

Contribution à la prise en compte des plates-formes logicielles d'exécution dans une ingénierie générative dirigée par les modèles

Thomas, Frédéric 21 November 2008 (has links) (PDF)
Face à la complexité inhérente des logiciels multitâches, une approche prometteuse est l'automatisation des développements. En pratique, cette automatisation se concrétise par des générateurs capables de produire des applications logicielles s'exécutant sur des plates-formes d'exécution multitâche (par exemple des systèmes d'exploitation multitâches). De tels générateurs constituent alors des ingénieries génératives dirigées par les modèles de ces plates-formes. Aujourd'hui, ces ingénieries décrivent implicitement ces plates-formes dans les générateurs eux-mêmes. Ces générateurs sont alors efficaces pour un ensemble de préoccupations homogènes, figées et répétitives. Dans le cas des systèmes multitâches, les besoins sont certes répétitifs, cependant, ils sont majoritairement hétérogènes et évolutifs. Les ingénieries mise en œuvre doivent alors être adaptables et flexibles. Pour y parvenir, cette étude consiste à modéliser explicitement les plates-formes logicielles d'exécution en entrée des générateurs afin de les capitaliser et de les réutiliser. Pour cela, elle définit un motif dédié à la modélisation des plates-formes logicielles d'exécution, une extension au langage UML destiné à la modélisation des plates-formes logicielles d'exécution multitâche (le profil Software Resource Modeling) et un style architecturale de transformation de modèle intégrant ces modèles de plates-formes explicites. Les deux premières contributions constituent l'extension UML de l'Object Management Group pour la modélisation et l'analyse des systèmes embarqués temps réel (MARTE).
44

Déploiement Multiplateforme d'Applications Multitâche par la Modélisation

El Hajj Chehade, Wassim 04 April 2011 (has links) (PDF)
Face à la complexité des logiciels multitâches, liée aux contextes économique et concurrentiel très pressants, la portabilité des applications et la réutilisabilité des processus de déploiement sont devenues un enjeu majeur. L'ingénierie dirigée par les modèles est une approche qui aspire répondre à ces besoins en séparant les préoccupations fonctionnelles des systèmes multitâches de leurs préoccupations techniques, tout en maintenant la relation entre eux. En pratique, cela se concrétise par des transformations de modèles capables de spécialiser les modèles pour des plates-formes cibles. Actuellement, les préoccupations spécifiques à ces plates-formes sont décrites implicitement dans les transformations eux même. Par conséquence, ces transformations ne sont pas réutilisables et ne permettent pas de répondre aux besoins hétérogènes et évolutifs qui caractérisent les systèmes multitâches. Notre objectif est alors d'appliquer le principe de séparation de préoccupation au niveau même de la transformation des modèles, une démarche qui garantie la portabilité des modèles et la réutilisabilité des processus de transformation.Pour cela, cette étude propose premièrement une modélisation comportementale détaillée des plates-formes d'exécutions logicielles. Cette modélisation permet d'extraire les préoccupations spécifiques à une plate-forme de la transformation de modèle et les capturer dans un modèle détaillé indépendant et réutilisable. Dans un second temps, en se basant sur ces modèles, elle présente un processus générique de développement des systèmes concurrents multitâches. L'originalité de cette approche réside dans une véritable séparation des préoccupations entre trois acteurs à savoir le développeur des chaînes de transformation, qui spécifient une transformation de modèle générique, les fournisseurs des plates-formes qui fournissent des modèles détaillés de leurs plates-formes et le concepteur des applications multitâche qui modélise le système. A la fin de cette étude, une évaluation de cette approche permet de montrer une réduction dans le coût de déploiement des applications sur plusieurs plates-formes sans impliquer un surcoût de performance.
45

Architecture logicielle et méthodologie de conception embarquée sous contraintes temps réel pour la radio logicielle

Tchidjo Moyo, Noël 20 April 2011 (has links) (PDF)
Cette étude répond au problème d'ordonnancement temps réel de composants logiciels s'exécutant sur un processeur de traitement du signal dans un contexte de radio logicielle. Elle vise ainsi à compléter l'offre en termes d'outillage de conception radio logicielle. Dans la pratique actuelle, l'ordonnancement temps réel des applications de traitement du signal flexibles s'exécutant sur un processeur donné, est effectué de manière manuelle, en utilisant des méthodes empiriques, et en prenant des marges non négligeables. Etant donnée l'augmentation pressentie du nombre de composants logiciels de la couche physique s'exécutant simultanément sur un même processeur dans les futures radios logicielles, ces méthodes seront sujettes à erreur, feront perdre beaucoup de temps et ne trouveront pas nécessairement de solutions d'ordonnancement valides même lorsqu'il en existera une. Pour cela, cette thèse définit un nouveau modèle de tâche représentant plus précisément le comportement des tâches dans certains contextes de radio logicielle : le modèle GMF (Generalized Multi-Frame) non cyclique. Pour ce modèle, nous présentons une formulation du calcul du temps de réponse des tâches, ainsi qu'un nouveau test de faisabilité suffisant pour des tâches s'exécutant sur un processeur avec la politique d'ordonnancement " Earliest Deadline First " (EDF). Nous fournissons aussi pour ce modèle de tâche un algorithme efficace, permettant la détermination exacte de la faisabilité temps réel. Nous présentons dans cette thèse un nouveau flot de conception IDM (Ingénierie Dirigée par les Modèles), permettant de spécifier les paramètres rendant possibles une analyse d'ordonnançabilité temps réel des composants logiciels s'exécutant sur un processeur dans une radio logicielle. Cette thèse propose des méthodes pour calculer les contraintes temporelles dans une radio logicielle. Elle présente les éléments du standard MARTE à utiliser pour renseigner les contraintes dans le modèle ainsi que les règles de transformations de modèles qui permettent d'obtenir un modèle exploitable par un outil d'analyse d'ordonnançabilité temps réel. Cette thèse présente une approche, implantée sous forme d'un outil de simulation, effectuant l'analyse d'ordonnancement temps réel des tâches de traitement du signal flexibles s'exécutant sur un processeur suivant une politique d'ordonnancement hybride. Cet outil est intégré au flot IDM proposé.
46

Adaptabilité et reconfiguration des systèmes temps-réel embarqués

Boukhanoufa, Mohamed-Lamine 26 September 2012 (has links) (PDF)
Les systèmes temps réel peuvent être grands, distribués et avoir un environnement dynamique. Cela exige la mise en place de différents modes de fonctionnement et techniques de fiabilité. Par ailleurs, ces différents changements dynamiques d'architecture et de comportement ont un impact sur les caractéristiques temporelles des systèmes qui nécessitent une étude particulière de la capacité des comportements d'adaptation à garantir les contraintes fixées aux systèmes. Le travail présenté dans cette thèse est focalisé sur la spécification de l'adaptabilité d'un système temps réel et l'étude sur de jeux de configurations prédéfinis de l'impact temporel des actions d'adaptation dynamique. Pour cela, nous présentons une méthodologie outillée basée sur la notion de Mode du profil MARTE. Chaque mode représente un comportement possible du système pour un environnement bien déterminé associé à une configuration logicielle. L'approche développée propose de modéliser le comportement adaptatif à travers la définition du contexte, de la variabilité, des opérations de reconfigurations et de la configuration de base. L'analyse d'ordonnançabilité est ensuite effectuée au niveau du modèle en intégrant l'impact des comportements d'adaptation. Deux paradigmes de modélisation peuvent alors être exploités pour effectuer cette analyse : les requêtes et les flots de données. Cela permet de vérifier que les contraintes temporelles de notre système resteront satisfaites en intégrant les opérations de reconfiguration issues du comportement adaptatif. Enfin, l'approche permet de générer des implantations des comportements adaptatifs à partir des modèles afin d'automatiser l'intégration des mécanismes d'adaptation dans les systèmes temps réel.
47

A high-level methodology for automatically generating dynamically reconfigurable systems using IP-XACT and the UML MARTE profile / Méthodologie de conception de haut niveau pour la génération automatique des systèmes dynamiquement reconfigurables en utilisant IP-XACT et le profil UML MARTE

Ochoa Ruiz, Gilberto 14 November 2013 (has links)
La principale contribution de cette thèse porte sur la proposition et le développement d'une approche d'Ingénierie Dirigée par les Modèles (IDM), liée à une méthodologie basée sur des composants, pour faciliter la conception, design et implantation des Systèmes Dynamiquement Reconfigurables sur puce (FPGA). La méthodologie proposée repose sur l'utilisation du paradigme Metadata-based Composition Framework, et fortement basée sur des standards, tels qu'UML MARTE et, en particulier, l'IEEE IP-XACT, qui est exploitée comme représentation intermédiaire pour les IPs utilisés et pour la plateforme matérielle composée aux hautes-niveaux d'abstraction. Un procès d'emballage permet la réutilisation des bloques IP, qui ont été enveloppés par des interfaces PLB (IP statiques) et propriétaires (IP dynamiques). Subséquemment, la libraire est utilisée pour la composition d'un modèle de plateforme en UML, mais qui étant générative, permet la création d'une description cible de la composante matérielle de la plateforme, dans la forme d'un modèle spécifique à Xilinx Platform Studio, obtenu par des transformations des modèles. Les chaines de transformations pour la création de la libraire et de la plateforme, respectivement, ont été développées et implantées en utilisant Sodius MDWorkbench, un outil IDM conçu pour la création et manipulation des modèles et leur méta - modèles, ainsi que la définition et exécution des transformations des modèles associées / The main contribution of this thesis consists on the proposition and development a Model-driven Engineering (MDE) framework, in tandem with a component-based approach, for facilitating the design and implementation of Dynamic Partially Reconfigurable (DPR) Systems-on-Chip. The proposed methodology has been constructed around the Metadata-based Composition Framework paradigm, and based on common standards such as UML MARTE and the IEEE IP-XACT standard, an XML representation used for storing metadata about the IPs to be reused and of the platforms to be obtained at high-levels of abstraction. In fact, a componentizing process enables us to reuse the IP blocks, in UML MARTE, by wrapping them with PLB (static IPs) and proprietary (DPR blocks) interfaces. This is attained by reflecting the associated IP metadata to IP-XACT descriptions, and then to UML MARTE templates (IP reuse). Subsequently, these IP templates are used for composing a DPR model that can be exploited to create a Xilinx Platform Studio FPGA-design, through model transformations. The IP reflection and system generation chains were developed using Sodius MDWorkbench, an MDE tool conceived for the creation and manipulation of models and their meta-models, as well as the definition and execution of the associated transformation rules.
48

Nástroj pro grafické prototypování vestavěných systémů / Tool for Graphical Prototyping of the Embedded Systems

Ilčík, Ondřej January 2011 (has links)
This study is focused on grafical modeling of embedded systems using dialects of UML. It provides a brief description of existing profiles. Furthemore it deals with modeling frameworks for the Eclipse platform and describes an implementation of such modeling tool as a part of project Lissom.
49

Explorando o planeta vermelho: atividades did?ticas de compara??o de aspectos geogr?ficos entre os planetas Terra e Marte

Neves, Tercia de Karla Moreira 13 December 2016 (has links)
Submitted by Ricardo Cedraz Duque Moliterno (ricardo.moliterno@uefs.br) on 2017-04-03T20:59:16Z No. of bitstreams: 1 Disserta?ao_DefesaFinal_TerciaKM_Neves.pdf: 10928617 bytes, checksum: f692438c0bb67e2ff46474db471e07f2 (MD5) / Made available in DSpace on 2017-04-03T20:59:16Z (GMT). No. of bitstreams: 1 Disserta?ao_DefesaFinal_TerciaKM_Neves.pdf: 10928617 bytes, checksum: f692438c0bb67e2ff46474db471e07f2 (MD5) Previous issue date: 2016-12-13 / Mars is one of the terrestrial planets that compose the Solar System and from ancient times has aroused curiosity. With the advent of technology focused on studies of celestial bodies, Mars has been the subject of increasing interest. Probes and satellites are regularly sent for monitoring, collection and analysis of data. The properties of the Earth are the key parameters in comparison with other planets. The comparative study is a way to confront similar and disparate phenomena, besides enabling the production of new knowledge and help in the consolidation of the older ones. In this study, we carried out six adapted or unpublished activities in lectures and practices classes in high school involving themes related to cartography, relief modeling and the atmosphere of mars in comparison with physical geographic parameters. In the total, 130 students did the activities. Such activities have shown that some scientific practices can be universalized and used in the process of understanding the geographical space, even outside the planet earth. Due to the impossibility of being in place, it was shown how the technology assists in the analysis of these areas using satellite images and probes equipped with sensors each time more accurate. Also, the activities were designed to contribute to scientific literacy process for students in which the didactic sequence take them to develop skills and competencies to encourage them to develop strategies when faced with new challenges, but also to sense critical of research capacity and identify wrong scientific conceptions and misused. / Marte ? um dos planetas tel?ricos que comp?em o Sistema Solar e desde a antiguidade tem despertado curiosidade. Com o advento da tecnologia voltada para estudos dos corpos celestes, Marte tem sido alvo de crescente interesse. Sondas e sat?lites s?o enviados com certa frequ?ncia para monitoramento, coleta e an?lise de dados. A Terra ? o par?metro de compara??o com outros planetas. O estudo comparativo ? uma forma de confrontar fen?menos similares e d?spares, al?m de possibilitar a produ??o de novos conhecimentos, e ajudam na consolida??o dos antigos, porque necessitam de constante revis?o. No presente trabalho, foram realizadas seis atividades adaptadas ou in?ditas em aulas expositivas e pr?ticas com 130 estudantes do Ensino M?dio envolvendo temas relativos ? Cartografia, modelagem do relevo e a atmosfera de Marte em compara??o com os par?metros geogr?ficos terrestres. Tais atividades mostraram que algumas pr?ticas cient?ficas podem ser universalizadas e utilizadas no processo de compreens?o do espa?o geogr?fico, mesmo fora do planeta Terra. Devido a impossibilidade de estar em loco, foi apresentado como a tecnologia auxilia na an?lise destes espa?os usando imagens de sat?lites e sondas munidos de sensores cada vez mais precisos. Al?m disso, as atividades tiveram o intuito de contribuir no processo de letramento cient?fico dos estudantes no qual a sequ?ncia did?tica leva-os a desenvolver habilidades e compet?ncias de modo a incentiv?-los a elaborar estrat?gias ao se deparar com novos desafios, como tamb?m ao senso cr?tico com capacidade de pesquisa e identificar conceitos cient?ficos err?neos e mal empregados.
50

Conception de SoC à Base d'Horloges Abstraites : Vers l'Exploration d'Architectures en MARTE

Abdallah, Adolf Samir 30 March 2011 (has links) (PDF)
Les applications modernes embarquées à hautes performances telles que l'on trouve dans les domaines du multimédia, du traitement de signaux biomédicaux et du traitement de données biométriques, sont de plus en plus complexes et exigeantes en termes de ressources. L'augmentation des performances de puces, contenant un seul processeur, n'est plus une solution adoptée. Par conséquent, une solution prometteuse est les systèmes-sur-puce multiprocesseurs (MPSoC). Cependant, la conception de MPSoC dédiés aux traitements d'applications hautes performances est un travail très difficile en raison d'un certain nombre de contraintes à assurer : la correction fonctionnelle, les performances temporelles, l'efficacité énergétique et la taille optimisée de mémoire. Parmi les ingrédients nécessaires pour une construction correcte et optimisée, nous citons premièrement le besoin de modèles de programmation assez expressifs pour décrire le parallélisme potentiel inhérent des applications cibles. Deuxièmement, nous devons trouver des moyens pour éviter des explorations fastidieuses afin de trouver la meilleure configuration d'architecture pour l'exécution d'une application (par exemple le type et la fréquence des processeurs, l'empreinte mémoire), en particulier pour des applications complexes manipulant de grandes quantités de données et exécutées par des architectures massivement parallèles. Troisièmement, plusieurs niveaux d'abstraction doivent être pris en compte afin de mieux traiter la complexité de la conception. En considérant un niveau de simulation unique où tous les détails d'implémentations sont considérés, les résultats obtenus auront une grande précision. Cependant, cette technique de simulation est longue et fastidieuse, voir parfois impossible en raison de la grande complexité de systèmes. Pour cette raison, le commencement du processus de conception, à un haut niveau d'abstraction, où seulement des informations essentielles de systèmes sont décrites, rend plus facile, et à un très faible coût, la prise de décision sur des choix de configuration. Afin de relever les défis mentionnés ci-dessus concernant la conception des applications MPSoC à haute performance, nous proposons dans le cadre de cette thèse, l'utilisation du profil UML/Marte pour la modélisation de fonctionnalité, d'architectures et d'associations des deux dernières. Ce profil est suffisamment expressif pour décrire des applications hautes performances (par exemple les paquetages RSM et GCM et le langage CCSL) et des architectures MPSoC massivement parallèles (par exemple le paquetage HRM). Pour l'analyse et la vérification de systèmes et l'exploration de l'espace de conception, nous définissons une abstraction de modèles obtenue via des horloges abstraites, inspirées de ceux des langages réactifs synchrones. Les traces d'horloges abstraites capturent les comportements de systèmes en représentant l'activité des unités de traitements durant l'exécution de fonctionnalités. Une technique d'analyse, également inspirée de l'approche synchrone, est définie. Cette technique permet de vérifier des contraintes temporelles : dépendances de données induites par un modèle Marte, les taux d'activations entre des composants. En outre, elle permet d'analyser des contraintes non fonctionnelles : estimation de temps d'exécution, le respect des temps d'échéance, estimation de la consommation d'énergie. Ces propriétés sont directement liées au nombre de processeurs impliqués dans l'exécution du système ainsi que la valeur de leurs fréquences associées. D'un point de vue général, la contribution principale de cette thèse est la définition d'un cadre de travail, à base d'horloges abstraites, qui facilite l'exploration de l'espace de conception des MPSoC à un haut niveau d'abstraction. Le travail a été concrétisé dans un environnement, dénommé Gaspard2, dédié à la conception conjointe de systèmes embarqués à hautes performances. Notre solution est validée sur une étude de cas d'un encodeur JPEG, et retournant des résultats prometteurs.

Page generated in 0.0379 seconds