Mise en oeuvre d'une technique de tolérance aux fautes pour les systèmes de controle temps réel 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 Mise en oeuvre d'une technique de tolérance aux fautes pour les systèmes de controle temps réel PDF full book. Access full book title Mise en oeuvre d'une technique de tolérance aux fautes pour les systèmes de controle temps réel by Pierre-Yves THEAUDIERE. Download full books in PDF and EPUB format.
Author: Pierre-Yves THEAUDIERE
Publisher:
ISBN:
Category :
Languages : fr
Pages : 56
Get Book Here
Book Description
Author: Pierre-Yves THEAUDIERE
Publisher:
ISBN:
Category :
Languages : fr
Pages : 56
Get Book Here
Book Description
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:
Publisher: European Control Association
ISBN: 9782866012816
Category : Control theory
Languages : en
Pages : 1012
Get Book Here
Book Description
Proceedings of the European Control Conference 1991, July 2-5, 1991, Grenoble, France
Author: SORAYA.. BESTAOUI
Publisher:
ISBN:
Category :
Languages : fr
Pages : 198
Get Book Here
Book Description
LE TRAVAIL DECRIT DANS LE MEMOIRE DE THESE PRESENTE L'INTEGRATION D'UNE TECHNIQUE DE TOLERANCE AUX FAUTES DANS UN MODELE D'EXECUTIF TEMPS REEL REPARTI CONFORMEMENT AU PROJET SCEPTRE 2 DEVELOPPE DANS LE CADRE DE L'APPEL D'OFFRES STRIN (SOLUTIONS TEMPS REEL POUR L'INDUSTRIE). LE CHAPITRE 1 PRESENTE L'ANALYSE BIBLIOGRAPHIQUE DE QUELQUES SYSTEMES D'EXPLOITATION, EN L'OCCURENCE CHORUS, MACH, ALPHA ET DELTA 4, POUR LESQUELS NOUS NOUS SOMMES INTERESSES A LA MISE EN UVRE DE LA SURETE DE FONCTIONNEMENT. NOTRE INTERET S'EST PARTICULIEREMENT PORTE SUR LES METHODES DE TOLERANCE AUX FAUTES CHOISIES PAR CES SYSTEMES. LE CHAPITRE 2 QUANT A LUI INTRODUIT LES CARACTERISTIQUES ESSENTIELLES DE LA PROPOSITION SCEPTRE 2. LE CHAPITRE 3 FIXE LES HYPOTHESES UTILISEES POUR LA MISE EN UVRE DE LA REPLICATION SEMI-ACTIVE DES CAPSULES SCEPTRE 2, TECHNIQUE DE TOLERANCE AUX FAUTES EMPRUNTEE A DELTA 4. CES HYPOTHESES CONCERNENT LES FAUTES ET MODES DE DEFAILLANCE CONSIDERE POUR LES CAPSULES ET LE SYSTEME DE COMMUNICATION. EN OUTRE, NOUS MONTRONS DANS CE CHAPITRE LES PRINCIPES DE LA MISE EN UVRE DE LA REDONDANCE SEMI-ACTIVE. LE CHAPITRE 4 PRESENTE ALORS LES ALGORITHMES ET LES STRUCTURES DE DONNEES NECESSAIRES A LA GESTION D'UNE TELLE REPLICATION. IL FORMALISE DONC LES TECHNIQUES PRESENTEES DANS LE CHAPITRE PRECEDENT DANS UN CONTEXTE DE FONCTIONNEMENT EXEMPT D'ERREURS. LE CHAPITRE 5 COMPLETE CETTE ETUDE EN S'INTERESSANT AUX MECANISMES DE TRAITEMENT DES ERREURS ASSOCIES A NOTRE MODELE DE REPLICATION. CEUX-CI CONCERNENT DANS UN PREMIER TEMPS LA DETECTION DES ERREURS. LE RECOUVREMENT DES ERREURS EST ENSUITE ABORDE. LA MISE EN UVRE DE CES DIFFERENTS MECANISMES DE TRAITEMENT D'ERREURS CONDUIT A NOUVEAU A ENRICHIR ET COMPLETER LES STRUCTURES DE DONNEES ET LES ALGORITHMES PRESENTES AU CHAPITRE PRECEDENTS. ILS SONT PRESENTES AUSSI BIEN DANS LE CHAPITRE 5 QUE DANS LES ANNEXES 1, 2 ET 3
Author: Peter A. Lee
Publisher: Springer Science & Business Media
ISBN: 370918990X
Category : Computers
Languages : en
Pages : 326
Get Book Here
Book Description
The production of a new version of any book is a daunting task, as many authors will recognise. In the field of computer science, the task is made even more daunting by the speed with which the subject and its supporting technology move forward. Since the publication of the first edition of this book in 1981 much research has been conducted, and many papers have been written, on the subject of fault tolerance. Our aim then was to present for the first time the principles of fault tolerance together with current practice to illustrate those principles. We believe that the principles have (so far) stood the test of time and are as appropriate today as they were in 1981. Much work on the practical applications of fault tolerance has been undertaken, and techniques have been developed for ever more complex situations, such as those required for distributed systems. Nevertheless, the basic principles remain the same.
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: Maryline Silly
Publisher:
ISBN:
Category :
Languages : fr
Pages : 28
Get Book Here
Book Description
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
Author: Emmanuelle Renaux
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Get Book Here
Book Description
Author: Samuel Didier Essamé
Publisher:
ISBN:
Category :
Languages : fr
Pages : 190
Get Book Here
Book Description
La sécurité et la disponibilité sont deux attributs de la sûreté de fonctionnement auxquels l'on doit apporter des solutions viables dans les systèmes de controle-commande critiques. Assurer simultanément la disponibilité et la sécurité est parfois difficile. En effet, l'introduction de redondances pour accroître la disponibilité peut être à l'origine de problèmes de sécurité qui n'auraient pas existé dans un système sans redondance. Les travaux présentés dans ce mémoire portent sur la gestion des redondances dans un système critique afin d'accroître sa disponibilité sans compromettre la sécurité. Il s'agit principalement de la gestion des redondances de façon transparente aux modules d'application tout en assurant la conservation des propriétés de sécurité de ces derniers. Après avoir montre que l'incohérence des contextes des éléments répliqués peut être à l'origine de la non-conservation des propriétés de sécurité, nous proposons une technique visant à tolérer les incohérences de contexte afin de garantir les propriétés de sécurité. Cette technique consiste à détecter les incohérences potentielles afin de mettre le système dans une configuration ou il ne compromet pas la sécurité en cas d'incohérence réelle. En nous appuyant sur le modèle asynchrone temporise, nous proposons deux mécanismes de gestion de redondance mettant en œuvre cette technique, respectivement pour les redondances duplex et les redondances n-plex (n > 3). A titre d'illustration, nous appliquons ces deux mécanismes au pilotage de lignes de métro automatisées. En particulier, nous montrons que ces deux mécanismes permettent de décharger les programmeurs du niveau application de la gestion de la répartition et des redondances. De cette façon, ils induisent une réduction substantielle des coûts associes au développement et à la validation des systèmes critiques.
