A partir de recherches récentes et en cours, nous nous interrogerons dans ce document sur la qualité de notre école primaire en mobilisant des analyses qui présentent une complémentarité visible sur deux plans. Sur le plan méthodologique et conceptuel en prenant en compte différents niveaux statistiques : le pays, la classe et l'élève ; cela permet de percevoir une image globale du fonctionnement de l'école et de mieux comprendre comment les différentes facettes du contexte scolaire interviennent sur les apprentissages des élèves. La complémentarité se situe également sur le plan théorique plusieurs disciplines étant réunies (économie, sociologie et psychologie) pour l'étude d'un même objet : le fonctionnement du système éducatif.

L'avancée technologique que les systèmes embarqués ont connue lors de ces dernières années les rend de plus en plus complexes. Ils sont non seulement responsables de la commande des différents composants mais aussi de leur surveillance. A l'occurrence d'événement pouvant mettre en danger la vie des utilisateurs, une certaine configuration du système est exécutée afin de maintenir le système dans un état dégradé mais sûr. Il est possible que la configuration échoue conduisant le système dans un état appelé " état redouté " avec des conséquences dramatiques pour le système et l'utilisateur. La description des scénarios qui mènent le système vers l'état redouté à partir d'un état de fonctionnement 'normal' permet de comprendre les raisons de la dérive afin de prévoir les configurations nécessaires qui permettent de les éviter Dans notre approche d'analyse de sûreté de fonctionnement des systèmes dynamiques, les scénarios sont générés à partir d'un modèle réseau de Petri. En s'appuyant sur la logique linéaire comme nouvelle représentation (basée sur les causalités) du modèle réseau de Petri, une analyse qualitative permet de déterminer un ordre partiel de franchissement des transitions et ainsi extraire les scénarios redoutés. La démarche est focalisée sur les parties du modèle intéressantes pour l'analyse de fiabilité évitant ainsi l'exploration de toutes les parties du système et le problème de l'explosion combinatoire. L'objectif final consiste en la détermination de scénarios minimaux. En effet, un scénario peut bien mener vers l'état redouté sans qu'il soit minimal. Il contient des événements qui ne sont pas strictement nécessaires à l'obtention finale de l'état critique redouté. De même que la notion de coupe minimale a été définie dans le cadre des arbres de défaillance, nous proposons une définition de ce qu'est un scénario minimal dans le cas des réseaux de Petri. Pour prendre en compte La nature hybride des systèmes, nous avons développé un simulateur hybride basé sur le couplage de l'algorithme de génération de scénarios redoutés avec un solveur d'équations différentielles. L'algorithme se charge de la partie discrète modélisée par le réseau de Petri et le solveur d'équations de la partie continue modélisée par un ensemble d'équations différentielles. Afin d'avoir une approche système pour l'analyse de la sûreté de fonctionnement, nous proposons une approche qui permet de prendre en compte les exigences de sûreté dans le processus d'ingénierie des exigences qui permet d'établir un modèle de traçabilité afin de s'assurer de la prise en compte de ces exigences tout au long du cycle de vie du système. L'approche est basée sur une norme de l'ingénierie système, en l'occurrence l'EIA-632.

Dans un contexte de gestion des systèmes côtiers, l'approche développée dans cette étude -associer un suivi des paramètres environnementaux avec celui des peuplements pélagiques et benthiques- permet d'appréhender le fonctionnement global de l'écosystème. La veille écologique menée depuis plus de 20 ans en rade de Brest a fait apparaître un nouveau risque écologique (et économique): la prolifération d'un filtreur benthique exotique, compétiteur potentiel de la coquille Saint-Jacques, la crépidule Crepidula fornicata (L.). Ses mécanismes de prolifération étaient encore inconnus en rade, notamment concernant l'accélération récente (15-20 ans) du processus. L'approche multidisciplinaire de ce travail permet d'étudier les mécanismes d'adaptation et de régulation naturelle de la crépidule en rade de Brest face aux fluctuations naturelles de l'environnement (hydroclimat) et aux perturbations anthropiques (eutrophisation...) et d'identifier ses impacts sur le fonctionnement de l'écosystème.<br />Les causes de la prolifération actuelle de la crépidule en rade et ses impacts sur la structuration et le fonctionnement de l'écosystème ont été précisés : les filtreurs exercent un rétro-contrôle de la production primaire (filtration, biodépositions). L'analyse des conditions favorables à la prolifération de la crépidule a montré la place importante prise par cette espèce dans l'écosystème et a permis de mieux appréhender les processus d'évolution de son aire de répartition et de son stock. La description réalisée des peuplements benthiques soumis à cette invasion constitue un état de référence de la mégafaune de la rade en 2000. Les impacts de la crépidule sur l'écosystème (colonne d'eau, sédiment, biocénoses) ont été précisés. Des évolutions futures sont envisagées et des recommandations sont faites pour en limiter l'extension et pérenniser la pêcherie de coquilles Saint-Jacques en rade de Brest. Des perspectives sont proposées dans le cadre de la gestion intégrée de cet écosystème.

La révolution technologique que connaît le secteur automobile avec la multiplication des<br />systèmes électroniques et informatiques embarqués n'est pas près de s'essouffler. Il est<br />manifeste que la complexité croissante et la spécificité des systèmes embarqués justifieront de<br />plus en plus le besoin de structurer l'ensemble des activités de développement. Vérification,<br />validation, conception et bien entendu sûreté de fonctionnement font partie intégrante d'un<br />même processus. Nous cherchons tout d'abord à définir un formalisme de modélisation<br />fonctionnelle et comportementale, support de la méthodologie, et en cohérence avec les<br />spécificités des systèmes mécatroniques. En particulier, les aspects hybrides et temps réel<br />doivent pouvoir être représentés. Ensuite, sur le plan de la vérification et de la validation,<br />nous proposons d'exploiter les méthodes formelles, telles que le model-checking, en<br />complément des tests et des simulations habituellement utilisées dans l'industrie. Enfin nous<br />attachons une importance centrale à la sûreté de fonctionnement. Afin de pallier aux<br />insuffisances et aux limites des méthodes habituellement utilisées, nous proposons une<br />approche basée sur la construction d'un graphe de Markov agrégé. L'originalité tient dans sa<br />capacité de répondre à un problème de représentation et d'évaluation de la fiabilité des<br />systèmes dynamiques hybrides. Les principales étapes consistent à découpler la dynamique du<br />système et la dynamique du processus de défaillance grâce à la théorie des perturbations<br />singulières, puis d'identifier et estimer les grandeurs du système influençant la dynamique des<br />défaillances. Ces grandeurs sont évaluées par de simples simulations dans le but de pouvoir<br />traiter des systèmes complexes. Ceux-ci sont alors intégrés dans le graphe agrégé.

Dans cette thèse, une comparaison entre différentes topologies des machines a été tout d'abord réalisée. Deux machines électriques: Machine à Réluctance Variable (MRV) et Machine à Commutation de Flux (MCF) sont ensuite choisies pour les études suivantes. Un modèle électromagnétique-thermiquement couplé est effectué pour ces deux structures. Ce modèle est basé sur une caractérisation préalable par la méthode des éléments finis (EF) 2D via le calcul du couple instantané, des deux composantes de l'induction magnétique (Br et B&#952-) de chaque élément du maillage du rotor ainsi que du stator pour différentes densités des courantes efficaces et différentes positions du rotor. Ces résultats sont ensuite utilisés dans les modèles analytiques de pertes Joule et de pertes fer permettant de calculer les pertes Joule et les pertes fer sur un cycle de fonctionnement. Des modèles thermiques transitoires tels que le réseau de résistances thermiques et l'EF 2D sont effectués, dans lesquels les pertes instantanées obtenues précédemment sont utilisées comme sources de chaleur pour le calcul des variations des températures dans différents composants d'une machine électrique sur cycle de fonctionnement. Un modèle défaut-thermique d'une MCF triphasée est aussi mis en ouvre. Les défauts étudiés dans cette thèse sont principalement dus au court-circuit: le court-circuit entre-spires d'une phase, le court-circuit entre-spires et entre-phase dans une MCF sans redondance, le court-circuit d'une phase ou de trois phases dans une MCF avec redondance. A l'aide de MATLAB/Simulink, les courants sains et les courants de court-circuit sont obtenus, et les pertes instantanées peuvent être calculées en utilisant la méthode mentionnée précédemment. Par conséquent, le comportement thermique en cas de défauts peut être prévu. Enfin, des études de défauts pour une MCF hexa-phasée sans redondance sont effectuées, et un convertisseur du type pont complet est utilisé pour alimenter la machine. Cela nous permet de contrôler indépendamment chaque phase en cas de défauts. Les défauts sont entre autres le circuit ouvert ou le court-circuit dans une ou plusieurs phases (jusqu'à trois). Certaines méthodes de correction telles que: l'augmentation de l'amplitude du courant dans les phases saines et / ou modifier leurs phases, sont proposées pour maintenir le couple électromagnétique tout en minimisant l'ondulation de couple. Les résultats analytiques et numériques ont montré la bonne efficacité des méthodes proposées tant en cas de l'ouverture des phases qu'en cas du court-circuit des phases.

Le raisonnement sociomoral (RSM) est une habileté essentielle durant l’adolescence, car elle guide les décisions sociales, facilitant le fonctionnement social. Quelques facteurs sociocognitifs et socioémotionnels semblent favoriser l’évolution du RSM, cependant leur contribution particulière reste nébuleuse, car ils ont été étudiés de façon isolée. Cette étude explore les habiletés associées au RSM mature chez les adolescents en santé, ainsi que la contribution spécifique des fonctions exécutives, en utilisant un outil écologiquement valide pour cette population. Nous avons détecté quatre contributeurs indépendants du RSM mature : l’âge, l’intelligence, la flexibilité cognitive et la fluence verbale, ainsi que des différences de genre concernant la maturité du RSM et la prise de décision sociomorale. Les résultats de cette étude contribuent à améliorer la compréhension du développement moral à l’adolescence et soulignent l’importance d’utiliser des outils écologiquement valides pour mesurer les habiletés sociales. / Sociomoral reasoning (SMR) is an important skill during adolescence because it guides social decisions, facilitating social functioning. A number of sociocognitive and socioemotional factors are likely to underlie the evolution of SMR abilities; however their relative contribution remains unclear given that to date their roles have typically been explored in isolation. This study explores the underpinnings of SMR maturity in typically developing adolescents and the specific contribution of executive functions using an ecologically valid tool for assessment in the adolescent population. We detected four independent contributors of SMR maturity in healthy adolescence: age, intelligence, cognitive flexibility and verbal fluency, as well as gender differences in SMR maturity and sociomoral decision-making. Taken together, the findings of this study contribute to better understanding moral development during adolescence and highlight the importance of using ecologically valid tools to measure social skills.

Cette thèse propose un cadre afin de modéliser, vérifier et générer des allocations de fonctions d'un système embarqué sur des ressources avioniques. Ce cadre est fondé sur l'utilisation du langage Altarica pour décrire formellement la propagation des défaillances au sein d'un système embarqué, sur l'utilisation de techniques de vérification tel que le "model-checking" et la génération d'arbre de défaillances et sur les techniques de résolution de contraintes. Les travaux sont illustrés par deux études de cas: l'allocation de ressources de calcul et de communication à une fonction de "suivi de terrain" d'un avion de chasse, le placement des équipements d'un système hydraulique au sein d'un avion en tenant compte de risques tels que l'éclatement d'un pneu ou d'un réacteur.

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

Les pilotes de périphériques composent désormais une part essentielle des systèmes d'exploitation. Plusieurs études montrent qu'ils sont fréquemment à l'origine des dysfonctionnements des systèmes opératoires. Dans ce mémoire, nous présentons une méthode pour l'évaluation de la robustesse des noyaux face aux comportements anormaux des pilotes de périphériques. Pour cela, après avoir analysé et précisé les caractéristiques des échanges entre les pilotes et le noyau (DPI - Driver Programming Interface), nous proposons une technique originale d'injection de fautes basée sur la corruption des paramètres des fonctions manipulées au niveau de cette interface. Nous définissons différentes approches pour l'analyse et l'interprétation des résultats observés pour obtenir des mesures objectives de sûreté de fonctionnement. Ces mesures permettent la prise en compte de différents points de vue afin de répondre aux besoins réels de l'utilisateur. Enfin, nous illustrons et validons l'applicabilité de cette méthode par sa mise en Suvre dans le cadre d'un environnement expérimental sous Linux. La méthode proposée contribue à la caractérisation de la sûreté de fonctionnement des noyaux vis-à-vis des défaillances des pilotes du système. L'impact des résultats est double : a) permettre au développeur de tels logiciels d'identifier les faiblesses potentielles affectant la sûreté de fonctionnement du système, b) aider un intégrateur dans le choix du composant le mieux adapté à ses besoins.

Les circuits numériques utilisés dans des domaines aussi variés que le médical, spatial, automobile ou nucléaire ont besoin d'une très forte fiabilité. La réduction progressive de la tension d'alimentation et l'intégration croissante des produits électroniques affecte la sensibilité du système à l'apparition de fautes (permanentes ou transitoires). Les fautes transitoires ont été largement dominants dans le taux total de SER (Soft Error Rate) des mémoires et éléments de séquentiels. Ainsi, les techniques de correction et prévention pour ces éléments sont bien connues. Par contre, la contribution au SER due aux éléments de logique combinatoire est en croissance, et il est prévue qu'elle devient dominante avec la réduction progressive de la taille de la technologie CMOS. Ainsi, il y a un réel besoin de pallier le manque de modèles et méthodologies qui prennent en compte l'effet de la logique combinatoire dans la perte de fiabilité. Deux approches existe pour cette problématique : 1- Techniques d'injection de fautes 2 - Modèles analytiques Le travail présenté dans cette thèse pour sur l'approche analytique, ou approche probabiliste. D'abord, une analyse en profondeur de l'état de l'art est proposé, mettant en évidence les limitations principales de ce type d'approche. Deuxièmement, des nouvelles approches sont proposées, améliorant la performance des approches existants. Des nouvelles métriques concernant l'analyse FMDEA et durcissement séléctif sont aussi proposées. Finalement, les approches sont validées en comparant leur performance avec les principales techniques déjà existantes.