SYSTEMES SURS DE FONCTIONNEMENT. ETUDE ET MISE EN UVRE D'UN SYSTEME A TOLERANCE DE FAUTES PAR CONTROLE LOGICIEL DISTRIBUE 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 SYSTEMES SURS DE FONCTIONNEMENT. ETUDE ET MISE EN UVRE D'UN SYSTEME A TOLERANCE DE FAUTES PAR CONTROLE LOGICIEL DISTRIBUE PDF full book. Access full book title SYSTEMES SURS DE FONCTIONNEMENT. ETUDE ET MISE EN UVRE D'UN SYSTEME A TOLERANCE DE FAUTES PAR CONTROLE LOGICIEL DISTRIBUE by EMMANUELLE.. RENAUX. Download full books in PDF and EPUB format.
Author: EMMANUELLE.. RENAUX
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Get Book Here
Book Description
LE SYSTEME PARFAIT N'A PAS ENCORE ETE INVENTE ET MALHEUREUSEMENT DES FAUTES PEUVENT TOUJOURS APPARAITRE INOPINEMENT! LA TOLERANCE AUX FAUTES, BASEE SUR LE CONCEPT DE REDONDANCE, EST UNE DES METHODES APPROPRIEES POUR CONFERER A UN SYSTEME DE LA SURETE DE FONCTIONNEMENT. LE PRESENT TRAVAIL PROPOSE UN SYSTEME A TOLERANCE DE FAUTES OU UNE UNITE DE CONTROLE SUPERVISE L'APPLICATION ET LUI PERMET DE TOLERER LES FAUTES MATERIELLES AINSI QUE LEURS RETOMBEES SUR LA PARTIE LOGICIELLE (ERREURS MEMOIRE). CETTE UNITE DE CONTROLE LUI CONFERE FIABILITE ET DISPONIBILITE. DE PLUS, LA GESTION DE LA TOLERANCE AUX FAUTES EST ASSUREE PAR LOGICIEL. CETTE APPROCHE A ETE PREFEREE A CELLE MATERIELLE POUR SA PLUS GRANDE SOUPLESSE ET UNE GESTION DYNAMIQUE DE LA MISE EN UVRE DES CRITERES. POUR PALLIER AUX PROBLEMES DE SYNCHRONISATION ET MINIMISER LA DEGRADATION DES PERFORMANCES DE L'APPLICATION, LES PROPRIETES D'UNE ARCHITECTURE PARALLELE MODULAIRE, ARTICULEE AUTOUR D'UN RESEAU DE TRANSPUTEURS RELIES PAR DE PUISSANTS DISPOSITIFS DE COMMUNICATION, ONT ETE EXPLOITEES. LE GESTIONNAIRE DU CONTROLE SE COMPOSE D'UN TRANSPUTEUR ASSOCIE A UNE UNITE D'ECHANGE DEDIEE, CE QUI AUTORISE UNE COMMUNICATION RAPIDE DE DONNEES. SOUS LES HYPOTHESES DE NON-INTERRUPTION DE SERVICE ET DE CONTROLE INDEPENDANT DE L'APPLICATION, LES METHODES DES MASQUAGE D'ERREURS ET CORRECTION DE FAUTES ONT ETE RETENUES. UN SCHEMA DE VOTE ORIGINAL A ENSUITE ETE DEFINI. IL TIRE PROFIT DES RESULTATS DU MODELE DE DIAGNOSABILITE (OU PROBLEME DE LOCALISATION DE PANNES DANS LES SYSTEMES DISTRIBUES) PROPOSE PAR PREPARATA, METZE ET CHIEN. AINSI, LE CONTROLE EST DISTRIBUE ET BASE SUR L'ECHANGE DE DONNEES ET DE COMPTES RENDUS DE COMPARAISON. CETTE STRATEGIE DE CONTROLE A ETE IMPLANTEE SUR L'ARCHITECTURE CHOISIE ET VALIDEE PAR UN DEMONSTRATEUR. LE BIEN FONDE DE LA THEORIE S'EST REVELE LORS DE L'INJECTION DE FAUTES MATERIELLES
Author: EMMANUELLE.. RENAUX
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Get Book Here
Book Description
LE SYSTEME PARFAIT N'A PAS ENCORE ETE INVENTE ET MALHEUREUSEMENT DES FAUTES PEUVENT TOUJOURS APPARAITRE INOPINEMENT! LA TOLERANCE AUX FAUTES, BASEE SUR LE CONCEPT DE REDONDANCE, EST UNE DES METHODES APPROPRIEES POUR CONFERER A UN SYSTEME DE LA SURETE DE FONCTIONNEMENT. LE PRESENT TRAVAIL PROPOSE UN SYSTEME A TOLERANCE DE FAUTES OU UNE UNITE DE CONTROLE SUPERVISE L'APPLICATION ET LUI PERMET DE TOLERER LES FAUTES MATERIELLES AINSI QUE LEURS RETOMBEES SUR LA PARTIE LOGICIELLE (ERREURS MEMOIRE). CETTE UNITE DE CONTROLE LUI CONFERE FIABILITE ET DISPONIBILITE. DE PLUS, LA GESTION DE LA TOLERANCE AUX FAUTES EST ASSUREE PAR LOGICIEL. CETTE APPROCHE A ETE PREFEREE A CELLE MATERIELLE POUR SA PLUS GRANDE SOUPLESSE ET UNE GESTION DYNAMIQUE DE LA MISE EN UVRE DES CRITERES. POUR PALLIER AUX PROBLEMES DE SYNCHRONISATION ET MINIMISER LA DEGRADATION DES PERFORMANCES DE L'APPLICATION, LES PROPRIETES D'UNE ARCHITECTURE PARALLELE MODULAIRE, ARTICULEE AUTOUR D'UN RESEAU DE TRANSPUTEURS RELIES PAR DE PUISSANTS DISPOSITIFS DE COMMUNICATION, ONT ETE EXPLOITEES. LE GESTIONNAIRE DU CONTROLE SE COMPOSE D'UN TRANSPUTEUR ASSOCIE A UNE UNITE D'ECHANGE DEDIEE, CE QUI AUTORISE UNE COMMUNICATION RAPIDE DE DONNEES. SOUS LES HYPOTHESES DE NON-INTERRUPTION DE SERVICE ET DE CONTROLE INDEPENDANT DE L'APPLICATION, LES METHODES DES MASQUAGE D'ERREURS ET CORRECTION DE FAUTES ONT ETE RETENUES. UN SCHEMA DE VOTE ORIGINAL A ENSUITE ETE DEFINI. IL TIRE PROFIT DES RESULTATS DU MODELE DE DIAGNOSABILITE (OU PROBLEME DE LOCALISATION DE PANNES DANS LES SYSTEMES DISTRIBUES) PROPOSE PAR PREPARATA, METZE ET CHIEN. AINSI, LE CONTROLE EST DISTRIBUE ET BASE SUR L'ECHANGE DE DONNEES ET DE COMPTES RENDUS DE COMPARAISON. CETTE STRATEGIE DE CONTROLE A ETE IMPLANTEE SUR L'ARCHITECTURE CHOISIE ET VALIDEE PAR UN DEMONSTRATEUR. LE BIEN FONDE DE LA THEORIE S'EST REVELE LORS DE L'INJECTION DE FAUTES MATERIELLES
Author: Emmanuelle Renaux
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Get Book Here
Book Description
Author: Youcef Laribi
Publisher:
ISBN:
Category :
Languages : fr
Pages : 183
Get Book Here
Book Description
Les changements de configuration d'un système distribue sont multiples: les pannes, les retraits volontaires, et l'adjonction de nœuds au système sont tous des évènements qui forcent le système a se reconfigurer. Nous traitons ces évènements dans un seul composant, le service d'adhésion, que nous identifions comme un service de base dans un système distribue tolérant les fautes.
Author: Anne-Marie Legwinski
Publisher:
ISBN:
Category :
Languages : fr
Pages : 182
Get Book Here
Book Description
La thèse étudie la redondance temporelle. Tout d'abord, le premier chapitre est consacré à l'analyse quantitative du phénomène faute sous trois aspects : système, évitement et tolérance, recouvrement des fautes non solides. Puis, le deuxième chapitre propose d'une part l'analyse détaillée d'une procédure de recouvrement au niveau purement physique et aborde d'autre part la recherche d'un modèle plus compact dont le niveau de description est cohérent avec le degré réel d'observabilité de la procédure. Enfin, dans le dernier chapitre, l'influence de la structure de base sur la politique de mise en oeuvre de la tolérance aux fautes non solides est analysée. Les améliorations apportées au niveau du taux d'arrêt et de l'indisponibilité sont évaluées.
Author: PASCAL.. CHEVOCHOT
Publisher:
ISBN:
Category :
Languages : fr
Pages : 221
Get Book Here
Book Description
UN SYSTEME TEMPS-REEL STRICT CRITIQUE EST UN DISPOSITIF, COMPOSE DE MATERIELS ET DE LOGICIELS, DONT LES TACHES PEUVENT PROVOQUER DES CONSEQUENCES CATASTROPHIQUES SUR LE MILIEU CONTROLE SI ELLES DEPASSENT LEURS ECHEANCES. UN TEL SYSTEME REPOSE SUR UN ALGORITHME D'ORDONNANCEMENT QUI DETERMINE L'ORDRE D'EXECUTION DES TACHES, ET SUR UN TEST D'ORDONNANCABILITE QUI DETERMINE, AVANT EXECUTION, SI OUI OU NON LES ECHEANCES DES TACHES SERONT TOUJOURS RESPECTEES. LA CONCEPTION D'UN SYSTEME TEMPS-REEL STRICT ET TOLERANT AUX FAUTES EST COMPLEXE, CAR TOUS LES MECANISMES POUR TOLERER LES FAUTES (PAR EXEMPLE LE MAINTIEN DE LA REDONDANCE DES ETATS D'EXECUTION, LA DETECTION ET LE TRAITEMENT DES ERREURS) DOIVENT ETRE PRIS EN COMPTE PAR L'ALGORITHME D'ORDONNANCEMENT ET LE TEST D'ORDONNANCABILITE DU SYSTEME. L'OBJECTIF DE CETTE THESE EST LA SPECIFICATION ET LA MISE EN OEUVRE DE MECANISMES DE TOLERANCE AUX FAUTES PHYSIQUES POUR LES SYSTEMES DISTRIBUES TEMPS-REEL STRICT CRITIQUES. CES MECANISMES DOIVENT PERMETTRE DE LIMITER LES COUTS DE DEVELOPPEMENT ET LES COUTS EN MATERIEL DE CES SYSTEMES. POUR CELA, NOUS PROPOSONS DE TRANSFORMER, AVANT L'EXECUTION D'UN SYSTEME, SES TACHES NON TOLERANTES AUX FAUTES EN TACHES TOLERANTES AUX FAUTES, EN REDONDANT TOUT OU PARTIE DE LEURS TRAITEMENTS. DANS LES TACHES AINSI OBTENUES, LA REDONDANCE DES TRAITEMENTS, ET LA PLUPART DES MECANISMES NECESSAIRES POUR DETECTER ET TRAITER LES ERREURS (PAR EXEMPLE LE CALCUL DE CONSENSUS) SONT EXPRIMES DANS LE MEME MODELE DE TACHES, CE QUI PERMET DE LES PRENDRE EN COMPTE DANS UN TEST D'ORDONNANCABILITE. LES MECANISMES RESTANTS (PAR EXEMPLE UN ALGORITHME DE COMMUNICATION FIABLE) SONT INTEGRES DANS UNE COUCHE LOGICIELLE QUI S'APPUIE SUR UN SYSTEME D'EXPLOITATION SUR ETAGERE. CETTE METHODE DE TRANSFORMATION DES TACHES, QUE NOUS APPELONS REPLICATION HORS LIGNE, EST TRANSPARENTE AU CONCEPTEUR D'UNE APPLICATION, CAR ELLE PEUT ETRE ENTIEREMENT AUTOMATISEE GRACE A UN OUTIL.
Author: TITOS.. SARIDAKIS
Publisher:
ISBN:
Category :
Languages : fr
Pages : 168
Get Book Here
Book Description
LES LIENS INDISSOLUBLES ENTRE LES ORDINATEURS ET LES DEFAILLANCES ONT CONDUIT A L'INVENTION D'UNE VARIETE DE TECHNIQUES DE TOLERANCE AUX FAUTES, POUR SATISFAIRE, POTENTIELLEMENT, TOUTES LES EXIGENCES CONCERNANT LA SURETE DE FONCTIONNEMENT. EN CONSEQUENCE, LA CONSTRUCTION DE SYSTEMES SURS DE FONCTIONNEMENT N'EST PLUS BASEE SUR L'INVENTION DES MECANISMES QUI FOURNISSENT LES GARANTIES DE SURETE DE FONCTIONNEMENT DESIREES, MAIS PLUTOT SUR LA SELECTION PARMI DES TECHNIQUES EXISTANTES, DE CELLE QUI CONVIENT LE MIEUX POUR LES EXIGENCES DU SYSTEME. ENSUITE, UNE CODIFICATION DE LA TECHNIQUE SELECTIONNEE PEUT SERVIR COMME INDEX POUR EXTRAIRE D'UN REPERTOIRE CONTENANT DES MECANISMES DE TOLERANCE AUX FAUTES, CELUI QUI MET EN OEUVRE LA TECHNIQUE SELECTIONNEE. IL EN RESULTE QUE LA CONSTRUCTION DE SYSTEMES SURS DE FONCTIONNEMENT DEVIENT UN PROCESSUS DE TRANSFORMATION D'UN ENSEMBLE DE CONTRAINTES DE SURETE DE FONCTIONNEMENT DANS UN MECANISME DE TOLERANCE AUX FAUTES QUI LES SATISFAIT. LE BUT DE CETTE THESE EST D'ASSURER LA NATURE ROBUSTE DE LA CONSTRUCTION DE SYSTEMES SURS DE FONCTIONNEMENT, EN FONDANT LE PROCESSUS DE SELECTION SUR UNE BASE FORMELLE. PLUS PRECISEMENT, CETTE BASE FORMELLE SE COMPOSE DE : % UN MODELE DE SYSTEME EXPRIMER EN TERME D'ETATS ET D'ACTIONS, QUI PERMET LA SPECIFICATION DES PROPRIETES DE SURETE DE FONCTIONNEMENT DANS UNE LOGIQUE TEMPORELLE DE PREDICATS % UNE RELATION DE RAFFINEMENT DE PROPRIETES DE SURETE DE FONCTIONNEMENT, UNE RELATION DE RAFFINEMENT DE SPECIFICATIONS DE SYSTEMES, ET LEUR CORRELATION. % DES MOYENS POUR DERIVER AUTOMATIQUEMENT L'IMPACT ARCHITECTURAL D'UNE PROPRIETE DE SURETE DE FONCTIONNEMENT SUR LES SPECIFICATIONS D'UN SYSTEME. % UN SCHEMA DE CLASSIFICATION, QUI CAPTURE LES RELATIONS DE RAFFINEMENT DES PROPRIETES ET DES SPECIFICATIONS. CE SCHEMA STRUCTURE LE CONTENU D'UN REPERTOIRE DE MECANISMES DE TOLERANCE AUX FAUTES, ET FACILITE LE PROCESSUS DE SELECTION SUSMENTIONNE. LA CONTRIBUTION PRATIQUE DE CETTE THESE EST EVALUEE DANS LE CADRE DE L'ENVIRONNEMENT DE DEVELOPPEMENT ASTER. LA BASE FORMELLE EST ADAPTEE AUX SPECIFICITES D'ASTER, ET UN OUTIL EST PRESENTE, QUI EXPLOIT LE SCHEMA DE CLASSIFICATION POUR EFFECTUER L'ANALYSE DES EXIGENCES CONCERNANT LA SURETE DE FONCTIONNEMENT. CET OUTIL EST INTEGRE DANS L'ENVIRONNEMENT ASTER, ET REMPLACE L'OUTIL STANDARD POUR L'EXTRACTION DE MECANISMES DE TOLERANCE AUX FAUTES. LES RESULTATS DE L'ANALYSE DES EXIGENCES FOURNISSENT AUSSI LES INSTRUCTIONS POUR L'INTEGRATION DES MECANISMES DE TOLERANCE AUX FAUTES SELECTIONNES DANS LA STRUCTURE DU SYSTEME. BIEN QU'ELLE NE SOIT PAS INNOVATRICE, PUISQU'ELLE UTILISE DES TECHNIQUES BIEN CONNUES RELEVANT DES DOMAINES DES SPECIFICATIONS FORMELLES, DE L'ANALYSE DES EXIGENCES, DES ARCHITECTURES LOGICIELLES, ET DE LA RE-UTILISATION DU LOGICIEL, L'ORIGINALITE DE CETTE THESE REPOSE SUR LA COMBINAISON DES TECHNOLOGIES EXISTANTES POUR LE BENEFICE DE LA CONSTRUCTION DES SYSTEMES. LA NATURE ROBUSTE DE CETTE CONSTRUCTION EST GARANTIE PAR L'ANALYSE RIGOUREUSE ET LE RAFFINEMENT CORRECT DES EXIGENCES D'UN SYSTEME CONCERNANT LA SURETE DE FONCTIONNEMENT.
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: Alberto Arazo
Publisher:
ISBN:
Category :
Languages : fr
Pages : 179
Get Book Here
Book Description
L'acquisition de systèmes logiciels sur étagère (COTS) pose une problématique sérieuse pour la sûreté de fonctionnement des systèmes critiques auxquels ils s'intègrent et des nouvelles stratégies de validation s'avèrent nécessaires. La principale difficulté provient du peu d'information à priori disponible sur leur conception, ce qui rend impossible leur validation, dans des conditions opérationnelles, avec un niveau de confiance compatible avec des exigences critiques. La démarche que nous préconisons a été définie dans le cadre d'un processus d'acceptation dans lequel un industriel cherche à acquérir et à qualifier un système complet de contrôle-commande du commerce (SCC-COTS), répondant à ses exigences de sûreté de fonctionnement et à celles des autorités de tutelle. Notre démarche propose tout abord un méta-modèle d'architecture de système, permettant d'instancier une offre de SCC-COTS compatible avec les besoins fonctionnels de l'acquéreur. Le méta-modèle proposé vise à fournir les moyens pour, d'une part, construire le référentiel d'informations suffisantes pour la validation expérimentale de la sûreté de fonctionnement par injection de fautes et, d'autre part, mieux identifier et analyser l'impact des fautes injectées sur les exigences aussi bien fonctionnelles que de sûreté de fonctionnement. Autour de ce référentiel nous avons conçu un outillage de support où l'analyse formelle du comportement des composants logiciels du SCC-COTS prend une place importante. Les exécutions symboliques déduites de cette analyse constituent un oracle d'une implémentation. Elles permettent aussi bien d'analyser l'impact de fautes sur les propriétés du système, exprimées à l'aide de la logique temporelle, que de guider le test opérationnel des mécanismes internes de tolérance aux fautes. Ce dernier aspect est illustré sur un mécanisme de communication d'un SCC-COTS, destiné à la supervision de centrales de production d'énergie.
Author: Mourad Allia
Publisher:
ISBN:
Category :
Languages : fr
Pages : 36
Get Book Here
Book Description
CETTE THESE PRESENTE UNE TECHNIQUE ORIGINALE POUR AMELIORER LA SURETE DE FONCTIONNEMENT DANS LES SYSTEMES REPARTIS: LA SATURATION. LA SATURATION EST UNE TECHNIQUE PERMETTANT D'AMELIORER LA TOLERANCE AUX FAUTES MATERIELLES DANS UN RESEAU LOCAL DE STATIONS DE TRAVAIL. CETTE TECHNIQUE EST BASEE SUR L'AUGMENTATION DE LA REDONDANCE DES TACHES PAR L'UTILISATION DES STATIONS INACTIVES POUR D'UNE PART, ACCROITRE LE NOMBRE DE FAUTES TOLEREES ET D'AUTRE PART REVELER PLUS EFFICACEMENT LES FAUTES DORMANTES. LA TOLERANCE AUX FAUTES EST OBTENUE PAR VOTE MAJORITAIRE SUR LES MESSAGES ISSUS DES DIFFERENTS EXEMPLAIRES DES TACHES. NOTRE ETUDE A CONDUIT A LA CONCEPTION D'UN ALGORITHME REPARTI D'ORDONNANCEMENT ET DE VOTE PERMETTANT LA MISE EN UVRE DE CETTE TECHNIQUE. L'ALGORITHME QUE NOUS AVONS DEFINI A ETE FORMELLEMENT SPECIFIE EN ESTELLE ET VALIDE PAR SIMULATION. NOUS MONTRONS ENFIN PAR UNE EVALUATION DE LA FIABILITE BASEE SUR UN MODELE MARKOVIEN QUE CETTE TECHNIQUE ORIGINALE PERMET D'AMELIORER SENSIBLEMENT LA SURETE DE FONCTIONNEMENT. LA THESE DETAILLE SUCCESSIVEMENT, LE PRINCIPE DE SATURATION, LA DEFINITION FONCTIONNELLE DE L'ALGORITHME REPARTI, SA SPECIFICATION FORMELLE EN ESTELLE, SA VALIDATION EN L'ABSENCE ET EN PRESENCE DE FAUTES ET L'EVALUATION DE LA SURETE DE FONCTIONNEMENT
Author: Pierre-Yves THEAUDIERE
Publisher:
ISBN:
Category :
Languages : fr
Pages : 56
Get Book Here
Book Description
