Author: Patrice Moreaux
Publisher:
ISBN: 9782746211841
Category :
Languages : fr
Pages : 213

View

Book Description

Author: Kishor S. Trivedi
Publisher: Cambridge University Press
ISBN: 1108509002
Category : Technology & Engineering
Languages : en
Pages : 729

View

Book Description
Do you need to know what technique to use to evaluate the reliability of an engineered system? This self-contained guide provides comprehensive coverage of all the analytical and modeling techniques currently in use, from classical non-state and state space approaches, to newer and more advanced methods such as binary decision diagrams, dynamic fault trees, Bayesian belief networks, stochastic Petri nets, non-homogeneous Markov chains, semi-Markov processes, and phase type expansions. Readers will quickly understand the relative pros and cons of each technique, as well as how to combine different models together to address complex, real-world modeling scenarios. Numerous examples, case studies and problems provided throughout help readers put knowledge into practice, and a solutions manual and Powerpoint slides for instructors accompany the book online. This is the ideal self-study guide for students, researchers and practitioners in engineering and computer science.

Author: Klaus Echtle
Publisher: Springer Science & Business Media
ISBN: 9783540584261
Category : Computers
Languages : en
Pages : 642

View

Book Description
This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on dependable computing. The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification and validation, formal methods, hardware and software testing, and parallel and distributed systems.

Author: DOMINIQUE.. VERCHERE
Publisher:
ISBN:
Category :
Languages : fr
Pages : 216

View

Book Description
CETTE THESE TRAITE ESSENTIELLEMENT DES RESEAUX DE FILES D'ATTENTE A FORME PRODUIT POUR LE DIMENSIONNEMENT DE SYSTEMES ACTUELS AYANT DES DYNAMIQUES COMPLEXES TELS QUE LES RESEAUX DE COMMUNICATION (ATM), LES SYSTEMES PARALLELES, LES ATELIERS DE PRODUCTION, ETC. EN SPECIFIANT LES TRANSITIONS D'ETAT METTANT A CONTRIBUTION SIMULTANEMENT PLUSIEURS CLIENTS REPARTIS SUR PLUSIEURS STATIONS, NOUS AVONS ETENDU LES MODELES DE RESEAUX GENERALISES A TEMPS CONTINU ET PRECISE LES DEPENDANCES FONCTIONNELLES EXISTANTES POUR LES RESEAUX EN TEMPS DISCRET. CETTE ETUDE EVOLUE SUIVANT QUATRE APPROCHES : LA PREMIERE ETAPE APPLICATIONS POTENTIELLES A CONSISTE A DEVELOPPER DES EXTENSIONS DES RESEAUX GENERALISES (G-RESEAUX) POUR APPLIQUER CES MODELES A DES PROBLEMATIQUES ACTUELLES. LES G-RESEAUX A CAPACITE LIMITEE SONT D'ABORD INTRODUITS DANS LE CHAPITRE 4 : G-RESEAUX AVEC STOP PROTOCOL ET LES G-RESEAUX AVEC SERVICE REPETE. ENSUITE POUR PRENDRE EN COMPTE LA SPORADICITE DES FLUX D'INFORMATION, LE CHAPITRE 5 EST CONSACRE AUX G-RESEAUX DANS UN ENVIRONNEMENT ALEATOIRE. LA DEUXIEME APPROCHE NUMERIQUE PRESENTE UNE ETUDE PARAMETRIQUE D'UN G-RESEAUX QUI NOUS PERMIS DE MONTRER LA CONTINUITE UNIFORME DE LA DISTRIBUTION STATIONNAIRE EN FONCTION DE CERTAINS PARAMETRES COMME LE TAUX DE SERVICE DE STATIONS DONNEES. LA TROISIEME DIRECTION DYNAMIQUE MONTRE DES EXTENSIONS DE L'EFFET D'UN SIGNAL CONSERVANT UNE SOLUTION A FORME PRODUIT DANS UN G-RESEAU. SUR UN ESPACE D'ETAT POSITIF, NOUS GENERALISONS TOUTES LES DYNAMIQUES POSSIBLES ASSOCIEES A L'EFFET D'UN SIGNAL DANS LE CHAPITRE 8 INTITULE: RESEAUX AVEC PARCOURS GENERAUX DE SIGNAL. LES TRANSITIONS D'ETAT DANS CES G-RESEAUX SONT ASSIMILEES A DES SYNCHRONISATIONS DE FIN DE SERVICE DE PLUSIEURS CLIENTS. CE RESULTAT PRINCIPAL NOUS CONDUIT DONC VERS LES RESEAUX EN TEMPS DISCRET. LA DERNIERE APPROCHE DECRIT LES DEPENDANCES FONCTIONNELLES EXISTANTES ENTRE LES PROBABILITES DE SERVICE, LES PROBABILITES DE ROUTAGE ET LA DISTRIBUTION DES ETATS STATIONNAIRES DES RESEAUX A FORME PRODUIT EN TEMPS DISCRET. A PARTIR DE SYSTEMES QUASI-REVERSIBLES, LE CHAPITRE 10 PRESENTE DES METHODES DE CONSTRUCTION DE RESEAUX LATE ARRIVAL ET EARLY ARRIVAL. ON TERMINE CETTE ETUDE EN PRESENTANT DES METHODES DE PREUVE DE L'EXISTENCE D'UNE SOLUTION AUX SYSTEMES DE POINT FIXE NON LINEAIRE GENERES PAR LA RESOLUTION DES EQUATIONS DE BALANCE DES MODELES AVEC SIGNAUX.

Author: Mohammed S. Obaidat
Publisher: John Wiley & Sons
ISBN: 0470567198
Category : Computers
Languages : en
Pages : 477

View

Book Description
The only singular, all-encompassing textbook on state-of-the-art technical performance evaluation Fundamentals of Performance Evaluation of Computer and Telecommunication Systems uniquely presents all techniques of performance evaluation of computers systems, communication networks, and telecommunications in a balanced manner. Written by the renowned Professor Mohammad S. Obaidat and his coauthor Professor Noureddine Boudriga, it is also the only resource to treat computer and telecommunication systems as inseparable issues. The authors explain the basic concepts of performance evaluation, applications, performance evaluation metrics, workload types, benchmarking, and characterization of workload. This is followed by a review of the basics of probability theory, and then, the main techniques for performance evaluation namely measurement, simulation, and analytic modeling with case studies and examples. Contains the practical and applicable knowledge necessary for a successful performance evaluation in a balanced approach Reviews measurement tools, benchmark programs, design of experiments, traffic models, basics of queueing theory, and operational and mean value analysis Covers the techniques for validation and verification of simulation as well as random number generation, random variate generation, and testing with examples Features numerous examples and case studies, as well as exercises and problems for use as homework or programming assignments Fundamentals of Performance Evaluation of Computer and Telecommunication Systems is an ideal textbook for graduate students in computer science, electrical engineering, computer engineering, and information sciences, technology, and systems. It is also an excellent reference for practicing engineers and scientists.

Author: Thomas Bonald
Publisher: Lavoisier
ISBN: 2746229773
Category : Computer systems
Languages : fr
Pages : 214

View

Book Description
Les réseaux et les systèmes informatiques sont devenus extraordinairement complexes. Les protocoles et algorithmes qui en assurent le partage permettent d'absorber les fluctuations du trafic liées au comportement aléatoire des utilisateurs, ceci au prix d'une dégradation de la qualité des communications et de l'interactivité des applications. Cet ouvrage présente les principaux outils d'analyse de performance de ces systèmes, permettant d'estimer l'impact de leur charge sur la qualité de service. Performances des réseaux et des systèmes informatiques expose les résultats de la théorie de Markov et de la théorie des files d'attente utiles à la modélisation du trafic et à la résolution de problèmes concrets d'ingénierie. Performances des réseaux et des systèmes informatiques est destiné aussi bien aux étudiants de niveau Master qu'aux chercheurs et ingénieurs dans le domaine de l'informatique et des réseaux. Chaque développement est illustré par une série d'exercices corrigés. Un chapitre est consacré à l'application des résultats au dimensionnement des réseaux d'accès IP et WiFi et des réseaux cellulaires 2G, 3G et 3G+.

Author: Alain SARZOTTI
Publisher:
ISBN:
Category :
Languages : fr
Pages :

View

Book Description

Author: Nadia Lynda Mokdad
Publisher:
ISBN:
Category :
Languages : fr
Pages : 408

View

Book Description
Cette thèse est consacrée à l'étude de nouvelles méthodes d'évaluation de performances pour les systèmes informatiques. Elle vise à mener l'analyse de problèmes difficiles d'évaluation de mécanismes de réseaux hauts débits jusqu'à son terme, c'est à dire l'obtention de taux de perte ou de délais. Ceci suppose donc une étape de modélisation et une étape de résolution. Pour la phase de modélisation, nous nous sommes intéressés aux réseaux d'automates stochastiques (ras) qui ont été introduits par b. plateau. Dans la phase de résolution, nous nous sommes intéressés au calcul de la distribution stationnaire d'une chaîne de Markov qui est difficile à cause de la taille de l'espace d'états pour des problèmes réalistes. Nous avons étudié la méthode de réduction qui exploite la structure de la chaîne pour réduire la complexité de calcul. Les fondements théoriques de cette méthode ont été développés par f. quessette. Cette méthode est basée sur le calcul d'un transversal des circuits. Nous avons donc ajouté d'autres heuristiques pour le calcul d'un transversal. Une nouvelle méthode qui combine perturbation et réduction avec élimination des transitions de faibles probabilités est proposée. Des méthodes de comparaison stochastique et d'approximations sont utilisées pour évaluer les taux de perte dans un commutateur atm et les delais dans une file ayant une discipline de service equitable. Nous avons mis en oeuvre un logiciel xsan pour le calcul de la distribution stationnaire associée aux réseaux d'automates stochastiques avec une interface graphique pour la saisie de ras et plusieurs algorithmes de résolution

Author: SERICOLA Bruno
Publisher: Lavoisier
ISBN: 2746289164
Category : Birth and death processes (Stochastic processes)
Languages : en
Pages : 391

View

Book Description
Les chaînes de Markov sont des modèles probabilistes utilisés dans des domaines variés comme la logistique, l'informatique, la fiabilité, les télécommunications, ou encore la biologie et la physique-chimie. On les retrouve également dans la finance, l’économie et les sciences sociales. Cet ouvrage présente une étude approfondie des chaînes de Markov à temps discret et à temps continu avec des applications détaillées aux processus de naissance et mort et aux files d'attente. Ces applications sont illustrées par des algorithmes généraux de calcul de probabilités d'état et de distribution de temps de passage. Le développement de ces algorithmes repose sur l'utilisation de la technique d'uniformisation des chaînes de Markov qui est présentée de manière théorique et intuitive. Ce livre s'adresse aux ingénieurs et chercheurs ayant besoin de modèles probabilistes pour évaluer et prédire le comportement des systèmes qu'ils étudient ou qu'ils développent. Il est aussi très bien adapté pour un cours de master.

Author:
Publisher:
ISBN:
Category : Computer engineering
Languages : en
Pages : 420

View

Book Description