CONCEPTION DE SYSTEMES DISTRIBUES TEMPS-REEL STRICT TOLERANTS AUX 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 CONCEPTION DE SYSTEMES DISTRIBUES TEMPS-REEL STRICT TOLERANTS AUX FAUTES PDF full book. Access full book title CONCEPTION DE SYSTEMES DISTRIBUES TEMPS-REEL STRICT TOLERANTS AUX FAUTES by PASCAL.. CHEVOCHOT. Download full books in PDF and EPUB format.
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: 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: Houssine Chetto
Publisher:
ISBN:
Category :
Languages : fr
Pages : 186
Get Book Here
Book Description
Dans les applications de contrôle de procédé industriel, le système informatique doit exécuter des tâches en respectant des échéances. Ces tâches sont en général périodiques excepté dans des situations de perturbations ou des tâches supplémentaires dites sporadiques peuvent demander à s'exécuter. Dans la première partie de cette thèse, nous étudions le problème de l'ordonnancement de taches périodiques et sporadiques sur un système monoprocesseur. Nous donnons de nouvelles propriétés de l'algorithme EARLIEST DEADLINE puis décrivons, sous différentes hypothèses, un test d'acceptation optimal. Nous proposons un schéma d'ordonnancement dynamique efficace qui tient compte des surcouts. Nous nous intéressons ensuite au problème de la conception d'un système temps-réel exempt de fautes temporelles. Dans ce but, le mécanisme à échéance est utilisé pour fournir de la tolérance aux fautes, en associant à chaque tâche un processus primaire et un processus secondaire. Nous décrivons une stratégie d'ordonnancement optimale pour implémenter ce mécanisme. Sa principale caractéristique est son aptitude à réagir en fonction de l'état courant du système tel que l'échec d'un primaire.
Author: Electricité de France. Direction des études et recherches
Publisher:
ISBN:
Category :
Languages : fr
Pages : 43
Get Book Here
Book Description
Author: Pascale Minet
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Get Book Here
Book Description
Author: V. Levkov
Publisher:
ISBN:
Category :
Languages : fr
Pages : 43
Get Book Here
Book Description
Author: Laurent Carcagno
Publisher:
ISBN:
Category :
Languages : fr
Pages : 246
Get Book Here
Book Description
CETTE THESE CONCERNE L'ETUDE DES SYSTEMES COMPLEXES TEMPS-REEL-STRICT DISTRIBUES. L'IMPORTANCE DES ENJEUX ECONOMIQUES ET LES CONSEQUENCES DRAMATIQUES QUE PEUVENT ENTRAINER LES DEFAILLANCES DE TELS SYSTEMES, CONDUISENT A DEVELOPPER DES METHODOLOGIES DE CONCEPTION QUI PRENNENT EN COMPTE LES CARACTERISTIQUES SPECIFIQUES DES SYSTEMES A REALISER. LA PREMIERE PARTIE, METHODOLOGIE DE CONCEPTION ET MODELISATION DES SYSTEMES TEMPS REEL-STRICT DISTRIBUES, INTRODUIT LES CONCEPTS DE BASE SUR LES SYSTEMES TEMPS-REEL ET PRECISE LA DEMARCHE METHODOLOGIQUE SUIVIE POUR PASSER DE LA SPECIFICATION D'UN SYSTEME TEMPS-REEL-STRICT A LA DEFINITION COMPLETE DE SA REALISATION. CETTE METHODOLOGIE REPOSE SUR UNE MODELISATION QUI PREND EN COMPTE LES CARACTERISTIQUES INTRINSEQUES DES SYSTEMES TEMPS-REEL-STRICT, QUI OFFRE UNE APPROCHE DETERMINISTE ET REALISTE EN MILIEU PHYSIQUEMENT DISTRIBUE ET QUI PERMET D'OBTENIR AUTOMATIQUEMENT LA MACHINE LA MIEUX ADAPTEE POUR TRAITER UNE APPLICATION DONNEE. LA DEUXIEME PARTIE DESCRIPTION DE SYSTEMES COMPLEXES TEMPS-REEL-STRICT DISTRIBUES PRECISE LE MODELE RETENU POUR DECRIRE DE TELS SYSTEMES. C'EST UN MODELE DE DESCRIPTION ADAPTE A LA CLASSE DES APPLICATIONS VISEES QUI AUTORISE UNE DESCRIPTION PARALLELE ET HIERARCHISEE DES SYSTEMES A REALISER. POUR EXPRIMER LES APPLICATIONS SELON LE MODELE, LE CONCEPTEUR DISPOSE DU LANGAGE DE DESCRIPTION R.S.D.L. CE LANGAGE AUTORISE DES TECHNIQUES DE PARALLELISATION AUTOMATIQUE DES MODULES COMPOSANT L'APPLICATION. L'OBJET DE LA TROISIEME PARTIE SPECIFICATION ET CONCEPTION DE SYSTEMES TEMPS-REEL-STRICT DISTRIBUES EST DE PRESENTER L'OUTIL DE SPECIFICATION-CONCEPTION QUI PERMET A UN CONCEPTEUR DE DECRIRE GRAPHIQUEMENT ET TEXTUELLEMENT SON APPLICATION EN SUIVANT LES REGLES IMPOSEES PAR LE MODELE DE DESCRIPTION, ET DE PRODUIRE UNE REPRESENTATION V.H.D.L. AUTORISANT LA SIMULATION LOGIQUE DU SYSTEME. AFIN D'ILLUSTRER LES FONCTIONNALITES DE CET OUTIL, LES DIFFERENTES ETAPES DE CONCEPTION D'UN SYSTEME TEMPS-REEL-STRICT SONT PRESENTEES SUR UN EXEMPLE
Author: Laurent George
Publisher:
ISBN:
Category :
Languages : fr
Pages : 342
Get Book Here
Book Description
Les systèmes distribués temps réel critique sont des systèmes distribués bien spécifiques pour lesquels les techniques d'analyse en moyenne avec ou sans simulation ne sont pas satisfaisantes. Il est nécessaire de garantir que tout au long de la vie du système, les contraintes temporelles associées aux tâches exécutées dans le système seront toujours respectées. A ces contraintes temporelles sont le plus souvent associées des contraintes de haute disponibilité des services fournis par le système. Contraintes pour lesquelles il est nécessaire de mettre en oeuvre des techniques de tolérance aux fautes particulières. Nous nous intéressons aux problèmes de conception et dimensionnement de systèmes ou se conjuguent les problèmes de temps réel, de traitement distribué et de tolérance aux fautes (trdf). Cette thèse montre comment il est possible d'étendre des résultats d'ordonnancement établis en contexte monoprocesseur centralise pour résoudre deux problèmes trdf. nous étudions plus particulièrement les politiques d'ordonnancement à bases de priorités fixes (rate monotonic, deadline monotonic ou arbitraire) et dynamiques (earliest deadline first, fifo notamment) en contexte préemptif et non préemptif. Les différents résultats établis en contexte non préemptif centralise sont ensuite étendus pour résoudre les deux problèmes trdf suivants : diffusion temps réel dans un groupe : (multicast) nous décrivons une famille de protocoles de diffusion atomique uniforme avec un temps de réponse de bout en bout borne. La famille de protocoles utilise l'ordonnancement earliest deadline first (edf). traitement reparti temps réel : Nous traitons un problème d'algorithmique distribuée avec maintien de relation d'ordre (l'ordre d'occurrence des évènements). Nous montrons comment maintenir la cohérence de données reparties en présence d'accès concurrents avec un temps de réponse garanti. Une analyse de faisabilité associée a l'ordonnancement FIFO est réalisée. Cette analyse est basée sur le calcul du pire temps de réponse des tâches du système.
Author: Bernard Sautet
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: NADIA.. ELYOUNSI
Publisher:
ISBN:
Category :
Languages : fr
Pages : 200
Get Book Here
Book Description
UN SYSTEME DE CONTROLE TEMPS-REEL A CONTRAINTES STRICTES (TRCS) EST UN SYSTEME OU CHAQUE ACTION DU LOGICIEL DE CONTROLE DOIT S'ACCOMPLIR AVANT UNE DATE PREDEFINIE APPELEE ECHEANCE. SI AU MOINS L'UNE DE CES DATES N'ETAIT PAS RESPECTEE, LE SYSTEME SERAIT CONSIDERE COMME DEFAILLANT. L'OBJECTIF DE CE TRAVAIL EST DE PROPOSER UNE CONCEPTION D'UN SYSTEME REPARTI DANS UN CONTEXTE TRCS QUI PEUT ETRE SUJET A LA FOIS A DES FAUTES TEMPORELLES (DEPASSEMENTS D'ECHEANCES) ET A DES FAUTES MATERIELLES (PANNES FRANCHES DE PROCESSEURS). LE SYSTEME EST SUPPOSE EXECUTER UNE CONFIGURATION DE TACHES PERIODIQUES ET DES TACHES SPORADIQUES PEUVENT ETRE REVEILLEES A DES INSTANTS IMPREVISIBLES. PLUS SPECIFIQUEMENT, ON PROPOSE UNE STRATEGIE DYNAMIQUE D'ORDONNANCEMENT ET DES METHODES DE RECONFIGURATION DYNAMIQUE EN CAS DE RETRAIT OU D'INSERTION D'UN NUD DANS LE SYSTEME QUI ASSURENT LE RESPECT DES ECHEANCES EVENTUELLEMENT EN MODE DEGRADE
Author: Patrick Martineau
Publisher:
ISBN:
Category :
Languages : fr
Pages : 244
Get Book Here
Book Description
UN SYSTEME INFORMATIQUE DE CONTROLE TEMPS-REEL EST CHARGE DE L'ACQUISITION DE MESURES, LE CALCUL ET L'EMISSION DE COMMANDES AINSI QUE DE LA GESTION DES EVENEMENTS D'ALARME. ON PARLE D'INFORMATIQUE TEMPS-REEL LORSQUE CES ACTIVITES SONT CONTRAINTES A S'EXECUTER DANS UN LAPS DE TEMPS LIMITE. L'ORDONNANCEMENT DE L'EXECUTION DES PROGRAMMES INFORMATIQUES, APPELES TACHES, CONSTITUE UN PROBLEME COMPLEXE. POUR MODELISER LES CONTRAINTES DE TEMPS, UNE DATE CRITIQUE EST ASSOCIEE A CHAQUE TACHE. SI CELA EST POSSIBLE, L'EXECUTIF DOIT ACHEVER L'EXECUTION DE CHAQUE TACHE AVANT SA DATE CRITIQUE ; SINON, IL DOIT MINIMISER L'IMPACT DU DEPASSEMENT SUR LE SYSTEME CONTROLE. CETTE THESE PROPOSE DES SOLUTIONS A L'ORDONNANCEMENT DE TACHES DANS UN SYSTEME REPARTI, UN SYSTEME CONSTITUE DE PLUSIEURS PROCESSEURS ELOIGNES, RELIES ENTRE EUX PAR UN CANAL DE COMMUNICATION. L'APPROCHE PROPOSEE SE DECOMPOSE EN DEUX ETAPES: 1-L'ORDONNANCEMENT LOCAL: DANS UN PREMIER TEMPS, NOUS PROPOSONS UN ALGORITHME D'ORDONNANCEMENT MONOPROCESSEUR CAPABLE DE PRENDRE EN COMPTE CONTRAINTES DE PRECEDENCE, CONTRAINTES D'EXCLUSION MUTUELLE ET DE DECIDER EN-LIGNE S'IL PEUT GARANTIR L'EXECUTION AVANT ECHEANCE D'UNE CHARGE SUPPLEMENTAIRE. DANS LE CAS D'UN REJET, NOUS EVALUONS LES PERFORMANCES DE NOUVEAUX ALGORITHMES CONCUS POUR PRENDRE EN COMPTE DES SURCHARGES TEMPORAIRES DANS UN CONTEXTE DE PARTAGE DES RESSOURCES. CES ALGORITHMES CONSISTENT A ECARTER LES TACHES LES MOINS IMPORTANTES POUR L'ENVIRONNEMENT. 2-L'ORDONNANCEMENT REPARTI: UNE COOPERATION ENTRE LES DIFFERENTS NUDS DU SYSTEME PEUT ETRE IMPLEMENTEE POUR PERMETTRE L'EXECUTION DES TACHES PRECEDEMMENT ECARTEES. AINSI, LORSQU'UNE SURCHARGE LOCALE A UN NUD EST DETECTEE, LES TACHES LES MOINS IMPORTANTES POUR LE SYSTEME CONTROLE SONT ECARTEES. SI C'EST POSSIBLE, ELLES SERONT EXECUTEES SUR UN AUTRE NUD DU RESEAU. DANS LE CAS D'UNE SURCHARGE GLOBALE DU RESEAU, LES TACHES LES PLUS IMPORTANTES SONT EXECUTEES. L'ENSEMBLE DE CES TRAVAUX S'INTEGRE DANS LE PROJET EXORAT, EXECUTIF A ORDONNANCEMENT ADAPTATIF TOLERANT LES FAUTES, DESTINE A UN SYSTEME REPARTI
