Prof. Dr. med. J.M. FEGERT, ärztlicher Direktor an der Universität Ulm Kinder- Jugendpsychiatrie/ Psychotherapie, referierte auf dem Kongress am 18.04.2013 in Rheine zum Thema: „Auswirkungen traumatischer Erfahrungen – Folgen aus kinder- u. jugendpsychiatrischer und neurobiologischer Sicht “. Auf der einen Seite wurde deutlich, dass neurobiologische Erkenntnisse immer mehr pädagogische Relevanz besitzen, da Befunde belegen, dass das menschliche Gehirn wesentlich durch die Erfahrungen strukturiert wird, die ein Individuum während seiner Hirnentwicklung durchlebt. Auf der anderen Seite fügte Prof. Dr. med. FEGERT an, dass die Disziplin der Neurowissenschaften ebenso kritisch diskutiert werden kann . „Kindheitsforschung im heutigen Sinne kann als sehr junge Disziplin gesehen werden, die eng mit gesellschaftlichen Modernisierungsprozessen verwoben ist “. Insbesondere aufgrund nationaler sowie internationaler Diskussionen zur frühkindlichen Bildung rückt die Professionalisierung des Arbeitsfeldes Elementarpädagogik in das Interesse der Wissenschaft . Des Weiteren setzt sich das Gebiet der Kindheitsforschung aus verschiedenen Fachrichtungen zusammen. Die Entwicklungspsychologie beschäftigt sich u.a. mit der frühen Eltern-Kind-Interaktion- respektive Kommunikation. Mehrere Autoren verweisen auf das präventive Potential konstruktiver Eltern-Kind-Dialoge . Hierbei stellt eine feinfühlige Interaktion bzw. Kommunikation zwischen den primären Bezugspersonen und dem Säugling ein bedeutsames Fundament für die kindliche Entwicklung im Allgemeinen sowie insbesondere für die Ausbildung sozial-emotionaler Fähigkeiten dar . Videogestützte Interventionen betonen vor allem die Bedeutung der Eltern-Kind-Interaktion für die kindliche Entwicklung im sozial-emotionalen Bereich . Zahlreiche Erkenntnisse des „kompetenten Säuglings“ konnten mithilfe von Videodokumentation gewonnen werden. Das „in Bruchteilen von Sekunden in Mimik und Gestik abspielendes Interaktionsverhalten “ erfährt demnach in der videobasierten beobachtungsgeleiteten Beratung eine Möglichkeit zur Untersuchung. Von der Holländerin Maria AARTS entwickelt, findet diese Methode heutzutage Verwendung als Videocoaching für Professionelle oder als Videoberatung für verschiedene Adressatengruppen . Die Ausarbeitung setzt sich zum Ziel, über den Weg der Rezeption von den Erkenntnissen der Neurowissenschaften zu profitieren, um einen gemeinsamen Dialog entstehen zu lassen. Dafür wird vor allem nach Analogien innerhalb der Disziplin der Erziehungswissenschaft, respektive der Entwicklungspsychologie sowie Klein-kindforschung, und der Fachrichtung der Neurowissenschaften gesucht. Grundlegend ist dabei mittels der Kommunikationsmethode „Marte Meo“ den Fokus auf sozial-emotionale Handlungskompetenzen innerhalb der Eltern-Kind-Interaktion zu setzen. Demnach soll der Heranwachsende kein „neuronengesteuerter Bioautomat “ sein, dessen Gehirn nach einem festgeschriebenen biologischen Programm arbeitet. Ferner wird „Das Kind mit einem speziellen Bedürfnis“ im darauffolgenden Kapitel beschrieben. Die Bedeutung einer konstruktiven Eltern-Kind-Interaktion erfährt in diesem Absatz eine Betrachtung. Des Weiteren unterstützen Einzelergebnisse neurowissenschaftlicher Forschungen sowie Modelle über Prozesse des Lernens oder der Emotionsentstehung, die Vorgehensweise dieser Ausarbeitung. Im Vordergrund steht ferner die Bedeutung der primären Bezugspersonen für die Ausbildung sozial-emotionaler Fähigkeiten. Im darauffolgenden Absatz werden schließlich ausgewählte „Marte Meo“ Elemente in Verbindung mit den neurobiologischen Erkenntnissen und der sozial-emotionalen Entwicklung eines Kindes in Zusammenhang gebracht. Aus diesem können Implikationen für das pädagogische Arbeitsfeld gewonnen werden. Im Anschluss erfolgt eine Betrachtung von vier Experteninterviews zur Gewinnung von Kontextwissen. Abschließend werden die gewonnen Erkenntnisse zusammengefasst sowie kritisch unter Einbezug der Experteninterviews diskutiert.

Au niveau système, un ensemble d'experts spécifient des propriétés fonctionnelles et non fonctionnelles en utilisant chacun leurs propres modèles théoriques, outils et environnements. Chacun essaye d'utiliser les formalismes les plus adéquats en fonction des propriétés à vérifier. Cependant, chacune des vues d'expertise pour un domaine s'appuie sur un socle commun et impacte direct ou indirectement les modèles décrits par les autres experts. Il est donc indispensable de maintenir une cohérence sémantique entre les différents points de vue, et de pouvoir réconcilier et agréger chacun des points de vue avant de poursuivre les différentes phases d'analyse. Cette thèse propose un modèle, dénommé PRISMSYS, qui s'appuie sur une approche multi-vue dirigée par les modèles et dans laquelle pour chacun des domaines, chaque expert décrit les concepts de son domaine et la relation que ces concepts entretiennent avec le modèle socle. L'approche permet de maintenir la cohérence sémantique entre les différentes vues à travers la manipulation d'événements et d'horloges logiques. PRISMSYS est basé sur un profil UML qui s'appuie autant que possible sur les profils SysML et MARTE. Le modèle sémantique qui maintien la cohérence est spécifié avec le langage CCSL qui est un langage formel déclaratif pour la spécification de relations causales et temporelles entre les événements de différentes vues. L'environnement proposé par PRISMSYS permet la co-simulation du modèle et l'analyse. L'approche est illustrée en s'appuyant sur une architecture matérielle dans laquelle le domaine d'analyse privilégié est un domaine de consommation de puissance. / At the system-level, experts specify functional and non-functional properties by employing their own theoretical models, tools and environments. Such experts attempt to use the most adequate formalisms to verify the defined system properties in a specific domain. Nevertheless, each one of these experts' views is supported on a common base and impacts directly or indirectly the models described by the other experts. Therefore, it is essential to keep a semantic coherence among the different points of view, and also to be able to reconcile and to include all the points of view before undertaking the different phases of the analysis. This thesis proposes a specific domain model called PRISMSYS. This model is based on a model-driven multi-view approach where the concepts, and the relationships between them, are described for each experts' domain. Moreover, these concepts maintain a relation with a backbone model. PRISMSYS allows keeping a semantic coherence among the different views by means of the manipulation of events and logical clocks. PRISMSYS is represented in an UML profile, supported as much as possible by SysML and MARTE. The semantic model, which preserves the view coherence, is specified by using CCSL, a declarative formal language for the specification of causal and temporal relationships between events of different views. The environment proposed by PRISMSYS allows the co-simulation of the model and its analysis. The approach is illustrated taking as case study an electronic system, where the main domain analysis is power consumption.

Prof. Dr. med. J.M. FEGERT, ärztlicher Direktor an der Universität Ulm Kinder- Jugendpsychiatrie/ Psychotherapie, referierte auf dem Kongress am 18.04.2013 in Rheine zum Thema: „Auswirkungen traumatischer Erfahrungen – Folgen aus kinder- u. jugendpsychiatrischer und neurobiologischer Sicht“. Auf der einen Seite wurde deutlich, dass neurobiologische Erkenntnisse immer mehr pädagogische Relevanz besitzen, da Befunde belegen, dass das menschliche Gehirn wesentlich durch die Erfahrungen strukturiert wird, die ein Individuum während seiner Hirnentwicklung durchlebt. Auf der anderen Seite fügte Prof. Dr. med. FEGERT an, dass die Disziplin der Neurowissenschaften ebenso kritisch diskutiert werden kann. Das Gebiet der Kindheitsforschung setzt sich aus verschiedenen Fachrichtungen zusammen. Die Entwicklungspsychologie beschäftigt sich u.a. mit der frühen Eltern-Kind-Interaktion- respektive Kommunikation. Mehrere Autoren verweisen auf das präventive Potential konstruktiver Eltern-Kind-Dialoge. Hierbei stellt eine feinfühlige Interaktion bzw. Kommunikation zwischen den primären Bezugspersonen und dem Säugling ein bedeutsames Fundament für die kindliche Entwicklung im Allgemeinen sowie insbesondere für die Ausbildung sozial-emotionaler Fähigkeiten dar. Videogestützte Interventionen betonen vor allem die Bedeutung der Eltern-Kind-Interaktion für die kindliche Entwicklung im sozial-emotionalen Bereich. Zahlreiche Erkenntnisse des „kompetenten Säuglings“ konnten mithilfe von Videodokumentation gewonnen werden. Von der Holländerin Maria AARTS entwickelt, findet diese Methode heutzutage Verwendung als Videocoaching für Professionelle oder als Videoberatung für verschiedene Adressatengruppen. Die vorliegende Arbeit möchte die Bedeutung der Eltern-Kind-Interaktion für die sozial-emotionale Entwicklung unter Einbezug neurobiologischer Erkenntnisse aufzeigen und in einem weiteren Schritt präventive Unterstützungsmöglichkeiten für das Vorschulkind mit einem speziellen Bedürfnis mittels der videobasierten Kommunikationsmethode „Marte Meo“ darlegen. Inwieweit besitzen die frühen Interaktionen zwischen dem Elternteil und dem Kind unter Einbezug der neurobiologischen Erkenntnisse und in Verbindung mit der Marte Meo Methode einen Beitrag für die Ausbildung sozial-emotionaler Fähigkeiten sowie für die Entwicklung des kindlichen Gehirns? Die Ausarbeitung setzt sich zum Ziel, über den Weg der Rezeption von den Erkenntnissen der Neurowissenschaften zu profitieren, um einen gemeinsamen Dialog entstehen zu lassen. Dafür wird vor allem nach Analogien innerhalb der Disziplin der Erziehungswissenschaft, respektive der Entwicklungspsychologie sowie Kleinkindforschung, und der Fachrichtung der Neurowissenschaften gesucht. Grundlegend ist dabei mittels der Kommunikationsmethode „Marte Meo“ den Fokus auf sozial-emotionale Handlungskompetenzen innerhalb der Eltern-Kind-Interaktion zu setzen. Demnach soll der Heranwachsende kein „neuronengesteuerter Bioautomat“ sein, dessen Gehirn nach einem festgeschriebenen biologischen Programm arbeitet. Ferner wird „Das Kind mit einem speziellen Bedürfnis“ im darauffolgenden Kapitel beschrieben. Die Bedeutung einer konstruktiven Eltern-Kind-Interaktion erfährt in diesem Absatz eine Betrachtung. Des Weiteren unterstützen Einzelergebnisse neurowissenschaftlicher Forschungen sowie Modelle über Prozesse des Lernens oder der Emotionsentstehung, die Vorgehensweise dieser Ausarbeitung. Im Vordergrund steht des Weiteren die Bedeutung der primären Bezugspersonen für die Ausbildung sozial-emotionaler Fähigkeiten. Im darauffolgenden Absatz werden schließlich ausgewählte „Marte Meo“ Elemente in Verbindung mit den neurobiologischen Erkenntnissen und der sozial-emotionalen Entwicklung eines Kindes in Zusammenhang gebracht. Aus diesem können Implikationen für das pädagogische Arbeitsfeld gewonnen werden. Im Anschluss erfolgt eine Betrachtung von vier Experteninterviews zur Gewinnung von Kontextwissen. Abschließend werden die gewonnen Erkenntnisse zusammengefasst sowie kritisch unter Einbezug der Experteninterviews diskutiert.

Prof. Dr. med. J.M. FEGERT, ärztlicher Direktor an der Universität Ulm Kinder- Jugendpsychiatrie/ Psychotherapie, referierte auf dem Kongress am 18.04.2013 in Rheine zum Thema: „Auswirkungen traumatischer Erfahrungen – Folgen aus kinder- u. jugendpsychiatrischer und neurobiologischer Sicht “. Auf der einen Seite wurde deutlich, dass neurobiologische Erkenntnisse immer mehr pädagogische Relevanz besitzen, da Befunde belegen, dass das menschliche Gehirn wesentlich durch die Erfahrungen strukturiert wird, die ein Individuum während seiner Hirnentwicklung durchlebt. Auf der anderen Seite fügte Prof. Dr. med. FEGERT an, dass die Disziplin der Neurowissenschaften ebenso kritisch diskutiert werden kann . „Kindheitsforschung im heutigen Sinne kann als sehr junge Disziplin gesehen werden, die eng mit gesellschaftlichen Modernisierungsprozessen verwoben ist “. Insbesondere aufgrund nationaler sowie internationaler Diskussionen zur frühkindlichen Bildung rückt die Professionalisierung des Arbeitsfeldes Elementarpädagogik in das Interesse der Wissenschaft . Des Weiteren setzt sich das Gebiet der Kindheitsforschung aus verschiedenen Fachrichtungen zusammen. Die Entwicklungspsychologie beschäftigt sich u.a. mit der frühen Eltern-Kind-Interaktion- respektive Kommunikation. Mehrere Autoren verweisen auf das präventive Potential konstruktiver Eltern-Kind-Dialoge . Hierbei stellt eine feinfühlige Interaktion bzw. Kommunikation zwischen den primären Bezugspersonen und dem Säugling ein bedeutsames Fundament für die kindliche Entwicklung im Allgemeinen sowie insbesondere für die Ausbildung sozial-emotionaler Fähigkeiten dar . Videogestützte Interventionen betonen vor allem die Bedeutung der Eltern-Kind-Interaktion für die kindliche Entwicklung im sozial-emotionalen Bereich . Zahlreiche Erkenntnisse des „kompetenten Säuglings“ konnten mithilfe von Videodokumentation gewonnen werden. Das „in Bruchteilen von Sekunden in Mimik und Gestik abspielendes Interaktionsverhalten “ erfährt demnach in der videobasierten beobachtungsgeleiteten Beratung eine Möglichkeit zur Untersuchung. Von der Holländerin Maria AARTS entwickelt, findet diese Methode heutzutage Verwendung als Videocoaching für Professionelle oder als Videoberatung für verschiedene Adressatengruppen . Die Ausarbeitung setzt sich zum Ziel, über den Weg der Rezeption von den Erkenntnissen der Neurowissenschaften zu profitieren, um einen gemeinsamen Dialog entstehen zu lassen. Dafür wird vor allem nach Analogien innerhalb der Disziplin der Erziehungswissenschaft, respektive der Entwicklungspsychologie sowie Klein-kindforschung, und der Fachrichtung der Neurowissenschaften gesucht. Grundlegend ist dabei mittels der Kommunikationsmethode „Marte Meo“ den Fokus auf sozial-emotionale Handlungskompetenzen innerhalb der Eltern-Kind-Interaktion zu setzen. Demnach soll der Heranwachsende kein „neuronengesteuerter Bioautomat “ sein, dessen Gehirn nach einem festgeschriebenen biologischen Programm arbeitet. Ferner wird „Das Kind mit einem speziellen Bedürfnis“ im darauffolgenden Kapitel beschrieben. Die Bedeutung einer konstruktiven Eltern-Kind-Interaktion erfährt in diesem Absatz eine Betrachtung. Des Weiteren unterstützen Einzelergebnisse neurowissenschaftlicher Forschungen sowie Modelle über Prozesse des Lernens oder der Emotionsentstehung, die Vorgehensweise dieser Ausarbeitung. Im Vordergrund steht ferner die Bedeutung der primären Bezugspersonen für die Ausbildung sozial-emotionaler Fähigkeiten. Im darauffolgenden Absatz werden schließlich ausgewählte „Marte Meo“ Elemente in Verbindung mit den neurobiologischen Erkenntnissen und der sozial-emotionalen Entwicklung eines Kindes in Zusammenhang gebracht. Aus diesem können Implikationen für das pädagogische Arbeitsfeld gewonnen werden. Im Anschluss erfolgt eine Betrachtung von vier Experteninterviews zur Gewinnung von Kontextwissen. Abschließend werden die gewonnen Erkenntnisse zusammengefasst sowie kritisch unter Einbezug der Experteninterviews diskutiert.

This thesis examines the Museum of Art of El Salvador (MARTE) and its art education programming to understand its role in community building and cultural revitalization efforts in post-war El Salvador. MARTE emerges onto El Salvador’s landscape showcasing the country’s artistic heritage while organizing art education opportunities for the capital city, San Salvador. After six weeks of onsite observations and interviews with museum staff and community members, this investigation explores how MARTE’s art education programming contributes to the development of a refashioned collective cultural identity and, as a result, reinfuses the value of art, cultural awareness, and solidarity back into the community. MARTE provides a beneficial model for understanding the complex relationship between Western-influenced cultural institutions and non-Western communities, and the challenges of placing value on arts education when greater social concerns (e.g., economic insecurity) prevail. / text

Dans cette thèse, nous proposons une méthodologie de co-conception des systèmes dynamiquement reconfigurables basés sur FPGA. Notre méthodologie s’appuie sur l’Ingénierie Dirigée par les Modèles (IDM) dont la spécification des modèles est décrite avec le profil MARTE. Les travaux présentés visent à garantir la flexibilité, la réutilisabilité et l’automatisation afin de faciliter le travail du concepteur et d’améliorer sa productivité. La première contribution réside dans la modélisation à haut-niveau d’abstraction permettant de cacher un grand nombre de détails d’implémentation. Un flot de conception est défini pour la modélisation des FPGAs, basé sur l’IDM afin d’assurer l’automatisation de la génération de code. Suivant ce flot, plusieurs modèles sont créés moyennant principalement les concepts de MARTE. Cependant,la modélisation de certains concepts de la reconfiguration dynamique a nécessité des extensions dans MARTE que nous avons identifiées et intégrées dans un nouveau profil qui étend MARTE baptisé RecoMARTE. La seconde contribution est l’automatisation de la chaîne de transformations et la validation expérimentale. Afin d’assurer l’automatisation de notre flot de conception vers la génération du code, une chaîne de transformations a été utilisée. Nous passons ainsi d’un modèle MARTE/RecoMARTE vers une description intermédiaire selon le standard IP-XACT afin de générer des fichiers utilisés dans l’environnement XPS de Xilinx. Cette automatisation permet d’accélérer la phase de conception et éviter les erreurs dues à la manipulation directe des détails. Enfin, un exemple d’application de traitement d’image a été élaboré afin de démontrer et valider notre méthodologie. / The works presented in this dissertation propose a co-design methodology of dynamically reconfigurable systems based on FPGA. Our methodology is based on the Engineering Model Driven approach (MDE). The models specification is done in MARTE profile.It aims to ensure flexibility, reusability and automation to facilitate the work of designer and improve his productivity. The first contribution related to this thesis is identifying parts of dynamically reconfigurable FPGA that can be modeled at high abstraction levels. So, we defined a design flow based on the MDE to ensure the automation of code generation. Using this flow, several models are created mainly through MARTE profile concepts. However, the modeling concepts of dynamic reconfiguration on FPGAs required extensions in MARTE. Thus, we identified the missing concepts to be integrated in a new profile that extends MARTE : RecoMARTE. The second contribution allows the chain automation and experimental validation. To integrate our design flow and to automate code generation, a processing chain was used. The final model resulting from the proposed MARTE-based design flow is given as input to this chain. We thereby move from MARTE/RecoMARTE models to an intermediate description according to the IP-XACT standard to finally generate files describing the complete system in the Xilinx XPS environment. This automation allows to accelerate the design phase and avoid errors due to the direct manipulation of these details. Finally, the proposed MARTE-based design flow and transformation chain were used for an image processing system design, which showed the benefits of our contributions in terms of design reusability and automation.

Orientador: Erivaldo Antônio da Silva / Coorientador: Pedro Miguel Berardo Duarte Pina / Banca: Ana Lucia Bezerra Candeias / Banca: Maurício Araújo Dias / Resumo: Atualmente, o estudo da superfície de Marte é de interesse de muitos programas de exploração espacial, o que justifica o número relevante de sondas enviadas ao planeta com o intuito de coletar amostras e produzir imagens da superfície. Com a melhora gradual dos sistemas sensores, os dados coletados pelas sondas podem produzir imagens com riqueza de detalhes que facilitam a identificação de alvos presentes nessas imagens. Consequentemente, existe um grande arquivo de imagens digitais da superfície marciana, sendo que esse arquivo cresce a uma taxa maior do que a capacidade do ser humano em extrair dados relevantes dessas imagens. Dentre os alvos presentes nas superfícies planetárias e lunar, as crateras de impacto se destacam, não só na superfície de Marte, mas na maioria delas. A identificação e contagem dessas crateras têm importância crucial no estudo dos planetas, devido à grande quantidade de informações que uma análise detalhada de sua distribuição e morfologia podem trazer. As crateras de impacto representam a única ferramenta disponível para medir, remotamente, a idade relativa de formações geológicas em planetas. Além disso, elas são importantes para a exploração espacial, visto que o homem tem se preparado para o envio de uma futura missão espacial, tripulada, para o planeta Marte... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Currently, the study of Mars' surface has been interesting to a sort of space exploration programs which justify the relevant number of probes launched to this planet. Consequently, there's a huge orbital image file from Martian surface. With sensors whose spatial resolution has been getting better and better, the amount of information contained on these images grows on a rate higher than the capability of human being on extracting relevant data from these images. Among the present targets on planetary and lunar surface, impact craters stand out, not only on the surface of Mars, but on most of them. Identifying and counting these craters have a crucial significance on the study of planets, due the great amount of information available on a detailed analysis of them. They represent the only available tool to make remote measures about the relative age from geological formations on planets. Besides, they are important to space exploration since man has been prepared to send a future manned space mission to Mars. Given these relevancies, it had been developed on this dissertation a methodology that includes techniques for digital image processing and pattern recognition, aiming to detect impact craters on the surface of Mars... (Complete abstract click electronic access below) / Mestre

Orientador: Erivaldo Antonio da Silva / Banca: Almir Olivette Artero / Banca: José Roberto Nogueira / Banca: Wallace Correia de Oliveira Casaca / Banca: Miriam Maria Pedrosa / Resumo: Crateras de impacto são as estruturas mais estudadas na área de ciências planetárias, devido à grande quantidade de informações que podem revelar sobre o passado, a geologia e os processos físicos de um corpo planetário. Apesar de haver várias propostas de algoritmos para automatizar o processo de detecção de crateras, esta tarefa ainda não é realizada de maneira completamente automatizada. A necessidade de investigações por métodos eficientes para detecção automática dessas estruturas é cada vez maior, visto que muitas missões estão sendo enviadas ao espaço e com os dados adquiridos cada vez mais ricos em detalhes e mais abundantes, o trabalho manual tem se tornado inviável. Nesse sentido, a presente pesquisa propõe o desenvolvimento de uma abordagem para detectar e delinear automaticamente crateras de impacto em imagens de alta resolução espacial da superfície de Marte. A abordagem baseia-se nos princípios da morfologia matemática e na utilização de técnicas e estratégias de processamento morfológico de imagens, com foco na detecção de crateras de impacto subquilométricas. Do ponto de vista metodológico, quatro etapas principais são realizadas: i) pré-processamento visando a remoção de ruídos e o realce de bordas das estruturas presentes nas cenas; ii) detecção e delineamento das estruturas candidatas a crateras de impacto, a partir da transformação watershed e estratégias da dinâmica dos contornos; iii) pós-processamento com foco no refinamento da detecção das crateras de ... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Impact craters are the most studied structures in planetary sciences, due to the large amount of information they can provide about the history, geology and physical processes of a planet. Although there are several approaches to automate the crater detection, such a task is not fully automated. The need for investigations of efficient methods to automate crater detection is increasing, as many missions have been launched into space, so as to acquire rich and detailed data, thus making the manual work impossible. In this thesis, we develop approach to detect and delineate automatically impact craters in high spatial resolution images of the surface of Mars. The particular proposed is based on the principles of mathematical morphology and the use of techniques and strategies of morphological image processing, with focuses on the detection of subkilometric craters. From the methodological point of view, four main steps are performed: i) pre-processing for noise removal and edge enhancement of structures present in the images; ii) detection and segmentation of crater candidates from the watershed transformation and contour dynamic strategies; iii) post-processing focusing on the refinement of impact crater detection and the removal of irrelevant structures; and (iv) evaluation of detection performance. Two experiments are performed, the first one for the HRSC images with spatial resolution of 12.5 m/pixel and the second for the HiRISE images with spatial resolution of 1 m/pixel.... (Complete abstract click electronic access below) / Doutor

CCSL (Clock Constraint Specification Language) a été construit pour abstraire les données et l'algorithme dans l'intention de focaliser sur les événements et le contrôle. Même si CCSL a été initialement conçu pour servir de modèle de temps au profil UML MARTE, il est devenu un langage de modélisation à part entière dédié à la capture des relations de causalités, chronologiques et temporelles, propres à un modèle. Il est destiné à complémenter des modèles syntaxiques qui eux capturent les structures de données, l'architecture et l'algorithme. Ce document commence par décrire les modèles de parallélisme qui ont inspirés CCSL. Ensuite, le langage CCSL est présenté puis utilisé pour construire des bibliothèques dédiées à deux spécifications standardisées dans les domaines de l'avionique (AADL) et de l'automobile (East-ADL). Finalement, nous introduisons une technique basée sur des observateurs pour vérifier des implantations (Esterel et VHDL) et s'assurer qu'elles respectent bien les propriétés données par une spécification CCSL.

Ce manuscrit résume mes travaux de recherche depuis ma thèse soutenue en septembre 2002. Certains de mes travaux présentés sont achevés à l'heure actuelle, d'autres sont en cours d'avancement ou encore à un stade exploratoire. Tout au long de ces années, mes travaux se sont inscrit dans le contexte de la conception conjointe logicielle/matérielle de SoCs dédiés aux applications de traitement de signal intensif. La complexité des systèmes ciblant ce domaine d'application ne cesse de s'accroitre lors des dernières années. En effet, les besoins grandissants, en terme de puissance de calcul et stockage mémoire des applicatifs du traitement de signal intensif, rendent la conception des Soc les implémentant très fastidieuse et nécessitant un temps et des efforts considérables. Ainsi, la ligne directrice de mes travaux a toujours été de fournir des méthodes et outils d'aide à la conception de tels SoC, permettant un maximum d'automatisation, une augmentation de la productivité des concepteurs et une réduction des temps de mise sur le marché des systèmes conçus. Je me suis donc concentré principalement sur trois aspects : la modélisation de haut niveau en fournissant des méta-modèles et profils respectant le standard MARTE ; les plateformes de simulation distribuées, supportant l'interopérabilité entre plusieurs niveaux d'abstraction tout en permettant une bonne estimation de la consommation d'énergie ; et finalement la production d'outils de conception basés sur les transformations automatiques modèle à modèle de l'approche IDM. Etant convaincu du grand potentiel des FPGAs partiellement et dynamiquement reconfigurables, j'oriente de plus en plus mes travaux pour cibler de telles architectures. Ainsi, mes travaux futurs iront certainement dans le même sens, dans le cadre notamment du projet ANR FAMOUS que je dirige. Ainsi, les grandes orientations de mes recherches concerneront notamment : la modélisation (basée sur MARTE) de la reconfiguration dynamique sous toutes ses facettes (architecture, application, association, déploiement; et partitionnement); la simulation des FPGAs et l'estimation de leur consommation (pour piloter l'exploration d'architectures) ; et enfin l'intégration dans des outils de conception basés sur les standards (tels que MARTE et IDM).