L'adaptation en-ligne du logiciel de tolérance aux fautes permet de renforce la sûreté de fonctionnement du système et prenant en compte son environnement. L'adaptation nécessite de nouvelles techniques de conception. Ces travaux visent à comprendre et maîtriser l'impact des modifications du logiciel de tolérance aux fautes en opération sur les fonctionnalités du système, pour en maîtriser les effets de bords. L'approche proposée introduit une architecture réflexive à composants et une modélisation du logiciel. Un modèle structurel du logiciel permet de calculer et appliquer les modifications du contenu du logiciel. Un modèle comportemental décrit les observations attendues en fonctionnement. Il permet de déterminer les états permettant d'appliquer les modifications, d'amener et de maintenir le système dans ces états. Ces travaux montrent que, grâce aux capacités de manipulation et de contrôle en ligne du logiciel, la modification des mécanismes de tolérance aux fautes peut être réalisée en ligne de manière maîtrisée.

L'adaptation en-ligne du logiciel de tolérance aux fautes permet de renforce la sûreté de fonctionnement du système et prenant en compte son environnement. L’adaptation nécessite de nouvelles techniques de conception. Ces travaux visent à comprendre et maîtriser l'impact des modifications du logiciel de tolérance aux fautes en opération sur les fonctionnalités du système, pour en maîtriser les effets de bords. L’approche proposée introduit une architecture réflexive à composants et une modélisation du logiciel. Un modèle structurel du logiciel permet de calculer et appliquer les modifications du contenu du logiciel. Un modèle comportemental décrit les observations attendues en fonctionnement. Il permet de déterminer les états permettant d’appliquer les modifications, d’amener et de maintenir le système dans ces états. Ces travaux montrent que, grâce aux capacités de manipulation et de contrôle en ligne du logiciel, la modification des mécanismes de tolérance aux fautes peut être réalisée en ligne de manière maîtrisée. / On-line fault tolerance adaptation aims at enforcing system dependability by taking into account operational conditions and environment. Adapting the system requires new design techniques. This work aims at understanding and mastering the impact of such software modification in operation, especially regarding side effects on functionalities and dependability properties. Our approach relies on a reflective architecture based on components and models of the software that reflects on the one hand the content of the software in terms of state and algorithms (architectural model) and on the other hand the expected correct behaviour (behavioural model). The first one is used to determine the modifications and apply them at runtime, and the second one is used to drive the system in a state in which modifications can be done consistently, and maintain the system in such a state. We show that; thanks to manipulation capabilities and execution control, we can master the modification of fault tolerance software and ensure correctness properties.

Dans le contexte de la sûreté de fonctionnement des systèmes critiques, nous nous intéressons aux analyses par arbres de défaillance dynamiques (AdDD). Notre contribution est la définition d'un cadre algébrique permettant de déterminer la fonction de structure des AdDD et d'étendre les méthodes analytiques communément utilisées pour analyser les arbres statiques aux arbres dynamiques. Dans un premier temps, nous passons en revue les principales approches utilisées pour analyser les arbres de défaillance dynamiques, ainsi que leurs limites respectives. Le cadre algébrique permettant la modélisation des AdDD est ensuite présenté. Ce cadre algébrique est fondé sur un modèle temporel des événements et sur la définition de trois opérateurs temporels permettant de traduire la séquentialité d'apparition des événements. Ces opérateurs temporels permettent de définir algébriquement le comportement des portes dynamiques, et donc la fonction de structure des AdDD. Un modèle probabiliste de ces portes dynamiques est ensuite donné afin de pouvoir déterminer la probabilité de défaillance de l'événement sommet des arbres à partir de cette fonction de structure. Nous montrons enfin comment la fonction de structure des AdDD peut être ramenée à une forme canonique grâce à des théorèmes de réécriture, puis à une forme minimale grâce à la définition d'un critère de minimisation, et comment les AdDD peuvent être analysés de manière analytique et directe à partir de cette forme canonique minimale de la fonction de structure. Nous illustrons cette approche avec deux exemples d'AdDD issus de la littérature.

Le travail présenté dans cette thèse est centré sur l'étude du bruit hyperfréquence lorsque les composants et circuits actifs sont soumis à de forts signaux. Ceci peut être le cas des amplificateurs faible bruit utilisés dans les récepteurs large bande qui seront désensibilisés. Les mélangeurs et les oscillateurs sont aussi à considérer. La première partie de cette thèse est consacrée à la présentation d'un modèle comportemental permettant de prévoir notamment l'interaction entre un signal sinusoïdal et un bruit blanc. Le modèle théorique est confronté avec des mesures effectuées pour différentes conditions de fonctionnement et l'accord obtenu est satisfaisant. Plusieurs amplificateurs sont ainsi comparés et le modèle comportemental est utilisé pour étudier leur bruit propre. La seconde partie aborde les techniques de mesure développées au cours de nos travaux pour mesurer le facteur de bruit et les paramètres de bruit de dispositifs micro-ondes en présence d'un fort signal. Nous proposons ensuite une méthode originale permettant de déterminer les quatre paramètres de bruit de transistors et d'amplificateurs fonctionnant en régime non-linéaire. Les résultats obtenus sont comparés de manière indirecte avec des mesures de bruit de phase résiduel. La dernière partie concerne la conception d'amplificateurs faible bruit en régime de fonctionnement non-linéaire. Différents transistors bipolaires sur silicium ont ainsi été caractérisés et un facteur de mérite a été trouvé de manière à choisir le meilleur composant en terme de facteur de bruit et de linéarité. Finalement les résultats de simulation démontrent l'intérêt de concevoir des circuits faible bruit qui fonctionnent en régime fortement non-linéaire.

La scoliose idiopathique de l’adolescent (SIA) est le type de déformation musculosquelettique le plus fréquent dans la population pédiatrique, pour une prévalence d’environ 2,0%. Depuis l’arrêt des programmes scolaires de dépistage de la SIA dans les années 1980 au Canada, nous ne disposions d’aucune donnée sur l’utilisation des services de santé par les patients présentant une SIA suspectée. En l’absence de tels programmes, des changements dans les patrons d’utilisation des services spécialisés d’orthopédie pédiatrique sont anticipés. La thèse a donc pour but d’étudier la pertinence de la référence dans ces services des jeunes avec SIA suspectée. Elle est structurée autour de trois principaux objectifs. 1) Valider un instrument de mesure de la morbidité perçue (perception des symptômes) dans la clientèle d’orthopédie pédiatrique; 2) Étudier la relation entre la morbidité perçue par les profanes (le jeune et le parent) et la morbidité objectivée par les experts; 3) Caractériser les itinéraires de soins des patients avec SIA suspectée, de façon à en élaborer une taxonomie et à analyser les relations entre ceux-ci et la pertinence de la référence. En 2006-2007, une vaste enquête a été réalisée dans les cinq cliniques d’orthopédie pédiatrique du Sud-Ouest du Québec : 831 patients référés ont été recrutés. Ils furent classés selon des critères de pertinence de la référence (inappropriée, appropriée ou tardive) définis en fonction de l’amplitude de la courbe rachidienne et de la maturité squelettique à cette première visite. La morbidité perçue par les profanes a été opérationnalisée par la gravité, l’urgence, les douleurs, l’impact sur l’image de soi et la santé générale. L’ensemble des consultations médicales et paramédicales effectuées en amont de la consultation en orthopédie pédiatrique a été documenté par questionnaire auprès des familles. En s’appuyant sur le Modèle comportemental de l’utilisation des services d’Andersen, les facteurs (dits de facilitation et de capacité) individuels, relatifs aux professionnels et au système ont été considérés comme variables d’ajustement dans l’étude des relations entre la morbidité perçue ou les itinéraires de soins et la pertinence de la référence. Les principales conclusions de cette étude sont : i) Nous disposons d’instruments fidèles (alpha de Cronbach entre 0,79 et 0,86) et valides (validité de construit, concomitante et capacité discriminante) pour mesurer la perception de la morbidité dans la population adolescente francophone qui consulte en orthopédie pédiatrique; ii) Les profanes jouent un rôle important dans la suspicion de la scoliose (53% des cas) et leur perception de la morbidité est directement associée à la morbidité objectivée par les professionnels; iii) Le case-mix actuel en orthopédie est jugé non optimal en regard de la pertinence de la référence, les mécanismes actuels entraînant un nombre considérable de références inappropriées (38%) et tardives (18%) en soins spécialisés d’orthopédie pédiatrique; iv) Il existe une grande diversité de professionnels par qui sont vus les jeunes avec SIA suspectée ainsi qu’une variabilité des parcours de soins en amont de la consultation en orthopédie, et v) La continuité des soins manifestée dans les itinéraires, notamment via la source régulière de soins de l’enfant, est favorable à la diminution des références tardives (OR=0,32 [0,17-0,59]). Les retombées de cette thèse se veulent des contributions à l’avancement des connaissances et ouvrent sur des propositions d’initiatives de transfert des connaissances auprès des professionnels de la première ligne. De telles initiatives visent la sensibilisation à cette condition de santé et le soutien à la prise de décision de même qu’une meilleure coordination des demandes de consultation pour une référence appropriée et en temps opportun. / Adolescent Idiopathic Scoliosis (AIS) is the type of musculoskeletal deformity most frequently encountered in the pediatric population with a prevalence of approximately 2.0%. Since the Canadian school screening programs were discontinued in the 1980s, data detailing health service utilization or typical reference patterns for patients with suspected AIS are no longer available. Without such programs, changes in the utilization patterns of pediatric orthopedic specialized services are anticipated. The thesis therefore aims to study the appropriateness of referral of youths with suspected AIS. It comprises three main objectives: 1) To validate a measurement tool based on perceived morbidity (perception of the symptoms) in the orthopedic pediatric patient population, 2) To study the relationships between morbidity perceived by lay persons (the young patient and his parent), and the objective morbidity determined by medical professionals, 3) To characterize the healthcare service pathways of suspected AIS cases upstream of their first orthopedic consultation in order to define a taxonomy of the pathways and analyse their relationships with the appropriateness of referral. In 2006-2007, an extensive survey conducted in the five clinics serving southwest Quebec recruited 831 patients. They were categorized using criteria for the appropriateness of referral (inappropriate, appropriate or late) based on the amplitude of the main spinal curve and skeletal maturity at the first visit. Lay perceived morbidity was operationalized according to the seriousness, urgency, pain, self-image and general perceived health. Medical and paramedical visits upstream of the pediatric orthopedic consultation were documented with questionnaires to the families. Based on Andersen’s Health Behavior Model, the individual (facilitating and enabling), professional and systemic factors were considered as control variables in the study of associations between perceived morbidity or healthcare trajectories, and appropriateness of referral. The main conclusions of the thesis are: i) Reliable (Cronbach alpha between 0.79 and 0.86) and valid (construct, concurrent and discriminant validity) measurement tools are available to evaluate the perceived morbidity in the French-speaking adolescent population that consults in pediatric orthopedics, ii) Lay stakeholders play an important role in the suspicion of scoliosis (53% of cases) with their perceived morbidity directly related to the objective morbidity, and therefore associated to the appropriateness of referral, iii) The current orthopedic casemix is considered suboptimal with regards to the appropriateness of referral, and the actual mechanisms for reference are in fact responsible for a large number of inappropriate (38%) and late (18%) referrals to specialized pediatric orthopedic services, iv) Adolescents with suspected AIS consult with a wide range of health specialists resulting in a large variety of healthcare pathways upstream of the orthopedic consultation, and v) Continuity of healthcare services, mainly through a regular source of care for the child, is favourable to a reduction in late referrals (OR=0.32 [0.17-0.59]). This thesis is intended to contribute to the advancement of conceptual, empirical and applied knowledge leading to a series of knowledge translation initiatives targeting primary health care providers. Such initiatives have the potential to increase awareness of the condition, to support decision-making as well as to improve the coordination of consultation requests, thus promoting appropriateness and timeliness of referrals.

Cette thèse s’inscrit dans le domaine de la modélisation des circuits analogiques et mixtes.Le travail part d’une problématique industrielle concernant les circuits électroniques utilisés dansles systèmes de forage pétrolier pour des besoins d’instrumentation et mesures. Ce travail de recherche concerne les circuits du front-end analogique que nous trouvons dans cette application industrielle. Nous examinons et nous essayons de trouver des modèles pour décrire l’effet des hautes températures sur les circuits électroniques dans un forage pétrolier. Ces circuits font partie des circuits industriels conventionnels. Ils ont généralement une température maximale de fonctionnement qui ne dépasse pas 125°C. Même si la température modifie le comportement de ces circuits, il existe des techniques d’adaptation qui permettent de compenser l’effet de la température sur ces circuits. Cependant, pour bien réussir la phase de la conception, il faut d’abord bien caractériser le comportement des différents circuits industriels utilisés en haute température. Il faut également trouver des modèles exacts qui décrivent le comportement de ces circuits en haute température. Or nous savons que la majorité des circuits industriels analogiques et mixtes sont décrits par des modèles de type SPICE. Par un choix de l’entreprise Schlumberger, notre partenaire industriel qui a financé ce travail, nous nous sommes intéressés dans notre étude à un composantspécifique présent dans la majorité des circuits analogiques et mixtes d’instrumentation :l’amplificateur opérationnel (l’AOP).Le travail commence par une étude des spécifications du circuit ainsi que le modèle SPICE.Une étude de la structure de ce modèle et sa simulation ont montré la non-précision du modèle audelàde 125°C. L’étude de validité du modèle a concerné le paramètre de la tension de décalage etle paramètre taux de rejection du mode commun. Nous avons interprété la différence des résultatsentre les mesures et la simulation de la tension de décalage. Nous avons constaté la limitation quereprésente l’approche structurelle par modélisation SPICE. Pour cette raison, nous avonssélectionné l’approche de modélisation comportementale pour les différents avantages qu’elleprésente. Ces avantages répondent à nos besoins et conviennent les mesures qui ont été effectuées.Nous avons sélectionné le langage VHDL-AMS et l’environnement Cadence ADVanceMS. Pourdéveloppé les modèles, nous avons alors énuméré les différents paramètres de performance d’unAOP. Nous avons validé la représentation de chaque paramètre par un circuit de test approprié.Dans un deuxième temps, nous avons approximé la variation de ces paramètres en température pardes équations polynomiales et exponentielles pour développer le modèle précis en HT. Le modèlea été validé par un circuit de test similaire au circuit expérimental. De bons résultats ont ététrouvés. L’erreur moyenne entre simulation VHDL-AMS et mesures n’a pas dépassé 3,11%. Dansle denier chapitre, nous avons simulé des circuits d’une chaine d’instrumentation. Nous avonssimulé l’effet de la température sur un capteur piézo-résistif (pont de Wheatstone). Trois architectures d’un amplificateur d’instrumentation ont été également modélisées e en se basant surle modèle VHD-AMS de l’AOP. / This work is dealing with the modelling of analogue and mixed signal circuits. Moreprecisely, we focus on modelling the circuits of an analogue front-end which is used in down-holedrilling industry for instrumentation and measurement purposes. This research had as a goal tomodel the temperature increasing effect in the behaviour of each circuit of the considered frontend.The studied circuits belong to the family of “conventional” circuits. Most of these circuitsoperate in a temperature which does not exceed 125°C. Even if the behaviour of the circuit changesdue to an increasing of the temperature, there are some well-know techniques that enable thecompensation of such effects. However, in order to obtain a precise simulation in the design phase,it is very important to have accurate models that describe the temperature increasing effect. Asmost of the commercial circuits models are written in SPICE, it is necessary first to review theaccuracy of SPICE models in high temperature (HT). This work focus on a specific circuit: theoperational amplifier (opamp). This device is present in many instrumentation circuits. Obtainingan accurate op-amp model in HT will help us develop accurate models of these circuits byconsidering their architectural description which is based on the opamp model.The work starts with the study of the structure of the SPICE model of the considered opamp.This study enables us to confirm the non-validity of the SPICE model in HT. The validity studyconsists in comparing the SPCE simulation results of two parameters (the voltage offset and thecommon mode rejection ratio) to measurement results. Moreover, we present an interpretation tothe difference that was observed in this comparison. After comparing different modellingapproaches, we select the behavioural modelling one. The VHDL-AMS was used to develop thenew precise opamp model in HT. The simulation is performance in Cadence/ADVanceMSenvironment. The representation of each opamp parameter is validated by a specific circuit. Thismodel is developed in two steps. In the first step, we develop an opamp model in which there is noconsideration of the temperature effect. In the second step, dependence of each parameter to thetemperature is described by a polynomial or exponential function. This function is the result of thefitting process of the measurement results. These equations are inserted in the VHDL-AMS model.All parameters are again validated in each temperature. The test-circuit is the same circuit used inthe experimental test of the opamp parameters. The average error between measurement andsimulation does not exceed 3.11%. In the last chapter, we simulate some circuits of the theanalogue front-end of an acquisition system. We simulate for example the effect of the temperatureeffect on the accuracy of a Wheatstone bridge. Three architecture of an instrumentation amplifierwere also modelled and simulated in different temperature of [20°C, 220°C] in the basis of thedeveloped opamp model.