ARM processor modeling at a cycle accurate level in systemC

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Timing verification in transaction modeling

Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les développer efficacement. Mais une conception efficace de ces systèmes est limitée par plusieurs facteurs, certains d'entre eux sont: la complexité croissante des applications, une augmentation de la densité d'intégration, la nature hétérogène des produits et services, la diminution de temps d’accès au marché. Une modélisation transactionnelle (TLM) est considérée comme un paradigme prometteur permettant de gérer la complexité de conception et fournissant des moyens d’exploration et de validation d'alternatives de conception à des niveaux d’abstraction élevés. Cette recherche propose une méthodologie d’expression de temps dans TLM basée sur une analyse de contraintes temporelles. Nous proposons d'utiliser une combinaison de deux paradigmes de développement pour accélérer la conception: le TLM d'une part et une méthodologie d’expression de temps entre différentes transactions d’autre part. Cette synergie nous permet de combiner dans un seul environnement des méthodes de simulation performantes et des méthodes analytiques formelles. Nous avons proposé un nouvel algorithme de vérification temporelle basé sur la procédure de linéarisation des contraintes de type min/max et une technique d'optimisation afin d'améliorer l'efficacité de l'algorithme. Nous avons complété la description mathématique de tous les types de contraintes présentées dans la littérature. Nous avons développé des méthodes d'exploration et raffinement de système de communication qui nous a permis d'utiliser les algorithmes de vérification temporelle à différents niveaux TLM. Comme il existe plusieurs définitions du TLM, dans le cadre de notre recherche, nous avons défini une méthodologie de spécification et simulation pour des systèmes Matériel/Logiciel basée sur le paradigme de TLM. Dans cette méthodologie plusieurs concepts de modélisation peuvent être considérés séparément. Basée sur l'utilisation des technologies modernes de génie logiciel telles que XML, XSLT, XSD, la programmation orientée objet et plusieurs autres fournies par l’environnement .Net, la méthodologie proposée présente une approche qui rend possible une réutilisation des modèles intermédiaires afin de faire face à la contrainte de temps d’accès au marché. Elle fournit une approche générale dans la modélisation du système qui sépare les différents aspects de conception tels que des modèles de calculs utilisés pour décrire le système à des niveaux d’abstraction multiples. En conséquence, dans le modèle du système nous pouvons clairement identifier la fonctionnalité du système sans les détails reliés aux plateformes de développement et ceci mènera à améliorer la "portabilité" du modèle d'application.

Écrire à la manière d'un auteur au premier cycle du primaire : pratiques et impacts

Plusieurs auteurs (Nadon, 2007; Tauveron, 2005; Routman, 2010) ont mis de l’avant des propositions didactiques pour enseigner l’écriture de façon optimale à partir de la littérature de jeunesse, notamment en amenant les élèves à s’inspirer du style d’un auteur. Puisque la littérature de jeunesse est encore peu employée pour induire des situations d’écriture au primaire (Montésinos-Gelet et Morin, 2007), cette recherche présente un dispositif novateur, soit l’écriture à la manière d’un auteur qui consiste à placer l’élève dans une situation d’appropriation-observation d’une oeuvre littéraire dans le but d’en ressortir ses caractéristiques et de l’imiter (Geist, 2005 et Tauveron, 2002). Selon Olness (2007), l’exposition à une littérature de jeunesse de qualité est essentielle pour permettre aux élèves d’apprendre une variété de styles et d’éléments littéraires. Cette recherche a pour but de décrire dix séquences d’écriture à la manière d’un auteur conçues par l’enseignante-chercheuse et d’identifier les impacts de celles-ci, auprès des élèves, sur leurs habiletés en production écrite, de compréhension en lecture et sur leur motivation à l’écriture. Cette recherche a été réalisée pendant une période de 5 mois auprès de 18 élèves d’une classe de 2e année du primaire. Il ressort de cette recherche que les élèves ont grandement développé leur capacité à analyser et imiter les caractéristiques d’un texte source et qu’ils ont transféré ces apprentissages au-delà du contexte de notre recherche. Par la pratique fréquente et le modelage, ils ont assimilés les six traits de l’écriture et ont manifesté un intérêt grandissant envers la littérature de jeunesse.

L’évolution de la motivation pour les mathématiques au second cycle du secondaire selon la séquence scolaire et le sexe

De nombreuses études sur l’évolution de la motivation pour les mathématiques sont disponibles et il existe également plusieurs recherches qui se sont penchées sur la question de la différence motivationnelle entre les filles et les garçons. Cependant, aucune étude n’a tenu compte de la séquence scolaire des élèves en mathématiques pour comprendre le changement motivationnel vécu pendant le second cycle du secondaire, alors que le classement en différentes séquences est subi par tous au secondaire au Québec. Le but principal de cette étude est de documenter l’évolution de la motivation pour les mathématiques des élèves du second cycle du secondaire en considérant leur séquence de formation scolaire et leur sexe. Les élèves ont été classés dans deux séquences, soit celle des mathématiques de niveau de base (416-514) et une autre de niveau de mathématiques avancé (436-536). Trois mille quatre cent quarante élèves (1864 filles et 1576 garçons) provenant de 30 écoles secondaires publiques francophones de la grande région de Montréal ont répondu à cinq reprises à un questionnaire à items auto-révélés portant sur les variables motivationnelles suivantes : le sentiment de compétence, l’anxiété de performance, la perception de l’utilité des mathématiques, l’intérêt pour les mathématiques et les buts d’accomplissement. Ces élèves étaient inscrits en 3e année du secondaire à la première année de l’étude. Ils ont ensuite été suivis en 4e et 5e année du secondaire. Les résultats des analyses à niveaux multiples indiquent que la motivation scolaire des élèves est généralement en baisse au second cycle du secondaire. Cependant, cette diminution est particulièrement criante pour les élèves inscrits dans les séquences de mathématiques avancées. En somme, les résultats indiquent que les élèves inscrits dans les séquences avancées montrent des diminutions importantes de leur sentiment de compétence au second cycle du secondaire. Leur anxiété de performance est en hausse à la fin du secondaire et l’intérêt et la perception de l’utilité des mathématiques chutent pour l’ensemble des élèves. Les buts de maîtrise-approche sont également en baisse pour tous et les élèves des séquences de base maintiennent généralement des niveaux plus faibles. Une diminution des buts de performance-approche est aussi retrouvée, mais cette dernière n’atteint que les élèves dans les séquences de formation avancées. Des hausses importantes des buts d’évitement du travail sont retrouvées pour les élèves des séquences de mathématiques avancées à la fin du secondaire. Ainsi, les élèves des séquences de mathématiques avancées enregistrent la plus forte baisse motivationnelle pendant le second cycle du secondaire bien qu’ils obtiennent généralement des scores supérieurs aux élèves des séquences de base. Ces derniers maintiennent généralement leur niveau motivationnel. La différence motivationnelle entre les filles et les garçons ne sont pas souvent significatives, malgré le fait que les filles maintiennent généralement un niveau motivationnel inférieur à celui des garçons, et ce, par rapport à leur séquence de formation respective. En somme, les résultats de la présente étude indiquent que la diminution de la motivation au second cycle du secondaire pour les mathématiques touche principalement les élèves des séquences avancées. Il paraît ainsi pertinent de considérer la séquence scolaire dans les études sur l’évolution de la motivation, du moins en mathématiques. Il semble particulièrement important d’ajuster les interventions pédagogiques proposées aux élèves des séquences avancées afin de faciliter leur transition en mathématiques de quatrième secondaire.