Titre de l'écran-titre (visionné le 17 avril 2023) / L'insuffisance cardiaque (IC) est un syndrome chronique où les personnes peuvent présenter des symptômes tels que la dyspnée et la fatigue (Jaarsma et al., 2021; McDonagh et al., 2022). La pratique des autosoins est requise notamment pour contribuer à stabiliser les symptômes, pour éviter des épisodes de décompensation et pour augmenter la qualité de vie (Jaarsma et al., 2021). Les autosoins sont définis par Riegel et al. comme étant « un processus de maintien de la santé grâce à des pratiques de promotion favorisant la santé et des pratiques de gestion de la maladie » (2012, p. 195, traduction libre). En plus de l'IC, 41 % de ces personnes sont atteintes d'un trouble neurocognitif (TNC) (Yap et al., 2022). En raison de l'effet combiné de l'IC et du TNC, la pratique des autosoins se veut plus difficile (Riegel et al., 2012). Ces personnes peuvent donc avoir besoin d'aide, et un suivi infirmier adapté à leurs besoins peut devenir nécessaire. Or, peu d'études publiées présentent les composantes d'interventions d'un suivi infirmier adapté à ces personnes (Hickman et al., 2020; Lovell et al., 2019). Aussi, les interventions sont peu explicitées, ce qui rend difficile leur transposition dans la pratique et au sein d'un groupe de personnes aux besoins diversifiés (Hickman et al. (2020). Pour ces raisons, la présente étude avait comme but d'élaborer un suivi infirmier permettant à des personnes atteintes d'IC et d'un TNC léger de pratiquer au quotidien des autosoins complexes requis par leur condition chronique. Les autosoins sont complexes en raison de la quantité (Kessing et al., 2019) et de l'implication de différents processus cognitifs (Riegel et al., 2012; Riegel et Dickson, 2008). La vision des soins infirmiers proposée par le modèle d'adaptation de Roy (2009) a servi d'assise à cette étude. Les postulats du modèle suggèrent de mettre à profit les capacités et les forces d'une personne malgré des capacités cognitives légèrement atténuées et des difficultés évidentes dans la pratique des autosoins, tout en soulignant la possibilité d'agir afin de favoriser un processus d'adaptation optimal. Pour ce faire, la méthode proposée par Sidani et Braden (2011) a été employée afin de développer un protocole d'interventions infirmières pour des personnes atteintes d'IC et d'un TNC léger. Les 4 phases suivantes ont été consacrées à l'élaboration du protocole, soit la compréhension du problème (phase 1), l'identification et l'élaboration des interventions appropriées (phase 2), le développement du protocole d'interventions infirmières (phase 3), ainsi que la conduite d'un projet pilote. Ce dernier a permis de raffiner le protocole d'interventions; d'évaluer son acceptabilité, sa faisabilité, de même que les capacités des indicateurs de résultats sélectionnés à saisir les changements de l'application du protocole d'interventions infirmières (phase 4). Des entrevues avec des personnes aux prises avec l'IC et un TNC, et des professionnels de la santé, appuyées par les résultats d'études empiriques et le recours à des théories en mesure d'expliquer les résultats obtenus, ont permis de cibler des besoins et des interventions. L'analyse des données expérientielles, empiriques et théoriques des deux premières phases a donné le moyen d'élaborer le protocole d'interventions infirmières, et le projet pilote a permis d'en raffiner le contenu. Les phases de la méthode de Sidani et Braden (2011) ont mis en lumière des éléments importants devant être intégrés dans un suivi infirmier auprès de la population atteinte d'IC et d'un TNC. Les résultats de cette étude suggèrent qu'un suivi infirmier régulier, à domicile et à long terme, est à privilégier. Les résultats ont également fait valoir que l'enseignement doit s'étendre au-delà des recommandations standards, que les opérations cognitives liées à la pratique des autosoins doivent être soutenues et, surtout, que la pratique des autosoins doit être contextualisée dans la vie quotidienne de la personne. Les résultats ont fait valoir comment la présence d'un proche s'avère indispensable à la pratique des autosoins. Au final, le projet pilote a permis de compléter la phase d'élaboration du protocole d'interventions infirmières en plus de montrer qu'il est acceptable et faisable pour soutenir la pratique des autosoins des personnes atteintes d'IC et d'un TNC. / Heart failure is a chronic condition which could cause symptoms such as dyspnea and fatigue (Jaarsma et al., 2021). The person with heart failure (HF) can help stabilize symptoms, avoid decompensation, and enhance quality of life by managing his or her chronic disease, particularly through self-care (Jaarsma et al., 2021). Self- care is defined as « a process of maintaining health through heath promoting practices and managing illness » (Riegel et al., 2012, p.195). However, the practice of self-care is influenced by mild cognitive impairment (MCI) common in heart failure patients, affecting 41 % of that population (Yap et al., 2022). HF associated with MCI can make self-care practice more difficult (Riegel et al., 2012). Thus, these people may need assistance, and a nursing follow-up adapted to their needs may become necessary. However, few published studies present the intervention components of a nursing follow-up adapted to these people (Hickman et al., 2020; Lovell et al., 2019). Also, in those studies, the interventions are poorly explained, which makes it difficult to transpose them into practice and to a group of people with diverse needs (Hickman et al., 2020). For these reasons, the aim of the present study was to develop a nursing follow-up that would allow people with HF and MCI to practice the complex self-care required by their chronic condition on a daily basis. The vision of nursing care proposed by Roy's (2009) adaptation model served as the basis for this study. The model's postulates suggest building on a person's abilities and strengths despite slightly impaired cognitive abilities and obvious difficulties in practicing self-care, while emphasizing the possibility of taking actions to promote an optimal adaptation process. To this end, the method proposed by Sidani and Braden (2011) was used to develop a nursing follow-up protocol for people with HF and MCI. The following 4 phases are devoted to the development of the nursing interventions protocol: understanding the problem (phase 1), identifying and developing appropriate interventions (phase 2), developing the intervention protocol (phase 3), as well as conducting a pilot project to refine the protocol; assess its acceptability, feasibility and outcome indicator capabilities; and capture changes during the implementation of the nursing interventions protocol (phase 4). Interviews with people with HF and MCI, and health professionals, supported by empirical research findings and the use of theories to explain the findings, were used to target needs and interventions. Analysis of the experiential, empirical and theoretical data from the first two phases led to the development of the nursing interventions protocol, and the pilot project helped to refine its content. The phases of Sidani and Braden's (2011) method highlighted important elements that should be incorporated into a nursing follow-up for population with HF and MCI. The results of this study suggest that regular, home- based, long-term follow-up is preferred. The results also suggested that teaching should extend beyond standard recommendations, that cognitive operations related to self-care practice should be supported, and, most importantly, that self-care practice should be contextualized in the person's daily life. The results underline how the presence of a relative is indispensable for the practice of self-care. In the end, the pilot project completed the nursing interventions protocol development phase and showed that it is acceptable and feasible to support the practice of self-care for people with HF and MCI.

Cette thèse a comme but ultime l’amélioration des pratiques de soins aux services d’urgence lors d’une fausse couche pour faciliter la transition vécue par les parents. Le travail s’est effectué en deux volets distincts : le premier est destiné à l’approfondissement de l’expérience des parents lorsqu’ils consultent les services d’urgence lors d’une fausse couche; le deuxième est consacré à l’élaboration d’un programme d’intervention pour améliorer les pratiques de soins aux services d’urgence. Sous une approche de recherche participative, deux principaux cadres de référence ont été utilisés, dont la théorie de la transition de Meleis (Meleis et al.,2000; Meleis, 2020) pour conceptualiser l’expérience de la fausse couche, ainsi que le modèle logique d’approche théorique de la W.K. Kellogg Foundation (2004) pour guider l’élaboration du programme d’intervention. Lors du premier volet de la recherche, une étude qualitative, descriptive et exploratoire, a été réalisée auprès de 26 participants (17 parents, 7 infirmières des services d’urgence et 2 infirmières gestionnaires des services d’urgence) afin d’approfondir l’expérience de soins des parents aux services d’urgence. Elle a permis de dégager trois catégories de besoins : physique, cognitif et émotionnel. Par exemple, les parents ont exprimé le besoin de recevoir davantage d’information lors de leur visite aux services d’urgence (besoin cognitif) ainsi que des soins axés sur la dimension émotionnelle. Bien que les infirmières aient reconnu et verbalisé les conséquences que pouvait engendrer la fausse couche, elles ont relevé différentes contraintes organisationnelles qui nuisaient à l’offre de soins de qualité, telles que la surcharge de travail et l’absence d’outils et de lignes directrices pour guider les pratiques de soins.Dans le deuxième volet de la recherche, une approche participative communautaire (community-based participatory approach) a été adoptée pour élaborer un programme d’intervention visant à améliorer les pratiques de soins aux services d’urgence à l’aide d’un modèle logique d’approche théorique. Deux groupes de travail ont été formés : l’un composé de neuf parents qui avaient consulté les services d’urgence lors d’une fausse couche, et l’autre, de huit professionnels de la santé. Les données obtenues au premier volet de la recherche, combinées aux données théoriques, scientifiques et expérientielles, ont servi de fondement aux groupes de travail pour l’édification des différentes composantes du modèle logique visant à optimiser l’efficacité du programme d’intervention. Les six composantes du modèle logique d’approche théorique qui ont été élaborées sont (a) le problème à résoudre, (b) les ressources et les besoins de la communauté, (c) les résultats souhaités, (d) les facteurs d’influence, (e) les stratégies d’intervention, et (f) les hypothèses liées aux stratégies d’intervention. La force principale de cette thèse réside dans le processus rigoureux de développement d’intervention fondé sur la prise en compte de l’expérience des parents et des professionnels de santé. La description détaillée de l’élaboration du programme d’intervention facilitera son implantation et son évaluation, en plus d’offrir des pistes pour répliquer le processus de planification pour d’autres problématiques de soins. / The ultimate goal of this thesis is to improve emergency department care practices during miscarriage to facilitate the transition experienced by parents. This work is carried out in two steps: the aim of the first step is to understand how parents experienced miscarriage at the emergency department and the second step consists of developing an intervention program to optimize care practices in the emergency department. A participatory research approach was adopted with two main conceptual frameworks including Meleis’ Transitions Theory (Meleis et al., 2000; Meleis, 2020) to conceptualize miscarriage experience as well as the W. K. Kellogg Foundation theory logic model to structure the development of the intervention program. During the first step, a descriptive and exploratory qualitative study was carried out with 26 participants (17 parents, 7 emergency department nurses and 2 emergency department nurse managers) to help understand parents’ experiences at the emergency department. Three categories of needs were identified: physical health, cognitive and emotional. For instance, parents expressed a need to receive more information during their visit to the emergency department (i.e. a cognitive need) as well as a desire for professionals to address their emotional concerns. Nurses were aware of the emotional impact of miscarriage but reported various organizational constraints that hindered optimal care practices, such as excessive workload and absence of tools or guidelines for direct care practices. In the second step of the research, a community-based participatory approach using a theory logic model was adopted with the goal of planning an intervention program aimed at improving care practices in the emergency department. It included two planning groups: parents who had visited the ED for a miscarriage (N = 9) and health professionals (N = 8). The information gathered in the first step of the study combined with theoretical, scientific and experiential data, served as the basis for the planning groups to develop the components of the logic model so that it optimized the effectiveness of the program. The six components of the theory logic model that have been developed are: a) problem description; b) needs and assets assessment and identification; c) expected results; d) influencing factors; e)intervention strategies; and f) assumptions related to change strategies. The main strength of this thesis lies in the rigorous process of intervention development based on the experience of parents and health professionals. Detailed description of the intervention should facilitate its implementation, evaluation, and replication for other care issues.

Au Québec, le vieillissement de la population entraîne une augmentation importante des besoins de soins infirmiers, notamment dans la collectivité. En effet, les aînés vivant dans la communauté et dont l’état de santé est fragile voient régulièrement leurs besoins de soins se modifier, notamment parce qu’ils effectuent de nombreux séjours en centre hospitalier, lesquels contribuent à leur déclin fonctionnel. Cela est particulièrement vrai dans le contexte des résidences intermédiaires, où les personnes qui y vivent composent déjà avec des incapacités et la présence de problèmes de santé complexes. Le défaut d’apporter les soins infirmiers nécessaires peut entraîner une détérioration rapide du niveau d’autonomie de l’aîné et de son état de santé, ce qui compromet le maintien en communauté et entraîne une augmentation du recours à l’hébergement en soins de longue durée institutionnalisés. Il est donc impératif de faciliter, par une offre de soins infirmiers adaptés, la délicate période de transition que vivent les aînés suite à une hospitalisation. En effet, la présence de soins transitionnels adaptés permet de diminuer significativement les réadmissions hospitalières et les visites aux urgences, en plus d’engendrer un effet positif sur l’état de santé global des aînés ainsi que sur leur qualité de vie. Ce projet de recherche avait donc pour objectifs d’élaborer un protocole d’interventions infirmières visant à faciliter la transition des aînés faisant un retour en résidence intermédiaire après un séjour hospitalier, au Québec, puis d’évaluer la faisabilité et l’acceptabilité de ce dernier dans le cadre d’un projet-pilote en contexte clinique. La définition des soins infirmiers préconisée pour ce projet de recherche est celle proposée par le modèle de McGill. Cette définition sous-tend l’intervention de l’infirmière, et implique de mobiliser les forces, les ressources et la motivation des aînés et leurs familles, pour qu’ils parviennent à améliorer leur santé ou se rétablir, grâce à leurs capacités à composer avec les situations et à se développer, ici dans le contexte de la transition post-hospitalisation. D’autre part, la théorie de l’autodétermination (Deci & Ryan, 1985; Ryan & Deci, 2017f), la mini-théorie des besoins psychologiques fondamentaux (Ryan & Deci, 2017a), la théorie de l’autosoin de la maladie chronique (Riegel, Jaarsma, & Strömberg, 2012) et la théorie de l’incertitude (Mishel, 1988, 1990) procurent aussi un éclairage théorique considérable dans ce projet. La méthode de recherche interventionnelle retenue est celle de Sidani et Braden (2011). Cette méthode implique à la fois une approche déductive, par l’usage de théories intermédiaires et la consultation de données empiriques, et une approche inductive, par la collecte de données expérientielles. Dans ce projet en trois phases, une approche qualitative descriptive a été utilisée pour les données expérientielles recueillies auprès de onze (n=11) participants aînés et professionnels de la santé. Une triangulation des données expérientielles, empiriques et théoriques a permis ensuite de comprendre en profondeur la transition vécue par les aînés faisant un retour en résidence intermédiaire suite à une hospitalisation, et d’en tirer une liste de besoins de soins non comblés (phase 1, étape 1). Les données expérientielles recueillies ont à nouveau été utilisées pour y cerner des pistes d’interventions puis celles-ci ont été triangulées avec des données théoriques et empiriques pour concevoir les interventions infirmières nécessaires pour répondre adéquatement aux besoins identifiés (phase 1, étape 2), puis théoriser ces interventions (phase 1, étape 3). La phase 2 du projet consistait ensuite à opérationnaliser les résultats obtenus dans la phase 1 en protocole d’interventions écrit. Finalement, en phase 3, un projet-pilote a été réalisé auprès de trois aînés (n=3). Ces aînés ont reçu le protocole d'interventions, puis l’acceptabilité et la faisabilité de ce dernier ont alors été étudiées, de même que ses effets immédiats. Les résultats obtenus suggèrent l’acceptabilité et la faisabilité du protocole élaboré en plus d’illustrer des effets positifs liés au soutien à l’autonomie des personnes, à l’amélioration de leurs capacités d’autosoins ainsi qu’à la réduction de l’incertitude vécue pendant la transition. Enfin, en plus de dévoiler comment précisément les infirmières peuvent intervenir pour faciliter cette transition, l’explication des mécanismes sous-jacents à l’efficacité des interventions infirmières proposées permet d’illustrer pourquoi ces interventions sont bénéfiques pour les personnes et comment elles produisent leurs effets, ce qui n'est actuellement pas présent dans la littérature sur les modèles de soins transitionnels infirmiers. / In Quebec, the aging of the population is leading to a significant increase in nursing needs, particularly in the community. Indeed, seniors living in the community and whose health status is fragile regularly see their care needs change, particularly because they spend many hours in hospital, which contributes to their functional decline. This is particularly true in the context of intermediate resources, where people living in them already deal with disabilities and complex health problems. Failure to provide the necessary nursing care can lead to a rapid deterioration in the senior's level of autonomy and health status, which compromises community maintenance and leads to an increase in the use of institutionalized long-term care housing. It is therefore imperative to facilitate, through the provision of appropriate nursing care, the delicate transition period experienced by seniors following hospitalization. Indeed, the presence of adapted transitional care significantly reduces hospital readmissions and emergency room visits, in addition to having a positive effect on the overall health status of seniors and their quality of life. The objectives of this research project were therefore to develop a nursing intervention protocol to facilitate the transition of seniors returning to intermediate resources after a hospital stay in Quebec, and to assess the feasibility and acceptability of the latter as part of a pilot project in a clinical setting. The definition of nursing care recommended for this research project is that proposed by the McGill model. This definition underlies the nurse's intervention, and involves mobilizing the strengths, resources and motivation of seniors and their families to improve their health or recovery through their ability to cope and develop, here in the context of the post-hospital transition. On the other hand, the theory of self-determination (Deci & Ryan, 1985; Ryan & Deci, 2017f), the mini-theory of basic psychological needs (Ryan & Deci, 2017a), the middle-range theory of self-care of chronic illness (Riegel, Jaarsma, & Strömberg, 2012) and the theory of uncertainty (Mishel, 1988, 1990) also provide a very significant theoretical perspective in this project. The intervention research method used is that of Sidani and Braden (2011). This method involves both a deductive approach, through the use of middle-range theories and the consultation of empirical data, and an inductive approach, through the collection of experiential data. In this three-phase project, a descriptive qualitative approach was used for the experiential data collected from eleven (n=11) senior participants and health professionals. A triangulation of experiential, empirical and theoretical data then provided an in-depth understanding of the transition experienced by seniors returning to intermediate resources following hospitalization, and a list of unmet care needs (Phase 1, Step 1). The experiential data collected were again used to identify possible interventions and then triangulated with theoretical and empirical data to design the nursing interventions needed to adequately address the identified needs (Phase 1, Step 2) and then theorize these interventions (Phase 1, Step 3). Phase 2 of the project then consisted of operationalizing the results obtained in Phase 1 into a written intervention protocol. Finally, in Phase 3, a pilot project was conducted with three seniors (n=3). These seniors were provided with the intervention protocol, and its acceptability and feasibility were then studied, as well as its immediate effects. The results obtained suggest the acceptability and feasibility of the protocol developed and illustrate positive effects related to supporting people's autonomy, improving their self-care capacities and reducing the uncertainty experienced during the transition. Finally, in addition to revealing precisely how nurses can intervene to facilitate this transition, explaining the mechanisms underlying the effectiveness of proposed nursing interventions helps to illustrate why these interventions are beneficial to individuals and how they produce their effects, which is not currently available in the literature on nursing transitional care models.

Représentant une blessure commune chez les jeunes qui entraîne des symptômes physiques, cognitifs et émotionnels, les commotions cérébrales (CC) doivent être adéquatement gérées afin d'assurer une réadaptation optimale. Les intervenants des établissements scolaires ont un rôle à assumer dans cette gestion, donc en 2017, le ministère de l'Éducation du Québec propose à ses écoles un protocole de gestion des CC. L'objectif de cette étude est d'identifier les éléments facilitateurs et les obstacles à l'application du protocole de gestion des CC dans les écoles publiques primaires et secondaires du Québec. La théorie du comportement planifié et la théorie de la motivation à la protection furent utilisées comme modèles théoriques et l'étude s'appuie sur un devis mixte séquentiel exploratoire. Le présent mémoire est propre à la composante qualitative, caractérisée par un devis descriptif simple transversal. Trois groupes de discussion ayant comme participants 13 intervenants scolaires de quatre régions administratives du Québec ont été réalisés par vidéoconférence. La méthode d'analyse interjuges fut utilisée pour analyser les données. Les principaux éléments facilitateurs sont l'appréciation du contenu du protocole, la source d'information qu'est le protocole et sa capacité de faciliter la communication. Les principaux obstacles sont la charge de travail additionnelle qui vient avec l'application du protocole, les caractéristiques désavantageuses de l'outil, les améliorations qui pourraient y être apportées et la perception de rareté des CC. D'autres dimensions importantes pouvant à la fois représenter des facilitateurs et des obstacles sont "Nécessité de formations ou de connaissances sur les commotions cérébrales", "Nécessité de la collaboration" et "Variation de l'intensité des symptômes". Un questionnaire quantitatif sera construit à partir des résultats et sera distribué à toutes les écoles primaires et secondaires publiques du Québec. Les résultats permettront d'orienter de futures interventions favorisant l'application du protocole dans les écoles du Québec pour ainsi veiller au bien-être et à la réussite scolaire des élèves commotionnés. / Representing a common injury for youth that results in physical, somatic, cognitive, and emotional symptoms, concussions must be adequately managed to ensure optimal rehabilitation. Schools stakeholders have a role to play in this management, so in 2017, the Quebec Ministry of Education proposed a concussion management protocol for its schools. The objective of this study is to identify the facilitating elements and obstacles to the application of the concussion management protocol in Quebec public elementary and high schools. The theory of planned behavior and the protection motivation theory were used as theoretical models, and the study is based on an exploratory sequential mixed design. This memoire is specific to the qualitative component, characterized by a simple transversal descriptive quote. Three focus groups with 13 school personnel members from four administrative regions of Quebec were held by videoconference. The inter-rater analysis method was used to analyze the data. The main facilitators are the appreciation of the content of the protocol, the source of information the protocol represents and its ability to facilitate communication. The main obstacles are the additional workload that comes with applying the protocol, the disadvantageous features of the tool, the improvements that could be made and the perceived scarcity of concussions. Other important dimensions that can represent both facilitators and barriers are "Need for concussion training or knowledge", "Need for collaboration" and "Variation in symptom intensity". A quantitative questionnaire will be elaborated based on the results and will be used to survey all Quebec public elementary and high schools. The results will help elaborate future interventions promoting the application of the protocol in Quebec schools to ensure the well-being and academic success of students with concussions.

Les systèmes informatiques envahissent notre vie quotidienne et sont devenus des éléments essentiels de chacun de nos instants de vie. La technologie de l'information est un secteur d'activités offrant des opportunités considérables pour l'innovation et cet aspect paraît sans limite. Cependant, des systèmes à logiciel intégré ont donné des résultats décevants. Selon les constats, ils étaient non fiables, parfois dangereux et ne fournissaient pas les résultats attendus. La faiblesse des pratiques de développement constitue la principale raison des échecs de ces systèmes. Ceci est dû à la complexité des logiciels modernes et au manque de connaissances adéquates et propres. Le développement logiciel fournit un cadre contribuant à simplifier la conception de systèmes complexes, afin d'en obtenir une meilleure compréhension et d'assurer une très grande qualité à un coût moindre. Dans les domaines de l'automatique, de la surveillance médicale, de l'avionique..., les systèmes embarqués hautement critiques sont candidats aux erreurs pouvant conduire à des conséquences graves en cas d'échecs. La thèse vise à résoudre ce problème, en fournissant un ensemble de techniques, d'outils et un cadre pour développer des systèmes hautement critiques, en utilisant des techniques formelles à partir de l'analyse des exigences jusqu'à la production automatique de code source, en considérant plusieurs niveaux intermédiaires. Elle est structurée en deux parties: d'une part des techniques et des outils et d'autre part des études de cas. La partie concernant des techniques et des outils présente une structure intégrant un animateur de modèles en temps-réel, un cadre de correction de modèles et le concept de charte de raffinement, un cadre de modélisation en vue de la certification, un modèle du coeur pour la modélisation en boucle fermée et des outils de générations automatiques de code. Ces cadres et outils sont utilisés pour développer les systèmes critiques à partir de l'analyse des exigences jusqu'à la production du code, en vérifiant et en validant les étapes intermédiaires en vue de fournir un modèle formel correct satisfaisant les propriétés souhaitées attendues au niveau le plus concret. L'introduction de nouveaux outils concourt à améliorer la vérification des propriétés souhaitées qui ne sont pas apparentes aux étapes initiales du développement du système. Nous évaluons les propositions faites au travers de cas d'études du domaine médical et du domaine des transports. De plus, le travail de cette thèse a étudié la représentation formelle des protocoles médicaux, afin d'améliorer les protocoles existants. Nous avons complètement formalisé un protocole réel d'interprétation des ECG, en vue d'analyser si la formalisation était conforme à certaines propriétés relevant du protocole. Le processus de vérification formelle a mis en évidence des anomalies dans les protocoles existants. Nous avons aussi découvert une structure hiérarchique pour une interprétation efficace permettant de découvrir un ensemble de conditions qui peuvent être utiles pour diagnostiquer des maladies particulières à un stade précoce. L'objectif principal du formalisme développé est de tester la correction et la consistance du protocole médical / Software systems are pervasive in all walks of our life and have become an essential part of our daily life. Information technology is one major area, which provides powerful and adaptable opportunities for innovation, and it seems boundless. However, systems developed using computer-based logic have produced disappointing results. According to stakeholders, they are unreliable, at times dangerous, and fail to provide the desired outcomes. Most significant reasons of system failures are the poor development practices for system development. This is due to the complex nature of modern software and lack of adequate and proper understanding. Software development provides a framework for simplifying the complex system to get a better understanding and to develop the higher fidelity quality systems at lower cost. Highly embedded critical systems, in areas such as automation, medical surveillance, avionics, etc., are susceptible to errors, which can lead to grave consequences in case of failures. This thesis intends to contribute to further the use of formal techniques for the development computing systems with high integrity. Specifically, it addresses that formal methods are not well integrated into established critical systems development processes by defining a new development life-cycle, and a set of associated techniques and tools to develop highly critical systems using formal techniques from requirements analysis to automatic source code generation using several intermediate layers with rigorous safety assessment approach. The approach has been realised using the Event-B formalism. This thesis has mainly two parts: techniques and tools and case studies. The techniques and tools section consists of development life-cycle methodology, a framework for real-time animator, refinement chart, a set of automatic code generation tools and formal logic based heart model for close loop modeling. New development methodology, and a set of associated techniques and tools are used for developing the critical systems from requirements analysis to code implementation, where verification and validation tasks are used as intermediate layers for providing a correct formal model with desired system behavior at the concrete level. Introducing new tools help to verify desired properties, which are hidden at the early stage of the system development. We also critically evaluate the proposed development methodology and developed techniques and tools through case studies in the medical and automotive domains. In addition, the thesis work tries to address the formal representation of medical protocols, which is useful for improving the existing medical protocols. We have fully formalised a real-world medical protocol (ECG interpretation) to analyse whether the formalisation complies with certain medically relevant protocol properties. The formal verification process has discovered a number of anomalies in the existing protocols. We have also discovered a hierarchical structure for the ECG interpretation efficiently that helps to find a set of conditions that can be very helpful to diagnose particular disease at the early stage. The main objective of the developed formalism is to test correctness and consistency of the medical protocol

Introduction La dyspnée est une sensation d'essoufflement variant en intensité. Sa prévalence varie entre 70-95% chez les personnes en soins palliatifs et de fin de vie (SPFV) toutes pathologies confondues. En SPFV, elle peut engendrer une détresse respiratoire qui consiste en une dyspnée sévère accompagnée d'une sensation vive d'étouffement et d'angoisse. Au Québec, le protocole de détresse respiratoire (PDR) représente l'administration simultanée par l'infirmière de doses élevées d'un opioïde, d'un sédatif et d'un anticholinergique. Le but est d'obtenir une sédation rapide et une amnésie rétrograde. Le PDR n'est pas utilisé ailleurs au monde et est souvent administré de manière non conforme. Le travail de l'infirmière qui précède l'utilisation du PDR est méconnu et sous-documenté scientifiquement. Objectifs Décrire et évaluer l'influence de certaines composantes de la démarche de soins infirmiers dans l'utilisation du PDR au cours des sept derniers jours de vie des personnes âgées provenant de différents milieux cliniques de la région de Québec. Méthode Une étude de cohorte rétrospective de dossiers médicaux de personnes de 65+ ans décédés (n=488) a été réalisée dans quatre types de milieux cliniques différents à Québec. Plusieurs variables (VI) ciblant des composantes de la démarche de soins infirmiers, telles que l'évaluation de la dyspnée incluant son score de sévérité ainsi que l'intervention infirmière, précédant l'utilisation du PDR (VD) ont été mises en relation à l'aide d'un modèle linéaire mixte (MLM) à mesures répétées. Résultats Dans cette cohorte, 64 PDR étaient non conformes sur les 127 PDR administrés. L'augmentation du score de la sévérité de la dyspnée augmentait la fréquence d'évaluations infirmières de la dyspnée qui elle, élevait le nombre d'interventions infirmières d'administration d'opioïdes. Ces dernières ont été associées à une diminution du recours au PDR. Conclusion L'infirmière contribue à diminuer le nombre de PDR administrés aux personnes âgées souffrantes de dyspnée par des mesures pharmacologiques dans les derniers jours de vie. / Introduction Dyspnea is a sensation of breathlessness varying in intensity. Its prevalence varies between 70-95% in people undergoing palliative and end-of-life care (PEOLC), all pathologies included. In end-of-life care, it can lead to respiratory distress, which consists of severe dyspnea accompanied by a strong sensation of suffocation and anxiety. In Quebec, the respiratory distress protocol (RDP) is the simultaneous administration by the nurse of high doses of an opioid, a sedative and an anticholinergic. The goal is to achieve rapid sedation and retrograde amnesia. PDR is not used anywhere else in the world and is often administered in a non-compliant manner. The work of the nurse prior to the use of RDP is not well known and scientifically under-documented. Objectives To describe and evaluate the influence of certain components of the nursing process in the use of the RDP during the last seven days of life of elderly people from different clinical settings in the Quebec City region. Method A retrospective cohort study of medical records of deceased 65+ year old patients (n=488) was conducted in four different types of clinical settings in Quebec City. Several variables (VI) targeting components of the nursing care process, such as assessment of dyspnea including severity score as well as nursing intervention, preceding the use of the PDR (VD) were related using a repeated measures linear mixed model (MLM). Results In this cohort, 64 PDRs were non-compliant out of 127 PDRs administered. An increase in dyspnea severity score was associated with a greater frequency of assessments, which in turn increased the number of nursing interventions of opioid administration. The latter was associated with a decrease in the use of RDP. Conclusion Nurses help to decrease the number of RDPs administered to elderly persons with dyspnea through pharmacological measures in the last days of life.

Introduction La dyspnée est une sensation d'essoufflement variant en intensité. Sa prévalence varie entre 70-95% chez les personnes en soins palliatifs et de fin de vie (SPFV) toutes pathologies confondues. En SPFV, elle peut engendrer une détresse respiratoire qui consiste en une dyspnée sévère accompagnée d'une sensation vive d'étouffement et d'angoisse. Au Québec, le protocole de détresse respiratoire (PDR) représente l'administration simultanée par l'infirmière de doses élevées d'un opioïde, d'un sédatif et d'un anticholinergique. Le but est d'obtenir une sédation rapide et une amnésie rétrograde. Le PDR n'est pas utilisé ailleurs au monde et est souvent administré de manière non conforme. Le travail de l'infirmière qui précède l'utilisation du PDR est méconnu et sous-documenté scientifiquement. Objectifs Décrire et évaluer l'influence de certaines composantes de la démarche de soins infirmiers dans l'utilisation du PDR au cours des sept derniers jours de vie des personnes âgées provenant de différents milieux cliniques de la région de Québec. Méthode Une étude de cohorte rétrospective de dossiers médicaux de personnes de 65+ ans décédés (n=488) a été réalisée dans quatre types de milieux cliniques différents à Québec. Plusieurs variables (VI) ciblant des composantes de la démarche de soins infirmiers, telles que l'évaluation de la dyspnée incluant son score de sévérité ainsi que l'intervention infirmière, précédant l'utilisation du PDR (VD) ont été mises en relation à l'aide d'un modèle linéaire mixte (MLM) à mesures répétées. Résultats Dans cette cohorte, 64 PDR étaient non conformes sur les 127 PDR administrés. L'augmentation du score de la sévérité de la dyspnée augmentait la fréquence d'évaluations infirmières de la dyspnée qui elle, élevait le nombre d'interventions infirmières d'administration d'opioïdes. Ces dernières ont été associées à une diminution du recours au PDR. Conclusion L'infirmière contribue à diminuer le nombre de PDR administrés aux personnes âgées souffrantes de dyspnée par des mesures pharmacologiques dans les derniers jours de vie. / Introduction Dyspnea is a sensation of breathlessness varying in intensity. Its prevalence varies between 70-95% in people undergoing palliative and end-of-life care (PEOLC), all pathologies included. In end-of-life care, it can lead to respiratory distress, which consists of severe dyspnea accompanied by a strong sensation of suffocation and anxiety. In Quebec, the respiratory distress protocol (RDP) is the simultaneous administration by the nurse of high doses of an opioid, a sedative and an anticholinergic. The goal is to achieve rapid sedation and retrograde amnesia. PDR is not used anywhere else in the world and is often administered in a non-compliant manner. The work of the nurse prior to the use of RDP is not well known and scientifically under-documented. Objectives To describe and evaluate the influence of certain components of the nursing process in the use of the RDP during the last seven days of life of elderly people from different clinical settings in the Quebec City region. Method A retrospective cohort study of medical records of deceased 65+ year old patients (n=488) was conducted in four different types of clinical settings in Quebec City. Several variables (VI) targeting components of the nursing care process, such as assessment of dyspnea including severity score as well as nursing intervention, preceding the use of the PDR (VD) were related using a repeated measures linear mixed model (MLM). Results In this cohort, 64 PDRs were non-compliant out of 127 PDRs administered. An increase in dyspnea severity score was associated with a greater frequency of assessments, which in turn increased the number of nursing interventions of opioid administration. The latter was associated with a decrease in the use of RDP. Conclusion Nurses help to decrease the number of RDPs administered to elderly persons with dyspnea through pharmacological measures in the last days of life.