Littérature scientifique sur le sujet « Sûreté et disponibilité »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Sûreté et disponibilité ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Sûreté et disponibilité"
1
GOCKO, X., J. SOUSA BARBOSA, B. POZZETTO et C. PLOTTON. « HESITATION, REFUS VACCINAL, COVID-19 ET BIAIS COGNITIFS. UNE REVUE NARRATIVE ». EXERCER 34, no 190 (1 février 2023) : 70–75. http://dx.doi.org/10.56746/exercer.2023.190.70.
Texte intégralRésumé :
Contexte. L’hésitation vaccinale, définie comme « le fait de retarder ou de refuser une vaccination sûre malgré sa disponibilité », a été classée comme l’une des dix menaces pour la santé par l’OMS. Les principaux motifs d’hésitation vaccinale dans le Covid-19 sont la dangerosité du vaccin, l’opposition à la vaccination en général et un virus jugé peu dangereux. Des erreurs issues de procédures mentales subconscientes de traitement de l’information, nommées « biais cognitifs », participent à la décision de se faire vacciner. Objectif. L’objectif de ce travail était de décrire les biais cognitifs pouvant participer à l’hésitation vaccinale et à son refus dans le Covid-19. Méthodes. Revue narrative de la littérature suivant les critères PRISMA, de 2011 à 2021 sur Medline® et Cairn®, et à partir des références. Ré sultats. Dix revues ou position papers ont été sélectionnés. Les biais de disponibilité (médiatisation d’un effet indésirable), de représentativité (stéréotype plutôt que statistique), d’attribution (observation anecdotique et causalité) peuvent participer au jugement de dangerosité du vaccin. Les biais d’aversion à l’ambiguïté, d’omission et de présent peuvent expliquer en partie le choix d’inaction de certains usagers de la santé. La distanciation du pouvoir induit une méfiance envers les pouvoirs publics. Ce sentiment d’inégalité participe à l’opposition à la vaccination en général. Les biais de naturalité (immunisation naturelle) et d’optimisme participent au jugement d’un virus peu dangereux. Conclusion. Les entretiens motivationnels avec des patients hésitants ou « refusants » vaccinaux peuvent être facilités par la connaissance de ces biais.
2
de Warren, Nicolas. « Réussir la décarbonation de l’industrie française grâce à l’atout compétitif du nucléaire ». Annales des Mines - Responsabilité et environnement N° 113, no 1 (23 janvier 2024) : 63–66. http://dx.doi.org/10.3917/re1.113.0063.
Texte intégralRésumé :
Le partenariat historique entre production nucléaire et industries électro-intensives a structuré le paysage industriel français, la première ayant besoin de grands consommateurs stables et prévisibles, les secondes d’une électricité abondante, sûre et compétitive. Renouveler ce partenariat répondrait aujourd’hui à deux défis : celui de la décarbonation de l’industrie d’abord, le nucléaire étant l’énergie bas carbone par excellence et l’industrie étant appelée à multiplier sa consommation d’électricité par 1,5 d’ici 2035, et par 2 ou 3 d’ici 2050 pour se décarboner. Seul le nucléaire peut répondre à de tels besoins. Le défi de la compétitivité ensuite, le nucléaire garantissant la disponibilité de la ressource dans le long terme, l’indépendance aux impacts des crises énergétiques sur le prix, dès lors qu’il n’est pas soumis aux incertitudes du marché de gros, et un coût de production raisonnable, le parc nucléaire existant étant amorti.
3
Bouchareb, Meriem, Mourad Bouaziz, Mahfoud Djebien et Mouhamed Saidani. « Formation de résidents en anesthésie-réanimation à la gestion des voies aériennes. Évaluation d’un dispositif pédagogique recourant à la simulation dans une faculté de médecine en Algérie ». Pédagogie Médicale 21, no 2 (2020) : 75–82. http://dx.doi.org/10.1051/pmed/2020030.
Texte intégralRésumé :
Contexte et problématique : De nombreux travaux ont aujourd’hui parfaitement établi l’intérêt de la simulation pour le développement des capacités opératives. Dans le contexte des pays à économie émergente tels que l’Algérie, diverses contraintes liées à la disponibilité et à la pérennité des ressources, matérielles ou humaines, peuvent obérer le développement des programmes de simulation. Il reste donc essentiel de vérifier que les dispositifs de formation recourant à la simulation tiennent toutes leurs promesses dans de tels contextes. Objectifs : Comparer les apprentissages procéduraux et comportementaux liés à la gestion des voies aériennes, sur un patient réel, de résidents respectivement formés dans le cadre de dispositifs recourant à la simulation ou par la méthode expérientielle traditionnelle. Méthodes : Etude prospective contrôlée, comparant deux groupes de 30 résidents en anesthésie-réanimation, de première année au centre hospitalo-universitaire d’Annaba (Algérie). Un groupe a reçu une formation en gestion des voies aériennes par simulation. Le deuxième a suivi une formation classique, par entraînement sur patient réel. Les résidents étaient testés sur leurs performances, observées sur un malade réel (niveau 3 selon l’échelle de Kirkpatrick). Résultats : Le groupe « enseignement par simulation » a obtenu des scores significativement supérieurs à ceux du groupe « enseignement classique » dans 7 des 10 étapes de gestion des voies aériennes. Conclusion : L’enseignement par simulation peut être intégré dans le cursus de formation des résidents en anesthésie-réanimation dès la première année. Il optimise l’apprentissage des capacités dans des conditions plus sûres pour les patients. Certaines stratégies permettent d’en limiter le coût.
Thèses sur le sujet "Sûreté et disponibilité"
1
Betous-Almeida, Cláudia. « Construction et affinement de modèles de sûreté de fonctionnement : application aux systèmes de contrôle-commande ». Toulouse, INPT, 2002. http://www.theses.fr/2002INPT006H.
Texte intégralRésumé :
La modélisation de systèmes complexes sans une démarche progressive et systématique peut s'avérer très fastidieuse et sujette à erreur. Ce mémoire est consacré au développement d'une méthode de modélisation par affinements, de la sûreté de fonctionnement de systèmes complexes. L'approche proposée comporte trois étapes. La première consiste en la construction d'un modèle basé uniquement sur les spécifications fonctionnelles de l'application, nommé modèle fonctionnel. Ensuite, à partir de ce modèle et de l'architecture du système, un modèle de sûreté de fonctionnement de haut niveau est construit. Les règles de construction de l'interface entre le modèle fonctionnel et le modèle structurel sont développées et présentées. Ces règles permettent la transformation du modèle de haut niveau en un modèle plus détaillé. L'affinement peut être fait selon trois perspectives : décomposition des composants, affinement des états ou des événements et mise au point des distributions. Pour rendre plus efficace la modélisation de systèmes, une bibliothèque composée de modèles de base a été créée. En effet, ces modèles, moyennant un minimum de modifications, ont permis de modéliser tous les composants de tous les systèmes que nous avons étudié dans ce travail. Cette approche a été illustrée dans le cadre de la sélection d'un système de contrôle-commande parmi les propositions de divers constructeurs en réponse à un appel d'offre , mais elle peut également être utilisée comme support au développement et à la validation de systèmes.
2
Jemel, Mayssa. « Stockage des données locales : sécurité et disponibilité ». Electronic Thesis or Diss., Paris, ENST, 2016. http://www.theses.fr/2016ENST0053.
Texte intégralRésumé :
Le progrès technologique offre désormais de plus en plus aux utilisateurs divers équipements connectés et intelligents. En conséquence, la gestion des données entre ces équipements a fait l’objet d’ un nombre croissant d’études. Les applications déjà proposées sont principalement basées sur des solutions propriétaires dites solutions privées ou fermées. Toutefois, cette stratégie a toujours montré ses insuffisances en termes de problèmes de sécurité, de coût, de simplicité pour les développeurs et de transparence des solutions. Migrant vers des solutions standardisées, HTML5 propose de nouvelles fonctionnalités pour répondre aux exigences des entreprises et des utilisateurs. L’objectif principal est de mettre à la disposition des développeurs web un langage simple pour la mise en œuvre des applications concurrentes à moindre coût. Ces applications ne sont pas liées ni aux dispositifs utilisés ni aux logiciels installés. Trois contributions font l’objet de nos travaux. Dans la première partie, nous proposons un Coffre Fort Client basé sur les APIs HTML5 de stockage. Tout d’abord, nous commençons par le renforcement de la sécurité de ces API pour fournir une base sécurisée à notre Coffre Fort Client. Dans la deuxième contribution, nous proposons un protocole de synchronisation appelé SyncDS qui est caractérisé par son efficacité avec une consommation minimale des ressources. Nous traitons enfin les problèmes de sécurité, et nous nous concentrons principalement sur le contrôle d’accès dans le cas de partage des données tout en respectant les exigences des Coffres FortsDue to technological advancements, people are constantly manipulating multiple connected and smart devices in their daily lives. Cross-device data management, therefore, remains the concern of several academic and industrial studies. The proposed frameworks are mainly based on proprietary solutions called private or closed solutions. This strategy has shown its deficiency on security issues, cost, developer support and customization. In recent years, however, the Web has faced a revolution in developing standardized solutions triggered by the significant improvements of HTML5. With this new version, innovative features and APIs are introduced to follow business and user requirements. The main purpose is to provide the web developer with a vendor-neutral language that enables the implementation of competing application with lower cost. These applications are related neither to the used devices nor to the installed software. The main motivation of this PhD thesis is to migrate towards the adoption of standardized solutions to ensure secure and reliable cross-device data management in both the client and server side. There is already a proposed standardized Cloud Digital Safe on the server side storage that follows the AFNOR specification while there is no standardized solution yet on the client-side. This thesis is focused on two main areas : 1) the proposal of a standardized Client Digital Safe where user data are stored locally and 2) the synchronization of these data between the Client and the Cloud Digital Safe and between the different user devices. We contribute in this research area in three ways. First, we propose a Client Digital Safe based on HTML5 Local Storage APIs. We start by strengthening the security of these APIs to be used by our Client Digital Safe. Second, we propose an efficient synchronization protocol called SyncDS with minimum resource consumption that ensures the synchronization of user data between the Client and the Cloud Digital Safe. Finally, we address security concerns, in particular, the access control on data sharing following the Digital Safe requirements
3
Hong, Tuan Ha Stéphane. « Programmation par aspects et tissage de propriétés : application à l'ordonnancement et à la disponibilité ». Rennes 1, 2007. http://www.theses.fr/2007REN1S187.
Texte intégralRésumé :
Cette thèse propose une nouvelle approche pour la programmation par aspects en considérant les aspects comme des propriétés sur les traces d’exécution. L'impact sémantique des aspects est maîtrisé puisque nos aspects ont pour unique effet de sélectionner ou de couper des traces d'exécution du programme de base. L'approche repose sur les automates (à états finis ou temporisés) : les programmes et les aspects sont encodés par des automates et le tissage est spécifié comme une opération de produit d'automates. Les contributions de cette thèse sont, d'une part, de proposer une approche originale et formelle où les aspects sont des propriétés et, d'autre part, d'appliquer cette approche à l'ordonnancement et la disponibilité. Les aspects d'ordonnancement spécifient des contraintes d'ordonnancement pour l'exécution de réseaux de composants. Les aspects de disponibilités spécifient des limites de temps ou de fréquence d'allocation des ressources pour prévenir les famines et les interblocagesThis thesis proposes a novel approach for aspect-oriented programming by considering aspects as properties on execution traces. The semantic impact of aspects remains under control as they are constrained to select or abort program execution traces. The approach relies on finite state or temporized automata : programs and aspects are described by automata and weaving as automata product. The contributions of this thesis are both an original and formal approach where aspects are trace properties and applying it to the domains of scheduling and availability. Scheduling aspects specify constraints on the execution of networks of components. They allow to specify and enforce availability policies in order to prevent deadlocks and starvations
4
Martinello, Magnos. « Modélisation et évaluation de la disponibilité de services mis en oeuvre sur le web : une approche pragmatique ». Toulouse, INPT, 2005. https://hal.science/tel-04595476.
Texte intégralRésumé :
Cette thèse porte sur le développement d'une approche de modélisation pragmatique permettant aux concepteurs d'applications et systèmes mis en oeuvre sur le web d'évaluer la disponibilité du service fourni aux utilisateurs. Plusieurs sources d'indisponibilité du service sont prises en compte, en particulier i) les défaillances matérielles ou logicielles affectant les serveurs et ii) des dégradations de performance (surcharge des serveurs, temps de réponse trop long, etc. ). Une approche hiérarchique multi-niveau basée sur une modélisation de type performabilité est proposée, combinant des chaînes de Markov et des modèles de files d'attente. Les principaux concepts et la faisabilité de cette approche sont illustrés à travers l'exemple d'une agence de voyage. Plusieurs modèles analytiques et études de sensibilité sont présentés en considérant différentes hypothèses concernant l'architecture, les stratégies de recouvrement, les fautes, les profils d'utilisateurs, et les caractéristiques du traficThis thesis presents a pragmatic modeling approach allowing designers of web-based applications and systems to evaluate the service availability provided to the users. Multiple sources of service unavailability are taken into account, in particular i) hardware and software failures affecting the servers, and ii) performance degradation (overload of servers, very long response time, etc. ). An hierarchical multi-level approach is proposed based on performability modeling, combining Markov chains and queueing models. The main concepts and the feasibility of this approach are illustrated using a web-based travel agency. Various analytical models and sensitivity studies are presented considering different assumptions with respect to the architectures, recovery strategies, faults, users profile and traffic characteristics
5
Dakil, Manal. « Développement d'une méthodologie conjointe d'analyse structurelle et de sûreté de fonctionnement des propriétés d'un système complexe ». Thesis, Université de Lorraine, 2014. http://www.theses.fr/2014LORR0133/document.
Texte intégralRésumé :
Ce sujet de thèse concerne le développement d’analyse des propriétés structurelles en interaction avec des indicateurs de fiabilité. Notre étude porte sur des systèmes structurés (linéaire, bilinéaire ou linéaire à commutations), ces derniers doivent vérifier quelques propriétés importantes pour l’accomplissement de leur mission. Ces propriétés dépendent de la structure du système, d’où l’appellation "propriétés structurelles". La structure du système peut être représentée par un graphe composé de sommets et d’arcs. La vérification des propriétés structurelles dépend principalement de 4 conditions élémentaires de connectivité, de lien, de distance et de couplage complet. Nous avons développé des algorithmes permettant de les exprimer sous forme d’expressions booléennes basées sur les arcs du graphe représentant le système. Nous considérons que chaque arc est lié aux composants du système. Une défaillance au niveau des composants peut provoquer la modification de la structure du système, et donc peut rendre une propriété structurelle insatisfaite. Ainsi, les propriétés structurelles sont écrites sous forme d’expressions booléennes basées sur l’état de fonctionnement des composants. En utilisant les expressions booléennes associées aux propriétés structurelles, leur fiabilité et/ou disponibilité peut être calculée sachant les caractéristiques de sûreté de fonctionnement des composants du système. À travers cette étude, nous pouvons vérifier si, pendant le temps de mission du système, une propriété structurelle restera satisfaite et/ou respectera un niveau de performance exigé par un cahier des chargesThis thesis concerns the development of analysis of structural properties in interaction with indicators of reliability. Our study focuses on (linear, bilinear or switching) structured systems, they must verify some important properties for the accomplishment of their mission. Properties depend on the structure of the system, hence the term "structural properties". The structure of the system can be represented by a graph consisting of vertices and edges. Verification of structural properties depends mainly on four basic conditions of connectivity, link distance and complete linkage. We have developed algorithms to express the form of Boolean expressions based on the edges of the graph representing the system. We consider that each edge is linked to the system components. A failure at the component level can cause changes in the structure of the system, and therefore can make a structural property unsatisfied. Thus, the structural properties are written as boolean expressions based on the operating state of the components. Using boolean expressions associated to the structural properties, reliability and / or availability can be calculated knowing the characteristics of the system components. Through this study, we can check if during the mission time of the system, a structural property remain satisfied and / or comply with a level of performance required by the specifications
6
Ziani, Rezki. « Vérification des objectifs de disponibilité et de maintenabilité des systèmes complexes modélisés par leurs ensembles minimaux : vers une optimisation de la sûreté des systèmes ». Compiègne, 1986. http://www.theses.fr/1986COMPI250.
Texte intégralRésumé :
Étant donné un système, l’utilisateur demande à ce système qu’il satisfasse à ses besoins avec des garanties suffisantes. Le constructeur répond par des performances mais rencontre des difficultés à démontrer les garanties. Dans ce travail, nous développons une méthodologie rigoureuse aidant le constructeur à démontrer les garanties, à confirmer la bonne conception du système et/ou indiquer les recommandations favorables. Un modèle de vérification à objectifs de sûreté pour un système en phase conception est proposé. Pour rendre réalistes les actions d’amélioration qui peuvent être proposés, ce modèle est généralisé à un modèle d’optimisation avec contrainte économique.
7
Brissaud, Florent. « Contributions à la modélisation et à l'évaluation de la sûreté de fonctionnement de systèmes de sécurité à fonctionalités numériques ». Troyes, 2010. http://www.theses.fr/2010TROY0015.
Texte intégralRésumé :
L’utilisation de nouvelles technologies au sein des systèmes relatifs à la sécurité soulève des problèmes en termes de maîtrise des risques technologiques, et il est nécessaire de disposer d’outils d’évaluation probabiliste adaptés à la complexité accrue de ces systèmes. Les travaux présentés dans ce mémoire apportent des contributions à l’évaluation de la sûreté de fonctionnement des systèmes de sécurité, et en particulier des capteurs-transmetteurs à fonctionnalités numériques qui combinent l’acquisition de données avec des fonctions avancées de traitement et de transmission de l’information. L’objectif est d’étendre les méthodes de modélisation de la sûreté de fonctionnement, afin de mieux prendre en compte les diverses interactions et les comportements dynamiques mis en jeu par ces systèmes. Le premier modèle proposé permet de représenter les aspects fonctionnels et matériels d’un système de sécurité, les défauts et défaillances, ainsi que les diverses relations entre éléments. Cette modélisation sert de support à des analyses de fiabilité et à des analyses d’incertitudes liées aux paramètres et au modèle. Une seconde contribution considère les capteurs-transmetteurs comme éléments de systèmes de contrôle-commande et vise à modéliser les interactions entre ces capteurs-transmetteurs, celles avec d’autres éléments du système, ainsi qu’avec le processus contrôlé, dans une approche de fiabilité dynamiqueThe use of new technologies in safety-related systems gives rise to specific issues with respect to risk management, and it needs having probabilistic evaluation tools adapted to the in-creasing complexity of systems. The thesis works presented in this dissertation contribute to the dependability evaluation of safety-related systems, and especially for digital-based transmitters, which combine data acquisition with information processing and transmission. The aim is to extend the dependability model-ling methods in order to take at best the various interactions and dynamic behaviours of the systems into account. The first proposed model allows to represent the functional and material aspects of a safety system, the faults and failures, as well as the different relations between elements. This modelling framework is used as support to perform reliability analyses and uncertainty analyses with regard to parameters and model. A second contribution assumes the transmitters as part of control systems and aims to model the interactions between transmitters, and the interactions with the other systems’ components and the process, using a dynamic reliability framework
8
Simache, Cristina. « Evaluation de la sûreté de fonctionnement de systèmes Unix et Windows à partir de données opérationnelles : méthode et application ». Toulouse 3, 2004. http://www.theses.fr/2004TOU30280.
Texte intégralRésumé :
Les environnements informatiques académiques ou industriels utilisent de grands parcs de systèmes interconnectés, le plus souvent hétérogènes, incluant un nombre important de machines et serveurs Unix, Windows NT et Windows 2000. Ces environnements sont conçus pour favoriser le partage des ressources et le travail coopératif entre les utilisateurs. Néanmoins, ces avantages peuvent être compromis par des défaillances du réseau de communication, des applications ou des systèmes hôtes. Le meilleur moyen pour comprendre le comportement de systèmes informatiques en présence de fautes est de collecter des données issues de l'observation de leur comportement dans leur environnement opérationnel. Nos travaux portent sur le développement et la mise en œuvre de méthodes permettant de faciliter la collecte et l'exploitation pour des analyses de sûreté de fonctionnement de fichiers enregistrés automatiquement par certains systèmes d'exploitation. Les systèmes ciblés dans notre étude sont des machines Unix, Windows NT et Windows 2000 interconnectés au travers d'un réseau local. Outre la définition et la mise en œuvre de la stratégie de collecte de données opérationnelles, le traitement des données vise à extraire les informations pertinentes et à obtenir des mesures quantitatives pour caractériser les systèmes du point de vue de la sûreté de fonctionnement. Nous avons aussi montré comment les mesures estimées à partir des données opérationnelles peuvent être intégrées dans une modélisation analytique permettant d'évaluer la disponibilité telle qu'elle est perçue par les utilisateurs. L'analyse comparative des mesures caractérisant les systèmes et des celles reflétant la perception des utilisateurs constitue aussi un résultat original de nos travauxAcademic and industrial computing environments are mainly based on interconnected heterogeneous systems including a large number of Unix, Windows NT and Windows 2000 workstations and servers. These environments are designed to facilitate resource sharing and cooperative work between users. However, these benefits may be compromised by failures affecting the communication network, the applications or the end systems. There is no better way to understand the behavior of computing environments in the presence of faults than by direct measurement, analysis and assessment based on data obtained from the observation of their behavior in an operational environment. Our work focuses on the development and the implementation of methods allowing data collection and dependability analysis of log files automatically recorded by some operating systems. The target systems in our study are Unix, Windows NT and Windows 2000 systems interconnected in a local area network. Besides the definition and the implementation of the data collection strategy, the data processing aims to extract the relevant information and to obtain quantitative measures in order to characterize the target systems from a dependability point of view. We also showed how the measures assessed from operational data can be integrated within an analytical modeling allowing the estimation of user-perceived availability. The comparative analysis of measures characterizing the systems and those reflecting users' perceptions represents another original result of our work
9
Brissaud, Florent. « Contributions à la Modélisation et à l'Évaluation de la Sûreté de Fonctionnement de Systèmes de Sécurité à Fonctionnalités Numériques ». Phd thesis, Université de Technologie de Troyes, 2010. http://tel.archives-ouvertes.fr/tel-00553045.
Texte intégralRésumé :
L'utilisation de nouvelles technologies au sein des systèmes relatifs à la sécurité soulève des problèmes en termes de maîtrise des risques technologiques, et il est nécessaire de disposer d'outils d'évaluation probabiliste adaptés à la complexité accrue de ces systèmes. Les travaux présentés dans ce mémoire apportent des contributions à l'évaluation de la sûreté de fonctionnement des systèmes de sécurité, et en particulier des capteurs-transmetteurs à fonctionnalités numériques qui combinent l'acquisition de données avec des fonctions avancées de traitement et de transmission de l'information. L'objectif est d'étendre les méthodes de modélisation de la sûreté de fonctionnement, afin de mieux prendre en compte les diverses interactions et les comportements dynamiques mis en jeu par ces systèmes. Le premier modèle proposé permet de représenter les aspects fonctionnels et matériels d'un système de sécurité, les défauts et défaillances, ainsi que les diverses relations entre éléments. Cette modélisation sert de support à des analyses de fiabilité et à des analyses d'incertitudes liées aux paramètres et au modèle. Une seconde contribution considère les capteurs-transmetteurs comme éléments de systèmes de contrôle-commande et vise à modéliser les interactions entre ces capteurs-transmetteurs, celles avec d'autres éléments du système, ainsi qu'avec le processus contrôlé, dans une approche de fiabilité dynamique.
10
Broy, Perrine. « Evaluation de la sûreté de systèmes dynamiques hybrides complexes : application aux systèmes hydrauliques ». Phd thesis, Université de Technologie de Troyes, 2014. http://tel.archives-ouvertes.fr/tel-01006308.
Texte intégralRésumé :
Ces travaux s'intéressent à l'estimation de la fiabilité des évacuateurs de crues vannés. Le comportement fiabiliste de ces systèmes hydrauliques dépend à la fois d'événements aléatoires discrets, mais aussi de l'évolution d'une variable déterministe continue : ce sont des systèmes dynamiques hybrides. Pour ces systèmes, l'événement redouté est réalisé lorsque le niveau de la retenue atteint un seuil de sûreté. La démarche de fiabilité dynamique proposée dans cette thèse vise à prendre en compte l'information temporelle, de la modélisation à la synthèse d'indicateurs fiabilistes pour l'aide à la décision et développe deux contributions : 1) L'élaboration d'une base de connaissances dédiée à la description des évacuateurs de crues en termes de fiabilité dynamique. Chaque classe de composants est décrite par un automate stochastique hybride dont les états sont les différentes phases de son fonctionnement. 2) Le suivi de la simulation de Monte Carlo, le traitement et l'analyse des "histoires" (séquence de tous les états activés et des dates d'activation) obtenues en simulation. Cela permet de construire des indicateurs de fiabilité classique (probabilité d'occurrence de l'évènement redouté, identification des coupes équivalentes prépondérantes, ...). Des indicateurs de fiabilité dynamique basés sur la classification des histoires en fonction des dates de défaillance des composants concernés et sur l'estimation de l'importance dynamique sont aussi proposés.
Chapitres de livres sur le sujet "Sûreté et disponibilité"
1
COPPOLA, Marcello, et George KORNAROS. « Automatisation pour l’industrie 4.0 avec des passerelles LoRaWan sécurisées ». Dans Systèmes multiprocesseurs sur puce 2, 71–93. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9022.ch3.
Texte intégralRésumé :
Dans un écosystème IoT industriel (IIoT), la sécurité de la passerelle IoT et des dispositifs de nœuds périphériques connectés, représente l’aspect clé permettant d’assurer la protection du cycle de production et la disponibilité des services. Ce chapitre présente les concepts nécessaires pour mettre en œuvre une architecture permettant une sécurité et une sûreté complète de l’IIoT dans un environnement LoRaWAN.
Actes de conférences sur le sujet "Sûreté et disponibilité"
1
Bartholdt, Michael, et Bernd Bertsche. « tARg€t – Détermination des objectifs de disponibilité et de fiabilité ». Dans Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement, 11-13 Octobre 2016, Saint Malo, France. IMdR, 2016. http://dx.doi.org/10.4267/2042/61711.
Texte intégral
2
Carer, Philippe, Xavier De Bossoreille et Martin Otter. « Modelica et simulation de Monte Carlo pour l’étude de fiabilité et disponibilité d’un Data Center ». Dans Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement, 11-13 Octobre 2016, Saint Malo, France. IMdR, 2016. http://dx.doi.org/10.4267/2042/61801.
Texte intégral
3
Joliot, X., et M. Giraudeau. « Innovations dans l’évaluation de la fiabilité et de la disponibilité des radars à antennes actives ». Dans Congrès Lambda Mu 19 de Maîtrise des Risques et Sûreté de Fonctionnement, Dijon, 21-23 Octobre 2014. IMdR, 2015. http://dx.doi.org/10.4267/2042/56167.
Texte intégral
4
de Reffye, J. « Application du code relsys au respect des exigences de disponibilité des lignes ferroviaires ». Dans Congrès Lambda Mu 19 de Maîtrise des Risques et Sûreté de Fonctionnement, Dijon, 21-23 Octobre 2014. IMdR, 2015. http://dx.doi.org/10.4267/2042/56136.
Texte intégral
5
Folleau, Cyrille, C. Vinuesa et S. Collas. « Méthode de calcul de la disponibilité de production des systèmes pétroliers multi-flux ». Dans Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement, 11-13 Octobre 2016, Saint Malo, France. IMdR, 2016. http://dx.doi.org/10.4267/2042/61816.
Texte intégral
6
De Reffye, Jérôme, et Marc Antoni. « Contrôle continu de l'impédance des Joints Isolants Collés pour la disponibilité des lignes SNCF ». Dans Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement, 11-13 Octobre 2016, Saint Malo, France. IMdR, 2016. http://dx.doi.org/10.4267/2042/61717.
Texte intégral