Spelling suggestions: "subject:"approche"" "subject:"dapproche""
901 |
Simulations orientées-interaction des systèmes complexesKubera, Yoann 06 December 2010 (has links) (PDF)
Les simulations multi-agents reproduisent un phénomène en modélisant intuitivement son fonctionnement au niveau microscopique. Ce fonctionnement est décrit par le comportement d'entités autonomes qui agissent dans un environnement commun. Toutefois, les approches actuelles restreignent les interactions à des effets de bord ou ne fournissent aucune méthodologie réifiant la notion d'interaction. La conception de simulations contenant un grand nombre d'agents interagissant de manière variée s'en trouve complexifiée. Nous soutenons que pour faciliter la conception des simulations, il est préférable que toute entité soit concrétisée par un agent et tout comportement par une interaction. Le moteur de simulation doit de plus être clairement séparé des agents et interactions, de sorte que tout le système multi-agents soit régi par le même algorithme de simulation. Une telle approche procure de nombreux avantages tels que l'automatisation de l'implémentation, la réutilisabilité des interactions ou la conception graduelle du modèle du phénomène. En nous fondant sur ces principes, nous avons développé une approche centrée sur les interactions (IODA) composée d'une pyramide d'outils : un modèle formel, un ensemble d'algorithmes de simulation et une méthodologie. Nous confirmons la faisabilité de cette approche par une plateforme de simulation paramétrable (JEDI) fidèle au modèle formel et un environnement de développement intégré (JEDI-Builder) qui automatise le passage du modèle IODA au code JEDI. Nous montrons ainsi que la concrétisation logicielle des interactions a conduit à une unification du concept d'agent et à une simplification du processus de conception de simulations.
|
902 |
Dynamique holocène du paysage et mobilités des pratiques territoriales au mont Lozère (Massif central, France) : Approche paléoenvironnementale multi-indicateurs à haute résolution spatio-temporelle / Evolución del paisaje holoceno y movilidad de las prácticas humanas en el Mont Lozère (Macizo Central, Francia) : Estudio paleoambiental multi-proxy a alta resolución espaciotemporalServera-Vives, Gabriel 12 December 2014 (has links)
Un total de cinq séquences a été étudié sur le Mont Lozère afin de reconstruire la dynamique paysagère et les usages du sol sur la longue durée. L’approche multiproxy utilisé a permis de déterminer les principaux rythmes d’anthropisation et de déterminer son caractère régional et/ou local. Ce travail mené à haute résolution spatiale, chronologique et analytique a permis d’intégrer les résultats avec les données obtenus dans le cadre du PCR-Mont Lozère, afin de caractériser les modes d’occupation de la montagne qui ont modelé ce paysage culturel depuis le Néolithique jusqu’à nos jours. Une longue histoire des interactions socio-environnementales a été mise en évidence au Mont Lozère, avec une première phase à caractère agropastoral dès le Néolithique ancien, vers ca. 4550-4400 cal BC. Le Néolithique final est une période clé caractérisée par un important impact agropastoral fondé sur l’utilisation du feu pour l’ouverture de clairières. Pendant l’Âge du Fer, un déboisement marqué dans les espaces d’altitude et de piedmont coïncide avec un développement des activités agropastorales et métallurgiques. Le Haut Moyen Âge se caractérise par l’amplification des déforestations, contemporaines d’un essor des activités agropastorales. Durant le Moyen Âge Central, un système diversifié d’exploitation des ressources naturelles inclue de la métallurgie, l’agriculture, le pastoralisme, l’extraction minière et le charbonnage. Le développement agropastoral du Bas Moyen Âge aboutit à une déforestation marquée du massif qui s’étend jusqu’à la moitié du 19ème siècle, quand commencent la déprise agropastorale et les reboisements au Mont Lozère. L’histoire de la nardaie qui caractérise les espaces sommitaux suit ces phases majeures de l’anthropisation et dévoile le rôle clé qu’a joué l’agropastoralisme dans la genèse et l’évolution de ce paysage culturel de moyenne montagne. / Five sedimentary sequences have been studied in the Mont Lozère with the aim to reconstruct the landscape dynamics and the land-use through the longue durée. The use of a multi-proxy analysis has allowed us both to identify distinct rhythms of human-induced landscape shift and to establish the local/regional extent of these changes. The use of high spatial, chronological and analytical resolution has enabled a correct integration of the results of this research with those supplied by the PCR-Mont Lozère project. As a result, a series of land-uses in a mountain environment from the Neolithic to present time has been proposed. A long history of socio-environmental interactions in Mont-Lozère is evidenced. A first shepherding phase in Early Neolithic (4550-4400 cal BC) has been evidenced. During Late Neolithic pastoral practices and related slash-and-burn strategies attain its highest activity. In the Iron Age Period a noticeable deforestation of both foothills and higher environments takes place as a consequence of the overall increase farming and metallurgical activities. Forest clearances increase even more during High-Medieval times, at the same time that farming activities reinforce. During the Middle Ages a more complex and diversified land-use system, including farming, metallurgy, mining and charcoal production, is recorded. The development of farming activities in the Late Medieval resulted in a more evident forest clearance of the Massif. This area remained unchanged until the 19th century, when the decay of agriculture and shepherding occurs and forest replanting in Mont Lozère is recorded. The history of highland herb communities of Nardus stricta correctly matches the main phases of land-use and underlines the key-role of farming in the genesis and evolution of this cultural landscape. / Se han estudiado cinco secuencias sedimentarias en el Mont Lozère con el objetivo de reconstruir la dinámica paisajística y los usos del suelo en la longue durée. La utilización de un análisis multiproxy ha permitido determinar los principales ritmos de antropización y establecer su carácter regional y/o local. La alta resolución espacial, cronológica y analítica hapermitido la integración de resultados con aquellos obtenidos en el marco del PCR-Mont Lozère y proponer los usos de la montaña que han modelado el paisaje cultural desde el Neolítico hasta la actualidad. Se ha evidenciado una larga historia de las interacciones socioambientales en el Mont Lozère, con una primera fase de carácter agropastoral en el Neolítico Antiguo, en ca. 4550-4400 cal BC. El Neolítico Final es una fase de marcado impacto agropastoral en la que se generalizan las quemas para abrir claros en el bosque. En la Edad del Hierro se inicia una marcada deforestación en el piedemonte y los espacios de altitud, coincidiendo con un desarrollo agropastoral y metalúrgico. En el periodo altomedieval se amplifican las deforestaciones coincidiendo con un marcado incremento de las actividades agropastorales. En la Plena Edad Media se evidencia un sistema diversificado que implica metalurgia, agricultura, pastoreo, minería y carboneo. El desarrollo agropastoral de la Baja Edad Media supone una marcada deforestación en el macizo que se extiende hasta mitad del s. XIX, momento en que se inicia el declive del agropastoralismo y empiezan las reforestaciones en el Mont Lozère. La historia de las formaciones herbosas con Nardus stricta de los espacios somitales sigue estas principales fases de antropización y revela el papel clave del agropastoralismo en la génesis y evolución de este paisaje cultural.
|
903 |
La sécurité environnementale dans les relations extérieures de l’Union européenne : vers une approche intégrée de la prévention des conflits et crises externes / Environmental security in the external relations of the European Union : towards an integrated approach to the prevention of external conflicts and crisesSchellekens-Gaiffe, Marie-Ange 29 September 2017 (has links)
Le rapprochement entre dégradation environnementale et défis de sécurité s’est effectué très progressivement, même si de nombreuses divergences subsistent, en particulier sur les causes et enjeux sous-jacents de ce rapprochement. Les effets de plus en plus notables du changement climatique dans nos sociétés ont, pourtant, indirectement permis à ces questions d’opérer une percée dans l’agenda politique international. L’Union européenne, elle-même née d’un exercice réussi de prévention des conflits et leader de la protection internationale de l’environnement est-elle en mesure de contribuer à cet objectif ? Au-delà de l’urgence écologique, la sécurité environnementale porte en son sein des éléments qui pourraient en faire l’un des moteurs de la politique étrangère de l’Union européenne en contribuant à une meilleure appréhension des causes profondes et multiples des conflits, pouvant à la fois soutenir la stabilité internationale et renforcer le rôle de l’UE en tant qu’acteur global. / The link between environmental problems and risks to security is progressively gaining ground, even though diverging opinions still prevail as to the exact nature and challenges of this interaction. The increasingly visible impacts of climate change have indirectly strengthened the prominence of this issue on the international agenda. Can the European Union, born itself from a successful approach to conflict prevention and international leader for environmental protection contribute to this aim ? Beyond the immediate urgency of environmental problems, environmental security carries several elements which could turn it into a driving force for the European Union's foreign policy by an improved understanding of the actual roots and multifaceted nature of numerous conflicts. This would allow the EU to support global stability and to strengthen its role on the international scene.
|
904 |
Une approche harmonisée pour l'évaluation de la sécurité des systèmes ferroviaires : de la décomposition fonctionnelle au modèle comportemental / A harmonized approach for safety assessment in railways : from a functional decomposition to a behavioral modelRafrafi, Meriem 26 November 2010 (has links)
Les systèmes complexes ferroviaires étant de plus en plus contraints par des autorités de décision placées à un haut niveau d'abstraction, il devient problématique d'imposer des critères à une autre échelle que fonctionnelle. Ainsi, dès lors que l'on descend plus bas, nous sommes confrontés à des spécificités des systèmes nationaux qui font perdre la généralité du travail des décisionnaires Européens. Le problème est qu'à chaque niveau d'abstraction, des méthodes d'évaluation du risque existent, mais sans être compatibles entre elles. Par ailleurs, la combinaison des couches et la vision fonctionnelle du système ne prennent pas en compte l'impact des fonctions les unes sur les autres, ni le lien entre le niveau global et les composants afin d'allouer la sécurité.Nous proposons donc une démarche harmonisée d'évaluation du risque, capable de répartir les contraintes définies au niveau fonctionnel abstrait sur les entités qui implémentent les systèmes avec leurs spécificités.Notre contribution est méthodologique. Elle part d'un modèle fonctionnel du système ferroviaire constitué en couches. Le but étant de représenter ce système sans dépendance entre les fonctions, il a fallu les traduire indépendamment des autres en faisant apparaître les entrées/sorties comme des places/transitions d'un réseau de Petri. A chaque couche de la décomposition correspond une classe de réseau de Petri. Ainsi, à la couche structurelle, nous associons les réseaux de Petri Temporels; à la couche fonctionnelle les réseaux de Petri stochastiques et à la couche logique les réseaux de Petri Prédicats Transitions / The railway systems are being more and more forced by decision authorities. As they are placed at a high level of abstraction, it becomes problematic to impose another criterion or scale. In fact, since we come down lower, we are confronted with specificities of the national systems which make lose the majority of the work of the European decision-makers. The issue is that, at every level of abstraction, risk assessment methods exist, but without being compatible. Besides, the combination of layers and the functional vision of the railway system do not take into account the impact of some functions on the others, nor the link between the global level of risk and the components to assign the safety.Thus, we propose a harmonized approach for risk assessment. This approach allows us to distribute the constraints defined at the abstract functional level on the entities which implement both the systems and their specificities.Our contribution is methodological. It leaves a functional model of the layered railway system. The purpose is to represent this system without any dependencies between the functions. For instance, it was necessary to translate them independently by creating entrances/exits as places/transitions of a Petri net. A Petri net class corresponds to each layer. To the structural layer, we associate the time Petri net; to the functional layer, the stochastic Petri nets and to the logical layer, the predicate transitions nets
|
905 |
La profession d'interprète Langue des signes québécoise-français : vers un profil de sortie de la formationTrudeau, Frédérick 08 1900 (has links)
No description available.
|
906 |
Figement et prédication en arabe et en français : études linguistiques et psycholinguistiques / Fixedness and predication in Arabic and French : linguistic and psycholinguistic studiesYaiche, Sameh 18 December 2014 (has links)
Les unités phraséologiques représentent actuellement un objet d’étude commun à de nombreuses disciplines en science du langage. C’est dans ce cadre que s’inscrivent les travaux exposés dans la présente thèse. Adoptant une optique pluridisciplinaire alliant linguistique et psycholinguistique et impliquant l’approche comparative interlangue, nous étudions un phénomène linguistique complexe, le figement, en français et arabe dialectal tunisien. Nous proposons, en premier lieu, une description des expressions figées dans les deux langues mises en contraste, en repérant la typologie et le fonctionnement morphosyntaxique, lexical et sémantique de ces séquences. Notre attention se porte essentiellement sur les deux notions importantes dans l’étude du figement: la scalarité et l’iconicité. La méthodologie et les résultats d’une étude psycholinguistique et expérimentale réalisée auprès d’adultes francophones natifs et non natifs (des arabophones tunisiens apprenant le français L2) sont, en second lieu, exposés. L’intérêt est de déterminer si les facteurs linguistiques, degré de figement et iconicité, facilitent le traitement du langage figé au cours d’une tâche de mémorisation impliquant l’encodage et la reconnaissance des séquences figées du français. Une troisième expérience consiste en un test de familiarité qui examine l’effet des facteurs linguistiques, la scalarité et l’iconicité, ainsi que personnels, l’âge et le sexe, sur la connaissance des expressions figées du dialectal tunisien par des locuteurs arabophones natifs. Ces recherches psycholinguistiques, portant sur une population d’adultes, sont suivies d’une étude exploratoire sur l’émergence des expressions figées ou semi-figées chez les enfants. Ce travail suit la double problématique de l’émergence et de la comparaison interlangue. Nous comparons les productions de deux enfants: un enfant arabe tunisien et un enfant français. / The phraseological units currently represent a common object of study in many disciplines in language science. It is in this context that we present our work in this thesis. Adopting a multidisciplinary approach combining linguistic and psycholinguistic involving comparative cross-language approach, our goal is to study a complex linguistic phenomenon, the fixation, in French and Tunisian Arabic dialect. We propose, first, to contrast the fixed expressions in both languages by identifying the type and the morphosyntactic, lexical and semantic operation of these sequences. Our interest will focus on two important concepts in the study of the fixed sequences: scalarity and iconicity. The methodology and results of a psycholinguistic and experimental study among native and non-native francophone adults (Tunisian Arabic speakers learning French as second language) will be then exposed. Our aim is to determine whether language factors, scalarity and iconicity, facilitate the processing of fixed expressions during a memorization task involving the encoding and recognition of French frozen sequences. A third experiment is a test of familiarity that examines the effect of linguistic factors, scalarity and iconicity as well as personal factors such as; age and sex, on the knowledge of Tunisian dialect frozen sequences by Arabic native speakers. This psycholinguistic work carried on an adult population is followed by an exploratory study on the emergence of fixed and semi-fixed expressions in children communication. This work follows the dual problem of emergence and cross-language comparison. We compare the productions of two children: a Tunisian Arab child and a French child.
|
907 |
Le rôle des bactéries hydrogénotrophes et ferri-réductrices sur le processus de corrosion en contexte de stockage géologique / The role of hydrogenotrophic iron-reducing bacteria on the corrosion process in the context of geological disposalKerber Schütz, Marta 13 December 2013 (has links)
L’objectif principal de cette étude est d’évaluer le rôle de l’activité de bactéries hydrogénotrophes et ferri-réductrices sur le processus de corrosion anoxique en utilisant des indicateurs géochimiques. Il est considéré que le couple redox H2/Fe(III) est un moteur important pour les activités bactériennes qui peuvent ainsi affecter les vitesses de corrosion par la déstabilisation des couches de passivation (i.e. magnétite, Fe3O4). Les résultats indiquent que la magnétite de synthèse est déstabilisée en présence de bactéries hydrogénotrophes et ferri-réductrices due à la réduction du Fe(III) structural couplée à l’oxydation de l’H2. La quantité de Fe(III) bioréduit est augmentée en présence de concentrations croissantes en H2 dans le système: 4% H2 < 10% H2 < 60% H2. De plus, les résultats indiquent que la réaction de corrosion est différente selon la composition de la solution et la surface de contact de l’échantillon métallique (poudre de fer ou coupon en acier au carbone). Les produits de corrosion solides sont différents pour chaque échantillon étudié: vivianite, sidérite et chukanovite sont les principales phases minérales identifiées dans les expériences avec de la poudre de fer, tandis que vivianite et magnétite sont identifiées en présence de coupons en acier au carbone. Les résultats montrent que la vitesse de corrosion est quasiment deux fois plus importante en présence de bactéries après 5 mois de réaction. Cette étude apporte une nouvelle approche sur la compréhension des phénomènes de biocorrosion, l’identification des mécanismes physico-chimiques et la détermination des paramètres contrôlant la vitesse de corrosion. / The main objective of this study is to evaluate the role of hydrogenotrophic and IRB activities on anoxic corrosion process by using geochemical indicators. It is assumed that the redox couple H2/Fe(III) is an important driver for bacterial activities potentially affecting the corrosion rate by destabilization of passive layers (i.e. magnetite, Fe3O4). Our results indicate that synthetized Fe3O4 is destabilized in the presence of hydrogenotrophic IRB due to structural Fe(III) reduction coupled to H2 oxidation. The extent of Fe(III) bioreduction is notably enhanced with the increase in the H2 concentration in the system: 4% H2 < 10% H2 < 60% H2. Moreover, the results indicate that corrosion extent changes according to the solution composition and the surface of metallic sample (iron powder and carbon steel coupon). The solid corrosion products are different for each sample: vivianite, siderite and chukanovite are the main mineral phases identified in the experiments with iron powder, while vivianite and magnetite are identified with carbon steel coupons. Our results demonstrate that corrosion rate is increased almost two-fold in the presence of bacteria after 5 months of reaction. This study gives new insights regarding the understanding of biocorrosion phenomena, identification of physicochemical mechanisms, and determination of key parameters controlling the corrosion rate.
|
908 |
Les assemblages à pièces bifaciales au Pléistocène inférieur et moyen ancien en Afrique de l’Est et au Proche-Orient : nouvelle approche du phénomène bifacial appliquée aux problématiques de migrations, de diffusion et d’évolution locale / Assemblages with bifacial pieces in Lower and Early Middle Pleistocene in East Africa and Near East : new approach of the bifacial phenomenon applied to the issues of migrations, diffusion and local evolutionChevrier, Benoît 05 October 2012 (has links)
Le modèle « Out of Africa » est profondément ancré dans les réflexions portant sur les peuplements paléolithiques. Pour le Pléistocène inférieur et moyen ancien, plusieurs vagues de dispersion des premiers hominidés à partir de l’Afrique de l’Est sont avancées, en particulier vers le Proche-Orient sur la base de trois sites majeurs : Dmanisi, ‘Ubeidiya et Gesher Benot Ya‘aqov. Cette théorie véhicule également l’idée d’imports répétés de techniques nouvelles, notamment le façonnage bifacial.Cependant, une déconstruction des mécanismes inhérents à ce modèle permet d’identifier des obstacles conceptuels et méthodologiques issus du « paradigme de la flèche », simplifiant et réduisant la complexité des phénomènes techniques et culturels.Afin de réintégrer à la question l’espace et le temps, dont l’absence au sein d’« Out of Africa » est rédhibitoire, nous utilisons une vision évolutive des techniques basée sur des réflexions de philosophie, d’ergonomie et de géographie. Cette vision, reprise par des paléolithiciens depuis une quinzaine d’années, a conduit à concevoir une méthodologie techno-fonctionnelle centrée sur les notions d’outil, de geste et de fonctionnement.Une étude approfondie utilisant cette approche a été menée sur quatre assemblages est-africains et proche-orientaux, complétée par des observations portant sur trois autres collections. Les informations obtenues permettent de discuter des processus d’évolution technique sur le temps long, de proposer une vision alternative des peuplements qui considère en particulier l’idée d’inventions du façonnage bifacial indépendantes, et enfin d’envisager des espaces culturels à différentes échelles de temps et d’espace. / The “Out of Africa” model is deeply rooted in the issues of Paleolithic settlement. For the Lower and Early Middle Pleistocene, several waves of early hominid dispersal from Africa have been proposed, especially to the Near East on the basis of three major sites: Dmanisi, ‘Ubeidiya and Gesher Benot Ya‘aqov. This theory also conveys the idea of repeated imports of new techniques, including bifacial shaping.However, the mechanisms inherent in this model are deconstructed: it allows to identify conceptual and methodological obstacles from the “arrow paradigm”, which simplifies and reduces the complexity of technical and cultural phenomena.The absence of space and time in the “Out of Africa” model is a crippling flaw. To reintroduce these dimensions in the debate, an evolutionary view of technics is used and is inspired by thoughts from philosophy, ergonomics and geography. In Paleolithic prehistory, this point of view, developed over past fifteen years, led to work out a techno-functional methodology focused on notions of tool, gesture and functioning.A detailed study using this approach was conducted on four assemblages from East Africa and Near East, with some supplementary observations on three other collections Then a discussion is offered on various topics: (1) the processes of technical evolution over long time, (2) an alternative vision of settlements, which particularly considers the idea of independent inventions of bifacial shaping, and finally (3) the ability to define cultural spaces on different scales of time and space.
|
909 |
Éléments finis spéciaux pour l’analyse linéaire et non-linéaire géométrique des structures composites à renforts fibreux / Special finite elements for linear and geometricaly non linear analysis of fiber reinforced composite structuresTiar, Mohamed Amine 29 March 2017 (has links)
La modélisation numérique des structures composites à renfort fibreux de géométrie complexe constitue un axe de recherche majeur afin de prédire correctement leur comportement mécanique. Dans ce contexte, l’étude menée dans ce travail de thèse porte sur le développement de nouveaux éléments finis basés sur une approche numérique multi-échelle, appelée Approche de la Fibre Projetée (AFP). Cette approche a l’avantage de tenir compte de la présence des fibres au sein d’un espace matrice sans les discrétiser, ce qui limite considérablement la taille du système à résoudre. Pour analyser le comportement des structures composites, plusieurs éléments finis 2D et 3D ont été développés et implémentés dans le code ABAQUS via la routine UEL. Plusieurs cas tests de validation sont considérés pour tester la précision et l’efficacité des éléments finis proposés et les résultats obtenus sont globalement en bon accord avec les solutions de référence. De plus, l’intérêt de la nouvelle approche (AFP) est particulièrement mis en exergue en étudiant des structures composites complexe à renfort 3D : une plaque sandwich cousue et une plaque sandwich à âme creuse renforcée par des fibres en forme de « 8 ». / Numerical modeling of composite materials and structures with complex geometry of fiber reinforcement, such as stitched composites, constitutes a major research axis in order to correctly predict their mechanical behavior. Within this context, this study focuses on the development of new linear and nonlinear specific finite elements based on a multiscale numerical approach, called the Projected Fiber Approach (PFA). This numerical approach has the advantage of taking into account the presence of fi bers, long or short and distributed randomly or specifically, within a matrix space without discretizing them. Consequently, the obtained system of equations size is equivalent to that without reinforcement (matrix), which considerably reduces the computational cost. To analyze the linear and geometrically nonlinear behaviors of composite structures, two membrane finite elements, named PFT3 and PFQ4, and a 3D solid finite element, named PFH8, were developed and implemented into the commercial finite element code ABAQUS via the user element subroutine (UEL). Several numerical linear and nonlinear tests are considered to assess the accuracy and efficiency of the proposed composite finite elements, and the obtained results are globally in good agreement with the reference solutions. Moreover, the major interest of the PFA approach is particularly emphasized by studying two 3D complex reinforced composite structures: a stitched sandwich plate and a hollow core sandwich plate reinforced by "8" shape fibers.
|
910 |
Rigorous System-level Modeling and Performance Evaluation for Embedded System Design / Modélisation et Évaluation de Performance pour la Conception des Systèmes Embarqués : Approche Rigoureuse au Niveau SystèmeNouri, Ayoub 08 April 2015 (has links)
Les systèmes embarqués ont évolué d'une manière spectaculaire et sont devenus partie intégrante de notre quotidien. En réponse aux exigences grandissantes en termes de nombre de fonctionnalités et donc de flexibilité, les parties logicielles de ces systèmes se sont vues attribuer une place importante malgré leur manque d'efficacité, en comparaison aux solutions matérielles. Par ailleurs, vu la prolifération des systèmes nomades et à ressources limités, tenir compte de la performance est devenu indispensable pour bien les concevoir. Dans cette thèse, nous proposons une démarche rigoureuse et intégrée pour la modélisation et l'évaluation de performance tôt dans le processus de conception. Cette méthode permet de construire des modèles, au niveau système, conformes aux spécifications fonctionnelles, et intégrant les contraintes non-fonctionnelles de l'environnement d'exécution. D'autre part, elle permet d'analyser quantitativement la performance de façon rapide et précise. Cette méthode est guidée par les modèles et se base sur le formalisme $mathcal{S}$BIP que nous proposons pour la modélisation stochastique selon une approche formelle et par composants. Pour construire des modèles conformes au niveau système, nous partons de modèles purement fonctionnels utilisés pour générer automatiquement une implémentation distribuée, étant donnée une architecture matérielle cible et un schéma de répartition. Dans le but d'obtenir une description fidèle de la performance, nous avons conçu une technique d'inférence statistique qui produit une caractérisation probabiliste. Cette dernière est utilisée pour calibrer le modèle fonctionnel de départ. Afin d'évaluer la performance de ce modèle, nous nous basons sur du model checking statistique que nous améliorons à l'aide d'une technique d'abstraction. Nous avons développé un flot de conception qui automatise la majorité des phases décrites ci-dessus. Ce flot a été appliqué à différentes études de cas, notamment à une application de reconnaissance d'image déployée sur la plateforme multi-cœurs STHORM. / In the present work, we tackle the problem of modeling and evaluating performance in the context of embedded systems design. These have become essential for modern societies and experienced important evolution. Due to the growing demand on functionality and programmability, software solutions have gained in importance, although known to be less efficient than dedicated hardware. Consequently, considering performance has become a must, especially with the generalization of resource-constrained devices. We present a rigorous and integrated approach for system-level performance modeling and analysis. The proposed method enables faithful high-level modeling, encompassing both functional and performance aspects, and allows for rapid and accurate quantitative performance evaluation. The approach is model-based and relies on the $mathcal{S}$BIP formalism for stochastic component-based modeling and formal verification. We use statistical model checking for analyzing performance requirements and introduce a stochastic abstraction technique to enhance its scalability. Faithful high-level models are built by calibrating functional models with low-level performance information using automatic code generation and statistical inference. We provide a tool-flow that automates most of the steps of the proposed approach and illustrate its use on a real-life case study for image processing. We consider the design and mapping of a parallel version of the HMAX models algorithm for object recognition on the STHORM many-cores platform. We explored timing aspects and the obtained results show not only the usability of the approach but also its pertinence for taking well-founded decisions in the context of system-level design.
|
Page generated in 0.0695 seconds