Download or read book Sur l optimisation des systemes distribues temps reel embarques application au prototypage rapide d un vehicule electrique autonome written by Rémy Kocik and published by . This book was released on 2000 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book OPTIMISATION DES SYSTEMES DISTRIBUES TEMPS REEL EMBARQUES written by REMY.. KOCIK and published by . This book was released on 2000 with total page 200 pages. Available in PDF, EPUB and Kindle. Book excerpt: LA METHODOLOGIE AAA (ADEQUATION ALGORITHME ARCHITECTURE) A ETE DEVELOPPEE POUR RESOUDRE LES PROBLEMES DE CONCEPTION/REALISATION OPTIMISEE D'APPLICATIONS COMPLEXES TEMPS REEL EMBARQUEES. SON BUT EST D'IMPLANTER LES ALGORITHMES DE CONTROLE-COMMANDE SUR DES ARCHITECTURES MATERIELLES, QUI, POUR SATISFAIRE DE FORTES CONTRAINTES DE COUT SONT GENERALEMENT DISTRIBUEES ET HETEROGENES. DANS CETTE THESE, NOUS CHERCHONS A VALIDER ET A AMELIORER CETTE METHODOLOGIE. NOUS PRESENTONS DANS LA PREMIERE PARTIE LES ETAPES QUI, LORS DE LA CONCEPTION, PERMETTENT DE TRANSFORMER LE MODELE MATHEMATIQUE DEFINI PAR L'AUTOMATICIEN EN UNE SPECIFICATION INFORMATIQUE PERMETTANT D'ABOUTIR A LA REALISATION DE L'APPLICATION. NOUS ETUDIONS LES LIENS QUI EXISTENT ENTRE CES DEUX MODELES AFIN DE SUPPRIMER LA RUPTURE ENTRE LES PHASES DE CONCEPTION ET DE REALISATION EN VUE DE REDUIRE LE CYCLE DE DEVELOPPEMENT. DANS LA DEUXIEME PARTIE NOUS CHERCHONS A AMELIORER L'EXPRESSIVITE DE LA SPECIFICATION, D'UNE PART EN FOURNISSANT LA POSSIBILITE DE DECRIRE SEPAREMENT LES ASPECTS CONTROLE (CHANGEMENT DE MODES) ET LES ASPECTS COMMANDE (LOIS DE COMMANDE, TRAITEMENT DU SIGNAL ET DES IMAGES) DE L'APPLICATION, ET D'AUTRE PART EN AJOUTANT LA POSSIBILITE DE DECRIRE FINEMENT DES CONTRAINTES TEMPORELLES MULTIPLES. LA TROISIEME PARTIE TRAITE DE L'IMPLANTATION OPTIMISEE D'UNE SPECIFICATION COMPORTANT DES CONTRAINTES TEMPORELLES MULTIPLES, ALORS QUE LA METHODOLOGIE AAA NE PRENAIT EN COMPTE QU'UNE SEULE CONTRAINTE AUPARAVANT. DANS LA DERNIERE PARTIE, NOUS VALIDONS L'INTERET DE LA METHODOLOGIE AAA POUR LE PROTOTYPAGE RAPIDE OPTIMISE D'APPLICATIONS COMPLEXES A TRAVERS LA REALISATION D'UN PROTOTYPE DE VEHICULE ELECTRIQUE AUTONOME.

Download or read book Syst mes temps r el autonomes en nergie written by Maryline Chetto and published by ISTE Group. This book was released on 2017-05-01 with total page 141 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cet ouvrage traite d’une problématique récente, celle de l’autonomie énergétique d’un système temps réel s’alimentant à partir d’une source d’énergie environnementale. Concevoir un tel dispositif nécessite de répondre à diverses questions liées à la récolte de l’énergie, son stockage temporaire et son utilisation, de façon à garantir une autonomie durable tout en respectant des impératifs d’exécution. Après avoir présenté les notions d’informatique et d’ordonnancement temps réel, cet ouvrage traite de l’état de l’art des technologies de récupération et de stockage de l’énergie applicables à l’embarqué. Il décrit également une technique d’ordonnancement optimale spécifiquement adaptée aux systèmes temps réel autonomes en énergie sur plateforme monoprocesseur. Destiné aux informaticiens, automaticiens ou étudiants en école d'ingénieurs, Systèmes temps réel autonomes en énergie offre une initiation à l'informatique temps réel contrainte par l’énergie.

Download or read book Syst mes temps r el embarqu s 2e d Sp cification conception impl mentation et validation tem written by Francis Cottet and published by Dunod. This book was released on 2014-11-05 with total page 636 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cet ouvrage de référence sur les systèmes temps réel permet de : • Connaître et me re en oeuvre les méthodes de spécifi cation et de conception, • Défi nir et paramétrer l’environnement d’exécution des systèmes, • Réaliser une implantation multitâche basée sur un noyau temps réel, • Développer l’application en C, Ada ou Labview. Cette deuxième édition a été mise à jour en introduisant l’utilisation de SysML (System Modeling Language) pour la spécifi cation fonctionnelle et du langage AADL (Architecture Analysis and Design Language) qui permet de passer des spécifi cations fonctionnelles aux architectures matérielles et logicielles.

Download or read book A Machine Learning Approach for the Smart Charging of Electric Vehicles written by Karol Lina Lopez and published by . This book was released on 2019 with total page 119 pages. Available in PDF, EPUB and Kindle. Book excerpt: Avec l'adoption croissante des véhicules électriques, il y a un intérêt pour utiliser des tarifs dynamiques dont le prix dépend de la demande actuelle, pour encourager les utilisateurs à recharger leurs véhicules en période de faible demande évitant les pics d'électricité pouvant dépasser la capacité installée. Le problème que devaient affronter les utilisateurs de véhicules électriques est qu'ils doivent s'assurer que l'énergie électrique présente dans les batteries est suffisante pour les déplacements et que les périodes de recharge correspondent à des périodes où le prix de l'électricité est bas. La plupart des approches actuelles de planification de recharge supposent une connaissance parfaite des futurs prix de l'électricité et de l'utilisation du véhicule, ce qui nuit à leur applicabilité dans la pratique. Cette thèse considère la modélisation de la recharge intelligente des véhicules électriques pour déterminer, lors des sessions de connexion, les moments où le véhicule doit se recharger afin de minimiser le coût payé pour l'énergie de ses déplacements. La thèse comporte quatre principales contributions: 1) Modèle de recharge optimale des véhicules électriques pour générer une série de décisions en utilisant la connaissance a priori du prix de l'électricité et de l'énergie utilisée, en utilisant la programmation dynamique comme méthode d'optimisation. 2) Création d'un modèle de système d'information incluant des variables connexes au modèle de recharge des véhicules électriques dans un cadre guidé par des données. 3) Méthode de sélection des données pertinentes utilisant la stratification de données pouvant réduire significativement le temps requis pour entraîner les modèles de prévision avec des résultats proches de ceux obtenus en utilisant l'ensemble de données complet. 4) Modèle de classification en ligne qui permet de déterminer s'il faut charger ou non le véhicule à l'aide de modèles d'apprentissage automatique qui peuvent générer, en temps réel, une décision de recharge quasi-optimale sans tenir compte d'une connaissance de l'information future. Nous démontrons comment la combinaison d'une méthode d'optimisation hors ligne, telle que la programmation dynamique, avec des modèles d'apprentissage automatique et un système d'information adéquat peut fournir une solution très proche de l'optimum global, sans perte d'applicabilité dans le monde réel. De plus, la polyvalence de l'approche proposée permet d'envisager l'intégration d'un plus grand nombre de variables à l'entrée du modèle, ainsi que d'autres actions comme par exemple fournir d'énergie au réseau électrique pour aider à réduire les pics de demande ce qui pourrait être utile dans un contexte de vehicle-to-grid (V2G).

Download or read book Introduction aux syst mes embarqu s temps r el written by Emmanuel Grolleau and published by Dunod. This book was released on 2018-10-24 with total page 335 pages. Available in PDF, EPUB and Kindle. Book excerpt: Un système embarqué est un dispositif électronique autonome dédié à une tâche précise (surveillance, contrôle, communication...) dont les domaines d'utilisation vont de l'automobile au multimédia, en passant par le secteur médical. Cet ouvrage présente dans une première partie tous les concepts nécessaires à la compréhension des systèmes embarqués : programmation séquentielle, interruptions matérielles, programmation cyclique, conception multitâches, langages de spécifications, validation temporelle... Dans une seconde partie, les auteurs proposent des études de cas concrets et introduisent les apports de l’ingénierie dirigée par les modèles (Model2Text et Model2Model).

Download or read book Optimisation de la consommation d nergie dans les applications temps r els embarqu es written by Sébastien Pignolo and published by . This book was released on 2002 with total page 147 pages. Available in PDF, EPUB and Kindle. Book excerpt: Après l'achèvement des techniques de miniaturisation des composants, une nouvelle vague de systèmes a vu le jour sous le nom de "systèmes embarqués". Ces systèmes électroniques, autonomes en énergie, intègrent toutes les fonctions vitales nécessaires aux traitement d'une application dans un environnement confiné et souvent d'espace réduit. L'accroissement constant de la demande en puissance de calcul pour effectuer des tâches de plus en plus complexes et plus nombreuses a entrainé une augmentation de la densité des composants électroniques ainsi qu'un accroissement des fréquences de fonctionnement des systèmes. Ces augmentations de puissance requièrent de plus grandes capacités de stockage d'énergie, des batteries plus grosses mais également des systèmes de régulation de la température plus nombreux et plus volumineux. Ces constatations posent désormais le problème de l'optimisation de la consommation d'énergie comme un critère fondamental de la conception d'un système au même niveau que les critères classiques de vitesse de traitement, de surface utilisée ou bien encore de coût commercial. Le but de notre étude est double, il s'agit à la fois de diminuer la puissance instantanée absorbée dans les composants électroniques, et à la fois de réduire la consommation d'énergie. Après une étude de quelques systèmes électroniques développés par la société MBDA, plusieurs moyens d'endiguer l'augmentation de la consommation puis de l'optimiser ont été dégagés. Parmi ceux-ci notre travail s'est focalisé sur les entrées/sorties entre le DSP (processeur spécialisé dans le traitement du signal) et sa mémoire de données externe. En effet, le DSP traite des applications de traitement du signal et de l'image qui manipulent généralement un grand nombre de données qui ne peuvent être stockées qu'en nombre limité dans la mémoire interne du DSP. Un modèle pour le comportement dynamique des appels de données a été élaboré sous la forme de deux graphes (graphes de dépendance des expressions GDE et graphe de dépendances de structures GDS). A partir de ces graphes, une optimisation est proposée pour exploiter les localités spatiales et temporelles des structures de données. elle repose sur l'optimisation de la densité d'utilisation de la mémoire interne du DSP

Download or read book M thodologie de mod lisation et d valuation d applications r parties temps r el s res de fonctionnement written by Christophe Philippe and published by . This book was released on 1997 with total page 198 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'électronique embarquée dans les véhicules, et l'informatique de contrôle-commande liée à la production de ces mêmes véhicules, sont caractérisées par de fortes contraintes de temps et de sûreté de fonctionnement. Nous nous intéressons dans ce mémoire à l'introduction des réseaux de communication dans ces applications, et proposons une méthodologie pour l'évaluation de telles applications. Cette méthodologie fournit respectivement un formalisme de modélisation et une structure d'accueil de méthodes d'évaluation. La première partie du mémoire décrit la problématique. Après avoir donné les définitions nécessaires (chapitre 1), nous caractérisons et synthétisons les applications des deux domaines concernés, électronique embarquée et informatique usine (chapitre 2). La seconde partie du mémoire présente notre méthodologie de modélisation et d'évaluation. Le formalisme de modélisation intègre les notions de Modèle d'Application, d'Architectures (Fonctionnelle, de Ressources, Opérationnelle) et de propriétés (Caractéristiques, Contraintes). La structure d'accueil peut intégrer des méthodes d'évaluation de caractéristiques, de vérification du respect de contraintes, ou encore de comparaison de Modèles d'Application. La troisième partie du mémoire illustre la méthodologie par la spécification et la conception de méthodes d'évaluation, leur intégration dans la structure d'accueil et leur utilisation. Le chapitre 4 présente des méthodes d'évaluation temporelle de profils de communication (basés sur CAN et ASI principalement), et le chapitre 5, des méthodes d'évaluation de la sûreté de fonctionnement (évaluation ordinale de fautes, évaluation dysfonctionnelle de profils de communication, évaluation de solutions de tolérance aux fautes par redondance). La quatrième partie décrit un outil logiciel implémentant la méthodologie (chapitre 6), et son utilisation sur un cas d'étude (chapitre 7).

Download or read book Prototypage des applications temps r el embarqu es written by and published by Ed. Techniques Ingénieur. This book was released on with total page 11 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Contribution la robustesse des syst mes temps r el embarqu s multicoeur automobile written by Sylvain Cotard and published by . This book was released on 2013 with total page 209 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les besoins en ressources CPU dans l’automobile sont en constante augmentation. Le standard de développement logiciel AUTOSAR (AUTomotive Open System ARchitecture) – développé au sein d’un consortium regroupant des fabricants de véhicules et des sous-traitants – offre désormais la possibilité de s’orienter vers de nouvelles architectures : les microcontrôleurs multicoeur. Leur introduction au sein des systèmes embarqués critiques apporte un lot de problèmes allant à l’encontre des objectifs de sûreté de fonctionnement ISO 26262. Par exemple, le parallélisme des coeurs impose de maîtriser l’ordonnancement pour respecter les contraintes de dépendance entre les tâches, et le partage des données intercoeur doit être effectué en assurant leur cohérence. Notre approche s’articule en deux volets. Pour vérifier les contraintes de dépendance entre les tâches, les exigences sur les flots de données sont utilisées pour synthétiser des moniteurs à l’aide de l’outil Enforcer. Un service de vérification en ligne utilise ces moniteurs (injectés dans le noyau du système d’exploitation) pour vérifier le comportement du système. Enfin, pour maîtriser le partage des données intercoeur, nous proposons une alternative aux protocoles bloquants. Le protocole wait-free STM-HRT (Software Transactional Memory for Hard Real-Time systems), est conçu sur les principes des mémoires transactionnelles afin d’améliorer la robustesse des systèmes.

Download or read book Vers une prise en compte fine de la plate forme cible dans la construction de syst mes temps r el embarqu s critiques par ing nierie des mod les written by Olivier Gilles and published by . This book was released on 2010 with total page 162 pages. Available in PDF, EPUB and Kindle. Book excerpt: Une démarche classique d'ingénierie dirigée par les modèles (IDM) consiste à modéliser un problème, puis à générer le code source associé à partir de ce modèle.Cette approche, qui a été étendue succès aux systèmes temps-réel, réduit significativement les erreurs. Le modèle développé suit généralement une approche fonctionnelle du problème ; celle-ci est cependant rarement optimale en terme de consommation de ressources. Pour les systèmes temps réel, cette limitation est acceptable : ce n'est plus le cas dans le contexte de systèmes temps-réels embarqués (TRE). Cette thèse propose d'associer l'approche IDM à un processus d'optimisation basé sur le modèle du système, pour pouvoir appliquer cette approche aux systèmes TRE. Pour cela, nous proposons d'utiliser ensemble trois solutions : d'une part, AADL, un langage de modélisation architecturale, qui permet de spécifier la composante non-fonctionnelle de l'application. Ensuite, REAL, un langage d'expression de contrainte, qui permet d'exprimer des contraintes sur le modèle. Finalement, un processus d'optimisation, qui permet de transformer un modèle naïf en modèle répondant aux performances requises, en se basant sur des heuristiques gloutonnes. Nous montrons comment cette approche permet d'automatiser le processus de développement, en limitant le rôle de l'architecte à la traduction des contraintes exprimées par le cahier des charges et à la conception d'un modèle naïf du problème.

Download or read book Dimensionnement temporel de syst mes embarqu s written by Franck Bimbard and published by . This book was released on 2007 with total page 157 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cette thèse traite du dimensionnement temps réel de systèmes embarqués. Nous proposons un ensemble d’outils algorithmiques permettant de garantir, avant son déploiement, qu’une application, une fois installée sur une architecture monoprocesseur donnée, sera exécutée en temps réel. Nous nous plaçons dans un contexte temps réel strict avec des échéances de terminaison au plus tard. De plus, nous ne considérons que des applications constituées de tâches à échéance arbitraire, périodiques, préemptives ou non, indépendantes et non concrètes. Le standard OSEK, étudié dans cette thèse, est basé sur un ordonnancement FP/FIFO et prescrit le mécanisme du plafond de priorité pour protéger les ressources. Cette étude commence naturellement par l’identification et la caractérisation des charges dues à notre exécutif OSEK. Puis, nous proposons des conditions de faisabilité, intégrant les charges précédentes, valables pour tout ensemble de tâches ordonnancées FP/FIFO et se partageant, au plus, une ressource. Bien que le standard OSEK n’admette que des priorités fixes, nous montrons comment mettre en oeuvre un ordonnancement EDF pour des tâches n’utilisant, cette fois, aucune ressource. Là encore, de nouvelles conditions de faisabilité, intégrant les charges cumulées du système d’exploitation et de notre implémentation, sont présentées. Enfin, nous expérimentons les conditions de faisabilité précédentes sur une plateforme réelle. Les résultats confirment que les charges dues au système d’exploitation ne peuvent être négligées. Ces expérimentations montrent également que nos conditions de faisabilité s’avèrent opérationnelles pour le dimensionnement temps réel d’applications embarquées.

Download or read book Caract risation de la performance temporelle et de la consommation lectrique de syst mes embarqu s bas s sur des plates formes multiprocesseurs coeurs et mettant en oeuvre du logiciel temps r el written by Joffrey Kriegel and published by . This book was released on 2013 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: La multiplication des plate-formes embarquées disponibles sur le marché rend de plus en plus complexe le choix d'une plate-forme pour un produit. L'arrivée des architectures multi-processeurs augmente encore plus ce phénomène. Dans le contexte industriel actuel, il est nécessaire de disposer d'une méthodologie et des outils associés permettant d'évaluer rapidement ces plate-formes et celles qui apparaitront dans le futur sur le marché afin de faire des premiers choix tôt dans le cycle de conception des produits. Précédemment, il était nécessaire d'attendre l'arrivée sur le marché des plate-formes de test afin d'exécuter sur ces plate-formes des benchmarks et des applications afin d'évaluer leur performance et leur consommation. Nous proposons ici une méthodologie et les outils associés permettant de modéliser un système (logiciel et matériel) puis d'estimer ses performances et sa consommation d'énergie. Notre méthodologie s'appuie sur des modèles simples à mettre en œuvre utilisant uniquement des informations présentes dans les documents techniques des constructeurs. Autre avantage de notre approche, la simulation réalisée s'appuie sur du code exécutable généré automatiquement afin de s'exécuter en natif sur un ordinateur. Cela permet une exécution rapide des scénarios de test et offre la possibilité de faire de l'exploration d'architectures. Nous avons procédé à diverses validations en utilisant des applications variées (décodeur H.264, application radio, benchmarks classiques, ...) et en comparant les performances et la consommation estimée avec l'équivalent sur des plate-formes réelles (OMAP3/4, i.MX6, QorIQ, ...). Cela a permis d'évaluer l'erreur d'estimation de FORECAST (l'outil développé lors de cette thèse) et ainsi de s'assurer que le taux d'erreur reste dans des bornes admissibles c'est-à-dire inferieures à 20%. Nous avons d'un autre côté comparé notre approche avec celles développées dans deux autres projets OpenPEOPLE (ANR) et COMCAS (Catrene) afin de s'assurer que le rapport effort/précision de notre approche est intéressant.

Download or read book Introduction aux syst mes embarqu s temps r el written by Emmanuel Grolleau and published by . This book was released on 2018-10-24 with total page 326 pages. Available in PDF, EPUB and Kindle. Book excerpt: Un système embarqué est un dispositif électronique autonome dédié à une tâche précise (surveillance, contrôle, communication...) dont les domaines d'utilisation vont de l'automobile au multimédia, en passant par le secteur médical. Cet ouvrage présente dans une première partie tous les concepts nécessaires à la compréhension des systèmes embarqués : programmation séquentielle, interruptions matérielles, programmation cyclique, conception multitâches, langages de spécifications, validation temporelle... Dans une seconde partie, les auteurs proposent des études de cas concrets et introduisent les apports de l'ingénierie dirigée par les modèles (Model2Text et Model2Model).

Download or read book D finition et impl mentation d un mod le causal d ex cution temps r el distribu e written by Sébastien Moutault and published by . This book was released on 2011 with total page 207 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ces travaux s'inscrivent dans le cadre du projet AROS (Automotive Robust Operating Services). Il a pour objectif de proposer un outil de prototypage rapide d'applications dynamiques distribuées temps-réel, principalement dans le domaine de l'automobile et de la robotique. Les applications distribuées temps-réel sont traditionnellement développées selon deux approches. La première, l'ordonnancement temporel, est basée sur l'analyse du pire temps d'exécution (worst execution time). Un partage du temps entre les différentes tâches de l'application est établi de façon statique. Cette technique offre une grande sureté de fonctionnement au prix d'une analyse temporelle parfois difficile à mener. La seconde, l'ordonnancement par priorité, est basée sur l'attribution à chaque tâche d'un niveau de priorité qui permet d'établir l'ordre d'exécution en fonction des évènements reçus par le système. Cette seconde technique, plus souple à mettre en œuvre, offre moins de garanties et conduit à un comportement non déterministe de l'application. La structure des applications AROS étant dynamique, l'approche temporelle est exclue car elle demande une analyse statique qu'il est impossible de produire. L'approche basée sur les priorités d'exécution est également exclue à cause de son non déterminisme comportemental. Nous proposons une approche basée sur un ordonnancement évènementiel causal inspirée des techniques d'ordonnancement des simulateurs évènementiels distribués. Tout en étant relativement simple à utiliser pour le concepteur d'application, cette technique produit des applications dont le comportement est parfaitement déterministe. Deux principales difficultés sont à surmonter : la synchronisation en temps-réel du moteur d'exécution et le respect des contraintes temps-réel.

Download or read book Analyse et conception des syst mes lectriques embarqu s written by Franck Barruel and published by . This book was released on 2005 with total page 160 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les réseaux embarqués, au même titre que les réseaux de distribution, subissent de profondes mutations dues à l'essor de l'électronique de puissance. La tendance est claire : la puissance doit être intégrée au maximum sous forme électrique aux dépens de l'hydraulique et de la mécanique. Cette intégration de puissance est rendue possible par l'utilisation de convertisseurs d'électronique de puissance, fiables, modulaires et garantissant une grande souplesse de fonctionnement. C'est ce qui se passe actuellement pour les avions civils gros porteurs. L'insertion massive de ces convertisseurs dans les réseaux embarqués pose cependant quelques problèmes, principalement à cause la prolifération des harmoniques et à l'introduction de nouvelles dynamiques. Pour pouvoir quantifier et s'affranchir de ces problèmes, on doit utiliser des méthodes d'analyse et de conception adaptées. Dans ce contexte, le premier chapitre du mémoire fait un tour d'horizon de l'évolution des réseaux embarqués au cours des dernières décennies. Dans la deuxième partie, une méthodologie de conception des systèmes embarqués est proposée. Les deux chapitres suivants sont les premières applications de la méthodologie dans le contexte du contrat européen Power Optimized Aircraft. L'un est consacré à l'étud dynamique d'un système embarqué haute tension continue. L'approche modale, couplée au modèle moyen généralisé, est détaillée. L'accent est particulièrement mis sur les facteurs de participation et de sensibilité. Le dernier chapitre concerne la dépollution harmonique optimale où l'on propose de minimiser le volume des organes de filtrage par l'intermédiaire d'optimisations sous contraintes.

Download or read book Mod lisation et optimisation de la commande d un moteur lectrique courant continu et excitation s par e written by Jean-Pierre PINEAU and published by . This book was released on 1996 with total page 6 pages. Available in PDF, EPUB and Kindle. Book excerpt: