Les besoins en ressources CPU dans l'automobile sont en constante augmentation. Le standard de développement logiciel AUTOSAR (AUTomotive Open System ARchitecture) - développé au sein d'un consortium regroupant des fabricants de véhicules et des sous-traitants - offre désormais la possibilité de s'orienter vers de nouvelles architectures : les microcontrôleurs multicœur. Leur introduction au sein des systèmes embarqués critiques apporte un lot de problèmes allant à l'encontre des objectifs de sûreté de fonctionnement ISO 26262. Par exemple, le parallélisme des cœurs impose de maîtriser l'ordonnancement pour respecter les contraintes de dépendance entre les tâches, et le partage des données intercœur doit être effectué en assurant leur cohérence. Notre approche s'articule en deux volets. Pour vérifier les contraintes de dépendance entre les tâches, les exigences sur les flots de données sont utilisées pour synthétiser des moniteurs à l'aide de l'outil Enforcer. Un service de vérification en ligne utilise ces moniteurs (injectés dans le noyau du système d'exploitation) pour vérifier le comportement du système. Enfin, pour maîtriser le partage des données intercœur, nous proposons une alternative aux protocoles bloquants. Le protocole wait-free STM-HRT (Software Transactional Memory for Hard Real-Time systems), est conçu sur les principes des mémoires transactionnelles afin d'améliorer la robustesse des systèmes.

Cette recherche porte sur la genèse et l'évolution des Troubles Musculo-Squelettiques (TMS) dans un établissement de l'industrie aéronautique. Nous proposons une formalisation de nos résultats regardés par le prisme 1. des régulations construites par les compagnons, 2. des phénomènes d'usure, et 3. des processus de mise à l'abri des compagnons lourdement affectés par des douleurs articulaires.Pour ce faire, nous avons construit une approche compréhensive pluridisciplinaire associant des actions en entreprise (analyses ergonomiques de l'activité, entretiens diachroniques menés avec le médecin du travail du site, reconstitution de parcours professionnels de compagnons reclassés pour raisons de santé) et une approche statistique, par des exploitations de l'observatoire EVREST en œuvre dans le groupe industriel depuis le début des années 2000.Nos résultats proposent un regard sur la genèse des TMS, suggèrent des perspectives de prévention, encouragent à construire une mémoire de l'entreprise, et à analyser l'activité (au niveau micro des opérateurs, comme au niveau de l'entreprise) d'une manière indissociable des temps, entre passé, présent et avenir.

Cette recherche porte sur la genèse et l’évolution des Troubles Musculo-Squelettiques (TMS) dans un établissement de l’industrie aéronautique. Nous proposons une formalisation de nos résultats regardés par le prisme 1. des régulations construites par les compagnons, 2. des phénomènes d’usure, et 3. des processus de mise à l’abri des compagnons lourdement affectés par des douleurs articulaires.Pour ce faire, nous avons construit une approche compréhensive pluridisciplinaire associant des actions en entreprise (analyses ergonomiques de l’activité, entretiens diachroniques menés avec le médecin du travail du site, reconstitution de parcours professionnels de compagnons reclassés pour raisons de santé) et une approche statistique, par des exploitations de l’observatoire EVREST en œuvre dans le groupe industriel depuis le début des années 2000.Nos résultats proposent un regard sur la genèse des TMS, suggèrent des perspectives de prévention, encouragent à construire une mémoire de l’entreprise, et à analyser l’activité (au niveau micro des opérateurs, comme au niveau de l’entreprise) d’une manière indissociable des temps, entre passé, présent et avenir. / This research aims at studying the genesis and evolution of Musculo Skeletal Diseases (MSD) in a company belonging to the aeronautics sector. We put forward a formalization of our results, examined through the prism of 1. Regulations elaborated by the workers, 2. Wear and tear phenomena, and 3. Sheltering processes for workers suffering from serious joint diseases.We have therefore built a comprehensive multidisciplinary approach, associating studies at the workshop level (ergonomic job analyses, diachronic interview carried out with the participation of company’s job physician, reconstitution of professional courses of workers reallocated because of health disorders) and a statistical approach, using the “Evrest” Observatory, undertaken in this industrial group from 2000 on.Our results provide a view of the genesis of MSD, suggest avenues for prevention, encourage to build a memory inside the company, and to analyze activity (at the micro level of workstations, as well as at company level) without separating past, present, and future periods.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal. / Dans des domaines comme le génie logiciel, l'intelligence artificielle, les systèmes tutoriels intelligents et les systèmes multi-agents, plusieurs types de connaissances sont manipulés dans un même système avec souvent des formalismes différents, rendant difficile l'intégration, la communication, l'utilisation et le partage des connaissances et des expertises, au sein du système et/ou entre les systèmes. Un système multi-paradigme, basé sur un formalisme uniforme serait donc approprié. John Sowa propose la théorie des Graphes Conceptuels (GC) comme un formalisme universel de représentation des connaissances. Cette théorie est présentée non seulement comme un fondement logique pour les réseaux sémantiques mais aussi comme une théorie du traitement de l'information chez l'humain et la machine. Une communauté de chercheurs s'est formée pour analyser, étendre et utiliser la théorie des GC dans différents domaines (base de données, base de connaissances, génie logiciel, système d'information, traitement du langage naturel, acquisition des connaissances, etc.). Il convient de considérer la possibilité d'utiliser un système multi-paradigme basé sur la théorie des GC. Différents prototypes de systèmes de manipulation des GC ont été développés mais aucun système multi-paradigme n'a été conçu. Nous nous sommes ainsi consacré dans cette thèse à concevoir et à développer un système multi-paradigme utilisant la théorie des GC. Le système est composé : l) d'un environnement graphique comprenant un langage parallèle et un modèle de formation incrémentale d'une mémoire dynamique. Le langage, appelé Synergy est basé sur l'activation des GC et intègre différents modèles de programmation (en l'occurrence, le modèle procédural, le modèle fonctionnel et le modèle orienté-objet). Une application en Synergy est organisée en une base de connaissances appelée "mémoire à long terme" et une zone de travail appelée "mémoire de travail", les deux sont composées de GC. Le modèle de formation porte sur la "mémoire à long terme" et spécifie comment de nouvelles connaissances y sont intégrées automatiquement. 2) d'une extension conceptuelle, contextuelle et orientée objet du langage PROLOG, appelée Prohg+CG. L'extension conceptuelle se base sur les GC et l'extension orientée objet sur les deux premières extensions ainsi que sur une formulation logique de la programmation orientée objet. Prolog+CG étend PROLOG sans le "masquer" ; un programme Prolog est aussi un programme Prolog+CG. 3) d'une hiérarchie d'opérations sur les GC, incorporée dans Synergy et Prolog+CG. J Motive par un souci de synthèse, le but principal de cette thèse est de concevoir et de développer le système dans sa totalité, en essayant pour chaque composante d'intégrer plusieurs approches. Les solutions que nous proposons peuvent être utilisées dans différents domaines. De telles utilisations pourraient susciter de nouveaux développements permettant de compléter et d'enrichir les composantes du système ainsi que leur intégration.