La recherche de solutions analytiques pour l'évaluation de la fiabilité en contexte dynamique n'est pas résolue dans le cas général. Un état de l'art présenté dans le chapitre 1 montre que des approches partielles relatives à des hypothèses particulières existent. La simulation de Monte Carlo serait le seul recours, mais il n'existait pas d'outils performants permettant la simulation simultanée de l'évolution discrète du système et de son évolution continue prenant en compte les aspects probabilistes. Dans ce contexte, dans le chapitre 2, nous introduisons le concept d'automate stochastique hybride capable de prendre en compte tous les problèmes posés par la fiabilité dynamique et d'accéder à l'évaluation des grandeurs de la sûreté de fonctionnement par une simulation de Monte Carlo implémentée dans l'environnement Scilab-Scicos. Dans le chapitre 3, nous montrons l'efficacité de notre approche de simulation pour l'évaluation de la sûreté de fonctionnement en contexte dynamique sur deux cas test dont un est un benchmark de la communauté de la Sûreté de Fonctionnement. Notre approche permet de répondre aux problèmes posés, notamment celui de la prise en compte de l'influence de l'état discret, de l'état continu et de leur interaction dans l'évaluation probabiliste des performances d'un système dans lequel en outre, les caractéristiques fiabilistes des composants dépendent eux-mêmes des états continu et discret. Dans le chapitre 4, nous donnons une idée de l'intérêt du contrôle par supervision comme moyen de la sûreté de fonctionnement. Les concepts d'automate observateur et de contrôleur ont été introduits et illustrés sur notre cas test afin de montrer leur potentialité

Presents recent developments of probabilistic assessment of systems dependability based on stochastic models, including graph theory, finite state automaton and language theory, for both dynamic and hybrid contexts.

This evidence-based book serves as a clinical manual as well as a reference guide for the diagnosis and management of common nutritional issues in relation to gastrointestinal disease. Chapters cover nutrition assessment; macro- and micronutrient absorption; malabsorption; food allergies; prebiotics and dietary fiber; probiotics and intestinal microflora; nutrition and GI cancer; nutritional management of reflux; nutrition in IBS and IBD; nutrition in acute and chronic pancreatitis; enteral nutrition; parenteral nutrition; medical and endoscopic therapy of obesity; surgical therapy of obesity; pharmacologic nutrition, and nutritional counseling.

Ce manuel de fiabilité appliquée offre au lecteur une vision à peu près exhaustive des méthodes de modélisation et d’évaluation de la Sûreté de Fonctionnement des systèmes, avec leurs domaines d’application et limites éventuelles. Il traite également de l’optimisation des systèmes ainsi que d’autres pistes d’amélioration prometteuses telles que le dimensionnement probabiliste ou le Health monitoring. Il rappelle les fondements des probabilités et statistiques afin de limiter les prérequis aux notions mathématiques élémentaires.

LE SUJET DE LA THESE SE SITUE DANS LE CADRE DE LA MODELISATION ET L'EVALUATION DE LA SURETE DE FONCTIONNEMENT DES SYSTEMES, NOTAMMENT INFORMATIQUES ET DE COMMUNICATION. DANS UNE PREMIERE PARTIE DU TRAVAIL, NOUS NOUS INTERESSONS AUX SYSTEMES COMBINATOIRES. COMME L'EVALUATION EXACTE APPARTIENT AUX PROBLEMES NP-DURS, NOUS CONSIDERONS L'ESTIMATION DE LA FIABILITE PAR DES TECHNIQUES DE MONTE CARLO. DANS CE CONTEXTE NOUS PRESENTONS UNE FAMILLE D'ALGORITHMES (APPELES ALGORITHMES DE REDUCTION RECURSIVE DE LA VARIANCE) QUI PERMETTENT D'OFFRIR, EN UN TEMPS FIXE, UNE ESTIMATION PLUS PRECISE QUE CELLE DONNEE PAR UNE SIMULATION STANDARD. L'UN DES PROBLEMES QUI SE PRESENTENT LORS DE LA CONCEPTION D'UN RESEAU DE COMMUNICATION EST DE DEFINIR SA TOPOLOGIE DE FACON A ASSURER, ENTRE AUTRE, UNE FIABILITE MAXIMALE DANS LES COMMUNICATIONS. NOUS EMPLOYONS LES TECHNIQUES D'EVALUATION DE LA FIABILITE AU SEIN D'UN ALGORITHME DE RECUIT SIMULE POUR ABORDER CE PROBLEME D'OPTIMISATION. LA DEUXIEME PARTIE DE LA THESE EST CONSACREE A L'ETUDE DES SYSTEMES MARKOVIENS. LA GENERATION DU PROCESSUS DE MARKOV SOUS-JACENT AU MODELE D'UN SYSTEME EST UN PROBLEME IMPORTANT DANS LE CONTEXTE DE L'EVALUATION DE LA SURETE DE FONCTIONNEMENT. NOUS PRESENTONS UNE BIBLIOTHEQUE DE MODELISATION ET D'EVALUATION DE SYSTEMES MARKOVIENS, QUI PERMET LE TRAITEMENT DE SYSTEMES EVOLUANT EN TEMPS CONTINU ET EN TEMPS DISCRET. CETTE BIBLIOTHEQUE FOURNIT COMME NOTION DE BASE LE FORMALISME DE BOULES ET URNES, ET ELLE PERMET L'INCORPORATION D'AUTRES FORMALISMES DE PLUS HAUT NIVEAU. NOUS CONSIDERONS AUSSI LES TECHNIQUES DE SIMULATION ET DANS CE CONTEXTE NOUS PROPOSONS UNE METHODE DE REDUCTION RECURSIVE DE LA VARIANCE POUR L'EVALUATION DES MESURES TRANSITOIRES DE LA SURETE DE FONCTIONNEMENT

L’incorporation des instruments intelligents dans les boucles de sécurité nous mène vers une sécurité intelligente et les systèmes deviennent des « systèmes instrumentés de sécurité à intelligence distribuée (SISID) ». La justification de l’usage de ces instruments dans les applications de sécurité n’est pas complètement avérée. L’évaluation de la sûreté de fonctionnement de ce type de systèmes n’est pas triviale. Dans ce travail, la modélisation et l'évaluation des performances relatives à la sûreté de fonctionnement des systèmes instrumentés de sécurité (SIS) sont traitées pour des structures intégrant de l’intelligence dans les instruments de terrain. La méthodologie que nous utilisons consiste en la modélisation de l’aspect fonctionnel et dysfonctionnel de ces systèmes en adoptant le formalisme basé sur les réseaux de Petri stochastiques qui assurent la représentation du comportement dynamique de ce type de systèmes. La modélisation est traitée sous la forme d’une approche stochastique utilisant les réseaux d’activité stochastiques SAN (Stochastic Activity Network). L’introduction d’indicateurs de performances permet de mettre en évidence l’effet de l’intégration des niveaux d’intelligence dans les applications de sécurité. La méthode de Monte Carlo est utilisée pour évaluer les paramètres de sûreté de fonctionnement des SIS en conformité avec les normes de sécurité relatives aux systèmes instrumentés de sécurité (CEI 61508 et CEI 61511). Nous avons proposé une méthode et les outils associés pour approcher cette évaluation par simulation et ainsi apporter une aide à la conception des systèmes instrumentés de sécurité (SIS) intégrant quelques fonctionnalités des instruments intelligents