Validation de systèmes répartis par injection de fautes PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Validation de systèmes répartis par injection de fautes PDF full book. Access full book title Validation de systèmes répartis par injection de fautes by Eliane Martins. Download full books in PDF and EPUB format.
Author: Eliane Martins
Publisher:
ISBN:
Category :
Languages : fr
Pages : 144
Get Book Here
Book Description
Ce mémoire présente des résultats théoriques et pratiques concernant l'utilisation de l'injection physique de fautes. Nous proposons une méthode de test qui intègre les deux objectifs de la validation (vérification et évaluation), englobant les aspects suivants: a) la définition d'une architecture de test repartie avec support pour l'injection physique de fautes; b) la sélection de la séquence de test, qui doit considérer les fautes comme une entrée supplémentaire de test; c) la détermination que le service observe satisfait aux propriétés spécifiées et; d) l'estimation de la couverture des mécanismes de tolérance aux fautes basée sur les relevés collectés lors des expériences. Afin d'avoir des estimations de bonne qualité, et de réduire le temps et l'effort de réalisation des tests, des méthodes de sondage sont appliquées; en particulier, pour le traitement des non réponses (expériences non-significatives) nous proposons l'utilisation d'un sondage stratifié a posteriori basé sur les groupes d'équipotentielles affectées par les tests. Cette méthode a été appliquée à la validation d'une architecture répartie, ouverte et tolérante aux fautes, définie dans le cadre du projet delta-4 du programme européen esprit. Les résultats obtenus montrent l'apport considérable de l'injection physique de fautes dans le processus de validation de systèmes tolérants aux fautes.
Author: Eliane Martins
Publisher:
ISBN:
Category :
Languages : fr
Pages : 144
Get Book Here
Book Description
Ce mémoire présente des résultats théoriques et pratiques concernant l'utilisation de l'injection physique de fautes. Nous proposons une méthode de test qui intègre les deux objectifs de la validation (vérification et évaluation), englobant les aspects suivants: a) la définition d'une architecture de test repartie avec support pour l'injection physique de fautes; b) la sélection de la séquence de test, qui doit considérer les fautes comme une entrée supplémentaire de test; c) la détermination que le service observe satisfait aux propriétés spécifiées et; d) l'estimation de la couverture des mécanismes de tolérance aux fautes basée sur les relevés collectés lors des expériences. Afin d'avoir des estimations de bonne qualité, et de réduire le temps et l'effort de réalisation des tests, des méthodes de sondage sont appliquées; en particulier, pour le traitement des non réponses (expériences non-significatives) nous proposons l'utilisation d'un sondage stratifié a posteriori basé sur les groupes d'équipotentielles affectées par les tests. Cette méthode a été appliquée à la validation d'une architecture répartie, ouverte et tolérante aux fautes, définie dans le cadre du projet delta-4 du programme européen esprit. Les résultats obtenus montrent l'apport considérable de l'injection physique de fautes dans le processus de validation de systèmes tolérants aux fautes.
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 840
Get Book Here
Book Description
Author: Jean Arlat
Publisher:
ISBN:
Category :
Languages : fr
Pages : 380
Get Book Here
Book Description
CE MEMOIRE PRESENTE DES TRAVAUX ET DES RESULTATS, AUSSI BIEN THEORIQUES QUE PRATIQUES, CONCERNANT L'UTILISATION DE L'INJECTION DE FAUTES EN TANT QUE MOYEN DE TEST DE LA TOLERANCE AUX FAUTES DANS LE CADRE DE LA VALIDATION EXPERIMENTALE DE LA SURETE DE FONCTIONNEMENT DES SYSTEMES INFORMATIQUES. LE MEMOIRE EXPOSE TOUT D'ABORD UNE SYNTHESE DES TRAVAUX SUR L'INJECTION DE FAUTES, TANT AU NIVEAU DU MATERIEL (SIMULATION DE FAUTES, INJECTION PHYSIQUE) QU'AU NIVEAU DU LOGICIEL (TEST DE MUTATION). LES PRINCIPAUX ATTRIBUTS DE L'INJECTION DE FAUTES (LES FAUTES ET LEUR ACTIVATION, LES RELEVES ET MESURES D'EXPERIENCE) SONT ENSUITE CARACTERISES EN TENANT COMPTE: A) DES NIVEAUX D'ABSTRACTION UTILISES POUR LA REPRESENTATION DU SYSTEME AU COURS DE SON DEVELOPPEMENT (MODELES ANALYTIQUE, EMPIRIQUE, PHYSIQUE), ET; B) DES OBJECTIFS DE LA VALIDATION (VERIFICATION ET EVALUATION). ON PROPOSE ENSUITE UNE METHODE D'EVALUATION DE LA SURETE DE FONCTIONNEMENT COMBINANT LES APPROCHES DE MODELISATION ANALYTIQUE (SIMULATIONS MONTE CARLO, EXPRESSIONS ANALYTIQUES, CHAINES DE MARKOV) POUR LA REPRESENTATION DU PROCESSUS D'OCCURRENCE DE FAUTES ET LES APPROCHES EXPERIMENTALES D'INJECTION DE FAUTES (SIMULATION DE FAUTES ET INJECTION PHYSIQUE) POUR LA CARACTERISATION DU PROCESSUS DE TRAITEMENT DES FAUTES ET DES ERREURS ASSURE PAR LES MECANISMES DE TOLERANCE AUX FAUTES. CES TRAVAUX SONT CONCRETISES PAR LA DEFINITION ET LA PRESENTATION D'UN OUTIL EXPERIMENTAL MESSALINE PERMETTANT D'INJECTER DES FAUTES PHYSIQUES SUR UN PROTOTYPE MATERIEL ET LOGICIEL DU SYTEME A VALIDER. ENFIN, L'APPLICATION DE MESSALINE A DEUX SYSTEMES TOLERANT LES FAUTES PRESENTANT DES CARACTERISTIQUES FORT DISSEMBLABLES ET L'EXPLOITATION DES RESULTATS EXPERIMENTAUX OBTENUS TANT SUR LE PLAN DES RETOURS DE CONCEPTION QUE SUR LE PLAN DE L'EVALUATION DE MESURES DE LA SURETE DE FONCTIONNEMENT MONTRENT L'INTERET DE CETTE METHODE
Author:
Publisher:
ISBN:
Category : Science
Languages : en
Pages : 714
Get Book Here
Book Description
Author: World Bank
Publisher: World Bank Publications
ISBN: 9780821323953
Category : Business & Economics
Languages : en
Pages : 1422
Get Book Here
Book Description
The Republic of Korea's industrial policy has directed that nation's economy through nearly three decades of spectacular growth. But the authors of this paper maintain that this policy is showing signs of being outmoded. The time has come, the authors argue, for the Korean government to stop managing the economy's structural development and to redefine the responsibilities of business and government. Under this proposed compact, the allocation of resources would shift from the government to the private industrial and financial sectors. The transformation of the government bureaucracy from an ad hoc policy role to one of a transparent and predictable regulator is a key to the success of this undertaking. These new directions would present the government with enormous challenges. Greater competitive discipline and regulatory oversight would be required. While dealing with the complexities of the transition, the government would have to maintain macroeconomic stability and the momentum of savings and investment. For comparison, the study examines the industrial economies of France, Germany, Japan, and the United States, which underwent similar shifts.
Author: William Hoarau
Publisher:
ISBN:
Category :
Languages : fr
Pages : 201
Get Book Here
Book Description
Dans un réseau constitué de plusieurs milliers d’ordinateurs, l’apparition de fautes est inévitable. Etre capable de tester le comportement d’un programme distribué dans un environnement où l’on peut contrôler les fautes (comme le crash d’un processus) est une fonctionnalité importante pour le déploiement de programmes fiables. Dans cette thèse, nous présentons FAIL (pour FAult Injection Language), un langage qui permet d’élaborer des scénarios de fautes complexes relativement facilement, tout en déchargeant l’utilisateur de l’écriture de code de bas niveau. En outre, il est possible de construire des scénarios de fautes probabilistes (pour des tests quantitatifs) ou déterministes et reproductibles (pour étudier le comportement de l’application dans des cas particuliers). Ensuite, nous présentons FCI (FAIL Cluster Implementation), notre injecteur de fautes, qui consiste en un compilateur, une bibliothèque d’exécution et une plate-forme pour l’injection de fautes dans des applications distribuées. FCI est capable de s’interfacer avec de nombreux langages de programmation sans nécessiter la modification de leur code source. Nous présentons également les tests que nous avons conduit sur différentes applications distribuées.
Author:
Publisher:
ISBN:
Category : Research
Languages : en
Pages : 1290
Get Book Here
Book Description
Sections 1-2. Keyword Index.--Section 3. Personal author index.--Section 4. Corporate author index.-- Section 5. Contract/grant number index, NTIS order/report number index 1-E.--Section 6. NTIS order/report number index F-Z.
Author: Éric Jenn
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Computer programming
Languages : fr
Pages : 632
Get Book Here
Book Description
Author: Linda Strande
Publisher: IWA Publishing
ISBN: 1780404735
Category : Technology & Engineering
Languages : en
Pages : 428
Get Book Here
Book Description
It is estimated that literally billions of residents in urban and peri-urban areas of Africa, Asia, and Latin America are served by onsite sanitation systems (e.g. various types of latrines and septic tanks). Until recently, the management of faecal sludge from these onsite systems has been grossly neglected, partially as a result of them being considered temporary solutions until sewer-based systems could be implemented. However, the perception of onsite or decentralized sanitation technologies for urban areas is gradually changing, and is increasingly being considered as long-term, sustainable options in urban areas, especially in low- and middle-income countries that lack sewer infrastructures. This is the first book dedicated to faecal sludge management. It compiles the current state of knowledge of the rapidly evolving field of faecal sludge management, and presents an integrated approach that includes technology, management, and planning based on Sandecs 20 years of experience in the field. Faecal Sludge Management: Systems Approach for Implementation and Operation addresses the organization of the entire faecal sludge management service chain, from the collection and transport of sludge, and the current state of knowledge of treatment options, to the final end use or disposal of treated sludge. The book also presents important factors to consider when evaluating and upscaling new treatment technology options. The book is designed for undergraduate and graduate students, and engineers and practitioners in the field who have some basic knowledge of environmental and/or wastewater engineering.
