Read Books Online and Download eBooks, EPub, PDF, Mobi, Kindle, Text Full Free.
Une Methodologie De Conception Des Applications Temps Reel Destinees A Etre Implantees Sur Des Machines Cibles Multi Processeurs
Download Une Methodologie De Conception Des Applications Temps Reel Destinees A Etre Implantees Sur Des Machines Cibles Multi Processeurs full books in PDF, epub, and Kindle. Read online Une Methodologie De Conception Des Applications Temps Reel Destinees A Etre Implantees Sur Des Machines Cibles Multi Processeurs ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!
Book Synopsis Une méthodologie de conception des applications temps réel destinées à être implantées sur des machines cibles "multi-processeurs" by : Lichen Zhang
Download or read book Une méthodologie de conception des applications temps réel destinées à être implantées sur des machines cibles "multi-processeurs" written by Lichen Zhang and published by . This book was released on 1993 with total page 480 pages. Available in PDF, EPUB and Kindle. Book excerpt: LA COMPLEXITE DES PROBLEMES POSES PAR LA CONCEPTION DES SYSTEMES TEMPS REEL DESTINES A ETRE IMPLANTES SUR DES MACHINES CIBLES MULTI-PROCESSEURS NECESSITE L'ELABORATION D'UNE METHODOLOGIE DE CONCEPTION POUR CES SYSTEMES. LE TRAVAIL PRESENTE DANS CE MEMOIRE SE SITUE DANS CE CADRE ET A TRAVERS LES PROPOSITIONS QUI Y SONT FAITES, APPORTE UNE NOUVELLE DIMENSION DANS LA CONCEPTION DES SYSTEMES TEMPS REEL. LA PREMIERE CONTRIBUTION DE CE MEMOIRE EST DE PROPOSER UNE METHODOLOGIE S'APPUYANT SUR CINQ VUES COMPLEMENTAIRES: ENVIRONNEMENT, FONCTION, PERFORMANCE, COMPORTEMENT ET PHYSIQUE. CES CINQ VUES CORRESPONDENT A CINQ NOUVEAUX MODELES QUI AMELIORENT LE TRAITEMENT DES PROBLEMES CONCERNES PAR LA SPECIFICATION ET LA CONCEPTION DES SYSTEMES TEMPS REEL. LE CYCLE DE VIE EST DECOMPOSE EN SIX ETAPES: ANALYSE ET DEFINITION DES BESOINS, ANALYSE ENVIRONNEMENTALE, RAFFINAGE FONCTIONNEL DU SYSTEME, ANALYSE COMPORTEMENTALE, EVALUATION DES PERFORMANCES ET IMPLANTATION. LA DEUXIEME CONTRIBUTION DE CE MEMOIRE CONSISTE A RESOUDRE LES PROBLEMES PARTICULIERS RENCONTRES FREQUEMMENT DANS LES APPLICATIONS TEMPS REEL DEVELOPPEES SUR LES MULTIPROCESSEURS: SATISFACTION DES CONTRAINTES TEMPORELLES, TRANSFORMATION DE DIAGRAMME FONCTIONNEL ET DE DIAGRAMME COMPORTEMENTAL EN PROGRAMME PARALLELE, VALIDATION DES PROPRIETES DE SURETE, VIVACITE ET TERMINAISON DES PROGRAMMES PARALLELES, ALLOCATION ET ORDONNANCEMENT DES PROCESSUS SUR LES PROCESSEURS ET EQUILIBRAGE DE CHARGE DE TRAVAIL SUR LES PROCESSEURS. CONCERNANT L'EQUILIBRAGE DE CHARGE, NOUS PRESENTONS UNE ETUDE DE CAS PORTANT SUR LA MODELISATION DES SYSTEMES TEMPS REEL REPARTIS PAR LES RESEAUX DE FILES D'ATTENTE AVEC DES ARRIVEES NEGATIVES ET POSITIVES. LA DERNIERE CONTRIBUTION PERMET DE VALIDER LA METHODOLOGIE PROPOSEE A TRAVERS LE DEVELOPPEMENT D'UN SIMULATEUR POUR LA GENERATION DE TRAMES DE TELEMESURE AUX NORMES CCSDS SUR DES RESEAUX DE TRANSPUTERS. CE SIMULATEUR PEUT PRODUIRE DES TRAMES CONFORMES AUX NORMES CCSDS ET IDENTIQUES A CELLES QUE PRODUIRAIT UN GENERATEUR BORD DE TRAMES DE TELEMESURE
Book Synopsis Real Time Programming 1996 by : Carlos Eduardo Pereira
Download or read book Real Time Programming 1996 written by Carlos Eduardo Pereira and published by Pergamon. This book was released on 1997 with total page 166 pages. Available in PDF, EPUB and Kindle. Book excerpt: Paperback. This volume contains the proceedings of the 21st IFAC/IFIP Workshop on Real Time Programming (WRTP'96) held in Gramado, Brazil on 4-6 November 1996. Over the years, this series of annual workshops has become an excellent forum for exchanging information on technological advances and practices in real time computing - a field that is rapidly becoming an essential enabling discipline in computer science and engineering.The technical programme of the workshop maintained the outstanding quality of the series and covered all the latest research and developments in scheduling, operating systems, communications, timing analysis, system development, databases, formal methods and applications. In addition to high quality papers, the programme featured three world class keynote speakers and some poster presentations. These proceedings, therefore, comprise 21 full papers, three keynote addresses and five short contributions.
Book Synopsis Technology and Foundations by : Björn Pehrson
Download or read book Technology and Foundations written by Björn Pehrson and published by . This book was released on 1994 with total page 672 pages. Available in PDF, EPUB and Kindle. Book excerpt: Paperback. The first volume of Information Processing 94 is divided into 2 sections: Hardware and Software Technology; Theoretical Foundations of Computing.The former commences with invited papers discussing the physical limits for computing and communication and examining developments in key areas of hardware and software. The following contributed papers are grouped into 6 sessions: system design, wireless networking; user interfaces; software; distributed systems and networking; hardware.The second section represents a positive collaboration from within the theoretical community. It is split into 6 subsections: algorithms and complexity; semantics; evolving algebras; finite automata; general purpose parallel computing; information based complexity and program speedups in practice and theory. These sessions reflect a great coherence on important and active areas of theoretical computer science and produce a dense program in well delimited
Author :François Duhem (auteur d'une thèse intitulée Méthodologie de conception d'architectures reconfigurables dynamiquement pour des applications temps-réel) Publisher : ISBN 13 : Total Pages :116 pages Book Rating :4.:/5 (836 download)
Book Synopsis Méthodologie de conception d'architectures reconfigurables dynamiquement pour des applications temps-réel by : François Duhem (auteur d'une thèse intitulée Méthodologie de conception d'architectures reconfigurables dynamiquement pour des applications temps-réel)
Download or read book Méthodologie de conception d'architectures reconfigurables dynamiquement pour des applications temps-réel written by François Duhem (auteur d'une thèse intitulée Méthodologie de conception d'architectures reconfigurables dynamiquement pour des applications temps-réel) and published by . This book was released on 2012 with total page 116 pages. Available in PDF, EPUB and Kindle. Book excerpt: La reconfiguration dynamique des FPGA, malgré des caractéristiques intéressantes, peine à s’installer dans l’industrie principalement pour deux raisons. Tout d’abord, les performances du contrôleur natif développé par Xilinx sont faibles et pourront résulter en un rapport entre le temps de reconfiguration et la période de la tâche trop importante pour une implémentation dynamique. Ensuite, le développement d’une application reconfigurable dynamiquement demande un effort plus conséquent, notamment concernant l’ordonnancement des tâches. Il est en effet impossible d’évaluer une architecture et/ou un algorithme d’ordonnancement pour vérifier si l’application respectera bien ses contraintes de temps avant la phase d’implémentation. Cette thèse s’inscrit dans ce contexte et propose des solutions aux problématiques énoncées précédemment. Dans un premier temps, nous présenterons FaRM, un contrôleur de reconfiguration dynamique capable d’atteindre les limites théoriques de la technologie grâce à un algorithme de compression efficient et une architecture optimisée. Ensuite, nous présenterons RecoSim, un simulateur d’architectures reconfigurables en SystemC modélisant à un haut niveau d’abstraction un tel système. Basé sur un modèle de coût du temps de reconfiguration avec FaRM, RecoSim permet notamment le développement et l’évaluation d’algorithmes d’ordonnancement, qui sont des éléments clés des architectures temps-réel. Finalement, nous montrerons comment ces premières contributions sont utilisées au sein de FoRTReSS, un flot d’exploration d’architectures intégré avec les outils de développement Xilinx. Ces travaux ont été effectués dans le cadre du projet ANR ARDMAHN.
Book Synopsis Formalisation et optimisation d'applications s'exécutant sur architecture reconfigurable by : Linda Kaouane
Download or read book Formalisation et optimisation d'applications s'exécutant sur architecture reconfigurable written by Linda Kaouane and published by . This book was released on 2004 with total page 276 pages. Available in PDF, EPUB and Kindle. Book excerpt: AAA (Adéquation Algorithme-Architecture) est une méthodologie développée pour le prototypage rapide d'applications dédiées et temps réel. Basée sur un formalisme de graphes et un fot de conception unifié sans rupture, cette méthodologie aide le développeur à implanter et optimiser l'implantation d'algorithmes de traitements de signal et d'image sur des architectures multicomposants en supportant toutes les étapes du développement depuis la spécification algorithmique jusqu'au choix de l'implantation qui respecte les contraintes temps réel et l'exécution du code correspondant dans les composants. Toutefois le flot de l'implantation actuellement supporte par cette méthodologie est limité aux composants cibles de types processeurs. Et comme l'exécution temps réel de nos applications cibles exige souvent une utilisation conjointe de composants processeurs et de composants circuits spécialisés, la contribution de ce travail consiste à étendre la methodologie AAA vers des architectures circuits. Étape jugée indispensable pour utiliser pleinement la méthodologie AAA pour faire la conception conjointe où la cible multiprocesseurs coopère avec une cible câblée. Dans cette thèse, nous nous sommes donc intéressés à l'extension de la méthodologie AAA pour le support des implantations sur de composants circuits reconfigurables. Nous avons défini et formalisé une méthodologie et un flot de prototypage rapide supportant cette extension depuis la spécification algorithmique sous forme de graphe factorisé et conditionné de dépendances de données (GFCDD) jusqu'à la génération du code RTL décrivant l'architecture circuit de l'implantation matérielle. Ce flot a été implanté dans SynDEx-IC, logiciel d'aide au prototypage rapide spécialement développé à partir du noyau de l'environnement SynDEx supportant l'AAA-multiprocesseurs pour supporter cette extension d'AAA
Book Synopsis Etude de l'architecture du processeur d'une machine pour les applications temps réel en intelligence artificielle by : Pascal Clere
Download or read book Etude de l'architecture du processeur d'une machine pour les applications temps réel en intelligence artificielle written by Pascal Clere and published by . This book was released on 1989 with total page 211 pages. Available in PDF, EPUB and Kindle. Book excerpt: MAIA est un projet développé conjointement par les Laboratoires de Marcoussis et le Centre National d'Etudes des Télécommunications à Lannion. MAlA est un poste de travail qui répond essentiellement à deux types d'applications qui sont la station de travail pour le développement de logiciels dédiés au traitement symbolique et le poste de supervision/conduite de processus en temps réel. MAIA est une machine-langage spécialisée pour l'exécution de LISP et de PROLOG grâce à un jeu d'instructions spécialisé pour la manipulation de listes et du matériel spécifique pour la vérification dynamique du type des objets manipulés, pour le ramasse miettes et la gestion des piles d'évaluation LISP. Le logiciel comprend un compilateur et un interprète LISP et de PROLOG, un noyau temps réel multi-tâche, un ramasse-miettes basé sur l'algorithme de Moon et un gestionnaire de mémoire virtuelle.
Book Synopsis Une méthodologie de conception des systèmes multi-microordinateurs pour les applications de commande en temps-réel by : Jean-Paul Calvez
Download or read book Une méthodologie de conception des systèmes multi-microordinateurs pour les applications de commande en temps-réel written by Jean-Paul Calvez and published by . This book was released on 1982 with total page 229 pages. Available in PDF, EPUB and Kindle. Book excerpt: Un modèle conceptuel de description hiérarchisée en cinq niveaux est défini a partir de 4 modèles: modèle de structure fonctionnelle, modèle de comportement d'une action élémentaire, modèle de structure d’exécution, modèle d’intégration. Pour chacun d'eux sont exposées les règles de description et de comportement puis les propriétés correspondantes. La méthodologie qui en découle permet une approche progressive des réalisations en s’intéressant tout d'abord a l'interconnexion de constituants fonctionnels, puis a l’évolution de ceux-ci, enfin aux ressources génératrices de cette évolution. Cette méthodologie est illustrée sur deux exemples de conception
Book Synopsis Spécification et conception de systèmes complexes temps-réel-strict distribués by : Laurent Carcagno
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
Book Synopsis Validation d'applications temps-réel par analyse de programmes synchrones temporisés by : Valérie Bertin
Download or read book Validation d'applications temps-réel par analyse de programmes synchrones temporisés written by Valérie Bertin and published by . This book was released on 2000 with total page 217 pages. Available in PDF, EPUB and Kindle. Book excerpt: LES SYSTEMES TEMPS-REEL EMBARQUES PRENNENT ACTUELLEMENT UNE AMPLEUR CROISSANTE TANT PAR LA DIVERSITE DE LEURS DOMAINES D'APPLICATION QUE PAR L'IMPORTANCE DE PLUS EN PLUS GRANDE DES MISSIONS QUI LEUR SONT CONFIEES. LA REDUCTION DES DELAIS DE DEVELOPPEMENT DE CES SYSTEMES, RECLAMEE PAR LE MARCHE TOUJOURS PLUS EXIGEANT ET CONCURRENTIEL, NE PEUT ETRE ATTEINTE SANS LA CREATION DE NOUVELLES METHODES ET D'OUTILS ADAPTES A CES DERNIERES. DANS CETTE THESE, NOUS PROPOSONS UN ENVIRONNEMENT DE PROGRAMMATION VISANT A L'OBTENTION DE CODES SURS (PAR CONSTRUCTION) QUANT AU RESPECT DES CONTRAINTES TEMPORELLES. CET OUTIL DEVRAIT CONTRIBUER A LIMITER LE RECOURS A DES CAMPAGNES DE TESTS INTENSIVES DONT LA DUREE PESE AUJOURD'HUI FORTEMENT SUR LES TEMPS DE DEVELOPPEMENT. L'ORIGINALITE DE CET ENVIRONNEMENT REPOSE SUR LA COMBINAISON DE TECHNIQUES DE COMPILATION, DE MODELISATION ET D'ANALYSE. IL INTEGRE DEUX APPROCHES : APPROCHE SYNCHRONE (UTILISATION DU LANGAGE SYNCHRONE ESTEREL) POUR LA CONCEPTION ET MODEL-CHECKING POUR LA VALIDATION DES CONTRAINTES TEMPORELLES. UNE NOUVELLE METHODE DE COMPILATION DU LANGAGE SYNCHRONE ESTEREL A ETE ELABOREE DANS LE BUT DE MODELISER DE FACON PRECISE LE COMPORTEMENT TEMPOREL DU SYSTEME EMBARQUE DECRIT EN ESTEREL. CETTE METHODE OFFRE UN COMPROMIS TAILLE DE CODE / VITESSE DE REACTION INTERESSANT POUR LES SYSTEMES TEMPS-REEL EMBARQUES ET SE COMPARE TRES FAVORABLEMENT AUX METHODES DE COMPILATION EXISTANTES. LE COMPILATEUR REALISE A ETE CONNECTE AVEC LE VERIFICATEUR FORMEL KRONOS DE VERIMAG POUR PERMETTRE LA VALIDATION DIRECTE ET AUTOMATIQUE DES CONTRAINTES TEMPORELLES AUXQUELLES LE SYSTEME DOIT SATISFAIRE. CETTE VALIDATION EST REALISEE SUR UN MODELE FORMEL GLOBAL (AUTOMATE TEMPORISE) PRENANT EN COMPTE NON SEULEMENT LE COMPORTEMENT DYNAMIQUE DU SYSTEME ET DE SON IMPLANTATION SUR LA MACHINE CIBLE (OBTENU PAR COMPILATION DU CODE ESTEREL), MAIS AUSSI CELUI DE SON ENVIRONNEMENT EXTERNE.
Book Synopsis Contribution à l'analyse d'ordonnançabilité des applications temps-réel multiprocesseurs by : Sadouanouan Malo
Download or read book Contribution à l'analyse d'ordonnançabilité des applications temps-réel multiprocesseurs written by Sadouanouan Malo and published by . This book was released on 2010 with total page 167 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les applications temps-réel, le plus souvent dédiées au contrôle de procédé, sont soumises à des contraintes temporelles strictes, destinées à garantir la sécurité et la cohérence du procédé contrôlé. Etant des applications multi tâches, elles doivent être ordonnancées, le critère sine qua non de qualité de la stratégie d'ordonnancement étant la garantie du respect des contraintes temporelles. Ces applications sont de plus en plus déployées sur des architectures multiprocesseurs. Dans ce contexte, de nombreux problèmes d'ordonnancement doivent encore être abordés. Tout d'abord, il n'existe pas d'ordonnancement en ligne optimal dans ce contexte dans le cas général, le problème de l'ordonnancement est NP-complet, et des anomalies d'ordonnancement apparaissent. Nous avons envisagé de prendre en compte la possibilité qu'une panne processeur survienne et nous avons étudié les mécanismes de reprise après la panne dans le cas où l'application est ordonnancée par EDF, puis par un algorithme P-équitable. Ces mécanismes nécessitent de disposer d'un certain nombre de résultats généraux. Nous avons donc étendu la définition de la P-équité à un contexte plus large que celui de la littérature, puis nous avons établi une condition suffisante d'ordonnançabilité dans ce contexte. Enfin, nous avons proposé un protocole efficace de gestion des flux apériodiques qui s'appuie sur une distribution P-équitable des temps creux. Cette répartition peut être obtenue soit en ordonnançant les tâches périodiques par une stratégie P-équitable quand le contexte le permet, soit via une analyse hors-ligne à base de réseaux de Petri.
Book Synopsis Conception de méthodes de placement et d'ordonnancement de programmes parallèles sur un système multi processeur by : Nabil Abdennadher
Download or read book Conception de méthodes de placement et d'ordonnancement de programmes parallèles sur un système multi processeur written by Nabil Abdennadher and published by . This book was released on 1991 with total page 358 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le développement des langages et des architectures parallèles a donné de l'importance au problème de placement des tâches sur un système multiprocesseur. Avant l'exécution, il est indispensable de placer les différents modules du programme parallèle sur les processeurs de la machine cible, placement qui optimise un critère défini auparavant. Cette thèse présente un algorithme heuristique de placement des tâches qui tient compte des relations de précédence qui existent entre les tâches et de la politique d'ordonnancement implantée sur chaque processeur. Le placement est évalué en fonction de deux politiques: la politique partage de temps et la politique propriété semi dynamique (psd) qui consiste a attribuer à chaque tâche une priorité en fonction de la structure du graphe de tâches représentant le programme parallèle. L’algorithme est constitué de trois phases: -phase glouton qui consiste à placer les tâches sur les processeurs; -phase de multiplexage dont l'objectif est de placer les canaux de communications inter-tâches sur les liens physiques inter-processeurs; -phase de routage qui consiste à étendre sur plusieurs liens physiques les canaux de communication qui n'ont pas été placés au cours de la seconde phase. La topologie de la machine cible n'est pas fixée a priori. Elle est déterminée en fonction du placement des tâches et des contraintes matérielles imposées par le constructeur de la machine.
Book Synopsis Implémentation rigoureuse des systèmes temps-réels by : Tesnim Abdellatif
Download or read book Implémentation rigoureuse des systèmes temps-réels written by Tesnim Abdellatif and published by . This book was released on 2012 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les systèmes temps-réels sont des systèmes qui sont soumis à "des contraintes de temps", comme par exemple le délais de réponse d'un système à un événement physique. Souvent les temps de réponse sont de l'ordre du milliseconde et parfois même du microseconde. Construire des systèmes temps-réels nécessite l'utilisation de méthodologies de conception et de mise en œuvre qui garantissent la propriété de respect des contraintes de temps, par exemple un système doit réagir dans les limites définies par l'utilisateur tels que les délais et la périodicité. Un délai non respecté dans systèmes temps-réel critique est catastrophique, comme par exemple dans les systèmes automobiles. Si un airbag se déclanche tard dans un accident de voiture, même quelques millisecondes trop tard peuvent conduire à des répercussions graves. Dans les systèmes temps-réels non critiques, une perte significative de performance et de QoS peuvent se produire, comme par exemple dans les réseaux de systèmes multimédia. Contribution: Nous fournissons une méthode de conception rigoureuse des systèmes temps-réel. L'implèmentation est générée à partir d'une application logicielle temps-réel et une plate-forme cible, en utilisant les deux modèles suivants: * Un modèle abstrait représentant le comportement de l'application logicielle en temps réel sous forme d' un automate temporisé. Celui-ci décrit des contraintes temporelles définies par l'utilisateur qui sont indépendantes de la plateforme. Ses transitions sont intemporelles et correspondent à l'exécution des différentes instructions de l'application. * Un modèle physique représentant le comportement du logiciel en temps réel s'exécutant sur une plate-forme donnée. Il est obtenu par l'attribution des temps d'exécution aux transitions du modèle abstrait. Une condition nécessaire pour garantir l'implémentabilité dy système est la "time-safety", c'est à dire, toute séquence d'exécution du modèle physique est également une séquence d'exécution du modèle abstrait. "Time-safety" signifie que la plate-forme est assez rapide pour répondre aux exigences de synchronisation de l'application. Comme les temps d'exécution des actions ne sont pas connus avec exactitude, "time-safety" est vérifiée pour les temps d'exécution pire cas es actions en faisant l' hypothèse de la robustesse. La robustesse signifie que la "time-safety" est préservée lorsqu'on augmente la vitesse de la plate-forme d'exécution. Pour des logiciels et plate-forme d'exécution correspondant à un modèle robuste, nous définissons un moteur d'exécution qui coordonne l'exécution du logiciel d'application afin de répondre à ses contraintes temporelles. En outre, en cas de non-robustesse, le moteur d'exécution permet de détecter les violations de contraintes temporelles en arrêtant l'exécution. Nous avons mis en place le moteur d'exécution pour les programmes BIP. Nous avons validé la méthode pour la conception et la mise en œuvre du robot Dala. Nous montrons les avantages obtenus en termes d'utilisation du processeur et l'amélioration de la latence de la réaction.
Book Synopsis Innovate Bristol by : Sven Boermeester
Download or read book Innovate Bristol written by Sven Boermeester and published by . This book was released on 2019-12 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Innovate Bristol highlights and celebrates those companies and individuals that are actively working at building a better tomorrow for all. Innovation Ecosystems thrive through the involvement and support of companies and individuals from all industries, which is why the Innovate series not only focuses on the innovators but also those people whom the Innovation Ecosystem, would not be able to thrive without.
Book Synopsis The Disappearing Computer by : Norbert Streitz
Download or read book The Disappearing Computer written by Norbert Streitz and published by Springer. This book was released on 2007-07-20 with total page 314 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book examines how the computer, as we currently know it, will be replaced by a new generation of technologies, moving computing off the desktop and ultimately integrating it with real world objects and everyday environments. It provides a unique combination of concepts, methods and prototypes of ubiquitous and pervasive computing reflecting the current interest in smart environments and ambient intelligence.
Book Synopsis Market Assessment Study of New Media Learning Materials by : Canada. Industry Canada
Download or read book Market Assessment Study of New Media Learning Materials written by Canada. Industry Canada and published by . This book was released on 1996 with total page 56 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Book Synopsis Traditional Mediterranean Architecture by : Amin Maalouf
Download or read book Traditional Mediterranean Architecture written by Amin Maalouf and published by . This book was released on 2002 with total page 139 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Book Synopsis Developing Translation Competence by : Christina Schäffner
Download or read book Developing Translation Competence written by Christina Schäffner and published by John Benjamins Publishing. This book was released on 2000-01-01 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt: The questions which this volume seeks to address include: what is translation competence? How can it be built and developed? How can the product of the performance be used to measure levels of competence? These questions are addressed with specific reference to the training situation. They are arranged in three sections, the first focusing on the identification of subcompetences.
