Le véhicule autonome est un véhicule qui se conduira, à terme, sans aucune intervention du conducteur, quelle que soit la situation de conduite. Ce véhicule comprend une nouvelle fonction, nommée fonction AD, pour Autonomous Driving, en charge de la conduite autonome. Cette fonction peut se trouver dans des états différents (Active, Disponible par exemple) selon l'évolution des conditions environnementales. Le changement de ses états est géré par une fonction de Supervision, nommée Supervision AD. Le principal objet de ces travaux consiste à garantir que la fonction AD se trouve constamment dans un état sûr. Ceci revient à s'assurer que la Supervision AD respecte l'ensemble des exigences fonctionnelles et de sûreté qui spécifient son comportement. Ces deux types d'exigences sont émis par deux métiers distincts : l'Architecte Métier Système (AMS) et le pilote Sûreté de Fonctionnement (SdF). Ces deux disciplines d'ingénierie, bien qu'elles contribuent à la conception d'une même fonction, se distinguent en de nombreux points : objectifs, contraintes, planning, outils... Dans notre cas d'étude, ces différences s'illustrent par les exigences considérées : les exigences fonctionnelles sont allouées à la fonction AD globale, tandis que les exigences de sûreté spécifient le comportement de sous-fonctions locales redondantes assurant une continuité de service en cas de défaillance. La mise en cohérence de ces deux perspectives métier au plus tôt dans le cycle de conception et dans un contexte industriel, est la problématique centrale traitée. Les enjeux de SdF soulevés par le véhicule autonome rendent ce problème primordial pour les constructeurs automobiles. Afin de répondre à ces préoccupations, nous avons proposé une démarche outillée et collaborative de conception sûre de la Supervision AD. Cette démarche est intégrée dans les processus normatifs en vigueur (normes ISO 15288 et ISO 26262) ainsi que dans les processus de conception internes chez Renault. Elle est fondée sur la vérification formelle par model checking, la composition parallèle d'automates finis et l'expertise métier. Cette démarche prône l'utilisation d'un même formalisme (l'automate à états finis) par les deux métiers pour mener à bien des activités partageant un objectif de modélisation commun : la vérification d'exigences de comportement en phase amont de conception. Une méthode pour traduire les exigences en propriétés formelles et construire les modèles d'état a été déployée. Il en résulte une consolidation progressive des exigences traitées, initialement rédigées en langage naturel. Les potentielles ambigüités, incohérences et incomplétudes sont exhibées et traitées. / The Autonomous Vehicle is meant to drive itself, without any driver intervention, whatever the driving situation. This vehicle includes a new function, called AD, for Autonomous Driving, function. This function can be in different states (Available, Active for example) according to environmental conditions evolution. This states change is managed by a supervision function, named AD Supervision. The main goal of my works consists in guaranteeing that AD function remains always in a safe state. In other words, the AD Supervision must always respect all the functional and safety requirements that specify its behavior. These two requirements types are produced by two different professions: the System Architect (SA) and the Safety Engineer (SE). These two fields contribute to the design of the same function but distinguish at several aspects: objectives, constraints, planning, tools… In our case study, these differences are illustrated by considered requirements: the functional requirements are allocated to global AD function, while the safety requirements specify the behavior of local redundant sub-functions ensuring a continuous service in case of failure. The consistency of the two perspectives as early as possible in the design phase and in an industrial context, is the central problematic addressed. The safety issues due to Autonomous Vehicle make this topic essential for the automotive manufacturers. To meet these concerns, we proposed a tooled and collaborative approach for safe design of AD Supervision. This approach is integrated in the normative processes (standards ISO 26262 and ISO 15288) as well as in the internal design processes at Renault. It is based on formal verification by model checking, parallel composition of finite sate automata and technical expertise. This approach advocates the utilization of a same formalism (state automata) by the two professions to perform activities sharing a common goal: behavior requirements verification in preliminary design phase. A method to translate requirements into formal properties and to build state models has been deployed. The result is a progressive consolidation of treated requirements, initially expressed in free natural language. The potential ambiguities, inconsistencies and incompleteness are exhibited and treated. Two main contributions are in this way illustrated: highlighting of several formal credible (i.e. validated by expertise) specifications from informal requirements; and precise definition of technical expertise role (milestones, planning). However, this reinforcement – in silos – of the two profession viewpoints does not guarantee that they are mutually consistent. Thus, we proposed a convergence method, relying on expertise and on parallel composition of state automata, for the comparison of local and global views.

No description available.

La qualité des interactions mère–enfant est un excellent prédicteur du fonctionnement socio-émotionnel de l’enfant. Cependant, relativement peu est connu de l’évolution de cette qualité relationnelle dans le temps et encore moins de l’influence de cette évolution sur le développement de l’enfant. De plus, les études ont rarement considéré les interactions mère–enfant sous un angle véritablement dyadique, incluant les contributions de la mère et de l’enfant. À l’aide d’analyses multiniveaux, cette étude vise à décrire la trajectoire développementale de la qualité des interactions dyadiques mère–enfant lorsque l’enfant est âgé de 2 à 7 ans et à investiguer les associations entre cette trajectoire et le fonctionnement socio-émotionnel de l’enfant à 8 ans. La qualité des interactions de 233 dyades mère–enfant a été évaluée à l’aide de séquences de jeu de 10 minutes, filmées lorsque l’enfant était âgé de 2, 4 et 7 ans. À 8 ans, le fonctionnement socio-émotionnel de l’enfant a été rapporté par un sous-échantillon de 171 enseignants. Les analyses révèlent que la pente de la trajectoire des interactions mère–enfant est légèrement mais significativement négative entre 2 et 7 ans. Les enfants dont la qualité des interactions avec leur mère décline de façon moins prononcée entre 2 et 7 ans montrent moins de problèmes intériorisés à 8 ans, indépendamment de la qualité initiale des interactions à 2 ans. Les enfants qui ont une meilleure qualité d’interactions initiale avec leur mère à 2 ans montrent moins de problèmes extériorisés et plus de comportements prosociaux à 8 ans, indépendamment du déclin subséquent de la qualité relationnelle. Les résultats suggèrent que les niveaux initiaux et l’évolution subséquente sont deux aspects distincts de la qualité relationnelle mère–enfant pouvant avoir des incidences indépendantes sur le développement socio-émotionnel de l’enfant. / Research shows that the quality of mother–child interactions is a reliable predictor of child subsequent socio-affective functioning. Yet, relatively little is known about the evolution of this relational quality over time, and even less about how changes in relational quality may influence the course of child development. Therefore, this study aimed to describe the trajectory of quality of mother–child interactions between ages 2 and 7 and investigate the associations between this trajectory and child socio-affective functioning at age 8. The quality of interactions of 233 mother–child dyads was assessed during 10-minute sequences of structured play when children were aged 2, 4, and 7 years. Child socio-affective functioning was reported by a subsample of 171 teachers when children were aged 8. The results showed that the average slope describing the trajectory of quality of mother–child interactions was slightly yet significatively negative. Children who experienced a slower decrease in the quality of interactions with their mother from 2 to 7 years showed less internalizing behavior problems in second grade according to their teacher, over and above the initial quality of mother–child interactions. In addition, children who benefited from higher-quality interactions with their mother at 2 years showed more prosocial behaviors and less externalizing behavior problems in second grade according to their teacher, above and beyond the decrease in the quality of those interactions over time. The findings suggest that although normative developmental changes may lead to slight average decreases in the quality of interactions of mother–child dyads between toddlerhood and early school age, children who benefit from higher-quality interactions with their mother in toddlerhood as well as across toddlerhood and early school age are better adjusted socioemotionally in middle childhood.

Depuis l'introduction au début des années 2000 du standard ARINC 661 (définissant les interfaces graphiques dans les cockpits), les avions modernes, tels que l'A380, l'A350 ou le B787, intègrent des systèmes interactifs permettant à l'équipage d'interagir avec des applications interactives. Ces applications sont affichées sur des écrans à travers l'utilisation d'un dispositif similaire à un clavier et une souris. Pour des raisons d'exigences de sûreté de fonctionnement, l'utilisation de ces systèmes est limitée, à l'heure actuelle, à la commande et au contrôle de fonctions avioniques non critiques. Cependant, l'utilisation de ces systèmes dans les cockpits d'avions civils apporte de nombreux avantages (tels qu'une amélioration de l'évolutivité du cockpit) qui amènent les industriels à chercher comment l'étendre à la commande et le contrôle de systèmes avioniques critiques. Dans cette optique, nous proposons une approche duale et homogène de prévention et de tolérance aux fautes pour concevoir et développer des systèmes interactifs tolérants aux fautes. Celle-ci repose, dans un premier temps, sur une approche à base de modèles permettant de décrire de manière complète et non ambiguë les composants logiciels des systèmes interactifs et de prévenir les fautes logicielles de développement. Dans un second temps, elle repose sur une approche de tolérance aux fautes naturelles et certaines fautes logicielles résiduelles en opération, grâce à la mise en œuvre d'une solution architecturale fondée sur le principe des composants autotestables. Les contributions de la thèse sont illustrées sur une étude de cas de taille industrielle : une application interactive inspirée du système de commande et contrôle de l'autopilote de l'A380. / Since the introduction of the ARINC 661 standard (that defines graphical interfaces in the cockpits) in the early 2000, modern aircrafts such as the A380, the A350 or the B787 possess interactive systems. The crew interacts, through physical devices similar to keyboard and mouse, with interactive applications displayed on screens. For dependability reasons, only non-critical avionics systems are managed using such interactive systems. However, their use brings several advantages (such as a better upgradability), leading aircraft manufacturers to generalize the use of such interactive systems to the management of critical avionics functions. To reach this goal, we propose a dual and homogeneous fault prevention and fault tolerance approach. Firstly, we propose a model-based approach to describe in a complete and unambiguous way interactive software components to prevent as much as possible development software faults. Secondly, we propose a fault tolerant approach to deal with operational natural faults and some residual software faults. This is achieved through the implementation of a fault tolerant architecture based on the principle of self-checking components. Our approach is illustrated on a real size case study: an interactive application based on the command and control system of the A380 autopilot.

Une démarche globale pour l'estimation et l'élaboration de la fiabilité de systèmes mécaniques aux différentes étapes de leur processus de conception est proposée. Elle repose sur une approche multidisciplinaire exploitant une représentation système, physique et probabiliste des scénarios de défaillance. Combinant leurs interprétations système sans physique et physique sans système, elle assure la construction de modèles de fiabilité à la fois physiques et systèmes. Plusieurs stratégies d'évaluation sont alors déployées. Utilisant les outils du couplage mécano-fiabiliste (e.g. chaos polynomial, FORM/SORM), elles fournissent des mesures de fiabilité traditionnelles et permettent également la définition de chaînes de mesures d'importance originales. Celles-ci détaillent le poids et l'influence de chaque scénario et de chacun de leurs paramètres sur la réalisation des défaillances. L'optimisation de la conception est alors en partie assurée par l'analyse de fiabilité elle-même

De nos jours, l’idée selon laquelle bon nombre d’individus atteints de psychose peuvent se rétablir sensiblement au fil du temps est de plus en plus répandue. Alors que le milieu médical associe le rétablissement à la rémission symptomatique, les usagers de services en santé mentale le voient plutôt comme un processus où l’absence de symptômes n’est pas une condition sine qua non. Ne s’opposant à ni l’un ni l’autre de ces points de vue, le traitement actuel des psychoses vise le retour à un fonctionnement social approprié. Chez les jeunes atteints d’un premier épisode psychotique, une diminution marquée des symptômes après un traitement pharmacologique se traduit rarement en une amélioration significative du fonctionnement, ce qui justifie la mise en place d’interventions psychosociales. On connait aujourd’hui quelques variables associées au fonctionnement social chez cette population, mais celui-ci a peu été étudié de façon spécifique. De même, on connait mal la manière dont ces jeunes vivent leur rétablissement en tant que processus. Cette thèse porte donc sur le rétablissement et le fonctionnement social de jeunes en début de psychose. La première partie consiste en une introduction aux concepts de rétablissement et de réadaptation, et en une revue de la littérature des interventions psychosociales pouvant favoriser leurs rétablissement et fonctionnement. Plus spécifiquement, nous illustrons comment ces interventions peuvent s’appliquer aux adolescents, clientèle sur laquelle peu de littérature existe actuellement. La deuxième partie présente les résultats d’une étude sur la valeur prédictive de variables sur trois domaines du fonctionnement social de 88 jeunes adultes en début de psychose. Des équations de régression multiple ont révélé qu’un niveau plus élevé de dépression était associé à une vie sociale moins active, qu’un moins bon apprentissage verbal à court terme était associé à un plus bas fonctionnement vocationnel, que le fait d’être de sexe masculin était négativement associé aux habiletés de vie autonome, et qu’un niveau plus élevé de symptômes négatifs prédisait de moins bonnes performances dans les trois sphères du fonctionnement. Finalement, la troisième partie s’intéresse au processus de rétablissement en début de psychose par l’analyse de récits narratifs selon un modèle en cinq stades. Nous avons découvert que l’ensemble de notre échantillon de 47 participants se situaient dans les deux premiers stades de rétablissement lors du premier temps de mesure, et que le fait de se trouver au deuxième stade était associé à de meilleurs scores d’engagement social et de fonctionnement occupationnel, à un meilleur développement narratif, à moins de symptômes négatifs et positifs, et à plus d’années de scolarité. Par ailleurs, l’examen des stades à deux autres temps de mesure a révélé des profils relativement stables sur une période de neuf mois. En somme, les résultats démontrent la nécessité d’évaluer le fonctionnement social de façon plus spécifique et l’importance d’offrir des interventions psychosociales en début de psychose visant notamment le développement des relations et l’intégration scolaire/professionnelle, ou visant à améliorer le faible développement narratif. Cette thèse est, de plus, un premier pas dans l’étude du processus de rétablissement des jeunes atteints de psychose. / Currently, the idea that several individuals experiencing psychosis can show evidence of recovery over time is gaining in popularity. Although recovery is viewed as the disappearance of symptoms in the medical field, consumers of mental health services see it more as process in which the complete absence of symptoms is not a sine qua non. Nevertheless, the current treatment for psychosis is aimed at regaining a satisfactory level of social functioning. In individuals experiencing a first psychotic episode, a noticeable decrease in symptoms is rarely associated with a significant improvement in functioning. Therefore, psychosocial interventions are necessary to assist in recovery. The literature has identified a number of variables associated with social functioning in this population, but to date, there are no studies investigating this aspect in details. Furthermore, very little is known about how these youth experience the process of recovery. This thesis dissertation will therefore address recovery and social functioning in young people experiencing a first episode of psychosis. A first section will serve as an introduction to the concepts of recovery and rehabilitation and a review of the literature on psychosocial interventions promoting recovery and functioning. Specifically, we will illustrate how these interventions can apply to adolescents, a population for which very few studies have been published. A second section will present the results of a study on the predictive value of variables on three domains of social functioning in 88 young adults in early psychosis. Multiple regression analyses showed that a more severe depression was associated with a less active social life; that a poorer short term verbal learning ability was associated with poorer vocational functioning; and that men showed poorer independent living skills. Furthermore, more severe negative symptoms were associated with poorer performances in all three spheres of social functioning. Finally, the third section will address the recovery process in early psychosis through the analysis of narratives using a five stage recovery model. We determined that overall, our sample of 47 individuals were classified within the first two stages of recovery at baseline and that those classified in the second stage showed better social engagement and vocational functioning scores, a better narrative development, less severe positive and negative symptoms, and had attained a higher educational level. Furthermore, the analysis of the stages of recovery across two others time points show that these profiles are relatively stable over a 9 month period. In conclusion, these results show that it is necessary to evaluate social functioning in a more detailed manner, and reaffirms the importance of making psychosocial interventions available to service users experiencing early psychosis. It highlights, in particular, the need for services aimed towards the development of social relationships and educational/vocational integration, or interventions addressing deficits in narrative development. Moreover, this thesis dissertation is a first step towards the study of the recovery process of young adults experiencing psychosis.

L'intégration de diverses technologies, notamment celles de l'informatique et l'électronique, fait que les systèmes conçus de nos jours sont de plus en plus complexes. Ils ont des comportements plus élaborés et plus difficiles à prévoir, ont un nombre de constituants en interaction plus important et/ou réalisent des fonctions de plus haut niveau. Parallèlement à cette complexification des systèmes, la compétitivité du marché mondial impose aux développeurs de systèmes des contraintes de coût et de délais de plus en plus strictes. La même course s'opère concernant la qualité des systèmes, notamment lorsque ceuxci mettent en jeu un risque en vies humaines ou un risque financier important. Ainsi, les développeurs sont contraints d'adopter une approche de conception rigoureuse pour répondre aux exigences du système souhaité et satisfaire les diverses contraintes (coût, délais, qualité, sûreté de fonctionnement,...). Plusieurs démarches méthodologiques visant à guider la conception de système sont définies par l'intermédiaire de normes d'Ingénierie Système. Notre travail s'appuie sur la norme EIA-632, qui est largement employée, en particulier dans les domaines aéronautique et militaire. Il consiste à améliorer les processus d'ingénierie système décrits par l'EIA-632, afin d'intégrer une prise en compte globale et explicite de la sûreté de fonctionnement. En effet, jusqu'à présent la sûreté de fonctionnement était obtenue par la réutilisation de modèles génériques après avoir étudié et développé chaque fonction indépendamment. Il n'y avait donc pas de prise en compte spécifique des risques liés à l'intégration de plusieurs technologies. Pour cette raison, nous proposons de nous intéresser aux exigences de Sûreté de Fonctionnement au niveau global et le plus tôt possible dans la phase de développement, pour ensuite les décliner aux niveaux inférieurs, ceci en s'appuyant sur les processus de la norme EIA-632 que nous étoffons. Nous proposons également une méthode originale de déclinaison d'exigences de sûreté de fonctionnement à base d'arbres de défaillances et d'AMDEC, ainsi qu'un modèle d'information basé sur SysML pour appuyer notre approche. Un exemple issu du monde aéronautique permet d'illustrer nos propositions.

La sécurité des systèmes informatiques répartis est un problème de plus en plus important, en particulier avec l'utilisation massive du réseau Internet. Il est donc essentiel de pouvoir imaginer des techniques de protection efficaces de nos systèmes et de nos réseaux. Ces travaux proposent une contribution à la protection des systèmes informatiques vis-a-vis des malveillances, en abordant le problème sous deux angles : un angle architectural et un angle expérimental. L'angle architectural concerne la conception d'architectures de sécurité permettant de faire face aux menaces actuelles, en proposant plusieurs approches suivies dans la cadre de différentes thèses. L'angle expérimental se focalise sur des techniques permettant d'améliorer notre connaissance des attaquants et des processus d'attaques, en particulier, les processus qui utilisent le réseau Internet comme support.

Les écologistes reconnaissent depuis longtemps que les organismes sont soutenus par le flux, l’emmagasinage et le renouvellement d’énergie et de matériel de l’écosystème, puisqu’ils sont nécessaires au métabolisme biologique et à la construction de biomasse. L’importance des organismes dans la régularisation des processus écosystémiques est maintenant de plus en plus considérée. Situé au centre des chaînes trophiques aquatiques, le zooplancton influence les flux d’énergie et de matériel dans les écosystèmes. Plusieurs de leurs caractéristiques sont connues comme étant de bons indicateurs de leur effet sur l’environnement, notamment leur taille, contenu corporel et taux métabolique. La plupart de ces caractéristiques peuvent être appelées « traits fonctionnels ». Alors que l’emploi des traits devient de plus en plus populaire en écologie des communautés aquatiques, peu ont su utiliser cette approche afin de concrètement lier la structure des communautés zooplanctoniques aux processus écosystémiques. Dans cette étude, nous avons colligé les données provenant d’une grande variété de littérature afin de construire une base de données sur les traits du zooplancton crustacé contribuant directement ou indirectement aux flux de C, N et P dans les écosystèmes. Notre méta-analyse a permis d’assembler plus de 9000 observations sur 287 espèces et d’identifier par le fait même ce qu’il manque à nos connaissances. Nous avons examiné une série de corrélations croisées entre 16 traits, dont 35 étaient significatives, et avons exploré les relations entre les unités taxonomiques de même qu’entre les espèces marines et d’eaux douces. Notre synthèse a entre autres révélé des patrons significativement différents entre le zooplancton marin et dulcicole quant à leur taux de respiration et leur allométrie (masse vs. longueur corporelle). Nous proposons de plus une nouvelle classification de traits liant les fonctions des organismes à celles de l’écosystème. Notre but est d’offrir une base de données sur les traits du zooplancton, des outils afin de mieux lier les organismes aux processus écosystémiques et de stimuler la recherche de patrons généraux et de compromis entre les traits. / Ecologists have long recognized that organisms are sustained by the flux, storage and turnover of ecosystem energy, which fuels biological metabolism, and material, used to construct biomass. Over the past three decades, the importance of individual organisms in regulating ecosystem processes, such as consumer-driven nutrient cycling, has been increasingly recognized. Occupying a central position in aquatic food webs, zooplankton are known to influence other trophic levels and exert a strong influence on energy fluxes or material processing in ecosystems. Several species’ characteristics have been pointed out as being good indicators, or predictors, of the effect of zooplankton on their environment, including individual body size, corporal stoichiometry and specific physiological rates. Most of these characteristics can also be termed “functional traits”. While the use of traits has recently gained popularity amongst aquatic community ecologists, few have applied this approach to concretely link zooplankton community structure to ecosystem processes. In the present study, we compiled data from a wide variety of literature to construct a database of crustacean zooplankton species and their traits contributing directly or indirectly to C, N or P ecosystem fluxes. Our literature search yielded over 9000 empirical observations on 287 different species and thereby allowed identification of knowledge gaps in the literature. We explored trait relationships amongst taxonomic units and between marine and freshwater habitats. Of all cross-correlations tested among 16 zooplankton traits, 35 were significant, with most traits being related to body mass. Our synthesis revealed significantly different patterns between freshwater and marine zooplankton respiration and allometry (body mass vs. length). We propose a novel trait classification scheme according to both organismal and ecosystem functions. Our goal is to provide a database for zooplankton functional traits, tools to link organisms to ecosystem processes, and to promote a search for general patterns and trade-offs amongst traits.

Problèmes d'approvisionnement et de consommation d'énergie, de démographie et d’urbanisation, la conservation du patrimoine bâti se trouve, en ce début de 21e siècle, face à de nombreux défis. Cela d'autant plus que la façon de percevoir le patrimoine bâti a considérablement évolué depuis le début du 20e siècle (chapitre 1) changeant ainsi les raisons qui mènent à l'appropriation d'un bâtiment patrimonial. Face à l'importance accordée aujourd'hui à l'énergie en général et plus particulièrement à celle consommée par les bâtiments (chapitre 2), comment les enjeux liés à la conservation patrimoniale et ceux liés à l'énergie - via son utilisation et sa production - se confrontent-ils ? Si selon les principes du développement durable (chapitre 3) la conservation du patrimoine bâti associée à une gestion efficace de ses besoins énergétiques semble apparaître comme une évidence, qu’en est-il dans la pratique ? Comment les professionnels du patrimoine bâti intègrent-ils les aspects de l'énergie consommée par les bâtiments ? Comment envisagent-ils l'installation et l'utilisation d'énergies renouvelables dans les bâtiments patrimoniaux ? Afin de trouver des réponses issues de la réalité de la pratique patrimoniale québécoise, ce mémoire - en se limitant à des professionnels avec une formation d'architecte (chapitre 4) - cherche à évaluer, d'une part, dans quelle mesure les chartes et lois appliquées au Québec considèrent les questions énergétiques (chapitre 5) et, d'autre part, à définir l'état d'esprit avec lequel les professionnels de la conservation du patrimoine bâti au Québec approchent, dans leur pratique, les questions liées à l'énergie consommée ainsi que l'utilisation d'énergies renouvelables (chapitre 6). / At the beginning of the 21st century, conservation of heritage assets is facing many challenges in regard to problems related to supply and consumption of energy, to demography and to urbanization. Further, the perception of heritage assets has changed considerably the reasons leading to ownership of a heritage building (chapter 1). With the emphasis on energy today, particularly related to the energy consumed by buildings (chapter 2), how do the issues related to heritage conservation interface with energy use and production. If the principles of sustainable development (chapter 3) and conservation of heritage assets combined with effective management of energy needs seem obvious, how is that reflected in reality? How do the professionals of heritage assets integrate the elements of energy consumption in heritage buildings? How do they integrate renewable energy installations and their use in heritage buildings. To find some answers to the reality of maintaining Quebec heritage, this thesis is limited to professionals with training in architecture (chapter 4). It tries to assess to what extent the laws and regulations consider energy related issues (chapter 5) and tries to define the spirit by which the professionals in the conservation of heritage buildings approach questions related to energy consumption and the use of renewable energy (chapter 6).