Download or read book Sp cification et validation d une architecture de syst me distribu pour le contr le d ex cution d applications temps r el complexes written by Luc Maillet and published by . This book was released on 1996 with total page 272 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cette thèse se place dans le cadre des systèmes embarqués distribués et décrit un modèle de tâche temps réel complexe et une structure de moniteur permettant d'assurer le contrôle d'exécution distribué d'applications bâties sur ce modèle. Après un panorama des recherches effectuées dans le domaine, permettant de définir les mécanismes existants et les problèmes restant à résoudre, cette thèse décrit un modèle de tâche permettant de modéliser des applications complexes et présente les fonctionnalités requises pour le contrôle d'exécution d'applications le prenant pour base. Ces prérequis fonctionnels permettent de déduire une structure logique de moniteur de contrôle. Un moniteur local est décrit comme un ensemble de contrôleurs coopérant pour assurer le contrôle d'exécution. Cette coopération est locale ou distante suivant les besoins. Les contrôleurs sont définis par la fonction qu'ils accomplissent et la manière dont ils coopèrent, sans préjuger de l'algorithme exact accomplissant cette fonction. Pour valider le modèle de tâche et la structure logique, on réalise un modèle exécutable décrit sous la forme d'un graphe de files d'attente et permettant d'effectuer des simulations. Ces simulations donnent des résultats guidant la conception d'algorithmes de contrôle spécifiques adaptés. Ces résultats permettent également de valider le modèle de tâche temps réel complexe, la structure logique de moniteur et son adaptabilité à l'évaluation d'algorithmes de contrôle.

Download or read book Specification et validation d une architecture de systeme distribue pour le controle d execution d applications temps reel complexes written by Luc Maillet (informaticien).) and published by . This book was released on 1996 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book S curit des syst mes distribu s written by Christophe Bidan and published by . This book was released on 1998 with total page 192 pages. Available in PDF, EPUB and Kindle. Book excerpt: LES SYSTEMES DISTRIBUES OUVERTS SONT AMENES A SUPPORTER L'EXECUTION D'UN GRAND NOMBRE D'APPLICATIONS POUVANT AVOIR DES CONTRAINTES D'EXECUTION DIFFERENTES. DU POINT DE VUE DE LA SECURITE INFORMATIQUE, LE CHALLENGE POUR CES SYSTEMES DISTRIBUES EST NON SEULEMENT DE SUPPORTER LA COEXISTENCE DE MULTIPLES POLITIQUES DE SECURITE, CHAQUE APPLICATION POUVANT SPECIFIER SA PROPRE POLITIQUE, MAIS EGALEMENT L'INTERACTION ENTRE APPLICATIONS S'APPUYANT SUR CES DIFFERENTES POLITIQUES. NOTRE TRAVAIL DE THESE A CONSISTE A PROPOSER UNE SOLUTION A LA GESTION DE LA COEXISTENCE DE DIFFERENTES POLITIQUES DE SECURITE, AFIN DE FACILITER LE DEVELOPPEMENT DE SYSTEMES DISTRIBUES SECURISES. NOTRE PROPOSITION EST BASEE SUR LA DEFINITION DES ARCHITECTURES LOGICIELLES SECURISEES. UNE ARCHITECTURE LOGICIELLE SECURISEE COMPREND LA DESCRIPTION DE L'APPLICATION EN TERME D'INTERCONNEXION DE COMPOSANTS LOGICIELS, AINSI QUE LA SPECIFICATION (FORMELLE) DES CONTRAINTES DE SECURITE DE CHAQUE COMPOSANT. ETANT DONNEE LA SPECIFICATION DES CONTRAINTES DE SECURITE DE CHAQUE COMPOSANT LOGICIEL, NOTRE SOLUTION CONSISTE, POUR CHAQUE INTERCONNEXION DE COMPOSANTS, A COMBINER LEURS SPECIFICATIONS AFIN DE GENERER LES CONTRAINTES DE SECURITE LIEES A CHACUNE DES INTERCONNEXIONS. POUR CELA, NOUS AVONS DEFINI UN ENSEMBLE D'OPERATEURS PERMETTANT DE COMBINER LES CONTRAINTES DE SECURITE. L'APPARIEMENT DE SPECIFICATIONS FORMELLES EST UTILISE AFIN DE SELECTIONNER LES COMPOSANTS SYSTEME QUI GARANTISSENT LES CONTRAINTES DE SECURITE DE CHAQUE INTERCONNEXION. FINALEMENT, L'UTILISATION PRATIQUE DE NOTRE SOLUTION EST EGALEMENT TRAITEE EN PROPOSANT SON INTEGRATION DANS UN ENVIRONNEMENT DE DEVELOPPEMENT D'APPLICATIONS DISTRIBUEES. LE RESULTAT DE CETTE INTEGRATION EST UN ENVIRONNEMENT FACILITANT LE DEVELOPPEMENT D'APPLICATIONS DISTRIBUEES AYANT DES CONTRAINTES DE SECURITE.

Download or read book Sp cification et conception de syst mes complexes temps r el strict distribu s written by Laurent Carcagno and published by . This book was released on 1995 with total page 246 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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

Download or read book RECHERCHE DE LA CONFIGURATION OPTIMISEE D UNE ARCHITECTURE CIBLE POUR UNE APPLICATION TEMPS REEL written by MARIANNE.. DE MICHIEL and published by . This book was released on 1994 with total page 207 pages. Available in PDF, EPUB and Kindle. Book excerpt: CETTE THESE S'INSERE DANS UN PROJET DONT L'OBJECTIF EST DE DEFINIR UN OUTIL QUI PERMET D'OBTENIR AUTOMATIQUEMENT LA MACHINE LA MIEUX ADAPTEE POUR TRAITER UNE APPLICATION TEMPS-REEL STRICT DONNEE. DEFINIR UN TEL OUTIL EST DANS L'ABSOLU, TRES DELICAT EN RAISON DE LA DIVERSITE DES APPLICATIONS ET DES MOYENS POUR LES DECRIRE. MAIS SI L'ON PARVIENT A MODELISER L'APPLICATION, ET SI L'ON DISPOSE D'UN LANGAGE PERMETTANT DE LA DECRIRE SELON LE MODELE, IL EST ALORS POSSIBLE DE DEFINIR UNE ARCHITECTURE GENERIQUE CONFORME AU MODELE, SUR LAQUELLE ON PEUT PROJETER L'APPLICATION. UNE PREMIERE ETAPE DE NOTRE TRAVAIL A DONC ETE DE DEFINIR UN MODELE ET LE LANGAGE DE DESCRIPTION ASSOCIES. LA DESCRIPTION D'UN SYSTEME EST ENSUITE COMPILEE. LA COMPILATION PERMET D'UNE PART DE VERIFIER LA COHERENCE DE L'APPLICATION ET D'AUTRE PART DE CONTROLER SI LA DESCRIPTION SATISFAIT LES CONTRAINTES TEMPORELLES DEFINIES LORS DE LA SPECIFICATION. LORSQUE LES CONTRAINTES NE SONT PAS VERIFIEES, L'OUTIL DECOMPOSE AUTOMATIQUEMENT L'APPLICATION DE FACON A OBTENIR UN PARALLELISME JUSTE SUFFISANT POUR UNE EXECUTION EN TEMPS-REEL. LA DESCRIPTION OBTENUE A L'ISSUE DE CETTE ETAPE N'EST GENERALEMENT PAS OPTIMALE. L'OUTIL OPTIMISE CETTE CONFIGURATION DE FACON A REDUIRE LE TEMPS DE REPONSE DU SYSTEME ET LE COUT DE REALISATION. IL RESTE ALORS A DETERMINER LA PROJECTION DE LA DESCRIPTION SUR L'ARCHITECTURE CIBLE. AU COURS DE CETTE PHASE, L'OUTIL PREND EN COMPTE LES CONTRAINTES MATERIELLES INHERENTES A L'ARCHITECTURE. LA MACHINE DEDIEE, PERMETTANT DE TRAITER L'APPLICATION EN TEMPS REEL, EST ALORS OBTENUE PAR L'INTERCONNEXION D'ELEMENTS MATERIELS DE L'ARCHITECTURE GENERIQUE SELON LA CONFIGURATION DEDUITE DE LA REPRESENTATION OPTIMALE.

Download or read book Architectures fond es sur la connaissance pour l ex cution et le contr le de processus complexes written by Jean-Claude Heudin and published by . This book was released on 1988 with total page 218 pages. Available in PDF, EPUB and Kindle. Book excerpt: This thesis describes studies upon Knowledge-based architectures for real-time control of complex processes. We first introduce a definition of complexity based on three major attributes: parallelism, Real-time and Knowledge. After a careful study of Real-time programming and Knowledge-based related techniques, we present a Real-time distributed executive, called KOSTM, based on an original encoding by means of behavior rules and declarative tasks. But, the use of Artificial Intelligence techniques magnifies the efficiency problem. J Thus, to solve this problem, we design a tagged-RISC architecture for an efficient execution of symbolic processing. As a conclusion we give results and lay out future extensions of this research.

Download or read book Recherche de la configuration optimis e d une architecture cible pour une application en temps r el written by Marianne de Michiel and published by . This book was released on 1994 with total page 213 pages. Available in PDF, EPUB and Kindle. Book excerpt: CETTE THESE S'INSERE DANS UN PROJET DONT L'OBJECTIF EST DE DEFINIR UN OUTIL QUI PERMET D'OBTENIR AUTOMATIQUEMENT LA MACHINE LA MIEUX ADAPTEE POUR TRAITER UNE APPLICATION TEMPS-REEL STRICT DONNEE. DEFINIR UN TEL OUTIL EST DANS L'ABSOLU, TRES DELICAT EN RAISON DE LA DIVERSITE DES APPLICATIONS ET DES MOYENS POUR LES DECRIRE. MAIS SI L'ON PARVIENT A MODELISER L'APPLICATION, ET SI L'ON DISPOSE D'UN LANGAGE PERMETTANT DE LA DECRIRE SELON LE MODELE, IL EST ALORS POSSIBLE DE DEFINIR UNE ARCHITECTURE GENERIQUE CONFORME AU MODELE, SUR LAQUELLE ON PEUT PROJETER L'APPLICATION. UNE PREMIERE ETAPE DE NOTRE TRAVAIL A DONC ETE DE DEFINIR UN MODELE ET LE LANGAGE DE DESCRIPTION ASSOCIES. LA DESCRIPTION D'UN SYSTEME EST ENSUITE COMPILEE. LA COMPILATION PERMET D'UNE PART DE VERIFIER LA COHERENCE DE L'APPLICATION ET D'AUTRE PART DE CONTROLER SI LA DESCRIPTION SATISFAIT LES CONTRAINTES TEMPORELLES DEFINIES LORS DE LA SPECIFICATION. LORSQUE LES CONTRAINTES NE SONT PAS VERIFIEES, L'OUTIL DECOMPOSE AUTOMATIQUEMENT L'APPLICATION DE FACON A OBTENIR UN PARALLELISME JUSTE SUFFISANT POUR UNE EXECUTION EN TEMPS-REEL. LA DESCRIPTION OBTENUE A L'ISSUE DE CETTE ETAPE N'EST GENERALEMENT PAS OPTIMALE. L'OUTIL OPTIMISE CETTE CONFIGURATION DE FACON A REDUIRE LE TEMPS DE REPONSE DU SYSTEME ET LE COUT DE REALISATION. IL RESTE ALORS A DETERMINER LA PROJECTION DE LA DESCRIPTION SUR L'ARCHITECTURE CIBLE. AU COURS DE CETTE PHASE, L'OUTIL PREND EN COMPTE LES CONTRAINTES MATERIELLES INHERENTES A L'ARCHITECTURE. LA MACHINE DEDIEE, PERMETTANT DE TRAITER L'APPLICATION EN TEMPS REEL, EST ALORS OBTENUE PAR L'INTERCONNEXION D'ELEMENTS MATERIELS DE L'ARCHITECTURE GENERIQUE SELON LA CONFIGURATION DEDUITE DE LA REPRESENTATION OPTIMALE

Download or read book SPECIFICATION ET IMPLANTATION D ALGORITHMES SUR UNE ARCHITECTURE DISTRIBUEE HETEROGENE AVEC L APPROCHE DES LANGAGES SYNCHRONES written by FREDERIC.. BIZOUERNE and published by . This book was released on 1998 with total page 185 pages. Available in PDF, EPUB and Kindle. Book excerpt: LA CONCEPTION ET LA MAITRISE DES SYSTEMES EMBARQUES TEMPS REEL CONSTITUENT UN CHALLENGE DONT L'IMPORTANCE EST SANS CESSE CROISSANTE. LA COMPLEXITE DE CES SYSTEMES EST FONCTION DES TRAITEMENTS, DU CARACTERE DISTRIBUE ET DES CONTRAINTES TEMPS REEL, QUI COMPOSENT LEURS CARACTERISTIQUES INHERENTES. POUR MENER A BIEN LE DEVELOPPEMENT DE L'APPLICATION PROMETHEUS PROCHIP II, S'INSCRIVANT DANS CE DOMAINE DES SYSTEMES TEMPS REEL, L'EQUIPE ARCHITECTURE POUR LE CONTROLE DE PROCESSUS DE L'INSTITUT D'ELECTRONIQUE FONDAMENTALE A DECIDE DE RECENTRER SES ACTIVITES SUR LE PROTOTYPAGE DES SYSTEMES COMPLEXES EMBARQUES. UNE VOIE DE DEVELOPPEMENT ADOPTEE FUT L'APPROCHE SYNCHRONE. L'OBJECTIF DE CETTE THESE A DONC ETE DE METTRE EN UVRE ET D'EVALUER UNE METHODOLOGIE ASSOCIANT LE LANGAGE SYNCHRONE SIGNAL POUR LES SPECIFICATIONS TEMPORELLES, ET L'OUTIL SYNDEX POUR LE PLACEMENT OPTIMISE ET LA GENERATION DE CODE AUTOMATIQUE. LE TRAVAIL, DECOMPOSE EN DEUX PARTIES, FUT DE MIEUX CERNER LES AVANTAGES ET LES LIMITES DE CETTE METHODOLOGIE SUR L'APPLICATION COMPLEXE. LA PREMIERE PARTIE CONCERNE LA SPECIFICATION EN TEMPS LOGIQUE AVEC SIGNAL DE L'ENSEMBLE DE L'APPLICATION EN DETAILLANT SURTOUT TROIS POINTS : LE SYSTEME EXPERT, LE FILTRAGE DE DONNEES BINAIRES ET L'APPARIEMENT TEMPOREL DE DONNEES CAPTEURS. LE BUT A ETE DE SPECIFIER CES DIFFERENTES PARTIES EN FAISANT RESSORTIR AU MAXIMUM LE PARALLELISME POTENTIEL DES ALGORITHMES, AFIN D'OBTENIR LE MEILLEUR RENDEMENT POSSIBLE LORS DE L'IMPLANTATION SUR UNE ARCHITECTURE MATERIELLE HETEROGENE. LA SECONDE PARTIE S'INTERESSE A LA SYNTHESE MATERIELLE DE LA DESCRIPTION ISSUE DE SIGNAL, A L'AIDE DE SYNDEX, QUI PRODUIT UN EXECUTIF DISTRIBUE TEMPS REEL DENUE D'INTERBLOCAGES. NOUS DECRIVONS LES PROBLEMES, PRINCIPALEMENT DUS AUX HORLOGES, RENCONTRES LORS DU PASSAGE DE SIGNAL A SYNDEX, ET LES SOLUTIONS ADOPTEES.

Download or read book DEVELOPPEMENT A OBJET TEMPS REEL written by LAURENT.. RIOUX and published by . This book was released on 1997 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: CETTE THESE CONTRIBUE A LA PROGRAMMATION ET AU CONTROLE DE L'EXECUTION D'APPLICATIONS TEMPS REEL ORIENTEES OBJET. L'UTILISATION D'OBJETS TEMPS REEL EST PARTICULIEREMENT INTERESSANTE POUR LA PROGRAMMATION DES APPLICATIONS TEMPS REEL ORIENTEES OBJET, CAR CE MODELE PERMET D'INTRODUIRE LA CONCURRENCE EN CONSERVANT LES PROPRIETES D'ENCAPSULATION, DE LA MODULARITE ET DE REUTILISABILITE, TOUT EN PRENANT EN COMPTE LES CONTRAINTES TEMPS REEL DE L'APPLICATION. L'UNE DES QUALITES ESSENTIELLES DE CETTE APPROCHE EST QU'ELLE PERMET LA SPECIFICATION DU PARALLELISME ET DES CONTRAINTES TEMPS REEL DIRECTEMENT AU NIVEAU DU MODELE ET LEUR MISE EN UVRE AUTOMATIQUE DANS L'APPLICATION. UN SYSTEME D'ANNOTATION DE C++ A ETE AINSI DEFINI QUI PERMET DE DECRIRE DANS LE SOURCE (OU LE MODELE) D'UNE APPLICATION SES SPECIFICATIONS TEMPS REEL. IL FOURNIRA AU SUPPORT D'EXECUTION LES DIFFERENTES INFORMATIONS QUI LUI PERMETTRONT DE LA CONTROLER AU MIEUX. AVEC CETTE APPROCHE DU MULTITACHE, NOUS DISTINGUERONS TROIS NIVEAUX DE CONTROLE : UN CONTROLE D'ETAT (DEFINISSANT SA CAPACITE A EFFECTUER UNE OPERATION), UN CONTROLE DE CONCURRENCE (ASSURANT LE MAINTIENT DE LA COHERENCE DES VALEURS DES ATTRIBUTS DE L'OBJET) ET UN CONTROLE D'ORDONNANCEMENT (EFFECTUANT L'ALLOCATION DES RESSOURCES PROCESSEURS EN FONCTION DES CONTRAINTES). L'ARCHITECTURE DE CONTROLE PROPOSEE, NOMMEE OROS, PERMET D'EFFECTUER LE CONTROLE DYNAMIQUE D'UNE APPLICATION EN PRENANT EN COMPTE CES DIFFERENTS TYPES DE CONTRAINTES. POUR PROFITER DU PARALLELISME DES NOUVELLES MACHINES, CETTE ARCHITECTURE MET L'ACCENT SUR LE PARALLELISME D'EXECUTION MAIS AUSSI DE CONTROLE. L'ARCHITECTURE OROS GERE AINSI L'ACCES AUX ATTRIBUTS DE CHAQUE OBJET DE MANIERE INDIVIDUELLE PERMETTANT AINSI DE PARALLELISER DES TRAITEMENTS QUI N'ACCEDENT PAS AUX MEMES DONNEES. CETTE ARCHITECTURE N'UTILISE QUE DES PRIMITIVES COMMUNES A L'ENSEMBLE DES SYSTEMES D'EXPLOITATION TEMPS REEL DU COMMERCE, CE QUI PERMET D'ASSURER LA FAISABILITE ET LA PORTABILITE.

Download or read book CONCEPTION DE SYSTEMES DISTRIBUES TEMPS REEL STRICT TOLERANTS AUX FAUTES written by PASCAL.. CHEVOCHOT and published by . This book was released on 1999 with total page 221 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.

Download or read book MODELISATION ET VALIDATION D APPLICATIONS TEMPS REEL DISTRIBUEES written by ERIC.. NASSOR and published by . This book was released on 1992 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: CE TRAVAIL PRESENTE LES BASES DE L'ARCHITECTURE D'UN SYSTEME DISTRIBUE, TEMPS REEL, SUR DE FONCTIONNEMENT, SE PRETANT BIEN A LA VALIDATION. CE SYSTEME EST BASE SUR UNE IMPLEMENTATION DISTRIBUEE DU MODELE SYNCHRONE A L'AIDE D'UN TEMPS LOGIQUE DISTINCT DU TEMPS REEL. UNE ANALYSE TEMPORELLE DU FONCTIONNEMENT DU SYSTEME PERMET D'ASSURER LE RESPECT DE LA SEMANTIQUE SYNCHRONE, AINSI QUE LE RESPECT DES CONTRAINTES TEMPORELLES DE L'APPLICATION. DES MECANISMES DE TOLERANCE AUX FAUTES PEUVENT ETRE DECRITS DE MANIERE SYNCHRONE, LA SEMANTIQUE DES FAUTES, QUI EST PRECISEE DANS LE LANGAGE, ETANT RESPECTEE A L'IMPLEMENTATION. LA DISTINCTION ENTRE LE TEMPS REEL ET LE TEMPS LOGIQUE ENTRAINE DES MODIFICATIONS DANS LES TECHNIQUES CLASSIQUES DE VALIDATION: LA NOTION DE TEMPS REEL EST INTRODUITE DANS LA LOGIQUE TEMPORELLE UTILISEE COMME LANGAGE DE SPECIFICATION, ET LES TECHNIQUES DE MODELCHECKING SONT MODIFIEES POUR EN TENIR COMPTE

Download or read book Plateforme D Ordonnacement Distribu Pour R seaux Temps R el written by Tarek Guesmi and published by Omniscriptum. This book was released on 2011-09 with total page 184 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ce travail de recherche se situe dans une optique technologique bas e sur l'int gration des syst mes temps r el, des syst mes r partis ( base de middlewares) et des syst mes embarqu s. Chacune de ces classes de syst me vient avec ses propres probl mes r soudre. Ils ont donn lieu de multiples solutions, chacune pertinente pour son domaine d' tude. L'int gration de ces syst mes introduit ses propores contraintes contradictoires qu'il faut r concilier. L'objectif de cette th se est de fournir une tude d taill e du d roulement des applications qui s'ex cutent dans ces syst mes. Cette tude est suivie de la conception des m canismes d'ordonnancement de t ches et de messages an de satisfaire les contraintes temporelles de ces applications. Premi rement, les plateformes base du middleware RT-CORBA et du bus CAN sont tudi es. Une strat gie d'ordonnancement globale adapt e ce mode d'ex cution est propos e. La deuxi me partie pr sente une extension permettant de supporter les syst mes DRE base de DDS et du bus CAN.

Download or read book Une approche formelle pour la sp cification et la v rification des syst mes temps r el written by Leila Jemni Ben Ayed and published by . This book was released on 2000 with total page 186 pages. Available in PDF, EPUB and Kindle. Book excerpt: Notre but est d'utiliser des techniques formelles pour le développement de systèmes d'automatisation (système de contrôle-commande) formant le composant logiciel d'un système temps-réel. Succinctement, utiliser une méthode formelle pour le développement d'un logiciel consiste à spécifier de façon formelle le comportement attendu du logiciel sous forme de propriétés, et à prouver que le logiciel lui-même satisfait cette spécification. Une spécification exprime les besoins de l'utilisateur et sert aussi de référence au développeur. Dans le cas des applications temps-réel, le système dont le comportement intéresse l'utilisateur est le système automatisé formé d'une partie physique qui existe et d'un système d'automatisation qu'on cherche à développer. L'utilisateur souhaite que le système automatisé agisse sur un environnement (système cible) de façon que ce dernier se comporte selon ses souhaits. Étant donné qu'un système temps-réel contient des composants physiques préexistants, il nous est apparu que son développement doit se faire de façon différente que pour les logiciels classiques. Dans ce mémoire, nous proposons d'abord une méthodologie de développement qui consiste à construire et valider une spécification formelle du système d'automatisation, compte tenu de la description du système automatisé et de la partie opérationnelle. Nous montrons que le cadre méthodologique s'adapte à différents cas de systèmes temps-réel. Nous examinions ensuite nos besoins de spécification pour les différents composants d'un système temps-réel qui nécessitent de pouvoir exprimer l'évolution prévisible en fonction d'un comportement observé jusqu'à un certain point. Ceci nous amène à compléter les opérateurs de la logique temporelle classique par de nouveaux opérateurs et à proposer un nouveau langage de spécification dénommé LTPI, conçu comme une extension de la logique temporelle, et qui permet de décrire une partie du comportement d'un système comme une conséquence d'une autre partie qui l'a précédée. Nous illustrons notre approche à travers quelques exemples de cas industriels, et nous prouvons que le processus de spécification et de vérification se simplifie en utilisant le formalisme proposé.

Download or read book Outils pour l exploration d architectures programmables embarqu es dans le cadre d applications industrielles written by François Nacabal and published by . This book was released on 1998 with total page 230 pages. Available in PDF, EPUB and Kindle. Book excerpt: LES APPLICATIONS COMPLEXES COMME LA TELEPHONIE MOBILE, LA TELEVISION NUMERIQUE OU LA VISIOPHONIE EXIGENT UNE GRANDE PUISSANCE DE CALCUL, MAIS AUSSI UNE FLEXIBILITE ACCRUE POUR SUIVRE L'EVOLUTION DES STANDARDS. L'INTEGRATION DE TELS SYSTEMES SUR UNE SEULE PUCE NECESSITE SOUVENT L'EMBARCATION DE PROCESSEURS DEDIES, DEVANT RESPECTER DES CONTRAINTES DE PERFORMANCE, DE COUT EN SURFACE ET DE FAIBLE CONSOMMATION. LE DEVELOPPEMENT CONJOINT D'UN PROCESSEUR DEDIE ET DU LOGICIEL EMBARQUE FAIT L'OBJET DE CETTE THESE. L'OBJECTIF PRINCIPAL EST DE REDUIRE LE TEMPS DE DEVELOPPEMENT DE L'ENSEMBLE PROCESSEUR-APPLICATION EN SE CONCENTRANT SUR DEUX ASPECTS COMPLEMENTAIRES : LA VALIDATION FONCTIONNELLE A HAUT NIVEAU DE L'APPLICATION DANS SON ENVIRONNEMENT MATERIEL ET L'EXPLORATION DE L'ARCHITECTURE DU PROCESSEUR A PARTIR DE SON JEU D'INSTRUCTIONS. LA VALIDATION FONCTIONNELLE A HAUT-NIVEAU ET EN ENVIRONNEMENT REEL MET EN UVRE LA COSIMULATION DE L'APPLICATION ECRITE EN LANGAGE C AVEC LE RESTE DU SYSTEME MATERIEL, DECRIT EN LANGAGE VHDL. CELLE-CI NE NECESSITE PAS DE MODELE DE SIMULATION DU PROCESSEUR, CONTRAIREMENT A L'APPROCHE CLASSIQUE DE LA CO-SIMULATION AU NIVEAU JEU D'INSTRUCTIONS. A PARTIR D'UN MODELE DE COMMUNICATION CONCU AU LABORATOIRE, UN ENVIRONNEMENT DE CO-SIMULATION C-VHDL A ETE DEVELOPPE AFIN DE PRENDRE EN COMPTE LES CONTRAINTES PROPRES A LA CONCEPTION EN MILIEU INDUSTRIEL, ET A ETE APPLIQUE A UN SYSTEME INTEGRE COMPLEXE, UN VISIOPHONE. L'EXPLORATION ARCHITECTURALE DU PROCESSEUR EST ASSUREE PAR LA RE-CONFIGURATION AUTOMATIQUE D'UN COMPILATEUR MULTI-CIBLE. L'ETUDE SE BASE SUR L'ANALYSE DE STATISTIQUES RECUEILLIES POUR UN GRAND NOMBRE DE VARIATIONS AUTOUR D'UNE ARCHITECTURE ORIGINALE DE DSP, DANS LE BUT D'OPTIMISER CELLE-CI EN TERMES DE TAILLE DE CODE. L'ACCENT EST MIS SUR CERTAINES CARACTERISTIQUES ARCHITECTURALES JUGEES CRITIQUES. COMME LE NOMBRE OU LA REPARTITION DES REGISTRES. UNE APPROCHE ALTERNATIVE, BASEE SUR L'ESTIMATION DE CODE ASSEMBLEUR PRECOMPILE, EST EXPERIMENTEE SUR UN ASPECT PARTICULIER D'UN JEU D'INSTRUCTIONS, L'ENCODAGE DES CHAMPS CONSTANTS. UN OUTIL D'AIDE AU RAFFINEMENT INTERACTIF EST PROPOSE.

Download or read book ARCHITECTURES SYSTEMES POUR LA CONSTRUCTION ET L EXECUTION DE COLLECTICIELS written by SLIM BEN NOUREDDINE.. BEN ATALLAH and published by . This book was released on 1997 with total page 178 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'OBJECTIF DE CE TRAVAIL EST D'ETUDIER LES ARCHITECTURES DES COLLECTICIELS ET LES PROTOCOLES DE CONTROLE QUI REGISSENT LE TRAVAIL COOPERATIF AFIN DE FACILITER LA CONCEPTION, LA CONSTRUCTION ET L'EXECUTION DE CES APPLICATIONS DANS DIVERS ENVIRONNEMENTS (PLATES-FORMES, RESEAUX,). A LA DIFFERENCE DES TRAVAUX QUI SE SONT INTERESSES AUX APPLICATIONS COOPERATIVES, NOTRE ETUDE EST FONDEE SUR L'ANALYSE DES BESOINS DES COLLECTICIELS A DIFFERENTS NIVEAUX : DE L'UTILISATEUR, DU SUPPORT D'EXECUTION ET DU RESEAU. LE BUT RECHERCHE A TRAVERS CETTE EST ETUDE EST DE TROUVER DES SOLUTIONS GENERIQUES POUR CONSTRUIRE ET UTILISER DES COLLECTICIELS. L'ORIGINALITE DE CE TRAVAIL SE SITUE A DEUX NIVEAUX : _ LA CONCEPTION D'UNE ARCHITECTURE GENERIQUE. L'UN DE NOS OBJECTIFS EST DE PROPOSER AUX DEVELOPPEURS D'APPLICATION DES METHODES, DES TECHNIQUES ET DES OUTILS QUI FACILITENT ET ACCELERENT LA MISE EN UVRE DES APPLICATIONS COOPERATIVES. L'ARCHITECTURE QUE NOUS PROPOSONS EST APPELEE COOPSCAN. ELLE DECRITE DANS UN MODELE D'AGENTS COMMUNIQUANT QUI REPRESENTENT LES DIFFERENT MODULES INTERVENANT DANS UN COLLECTICIEL. CONCEPTUELLEMENT, LE AGENTS DE COOPSCAN IMPLANTENT LES FONCTIONS DE COOPERATION QUI PERMETTENT A PLUSIEURS UTILISATEURS DE PARTAGER UN ESPACE COMMUN EN TEMPS REEL. CETTE ARCHITECTURE EST FONDEE SUR UNE STRATEGIE DE CONSTRUCTION PAR REUTILISATION DE MODULES LOGICIELS EXISTANTS. LA VALIDATION DE COOPSCAN EST FAITE A TRAVERS LE DEVELOPPEMENT DE DEUX APPLICATIONS COOPERATIVES : UNE APPLICATION DE TELEREUNION ET UN NAVIGATEUR WORLD WIDE WEB COOPERATIF. _ LA CONCEPTION ET LA MISE EN UVRE DE PROTOCOLE DE CONTROLE. LE SECOND ASPECT AUQUEL NOUS NOUS INTERESSONS EST CELUI DE LA CONCEPTION ET LA MISE EN UVRE DES FONCTION DE COOPERATION. PLUS PARTICULIEREMENT, NOUS NOUS INTERESSONS A LA GESTION DES CONTEXTES PARTAGES PAR LES UTILISATEURS D'UN COLLECTICIEL ET LES PROTOCOLES DE CONNEXION/DECONNEXION DYNAMIQUE DE PARTICIPANTS. DANS CE CONTEXTE, NOUS PROPOSONS UNE CLASSIFICATION DE CES PROTOCOLES EN FONCTION DE LA REPARTITION DE LEUR EXECUTION. LA VALIDATION EXPERIMENTALE DE CES PROTOCOLES EST FAITE DANS L'IMPLANTATION DES DEUX APPLICATIONS PILOTES INTRODUITES PLUS HAUT.

Download or read book Techniques d analyse et d optimisation pour la synth se architecturale de syst mes temps r el embarqu s distribu s written by Asma Mehiaoui and published by . This book was released on 2014 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans le cadre industriel et académique, les méthodologies de développement logiciel exploitent de plus en plus le concept de “modèle” afin d'appréhender la complexité des systèmes temps réel critiques. En particulier, celles-ci définissent une étape dans laquelle un modèle fonctionnel, conçu comme un graphe de blocs fonctionnels communiquant via des échanges de signaux de données, est déployé sur un modèle de plateforme d'exécution matérielle et un modèle de plateforme d'exécution logicielle composé de tâches et de messages. Cette étape appelée étape de déploiement, permet d'établir une architecture opérationnelle du système nécessitant une validation des propriétés temporelles du système. Dans le contexte des systèmes temps réel dirigés par les évènements, la vérification des propriétés temporelles est réalisée à l'aide de l'analyse d'ordonnançabilité basée sur l'analyse des temps de réponse. Chaque choix de déploiement effectué a un impact essentiel sur la validité et la qualité du système. Néanmoins, les méthodologies existantes n'offrent pas de support permettant de guider le concepteur d'applications durant l'exploration de l'espace des architectures possibles. L'objectif de ces travaux de thèse consiste à mettre en place des techniques d'analyse et de synthèse automatiques permettant de guider le concepteur vers une architecture opérationnelle valide et optimisée par rapport aux performances du système. Notre proposition est dédiée à l'exploration de l'espace des architectures en tenant compte à la fois des quatre degrés de liberté déterminés durant la phase de déploiement, à savoir (j) le placement des éléments fonctionnels sur les éléments de calcul et de communication de la plateforme d'exécution, (ii) le partitionnement des éléments fonctionnels en tâches temps réel et des signaux de données en messages, (iii) l'affectation de priorités d'exécution aux tâches et aux messages du système et (iv) l'attribution du mécanisme de protection des données partagées pour les systèmes temps réel périodiques. Nous nous intéressons principalement à la satisfaction des contraintes temporelles et celles liées aux capacités des ressources de la plateforme cible. De plus, nous considérons l'optimisation des latences de bout-en-bout et la consommation mémoire. Les approches d'exploration architecturale présentées dans cette thèse sont basées sur la technique d'optimisation PLNE (programmation linéaire en nombres entiers) et concernent à la fois les applications activées périodiquement et celles dont l'activation est pilotée par les données. Contrairement à de nombreuses approches antérieures fournissant une solution partielle au problème de déploiement, les méthodes proposées considèrent l'ensemble du problème de déploiement. Les approches proposées dans cette thèse sont évaluées à l'aide d'applications génériques et industrielles.

Download or read book Sp cification et conception d un outil de d veloppement de syst mes temps r el strict distribu s written by Bernard Sautet and published by . This book was released on 1996 with total page 223 pages. Available in PDF, EPUB and Kindle. Book excerpt: CETTE THESE EST UNE CONTRIBUTION AU PROJET R.S.D.P. (REAL-TIME SYSTEM DEVELOPMENT PROJECT) DEVELOPPE A L'I.R.I.T., DONT L'OBJECTIF EST D'OBTENIR LA MACHINE DEDIEE LA MIEUX ADAPTEE POUR TRAITER UNE APPLICATION COMPLEXE TEMPS-REEL-STRICT DONNEE, SANS QUE LE CONCEPTEUR TIENNE COMPTE DES PROBLEMES TEMPORELS ET MATERIELS. L'OBJET DE CETTE THESE CONCERNE L'OUTIL DE DEVELOPPEMENT INTEGRANT LES DIFFERENTES ETAPES D'UNE METHODOLOGIE DE CONCEPTION CONJOINTE MATERIEL-LOGICIEL PERMETTANT D'AUTOMATISER LE PASSAGE DE LA SPECIFICATION A LA REALISATION. LE PREMIER CHAPITRE, DEVELOPPEMENT DE SYSTEMES TEMPS-REEL, INTRODUIT LES CONCEPTS DE BASE SUR LES SYSTEMES TEMPS-REEL ET DRESSE UN PANORAMA DES PRINCIPALES APPROCHES DE DEVELOPPEMENT. LA METHODOLOGIE R.S.C.M. (REAL-TIME SYSTEM CO-DESIGN METHODOLOGY) QUI FAIT L'OBJET DU DEUXIEME CHAPITRE, EST AXEE SUR UN MODELE D'EXECUTION DETERMINISTE ET REALISTE EN MILIEU PHYSIQUEMENT DISTRIBUE. CE MODELE, QUI EST A LA BASE DE LA DEFINITION DE L'ARCHITECTURE GENERIQUE ET DU LANGAGE DE DESCRIPTION R.S.D.L., DOIT PERMETTRE DES TRANSFORMATIONS (PARALLELISATIONS, OPTIMISATIONS) AUTOMATISANT L'OBTENTION D'UNE CONFIGURATION OPTIMISEE SATISFAISANT AUX CONTRAINTES TEMPORELLES ET CONSERVANT LA SEMANTIQUE DE LA DESCRIPTION INITIALE. LE TROISIEME CHAPITRE, SPECIFICATION DE L'OUTIL DE DEVELOPPEMENT, A POUR BUT DE PRECISER LES DIFFERENTES COMPOSANTES, LEURS FONCTIONNALITES ET LA FACON DE S'EN SERVIR. CES COMPOSANTES COMPORTENT DES PRIMITIVES DONT CERTAINES DEJA DEVELOPPEES ONT DUES ETRE ADAPTEES, ALORS QUE D'AUTRES SONT ISSUES DE CETTE ANALYSE. L'OBJECTIF DU QUATRIEME CHAPITRE EST DE PRESENTER LA PARTIE CONCEPTION DU COMPILATEUR DE SYSTEME, ET PLUS PARTICULIEREMENT LE SYNCHRONISEUR CHARGE DE DETERMINER AUTOMATIQUEMENT LES PERIODES DES FLOTS DE DONNEES EN ENTREE DU SYSTEME, LE CONFIGURATEUR QUI EXAMINE LA DESCRIPTION FOURNIE PAR L'UTILISATEUR ET LANCE LES TRANSFORMATIONS NECESSAIRES A L'OBTENTION D'UNE CONFIGURATION OPTIMISEE SATISFAISANT AUX CONTRAINTES TEMPORELLES, ET LE PARALLELISEUR QUI EFFECTUE UNE TRANSFORMATION DE PROGRAMME SEQUENTIEL DE TYPE PARALLELISME DE DONNEES SUR UN MODULE PRODUISANT PLUSIEURS SORTIES