Le rôle de la rhétorique dans le projet en design : une exploration du concept d’argumentation de Perelman et Olbrechts-Tyteca

Les projets interdisciplinaires constituent rarement le terrain des études 
sur le processus de conception en design. Les théories générales du design, en tentant de définir ce qui est commun à toutes les disciplines du design, ont davantage étudié les cas typiques que les cas atypiques. Or, nous croyons qu’il existe dans les projets interdisciplinaires une négociation argumentative et une ouverture vers l’autre, propice à l’analyse du processus de conception en design. Pour réaliser l’étude de ce processus, la stratégie empruntée a été la «recherche-projet» qui propose une participation active sur le terrain. 
À l’intérieur de cette stratégie méthodologique, nous avons réalisé l’étude de cas d’un projet hybride, une signalétique identitaire destinée à marquer les écocentres montréalais et orienter leurs usagers. Comme plusieurs autres pratiques du design, la complexité des projets interdisciplinaires demande l’apport de plusieurs acteurs dans le processus. 
Ces personnes conçoivent le projet à travers des représentations visuelles et des échanges verbaux, nous avons choisi de faire porter notre étude principalement sur le second. Pour ce faire, nous avons choisi comme cadre théorique le Traité de l’argumentation de Chaïm Perelman et Lucie Olbrechts-Tyteca en nous intéressant plus spécifiquement aux concepts d’«accord» et d’«auditoire». Parce que le véhicule de l’action en design est la notion de «projet», l’Anthropologie du projet de Jean-Pierre Boutinet sera notre guide à travers cette conduite. L’objet de recherche de ce mémoire sera donc le processus de conception en design qui sera étudié à travers le regard de l’argumentation. L’argumentation s'est révélée la clé du problème que posent les jugements de valeur, commune à toutes les disciplines du design. Qu’est-ce qu’un «bon» projet réalisé? Est-il possible de répondre à cette question, sans tomber dans un cadre argumentatif, sans devoir révéler les arguments qui nous permettent de croire vraisemblable une telle proposition? C’est en mettant en lien la théorie du projet en design et la théorie de l’argumentation que nous avons éclairé la pratique du designer, sa relation à ses collègues et ultimement avec lui-même. L’argumentation s’est avérée un outil permettant la construction de la réalité dans le projet interdisciplinaire.

L'alimentation selon l'âge et la culture : une analyse logico-naturelle des représentations construites par des enfants canadiens/québécois et roumains

Cette recherche s’intéresse à la question des représentations que les enfants construisent au sujet de l’alimentation dans une perspective épistémologique constructiviste, ancrée dans les traditions de la communication et de la psychologie sociale. Notre but a été de déterminer si les représentations de l’alimentation chez les enfants pouvaient être comprises en tant que représentations sociales, et si la construction de ces représentations variait selon l’âge et selon l’appartenance socioculturelle des enfants. Pour ce faire, nous avons analysé les discours sur l’alimentation des enfants de 7 à 12 ans issus de trois contextes culturels différents. Ainsi, nous avons comparé les représentations de l’alimentation construites par des enfants nés, élevés et éduqués en Roumanie et au Québec, ainsi que celles des enfants nés (ou élevés depuis un très bas âge) au Québec, mais provenant de familles d’immigrants roumains. La méthodologie de recherche a reflété une intégration instrumentale des perspectives issues de la psychologie sociale et de la communication, en étant dérivée de la logique naturelle et des théories sur les représentations sociales. Nos résultats suggèrent que les enfants construisent des représentations sociales de l'alimentation et que ces représentations progressent en complexité, tant du point de vue cognitif que moral, suivant l'âge, en subissant des processus de constructions similaires. De plus, il existerait des influences liées à l'appartenance socioculturelle sur le contenu et sur la complexité des représentations, dans ce sens que les différences et les ressemblances entre les groups socioculturels renvoient soit à des influences culturelles, soit à des influences en lien avec l'idéologie. En fonction des résultats obtenus, nous avons proposé des stratégies communicationnelles visant à accroître l’efficacité des programmes d’éducation à la nutrition. De point de vue théorique, notre recherche contribue au raffinement de la théorie des représentations sociales et du développement de l'enfant, ainsi qu'au développement d’un nouveau regard méthodologique sur cette problématique.

Mutations esthétiques, mais continuité technique dans l'oeuvre de Pierre Boulez

La version intégrale de cette thèse est disponible uniquement pour consultation individuelle à la bibliothèque de musique de l'Université de Montréal (http://www.bib.umontreal.ca/MU).

Patrons de distribution des crustacés planctoniques dans le fleuve Saint-Laurent

La recherche porte sur les patrons de distribution longitudinale (amont-aval) et transversale (rive nord - rive sud) des communautés de crustacés planctoniques qui ont été analysés le long du fleuve Saint-Laurent entre le lac Saint-François et la zone de transition estuarienne, à deux hydropériodes en mai (crue) et en août (étiage). Les données zooplanctoniques et environnementales ont été récoltées à 52 stations réparties sur 16 transects transversaux en 2006. Au chapitre 1, nous présentons les principaux modèles écosystémiques en rivière, une synthèse des facteurs influençant le zooplancton en rivières et les objectifs et hypothèses de recherche. Au chapitre 2, nous décrivons la structure des communautés de zooplancton dans trois zones biogéographiques du fleuve et 6 habitats longitudinaux, ainsi que les relations entre la structure du zooplancton et la distribution spatiale des masses d’eau et les variables environnementales. Au chapitre 3, nous réalisons une partition de la variation des variables spatiales AEM (basées sur la distribution des masses d’eau) et des variables environnementales pour évaluer quelle part de la variation du zooplancton est expliquée par les processus hydrologiques (variables AEM) et les conditions locales (facteurs environnementaux). Le gradient salinité-conductivité relié à la discontinuité fleuve-estuaire a déterminé la distribution à grande échelle du zooplancton. Dans les zones fluviales, la distribution du zooplancton est davantage influencée par la distribution des masses d’eau que par les facteurs environnementaux locaux. La distribution des masses d’eau explique une plus grande partie de la variation dans la distribution du zooplancton en août qu’en mai.

Mise à jour de la Base de Données Topographiques du Québec à l'aide d'images à très haute résolution spatiale et du progiciel Sigma0 : le cas des voies de communication

Le Ministère des Ressources Naturelles et de la Faune (MRNF) a mandaté la compagnie de géomatique SYNETIX inc. de Montréal et le laboratoire de télédétection de l’Université de Montréal dans le but de développer une application dédiée à la détection automatique et la mise à jour du réseau routier des cartes topographiques à l’échelle 1 : 20 000 à partir de l’imagerie optique à haute résolution spatiale. À cette fin, les mandataires ont entrepris l’adaptation du progiciel SIGMA0 qu’ils avaient conjointement développé pour la mise à jour cartographique à partir d’images satellitales de résolution d’environ 5 mètres. Le produit dérivé de SIGMA0 fut un module nommé SIGMA-ROUTES dont le principe de détection des routes repose sur le balayage d’un filtre le long des vecteurs routiers de la cartographie existante. Les réponses du filtre sur des images couleurs à très haute résolution d’une grande complexité radiométrique (photographies aériennes) conduisent à l’assignation d’étiquettes selon l’état intact, suspect, disparu ou nouveau aux segments routiers repérés. L’objectif général de ce projet est d’évaluer la justesse de l’assignation des statuts ou états en quantifiant le rendement sur la base des distances totales détectées en conformité avec la référence ainsi qu’en procédant à une analyse spatiale des incohérences. La séquence des essais cible d’abord l’effet de la résolution sur le taux de conformité et dans un second temps, les gains escomptés par une succession de traitements de rehaussement destinée à rendre ces images plus propices à l’extraction du réseau routier. La démarche globale implique d’abord la caractérisation d’un site d’essai dans la région de Sherbrooke comportant 40 km de routes de diverses catégories allant du sentier boisé au large collecteur sur une superficie de 2,8 km2. Une carte de vérité terrain des voies de communication nous a permis d’établir des données de référence issues d’une détection visuelle à laquelle sont confrontés les résultats de détection de SIGMA-ROUTES. Nos résultats confirment que la complexité radiométrique des images à haute résolution en milieu urbain bénéficie des prétraitements telles que la segmentation et la compensation d’histogramme uniformisant les surfaces routières. On constate aussi que les performances présentent une hypersensibilité aux variations de résolution alors que le passage entre nos trois résolutions (84, 168 et 210 cm) altère le taux de détection de pratiquement 15% sur les distances totales en concordance avec la référence et segmente spatialement de longs vecteurs intacts en plusieurs portions alternant entre les statuts intact, suspect et disparu. La détection des routes existantes en conformité avec la référence a atteint 78% avec notre plus efficace combinaison de résolution et de prétraitements d’images. Des problèmes chroniques de détection ont été repérés dont la présence de plusieurs segments sans assignation et ignorés du processus. Il y a aussi une surestimation de fausses détections assignées suspectes alors qu’elles devraient être identifiées intactes. Nous estimons, sur la base des mesures linéaires et des analyses spatiales des détections que l’assignation du statut intact devrait atteindre 90% de conformité avec la référence après divers ajustements à l’algorithme. La détection des nouvelles routes fut un échec sans égard à la résolution ou au rehaussement d’image. La recherche des nouveaux segments qui s’appuie sur le repérage de points potentiels de début de nouvelles routes en connexion avec les routes existantes génère un emballement de fausses détections navigant entre les entités non-routières. En lien avec ces incohérences, nous avons isolé de nombreuses fausses détections de nouvelles routes générées parallèlement aux routes préalablement assignées intactes. Finalement, nous suggérons une procédure mettant à profit certaines images rehaussées tout en intégrant l’intervention humaine à quelques phases charnières du processus.

Étude du mécanisme de régulation de la sénescence et de p53 par la protéine SOCS1

Les mécanismes cellulaires anti-prolifératifs, lesquels comprennent l’apoptose, aussi appelée la mort cellulaire programmée, l’arrêt transitoire du cycle cellulaire et la sénescence, permettent à la cellule de prévenir, en réponse à différents stress, l’accumulation de mutations pouvant conduire à une prolifération incontrôlée et, éventuellement, au développement d’une tumeur. La régulation de ces différents mécanismes requiert l’activation de protéines appelées des suppresseurs de tumeur, dont le principal est p53. p53 est un facteur de transcription dont la stabilisation et l’activation conduit à une hausse de l’expression de gènes directement impliqués dans l’arrêt de la prolifération. Au cours des dernières années, l’ensemble des travaux sur p53 ont permis de mettre en évidence la complexité de sa fonction, de même que la multitude de voies de signalisation et de protéines avec lesquelles il coopère pour maintenir l’intégrité du génome. De ce fait, l’étude des mécanismes d’activation de p53 est de mise pour la compréhension de sa régulation et, éventuellement, pour la prévention et l’élaboration de nouvelles stratégies de traitement contre le cancer. L’objet de cette thèse est la mise en évidence d’un mécanisme d’activation de p53 et de la sénescence par la protéine SOCS1, un suppresseur de la signalisation par les cytokines. Ce mécanisme implique une interaction directe entre les deux protéines, plus précisément entre le domaine SH2 de SOCS1 et le domaine de transactivation de p53. SOCS1 interagit également, au niveau de son SOCS Box, avec les kinases ATM et ATR de la voie du dommage à l’ADN de façon à faciliter la phosphorylation de p53 en sérine 15. Ainsi, en interagissant à la fois avec p53 et ATM/ATR, SOCS1 contribue à la stabilisation et à l’activation de p53. En accord avec ce modèle, l’inhibition de SOCS1 dans des fibroblastes humains normaux tend à diminuer le nombre de cellules sénescentes suite à l’expression de l’oncogène ca-STAT5A et à réduire l’accumulation nucléaire de p53 dans ces cellules. De la même façon, les lymphocytes T provenant de souris Socs1-/-Ifnγ-/- sont moins susceptibles d’entrer en apoptose que les lymphocytes provenant de souris Socs1+/+Ifnγ+/+, suite à une exposition à des radiations. Dans les deux contextes, on observe une baisse de l’expression des gènes cibles de p53, ce qui démontre que SOCS1 est impliquée dans l’activation de p53 in vivo. Cette thèse a également pour but de mettre en évidence l’implication de SOCS1 dans l’activation d’autres facteurs de transcription et, par le fait même, de démontrer qu’elle peut agir comme un régulateur plus général de la transcription. Une étude approfondie de l’interaction entre SOCS1 et p53 a permis de démontrer que le domaine de transactivation II de p53 (acides aminés 36-67) est suffisant pour l’interaction. Plus précisément, il semble que le tryptophane 53 (W53) et la phénylalanine 54 (F54) sont les principaux résidus impliqués. Une analyse structurale de ce domaine de p53 a conduit à l’identification d’un motif conservé dans plusieurs autres facteurs de transcription pourvus d’un domaine de transactivation acide, dont p63, p73 et E2F1. En accord avec ces résultats, SOCS1 est en mesure d’interagir avec chacune des deux protéines. Ainsi, la capacité de SOCS1 d’interagir et de réguler l’activité de p53 peut s’étendre à d’autres facteurs de transcription. En terminant, le mécanisme présenté dans cette thèse contribue à la compréhension de la régulation de p53, le principal suppresseur de tumeur de la cellule. De plus, il met en évidence une nouvelle fonction de SOCS1, laquelle était jusqu’alors essentiellement connue pour inhiber la voie de signalisation JAK/STAT. Ce nouveau rôle pour SOCS1 permet d’expliquer de quelle manière une activation aberrante de la signalisation par les cytokines peut déclencher la sénescence ou l’apoptose. Enfin, le fait que SOCS1 puisse réguler différents facteurs de transcription permet de la qualifier de régulateur général des facteurs de transcription composés d’un domaine de transactivation acide.

Dynamique cérébrale et réserve cognitive en situation d’attention sélective dans le vieillissement normal et les troubles de la cognition : approche neurofonctionnelle

Réalisée en cotutelle avec l'Unité de Formation à la Recherche Lettres Arts et Sciences Humaines - Université Nice-Sophia Antipolis.

Ninon de Lenclos (1623-1705), le parcours d’une libertine au XVIIe siècle

Grâce aux concepts développés par l’histoire du genre et des femmes, ce mémoire cherche à jeter un regard nouveau sur le parcours de la courtisane libertine du XVIIe siècle Anne de Lenclos, surnommée Ninon. C’est que l’image qui a été véhiculée de Ninon depuis le XVIIIe siècle ne rend pas compte de la complexité du personnage : elle ne met l’accent que sur sa liberté sexuelle, ou au contraire, sur son intelligence et son rôle dans la vie littéraire du Grand Siècle. Une relecture de la correspondance de la courtisane et des documents notariés (actes économiques, testament et inventaire après-décès) la concernant permet cependant de mettre au jour le portrait d’une femme de tête bien différente de celle qui avait jusqu’alors été décrite, réussissant à concilier les transgressions qu’elle n’a cessé de commettre contre l’ordre établi jusqu’à la fin de sa vie à la réputation d’une salonnière admirée et respectée.

Identification du gène Anoctamine 5 responsable d'une nouvelle forme récessive de dystrophie musculaire des ceintures

Les dystrophies musculaires des ceintures (ou limb-girdle muscular dystrophy, LGMD) sont un groupe hétérogène de dystrophies musculaires chez l’adulte et sont définies par une atrophie et une faiblesse progressive qui surviennent dans les muscles proximaux. Chez une cohorte canadienne-française, nous avons précédemment décrit une nouvelle forme récessive, désignée LGMD2L et marquée par une atrophie asymétrique du quadriceps, que nous avions cartographiée au chromosome 11p12-p13 grâce à des analyses de liaison. L’objectif de ce projet de thèse était de raffiner l’intervalle candidat, puis d’identifier et de caractériser le gène muté responsable de la LGMD2L. Grâce à une cartographie par homozygotie de polymorphismes de nucléotide simple (SNPs) réalisée sur une grande famille consanguine, nous avons redéfini l’intervalle candidat à une région du chromosome 11p14.3-p15.1. Par séquençage de l’ADN génomique et complémentaire au gène Anoctamine 5 (ANO5) inclus dans cet intervalle, nous avons identifié trois mutations, chez autant de familles: une substitution créant un site d’épissage aberrant, une insertion d’un nucléotide et une mutation faux-sens. Les deux premières mutations étaient associées à une hausse de la dégradation de l’ARN messager médiée par une troncation prématurée. Nous avons également identifié des mutations ANO5 chez une seconde dystrophie musculaire de type distal cartographiant au même locus que la LGMD2L, nommée MMD3, et dont la manifestation initiale était une faiblesse des mollets, mais qui pouvait progresser vers une atrophie des quadriceps. Une réparation membranaire défective avait été observée chez les fibroblastes de deux patients MMD3, suggérant un rôle pour ANO5 dans ce mécanisme. La localisation et la fonction d’ANO5 dans le muscle sont inconnues, mais cette protéine fait partie d’une famille conservée de protéines à huit domaines transmembranaires, les Anoctamines, dont certains membres sont des transporteurs chloriques activés par le calcium. Les résultats de nos études d’immunofluorescence suggèrent qu’ANO5 se localise peu au sarcolemme, mais plutôt à une structure intracellulaire qui suit la ligne Z des myofibrilles. De façon étonnante, cette localisation était préservée chez un patient LGMD2L porteur homozygote de la mutation d’épissage, en dépit du fait que cette dernière était considérée comme une mutation nulle. Néanmoins, nous avons identifié un épissage alternatif de l’exon 15 qui se produisait sur une proportion des transcrits porteurs de la mutation d’épissage, ce qui rétablirait le cadre de lecture, soulignant la complexité de la régulation de l’épissage d’ANO5 et laissant croire que la LGMD2L pourrait être causée par une perte de fonction partielle, et non complète, d’ANO5. Des études subséquentes par des groupes européens ont montré que les anoctaminopathies 5 sont une cause fréquente de dystrophies musculaires des ceintures chez l’adulte. Notre découverte de mutations au gène Anoctamine 5 a mis en évidence une nouvelle classe de protéines importantes pour la biologie du muscle et a ouvert la voie à de nouvelles pistes pour étudier les mécanismes par lesquels un défaut de réparation membranaire progresse en une dystrophie musculaire.

Caractérisation de la migration du virus Herpès simplex de type 1 (HSV-1) par protéomique

Le virus Herpès simplex de type 1 (HSV-1), agent étiologique des feux sauvages, possède une structure multicouche comprenant une capside icosaédrale qui protège le génome viral d’ADN, une couche protéique très structurée appelée tégument et une enveloppe lipidique dérivant de la cellule hôte et parsemée de glycoprotéines virales. Tous ces constituants sont acquis séquentiellement à partir du noyau, du cytoplasme et du réseau trans-golgien. Cette structure multicouche confère à HSV-1 un potentiel considérable pour incorporer des protéines virales et cellulaires. Toutefois, l’ensemble des protéines qui composent ce virus n’a pas encore été élucidé. De plus, malgré son rôle critique à différentes étapes de l’infection, le tégument demeure encore mal défini et ce, tant dans sa composition que dans la séquence d’addition des protéines qui le composent. Toutes ces incertitudes quant aux mécanismes impliqués dans la morphogenèse du virus nous amènent à l’objectif de ce projet, soit la caractérisation du processus de maturation d’HSV-1. Le premier article présenté dans cette thèse et publié dans Journal of Virology s’attarde à la caractérisation protéique des virus extracellulaires matures. Grâce à l’élaboration d’un protocole d’isolation et de purification de ces virions, une étude protéomique a pu être effectuée. Celle-ci nous a permis de réaliser une cartographie de la composition globale en protéines virales des virus matures (8 protéines de la capside, 23 protéines du tégument et 13 glycoprotéines) qui a fait la page couverture de Journal of Virology. De plus, l’incorporation potentielle de 49 protéines cellulaires différentes a été révélée. Lors de cette étude protéomique, nous avons aussi relevé la présence de nouveaux composants du virion dont UL7, UL23, ICP0 et ICP4. Le deuxième article publié dans Journal of General Virology focalise sur ces protéines via une analyse biochimique afin de mieux comprendre les interactions et la dynamique du tégument. Ces résultats nous révèlent que, contrairement aux protéines ICP0 et ICP4, UL7 et UL23 peuvent être relâchées de la capside en présence de sels et que les cystéines libres jouent un rôle dans cette relâche. De plus, cet article met en évidence la présence d’ICP0 et d’ICP4 sur les capsides nucléaires suggérant une acquisition possible du tégument au noyau. La complexité du processus de morphogenèse du virus ainsi que la mise en évidence d’acquisition de protéines du tégument au noyau nous ont incités à poursuivre nos recherches sur la composition du virus à un stade précoce de son cycle viral. Les capsides C matures, prémisses des virus extracellulaires, ont donc été isolées et purifiées grâce à un protocole innovateur basé sur le tri par cytométrie en flux. L’analyse préliminaire de ces capsides par protéomique a permis d’identifier 28 protéines virales et 39 protéines cellulaires. Les données recueilles, comparées à celles obtenues avec les virus extracellulaires, suggèrent clairement un processus séquentiel d’acquisition des protéines du tégument débutant dans le noyau, site d’assemblage des capsides. Finalement, tous ces résultats contribuent à une meilleure compréhension du processus complexe de maturation d’HSV-1 via l’utilisation de techniques variées et innovatrices, telles que la protéomique et la cytométrie en flux, pouvant être appliquées à d’autres virus mais aussi permettre le développement de meilleurs traitements pour vaincre l’HSV-1.

Étude de la dynamique hémisphérique pour le traitement des mots chez les gauchers et les droitiers

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

La santé publique globalisée

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.

L’architecture engagée du «Case Study House Program» de la revue Arts and Architecture de 1945 – 1966 : une confluence génératrice

La conception architecturale du logis, individuel ou collectif, est un défi majeur pour les architectes depuis l'avènement de la modernité. Au début du 21ième siècle, la multiplicité des conditions démographiques et celle de la mobilité des personnes sous-tendent la complexité de l'élaboration de prototypes ou de modèles d'habitation. Que peut-on apprendre des expériences menées dans ce domaine après la seconde guerre mondiale aux États-Unis ? Ce mémoire de maîtrise est consacré à l'étude d’un cas particulier celui du programme de création architecturale réalisée en Californie de 1945 à 1966, connu sous le nom de : «Case Study House Program». Ce programme, dirigé par John Entenza, éditeur de la revue Arts and Architecture, rassemblait de nombreux architectes dont les plus célèbres sont Charles et Ray Eames, Richard Neutra, Craig Ellwood et Pierre Koenig, tous auteurs de maisons modernes devenues oeuvres canoniques dans l’histoire de l’architecture. L'analyse détaillé de ce cas et de ses retombées devrait permettre de mieux cerner les aspects suivants: la portée critique du CSHP (case study house program) qui s'opposait aux modèles dominants du marché immobilier, modèles généralement inspirés de styles traditionnels; le potentiel et les limites d'une telle démarche face à la demande sociale; la dimension anticipatrice des propositions du CSHP pour la conception de logis mieux adaptés aux besoins du 21ième siècle, en particulier ceux qui découlent des changements démographiques et de la mobilité géographiques des personnes; la valeur d'exemple du CSHP pour mieux comprendre les fondements de la résistance du public aux innovations architecturales, autant du point de vue technique que du point de vue esthétique.

Représentation du sexe chez N. Arcan, V. Despentes, M.-S. Labrèche et C. Millet

Depuis la fin des années 1990, une nouvelle génération d’écrivaines s’est emparée des thèmes du corps et de la sexualité. Certaines de leurs œuvres ont fait scandale pour l’impudeur qui les caractériserait, d’autres pour leur violence ou leur appartenance supposée à la pornographie. Si ces textes témoignent de changements profonds au sein de la société, ils attirent également notre attention sur leur inscription manifeste hors des catégories génériques qu’ils semblaient indiquer. Ce mémoire rend compte de la façon dont À ciel ouvert de Nelly Arcan, Baise-moi de Virginie Despentes, La brèche de Marie-Sissi Labrèche, La vie sexuelle de Catherine M. de Catherine Millet et La nouvelle pornographie de Marie Nimier traitent la thématique du corps et du sexe. La politique des corps révèle que les récits d’aujourd’hui expriment, certainement aussi fortement que dans les années 1970, la nécessité de dissoudre et de réinventer les identités sexuées. De plus, une analyse centrée sur la notion de sujet telle qu’elle s’écrit dans la relation du plaisir et du désir montre que le thème sexuel est un moyen pour les auteures d’explorer une réalité qui devient flagrante lorsque les êtres de langage se mettent à habiter leur corps. Enfin, une lecture générique souligne toute la complexité de l’utilisation de la pornographie dans les récits étudiés et s’intéresse aux stratégies de légitimation indiquant vers quelle définition de la littérature tendent les auteures.

Application du concept des transactions pour la modélisation et la simulation multicoeur des systèmes sur puce

Avec la complexité croissante des systèmes sur puce, de nouveaux défis ne cessent d’émerger dans la conception de ces systèmes en matière de vérification formelle et de synthèse de haut niveau. Plusieurs travaux autour de SystemC, considéré comme la norme pour la conception au niveau système, sont en cours afin de relever ces nouveaux défis. Cependant, à cause du modèle de concurrence complexe de SystemC, relever ces défis reste toujours une tâche difficile. Ainsi, nous pensons qu’il est primordial de partir sur de meilleures bases en utilisant un modèle de concurrence plus efficace. Par conséquent, dans cette thèse, nous étudions une méthodologie de conception qui offre une meilleure abstraction pour modéliser des composants parallèles en se basant sur le concept de transaction. Nous montrons comment, grâce au raisonnement simple que procure le concept de transaction, il devient plus facile d’appliquer la vérification formelle, le raffinement incrémental et la synthèse de haut niveau. Dans le but d’évaluer l’efficacité de cette méthodologie, nous avons fixé l’objectif d’optimiser la vitesse de simulation d’un modèle transactionnel en profitant d’une machine multicoeur. Nous présentons ainsi l’environnement de modélisation et de simulation parallèle que nous avons développé. Nous étudions différentes stratégies d’ordonnancement en matière de parallélisme et de surcoût de synchronisation. Une expérimentation faite sur un modèle du transmetteur Wi-Fi 802.11a a permis d’atteindre une accélération d’environ 1.8 en utilisant deux threads. Avec 8 threads, bien que la charge de travail des différentes transactions n’était pas importante, nous avons pu atteindre une accélération d’environ 4.6, ce qui est un résultat très prometteur.