Traçabilité d'exigences temporelles dans l'outil UML/SysML TTool

La démonstration proposée concerne la traçabilité d'exigences tout au long du cycle de développement d'un système temps-réel, potentiellement distribué. L'outil TTool, basé sur un profil UML2, permet de saisir les exigences au format SysML, puis de confronter, par utilisation de techniques de vérification formelle, ces exigences aux diagrammes UML du système

Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués

Un défi bien connu dans le domaine des méthodes formelles est d'améliorer leur intégration dans les processus de développement industriel. Dans le contexte des systèmes embarqués, l’utilisation des techniques de vérification formelle nécessitent tout d'abord de modéliser le système à valider, puis de formaliser les propriétés devant être satisfaites sur le modèle et enfin de décrire le comportement de l'environnement du modèle. Ce dernier point que nous nommons « contexte de preuve » est souvent négligé. Il peut être, cependant, d'une grande importance afin de réduire la complexité de la preuve. Dans notre contribution, nous cherchons à proposer à l’utilisateur une aide pour la formalisation de ce contexte en lien avec la formalisation des propriétés. Dans ce but, nous proposons et expérimentons un langage (DSL), nommée CDL (Context Description Language), pour la description des acteurs de l’environnement, basée sur des diagrammes d’activités et de séquence et des patrons de définition des propriétés à vérifier. Les propriétés sont modélisées et reliées à des régions d’exécution spécifiques du contexte. Nous illustrons notre contribution sur un exemple et décrivons des résultats sur plusieurs applications industrielles embarquées

Observatoires du développement, observatoires pour le développement

L'ouvrage porte sur l'analyse des problèmes conceptuels (théoriques ou méthodologiques) et politiques posés par la création et le fonctionnement d'observatoires du développement dans les pays du Sud. Il s'agit d'abord d'identifier les diverses fonctions des retours sur le terrain ; puis de distinguer différents types d'observatoires, par exemple ceux qui "mesurent tout ce qui bouge", ceux qui reposent sur l'application de modèles quasi expérimentaux, et ceux qui visent à définir des seuils d'une action collective. Il s'agit également de déterminer le nombre, la durée et la fréquence des observations requises, comme l'intervalle optimal entre chacune d'entre elles pour arbitrer entre les conclusions obtenues dans ce domaine et la diversité des questions à explorer. Enfin, l'ouvrage rappelle que dans la mesure où un observatoire du développement est avant tout un observatoire pour le développement, ce dernier demande non seulement une association étroite entre chercheurs du Nord et du Sud, mais également une prise en compte des réactions des acteurs locaux. (Résumé d'auteur

La pensée omnidimensionelle. Modèles d'analyse quantique de l'Idéologie générale et des idéologies restreintes

La présente thèse se veut d'abord l'ébauche d'une nouvelle base sur laquelle fonder une théorie de l'Idéologie qui soit efficace à la fois pour la description et la prédiction scientifique des phénomènes sociaux qui relèvent des orientations idéologiques au sein des sociétés. Par là, on cherche à unifier les diverses approches antérieures sur le sujet, de façon à ce qu'elles se complètent plutôt que de s'opposer les unes aux autres. Inspirée à l'origine par l'initiative de Louis Althusser, on s'en est cependant quelque peu détaché en utilisant et en adaptant des concepts appartenant à la physique contemporaine, conjugués à une métaphysique d'allégeance matérialiste dérivée des écrits de Schopenhauer sur la "Volonté". Celle-ci est prise comme moteur de l'identité plus ou moins consciente que prennent les différentes formes locales et ponctuelles de la matière universelle. Cette identité étant particulièrement "active" chez l'être humain, on prend sa forme humaine comme une exagération de l'instinct animal ou de l'inertie observable chez les choses. \ud \ud Suit alors une réflexion sur les différentes façons avec lesquelles peut se concrétiser un "apaisement" de la volonté (dans un "bonheur" correspondant à l'état de repos inertiel de la matière) d'entités humaines à travers les représentations arbitraires qui les font interagir entre-elles avec un égoïsme inconscient, justifié politiquement par une prétention de connaissance plus juste de la "Volonté" universelle. Ayant pour prémisse que toutes les volontés relatives sont incluses dans cette insaisissable "Volonté" universelle, on se lance alors dans une étude des relations politiques entre lesdites entités.\ud \ud La problématique centrale étant celle du positionnement relatif des multiples conceptions possibles du monde dans lequel l'être humain évolue, on s'est en premier lieu concentré sur l'élaboration d'une grille d'analyse tridimensionnelle dont les paramètres pouvaient servir à la classification desdites conceptions du monde. Établie en tenant compte de principes de Relativité (inspirés de Albert Einstein), cette grille est volontairement voulue malléable lorsqu'il s'agit d'y évaluer les relations entre entités idéologiques restreintes. Par la suite, on tente de découvrir un principe de généralisation par lequel on pourrait étendre notre analyse au champ Idéologique global. Cette tentative est cependant elle-même relativisée rapidement puisqu'on y admet que son efficacité sine qua non devrait provenir d'une conscience transcendante interdite par sa propre logique.\ud \ud Les conclusions qu'on tire de cette démarche sont un peu paradoxales puisqu'on affirme, en s'appuyant sur un principe d'incertitude adapté de la théorie quantique, que tout système idéologique peut être utilisé efficacement pour prédire les orientations sociales d'un groupe qui l'utilise volontairement. Cependant, un tel système ira totalement à l'encontre de l'objectif de maximisation générale du "bonheur" par lequel on parvient à l'imposer aux entités relatives constituant le groupe social en question. En même temps, on prétend qu'un tel système idéologique peut effectivement donner une description juste du type de bonheur recherché par tous les membres d'un groupe. Dans un tel cas, ledit système sera par contre inutile pour la prédiction des orientations sociales prises par ce groupe. \ud \ud On suggère alors que, pour maximiser réellement le potentiel "bonheur" amené par un système social, une position anarcho-nihiliste anti-historiciste est nécessaire. Loin d'être la promotion du chaos, cette position est simplement annoncée comme une dialectique négative cherchant à éviter des situations définies, à l'inverse des traditionnelles dialectiques positives basées sur la promotion téléologique

L'actualisation du catholicisme québécois : la revue "Maintenant" (1962-1974)

Le présent mémoire s'est fixé pour objectif d'approfondir les connaissances dont nous disposons déjà sur la revue catholique d'opinion Maintenant (1962 -1974). Il présente le double aspect d'une histoire de cette revue intellectuelle et d'une analyse de ses idées politiques et de celles portant sur l'inscription institutionnelle du christianisme. Aussi, certains aspects de sa pensée (morale sexuelle, ecclésiologie) ne sont pas abordés. En ce qui a trait à l'histoire de la revue, nous avons considéré entre autres les structures organisationnelles et le statut de Maintenant. Pour nous aider dans ce travail, nous avons mené une entrevue auprès d’Hélène Pelletier-Baillargeon qui a fait partie de l'équipe de la revue depuis ses débuts. Quant aux idées politico-institutionnelles de la publication, nous avons procédé à une analyse de contenu thématique qualitative. Notre travail a voulu par ailleurs vérifier si, dans l'interprétation qu'elle a donnée du christianisme sur le plan politique et au chapitre des relations entre l'Église catholique et la société, Maintenant a entrepris un travail d'actualisation de la tradition chrétienne québécoise, entre le repli passéiste et l'assimilation, dans un contexte, celui des années 1960 et 1970, où un processus de sécularisation et de modernisation transforme la société québécoise. Les résultats auxquels aboutit la recherche confirment cette hypothèse. L'analyse de la vie interne de la revue nous a permis d'établir que la revue a bénéficié d'une grande liberté qui lui a donné la possibilité d'être audacieuse sur le plan des idées. Au chapitre des rapports entre l'Église et la société, Maintenant a rejeté à la fois l'idée de chrétienté, empreinte de cléricalisme, et l'assimilation pure et simple du chrétien à la société séculière. Le chrétien s'y intègre, mais il doit pouvoir exprimer sa foi au sein d'institutions neutres (et non plus confessionnelles). Finalement, la revue a présenté des attitudes et des idées politiques qui, tout en innovant par rapport au passé catholique, ne répudient pas l’essence et la logique même de la tradition chrétienne. Ainsi, même si l'équipe de la revue se rallie à la gauche indépendantiste, bien des thèmes de la pensée sociale chrétienne colorent ses positions. Au total, donc, Maintenant a bel et bien entrepris d'actualiser la tradition catholique québécoise, renvoyant dos à dos le refus de l'adaptation et l'assimilation dissolvante.\ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : Catholicisme, Maintenant, gauche chrétienne, sécularisation, Révolution tranquille

Accueil et intégration sécuritaire et compétente en emploi des élèves inscrits à la formation menant à un métier semi-spécialisé du parcours de formation axée sur l'emploi

Les travailleurs de moins de 24 ans sont plus à risque de se blesser au travail que ceux plus âgés. Bien que le taux de lésions professionnelles chez les jeunes diminue depuis 2000, certains demeurent susceptibles de se blesser au travail, tels les plus jeunes qui ne sont plus aux études et qui occupent un emploi à temps plein (15-19 ans), ainsi que ceux qui éprouvent des difficultés d'apprentissage objectivées. En marge de ces constats, le ministère de l'Éducation, du Loisir et du Sport (MELS) québécois a mis en œuvre, en 2007-2008, la Formation menant à l'exercice d'un métier semi-spécialisé (FMS). Dans ce programme travail-études s'adressant aux jeunes de 15 à 18 ans, les élèves sont appelés à apprendre des métiers pouvant comporter des facteurs de risque de lésions professionnelles. Ce doctorat a été réalisé dans le cadre d'une recherche-action visant l'expérimentation d'interventions novatrices en adaptation scolaire financée par le MELS visant à produire des connaissances sur l'accueil et l'intégration sécuritaire et compétente en milieu de travail des élèves inscrits à la FMS et de faire des propositions pour intégrer la prévention en santé et sécurité du travail (SST) au programme. Cette thèse vise à développer des connaissances scientifiques sur les démarches d'accueil et d'intégration sécuritaire et compétente d'élèves inscrits à la FMS lors de leur stage en entreprise. L'analyse ergonomique de l'activité de travail est l'approche méthodologique préconisée. Cette méthodologie comporte plusieurs caractéristiques similaires à l'analyse de cas multiples et utilise la triangulation des données. Afin de mieux comprendre les liens entre des contextes de travail variés, l'activité effective de travail et des conséquences diverses sur la santé ou la productivité (Guérin et al., 2006), le cadre théorique utilisé est le modèle de la situation de travail centré sur la personne en activité (St-Vincent et al., 2011). Le premier article présente le cadre prescrit d'apprentissage des métiers semi-spécialisés. Les résultats sont tirés d'une analyse de contenu du répertoire des métiers semi-spécialisés offerts à la FMS. Les exigences associées à chaque métier (tâches, compétences et critères de performance attendues) ont été dénombrées et classifiées. Ces métiers exigent des tâches et compétences variées, sans doute plus complexes que ce que l'on pourrait imaginer. Plusieurs risques liés à la SST peuvent être anticipés à la lecture des exigences (manutention, contact avec des produits toxiques, risques liés au contact avec de la clientèle, etc.). Le second article présente l'écart entre les prescriptions liées à la supervision des stages et différentes expériences réelles de supervision vécues par les élèves en stage. Ainsi, alors que le programme demande aux milieux de stage de désigner un seul superviseur qui s'occupera de tous les aspects de l'intégration du jeune, la réalité vécue en stage est beaucoup plus éclatée. Les élèves bénéficient d'une supervision et d'un parrainage pour apprendre le métier de la part de nombreux acteurs informellement affectés à ce rôle. La formation sur le tas demeure de loin le mode de formation le plus répandu pour les élèves de la FMS. Le troisième article vise à décrire les interactions entre neuf élèves stagiaires et les différentes personnes qu'ils côtoient dans leur milieu de stage respectif. Cet article a révélé que les interactions portant sur le travail et impliquant les élèves stagiaires de la FMS peuvent porter sur la supervision, l'entraide ou la collaboration ainsi que sur la transmission de divers types de savoirs utiles pour faire l'apprentissage du métier. Une définition de « l'accueil et l'intégration sécuritaire et compétente » est proposée. De même, une adaptation du modèle de la situation de travail centré sur la personne en activité est développée ; cette adaptation propose de favoriser un cadre de travail qui permet un équilibre entre les sources de contraintes et les ressources pour favoriser l'apprentissage et la formation. Enfin, une réflexion sur le collectif de travail comme ressource à l'accueil et l'intégration sécuritaire et compétente est proposée. En conclusion de la thèse, le lecteur trouvera une description des apports du projet, soit ses retombées sociales et scientifiques, les limites et les portées ainsi que les perspectives de développement futur pour les groupes concernés et pour la recherche scientifique.\ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : jeunes travailleurs, santé-sécurité du travail, ergonomie, intégration professionnelle, conditions d'apprentissag

Ménages et familles en Afrique : approches des dynamiques contemporaines

Lieu universel de la reproduction démographique et instance de première d'intégration des individus à la vie sociale, la famille est au coeur des changements qui affectent l'ensemble des sociétés. En Afrique sub-saharienne, elle se trouve confrontée à des contraintes croissantes, souvent contradictoires, où se mêlent les règles des divers systèmes de parenté, les législations modernes encore imprécises et peu adaptées aux différents contextes culturels, et les effets de plus en plus sévères de la crise économique et des politiques d'ajustement. Durement affectées par ces forces multiples, les familles africaines sont aussi des acteurs du changement par leur capacité à innover et interpréter les normes en vigueur. Dépassant les apologies de la "grande et solidaire famille africaine" et les approches théoriques, si souvent contredites par les faits, cet ouvrage, articulé en quatre parties et dix sept chapitres propose une réflexion critique au sein de quelques disciplines (démographie, ethnologie, économie, histoire) et une lecture pluridisciplinaire de la diversité des évolutions et des dynamiques familiales. L'évolution des ménages et groupes domestiques, la différenciation des cycles de vie familiaux et des statuts individuels (concernant les femmes chefs de ménage et les enfants confiés, notamment), la multiplicité des arrangements et modes de vie résidentiels, la transformation des pratiques de solidarité sous l'effet de la crise et du sida, l'impact des législations et l'urbanisation sont autant de thèmes abordés ici pour mieux comprendre la complexité et la dynamique contemporaine des familles africaines. (Résumé d'auteur

L'urbanisme en campagne : pratiques de planification des sols et d'aide à la décision dans des communes rurales françaises

Dans les petites communes rurales françaises, les modalités d'élaboration des règles locales d'urbanisme se distinguent des territoires urbains par l'absence d'ingénierie propre, la prégnance de l'interconnaissance entre élus municipaux et usagers de l'espace et la forte disponibilité physique potentielle de la ressource foncière. Le processus de normalisation du droit des sols qui caractérise les campagnes interroge ainsi les effets de la proximité sociale entre décideurs et publics-cibles, de la bureaucratie administrative restreinte et des pratiques d'arrangements entre acteurs territoriaux. En s'appuyant sur ce contexte politico-administratif particulier, cette thèse interprète les pratiques d'élaboration des plans locaux d'urbanisme (PLU) sous l'angle des injonctions à la mise en œuvre d'une planification durable de l'espace et de la transformation du cadre organisationnel de l’action publique territoriale. Depuis quelques années, le législateur renforce l'étendue des champs sociaux régulés par les documents locaux d'urbanisme et tend à faire de la préservation de l'environnement l'enjeu majeur de ces dispositifs. Mais cette dynamique « d'écologisation » des objectifs de l'action publique se déploie dans un contexte marqué par la remise en cause du modèle de co-administration des territoires entre les agents des services déconcentrés de l'État et les élus locaux. La vacance technique engendrée par ce recentrage de l'action des Directions départementales des Territoires n'est que partiellement compensée par l'intercommunalité rurale, les acteurs intermédiaires (chambre d'agriculture, parc naturel régional) ou le recours à une maîtrise d'œuvre privée. Cette recherche pose l'hypothèse de la diffusion d'un processus de « régulation locale » de la planification spatiale centrée sur le maire rural dont les mécanismes institutionnels questionnent la possibilité de produire localement une norme opérationnelle d'urbanisme rural durable. Pour investiguer cette assertion, nous nous appuyons sur une démarche de recherche-action organisée autour d'un outil d'aide à la décision baptisé « Système Intégré Urbanisme » (SIU). Celui-ci est développé dans le cadre de la révision de la charte du Parc naturel régional des Ballons des Vosges et expérimenté avec les élus de trois communes élaborant leur plan local d'urbanisme. Ce dispositif de recherche permet d'analyser en situation les caractéristiques du système de gouvernance des petites communes rurales, et notamment les effets de la proximité sociale sur le contenu de la norme locale de planification spatiale. Fondés sur des études de cas, les résultats présentés permettent une montée en généralité, mais doivent être nuancés afin de s'adapter à la diversité des mondes ruraux. À partir de ces matériaux empiriques, la thèse interroge en particulier trois aspects des tensions entre les enjeux globaux d'un urbanisme durable et une gestion locale du dispositif d'action publique. D'une part, la dynamique de « régulation locale » réorganise autour du maire rural l'équilibre des pouvoirs entre les acteurs institutionnels associés à l'élaboration du PLU. Elle reconfigure ainsi le référentiel cognitif de l'action publique locale en redessinant les contours du processus d'hybridation entre les connaissances des techniciens de l'action publique et les savoirs territoriaux des élus locaux. D'autre part, ce recodage des connaissances donne aux élus municipaux une plus grande marge d'action dans la définition des priorités locales. Ce faisant, il déplace les modalités habituelles de légitimation de la décision publique et renforce le poids des contraintes issues de leur proximité sociale avec les usagers de l'espace. Le maire rural se retrouve isolé à devoir arbitrer entre les injonctions croissantes à la réduction de la consommation des ressources naturelles, formulées par les techniciens de l'action publique, et les doléances locales de ses concitoyens à la pérennisation des droits à construire octroyés par les anciens plans d'occupation des sols. Cette situation questionne ainsi la capacité du processus de « régulation locale » à favoriser la production de normes locales d'urbanisme rural durable. Enfin, le recours aux outils techniques de l'action publique, et notamment aux instruments d'évaluation de la durabilité, apparaît comme une alternative à la réduction de la présence territoriale des agents publics. Mais nous montrons que par la nature transactionnelle des connaissances mobilisées, l'efficacité de cette médiation par les outils renforce, la plupart du temps, la nécessité d'une présence territoriale des institutions auprès des élus locaux. \ud ______________________________________________________________________________ \ud MOTS-CLÉS DE L’AUTEUR : Urbanisme rural durable, plan local d'urbanisme, communes rurales françaises, régulation locale, négociation, système technique d'aide à la décision, circulation des connaissances, pratiques territoriales, parc naturel régional

La participation des acteurs sociaux à l'évaluation et au suivi des impacts environnementaux et sociaux : le cas du complexe industriel d'Alcan à Alma

Au cours des trois dernières décennies, nous assistons à la multiplication des dispositifs institutionnels de participation. La gestion participative et le partenariat font maintenant partie du discours et des pratiques des administrations publiques et des organismes privés. Toutefois, la reconnaissance de l'importance de la participation citoyenne et l'émergence de nouvelles pratiques participatives axées sur la collaboration multipartite ne nous permettent pas de faire l'économie d'une analyse de son efficacité. La présente étude analyse dans quelle mesure la participation des acteurs sociaux à l'évaluation et au suivi des impacts sociaux et environnementaux contribue à l'identification et à la prise en compte des conséquences sociales et environnementales du projet, favorise un dialogue entre les acteurs sociaux, favorise un arbitrage plus équitable des intérêts coprésents et contribue à une meilleure répartition du pouvoir entre les acteurs sociaux dans le sens d'une maîtrise sociale du changement à l'échelle locale. Elle vise également à identifier les obstacles à la réalisation des résultats attendus de la participation énumérés ci-avant. Notre réflexion sur l'efficacité de la participation se situe dans le contexte de l'application du concept de développement local viable (DLV) et de notions qui y sont apparentées, l?empowerment et le capital social. Nous faisions l'hypothèse que l'évaluation d'impacts sur l'environnement (ÉIE) et les dispositifs participatifs afférents induisent des processus d'empowerment et la construction de capital social à l'échelle des communautés locales. Afin de vérifier empiriquement cette hypothèse nous avons réalisé une étude longitudinale de quatre ans sur un projet industriel dont la réalisation était assujettie à l'application de la procédure québécoise d'évaluation et d'examen des impacts sur l'environnement (PÉEIE). Quatre dispositifs participatifs ont été analysés : la préconsultation du promoteur, l'enquête et l'audience publiques du Bureau d'audiences publiques sur l'environnement (BAPE) et les travaux de deux comités de suivi. Malgré l'ampleur des moyens déployés, le bilan est plutôt mitigé. La participation a eu peu d'effet sur l?empowerment et la construction d'un capital social à l'échelle locale. Deux catégories de raisons expliquent cette situation : les lacunes des dispositifs participatifs et la conduite des acteurs. En outre, le cas à l'étude démontre que la participation a eu plutôt pour effet de réaffirmer le contrôle et le pouvoir exercés par les acteurs dominants. De plus, les dispositifs participatifs ont contribué à l'application de normes sociales favorisant l'autocensure et la construction d'un consensus cherchant à assurer la réalisation du projet, perçu comme essentiel à la survie de la communauté