Littérature scientifique sur le sujet « Système embarquée »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Système embarquée ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Système embarquée"
1
Jovanovic, S., Y. Berviller et S. Weber. « Conception et développement d’un processeur à jeu d’instruction réduit RV32I ». J3eA 23 (2024) : 1012. http://dx.doi.org/10.1051/j3ea/20241012.
Texte intégralRésumé :
Nous présentons un ensemble de travaux pratiques qui seront dispensés au sein du Master EEA - Électronique Embarquée à l’Université de Lorraine et Télécom Nancy - parcours Logiciel Embarqué, dans le cadre des modules Conception VLSI (Master EEA) et Conception et Développement d’un Système sur Puce (Télécom Nancy). Ces travaux pratiques portent sur la modélisation de systèmes et circuits en VHDL, et se focalisent en particulier sur le développement incrémental d’une architecture de processeur à jeu d’instructions réduit de type RISC-V (le jeu d’instructions RV32I) en utilisant des suites logicielles de Mentor Graphics (Modelsim pour la modélisation et simulation VHDL), et de Intel-Altera (Quartus Prime) pour la validation expérimentale.
2
Khalil, N., J. M. Beis, J. Paysant et D. Mainard. « Analyse instrumentale baropodométrique embarquée : place du système F-Scan® dans l’évaluation de la chirurgie du pied ». Médecine et Chirurgie du Pied 32, no 3 (25 juillet 2016) : 77–83. http://dx.doi.org/10.1007/s10243-016-0441-7.
Texte intégral
3
Moro, J., S. Bellik, S. Parisse, P. Fourniès, S. Baris, G. Boucharé, O. Richard et Y. Lambert. « Biologie embarquée vs biologie hospitalière : validation d’un nouveau système d’analyse délocalisé pour le dosage de différents paramètres biologiques (gaz du sang, électrolytes et lactate) ». Annales Françaises d'Anesthésie et de Réanimation 33 (septembre 2014) : A254. http://dx.doi.org/10.1016/j.annfar.2014.07.429.
Texte intégral
4
Frick, V., et B. Boyer. « Conception de système embarqué sur cible FPGA : une approche par compétences ». J3eA 21 (2022) : 1022. http://dx.doi.org/10.1051/j3ea/20221022.
Texte intégralRésumé :
Cet article témoigne d’une expérience d’approche par compétence appliquée dans le cadre de modules d’enseignement aux systèmes électroniques embarqués. Les projets proposés aux étudiants visent à développer les compétences qui leur permettront de répondre efficacement à un cahier des charges dans un domaine où matériels et logiciels sont en constante évolution. En l’occurrence, il s’agit d’encourager l’initiative dans les choix techniques de co-conception de circuits numériques impliquant le langage de description matériel VHDL, la synthèse de processeur embarqué, la programmation en langage C. Le retour d’expérience montre qu’au prix d’un suivi régulier de la progression des étudiants, les résultats et le taux de satisfaction des étudiants sont très élevés et peuvent même dépasser les objectifs initiaux.
5
Jovanovic, S., et S. Weber. « Modélisation SystemC-TLM de systèmes à base de processeur ». J3eA 18 (2019) : 1009. http://dx.doi.org/10.1051/j3ea/20191009.
Texte intégralRésumé :
Nous présentons un ensemble de travaux pratiques qui seront dispensés au sein du Master EEA - Électronique Embarquée à l'université de Lorraine dans le cadre du module « Modélisation SystemC ». Ces TP sont destinés à initier les étudiants à la modélisation de systèmes et circuits numériques en SystemC-TLM et sont organisés autour de la suite logicielle open source Eclipse et de la chaine de compilation gcc pour la simulation, test et vérification.
6
-TEDJINI, Prof Smail. « Les systèmes embarqués ». Revue de l'Electricité et de l'Electronique -, no 04 (1999) : 39. http://dx.doi.org/10.3845/ree.1999.036.
Texte intégral
7
Aygalinc, P., et S. Calvez. « Cible p-Soc pour l’apprentissage de Linux en DUT GEII ». J3eA 18 (2019) : 1008. http://dx.doi.org/10.1051/j3ea/20191008.
Texte intégralRésumé :
Les systèmes embarqués modernes utilisent souvent comme système d’exploitation Linux. Pour le DUT GEii, les architectures p-Soc (programmable-Systemonchip) trouvent grandement leur intérêt car elles permettent, en plus de l’apprentissage de ce système sur ses deux niveaux (user/kernel), d’entretenir et d’enrichir les connaissances acquises sur la description matérielle et l’informatique industrielle bas niveau. L’expérience menée ici décrit la plateforme développée dans ce cadre afin d’aborder d’une part les objectifs d’un système d’exploitation et de ses propriétés pour le développement d’applications de contrôle/commande en mode user, et d’autre part la conception de pilotes de périphériques du mode kernel sur des composants custom décrit en VHDL. Cet article traite aussi des prérequis nécessaires ainsi que des moyens indispensables à mettre en oeuvre par l’enseignant pour la mise en place de cet enseignement (prototypage rapide aussi bien au niveau matériel que logiciel).
8
Zuliani, Jean-Marc. « Le cluster des systèmes embarqués à Toulouse : une organisation en « système local de compétences » ? » Géographie, économie, société 10, no 3 (8 septembre 2008) : 327–48. http://dx.doi.org/10.3166/ges.10.327-348.
Texte intégral
9
Nnanga-Grisoni, Florence. « Systèmes embarqués, aéronautique et droit ». Cahiers Droit, Sciences & ; Technologies, no 3 (31 mai 2010) : 307–15. http://dx.doi.org/10.4000/cdst.261.
Texte intégral
10
Frick, V., et F. Imbert. « Système Embarqué de Type Nœud IoT Communicant Sans Fil ». J3eA 23 (2024) : 1007. http://dx.doi.org/10.1051/j3ea/20241007.
Texte intégralRésumé :
Cet article présente la réalisation d’un système embarqué remplissant la fonction de nœud IoT (Internet of Things) mené dans le cadre d’une Situation d’Apprentissage et d’Évaluation (SAÉ). Les étudiants conçoivent un système chargé de mettre en œuvre un capteur environnemental (température, humidité, etc.) numérique ayant un protocole non-conventionnel. Les données du capteur sont gérées par un processeur embarqué et transmises au moyen d’un module de communication radiofréquence. En outre, le système exploite le protocole de communication MQTT pour communiquer avec des clients mobiles. Les étudiants montrent un fort intérêt pour ce projet pluridisciplinaire, qui comporte également une partie dédiée au développement d’une application mobile particulièrement ludique. Les résultats obtenus montrent par ailleurs qu’ils atteignent globalement les objectifs et valident les compétences attendues.
Thèses sur le sujet "Système embarquée"
1
Tavares, Cláudia. « Un système de types pour la programmation par réécriture embarquée ». Phd thesis, Université Henri Poincaré - Nancy I, 2012. http://tel.archives-ouvertes.fr/tel-00702301.
Texte intégralRésumé :
Dans le domaine de l'ingénierie du logiciel, les systèmes de types sont souvent considérés pour la prévention de l'occurrence de termes dénués de sens par rapport à une spécification des types. Dans le cadre de l'extension d'un langage de programmation avec des caractéristiques dédiées, le typage de ces dernières doit être compatible avec les caractéristiques du langage hôte. Cette thèse se situe dans le contexte de la réécriture de termes embarquée dans la programmation orientée objet. Elle vise à développer un système de types avec sous-typage pour le support du filtrage de motifs associatif sur des termes algébriques construits sur des opérateurs variadiques. Ce travail s'appuie sur le langage de réécriture Tom qui fournit des constructions de filtrage de motifs et des stratégies de réécriture à des langages généralistes comme Java. Nous décrivons l'évaluation de code Tom à travers la définition de la sémantique opérationnelle de ce langage en tant qu'élément essentiel de la preuve de la sûreté du système de types. Celui-ci inclut la vérification de types ainsi que l'inférence de types à base de contraintes. Le langage de contraintes est composé d'une part, de contraintes d'égalité, résolues par unification, d'autre part, de contraintes de sous-typage, résolues par la combinaison de phases de simplification, de génération d'une solution et de ramassage de miettes. Le système de types a été intégré au langage Tom, ce qui permet une plus forte expressivité et plus de sûreté a fin d'assurer que les transformations décrites par des règles de réécriture préservent le type des termes.
2
Oliveira, Kiermes Tavares Claudia Fernanda. « Un système de types pour la programmation par réécriture embarquée ». Thesis, Université de Lorraine, 2012. http://www.theses.fr/2012LORR0015/document.
Texte intégralRésumé :
Dans le domaine de l'ingénierie du logiciel, les systèmes de types sont souvent considérés pour la prévention de l'occurrence de termes dénués de sens par rapport à une spécification des types. Dans le cadre de l'extension d'un langage de programmation avec des caractéristiques dédiées, le typage de ces dernières doit être compatible avec les caractéristiques du langage hôte. Cette thèse se situe dans le contexte de la réécriture de termes embarquée dans la programmation orientée objet. Elle vise à développer un système de types avec sous-typage pour le support du filtrage de motifs associatif sur des termes algébriques construits sur des opérateurs variadiques. Ce travail s'appuie sur le langage de réécriture Tom qui fournit des constructions de filtrage de motifs et des stratégies de réécriture à des langages généralistes comme Java. Nous décrivons l'évaluation de code Tom à travers la définition de la sémantique opérationnelle de ce langage en tant qu'élément essentiel de la preuve de la sûreté du système de types. Celui-ci inclut la vérification de types ainsi que l'inférence de types à base de contraintes. Le langage de contraintes est composé d'une part, de contraintes d'égalité, résolues par unification, d'autre part, de contraintes de sous-typage, résolues par la combinaison de phases de simplification, de génération d'une solution et de ramassage de miettes. Le système de types a été intégré au langage Tom, ce qui permet une plus forte expressivité et plus de sûreté a fin d'assurer que les transformations décrites par des règles de réécriture préservent le type des termesIn software engineering, type systems are often considered in order to prevent the occurrence of meaningless terms in regard to a type specification. When extending a given programming language with new dedicated features, the typing of these features must be compatible with the ones in the host language. This thesis is situated in the context of term rewriting embedded in object-oriented programming and aims to develop a safe type system featuring subtyping for the support of associative pattern matching on algebraic terms built from variadic operators. In this work we consider the Tom rewriting language that provides associative pattern matching constructs and rewrite strategies for Java. We describe Tom code evaluation through the definition of the operational semantics of the Tom language as an essential element to show that the type system is safe. The type system includes type checking and constraint-based type inference. The constraint language is composed of equality constraints solved by unification and subtyping constraints solved by a combination of simplification, generation of solution and garbage collecting. The type system was integrated in Tom which provides both stronger expressiveness and more safety able to ensure that the transformations described by rewrite rules preserve the type of terms
3
Oliveira, Kiermes Tavares Claudia Fernanda. « Un système de types pour la programmation par réécriture embarquée ». Electronic Thesis or Diss., Université de Lorraine, 2012. http://www.theses.fr/2012LORR0015.
Texte intégralRésumé :
Dans le domaine de l'ingénierie du logiciel, les systèmes de types sont souvent considérés pour la prévention de l'occurrence de termes dénués de sens par rapport à une spécification des types. Dans le cadre de l'extension d'un langage de programmation avec des caractéristiques dédiées, le typage de ces dernières doit être compatible avec les caractéristiques du langage hôte. Cette thèse se situe dans le contexte de la réécriture de termes embarquée dans la programmation orientée objet. Elle vise à développer un système de types avec sous-typage pour le support du filtrage de motifs associatif sur des termes algébriques construits sur des opérateurs variadiques. Ce travail s'appuie sur le langage de réécriture Tom qui fournit des constructions de filtrage de motifs et des stratégies de réécriture à des langages généralistes comme Java. Nous décrivons l'évaluation de code Tom à travers la définition de la sémantique opérationnelle de ce langage en tant qu'élément essentiel de la preuve de la sûreté du système de types. Celui-ci inclut la vérification de types ainsi que l'inférence de types à base de contraintes. Le langage de contraintes est composé d'une part, de contraintes d'égalité, résolues par unification, d'autre part, de contraintes de sous-typage, résolues par la combinaison de phases de simplification, de génération d'une solution et de ramassage de miettes. Le système de types a été intégré au langage Tom, ce qui permet une plus forte expressivité et plus de sûreté a fin d'assurer que les transformations décrites par des règles de réécriture préservent le type des termesIn software engineering, type systems are often considered in order to prevent the occurrence of meaningless terms in regard to a type specification. When extending a given programming language with new dedicated features, the typing of these features must be compatible with the ones in the host language. This thesis is situated in the context of term rewriting embedded in object-oriented programming and aims to develop a safe type system featuring subtyping for the support of associative pattern matching on algebraic terms built from variadic operators. In this work we consider the Tom rewriting language that provides associative pattern matching constructs and rewrite strategies for Java. We describe Tom code evaluation through the definition of the operational semantics of the Tom language as an essential element to show that the type system is safe. The type system includes type checking and constraint-based type inference. The constraint language is composed of equality constraints solved by unification and subtyping constraints solved by a combination of simplification, generation of solution and garbage collecting. The type system was integrated in Tom which provides both stronger expressiveness and more safety able to ensure that the transformations described by rewrite rules preserve the type of terms
4
Merriaux, Pierre. « Contribution à la localisation robuste embarquée pour la navigation autonome ». Rouen, 2016. http://www.theses.fr/2016ROUES018.
Texte intégralRésumé :
Nous constatons ces dernières années un essor important de la robotique mobile autonome avec deux grands domaines d’application : la robotique des services et le véhicule autonome. Quel que soit le domaine visé, la fonction de localisation est déterminante pour l’autonomie de ces futurs mobiles. A ce titre, nous avons consacré ces travaux de thèse à l’approfondissement des problématiques de localisation à travers deux sujets proposant des méthodes embarquées. Dans un premier temps, avec le challenge international de robotique Argos : nous nous sommes attelés à une localisation 6 degrés de liberté basée LiDAR multi-nappes, avec une précision suffisante pour assurer le contrôle du robot. Les applications envisagées étant la surveillance des installations pétrochimiques, l’environnement rencontré est plus complexe que ceux couramment décrits dans la littérature. Nous avons mis particulièrement l’accent sur le côté embarquable, soit la consommation de ressources aussi bien en termes de mémoire que de CPU de l’algorithme. Pour cela, nous avons étendu le concept de likelihood field en 3D. L’algorithme a été évalué en laboratoire puis sur un site industriel, avec deux types de LiDAR et sur 3 robots. Nous atteignons une précision d’environ 2. 5 cm en utilisant 16% d’un core d’un processeur actuel. Cette méthode de localisation n’autorise pas une initialisation sur une large zone. Dans un second temps, nous avons donc proposé une localisation topologique de véhicules routiers permettant une convergence sur plusieurs kilomètres carrés. Nous n’utilisons que des capteurs présents dans tous les véhicules (ABS et ESP) et la carte est représentée par un graphe contenant des données Open Street Map. A partir de ces informations, nous obtenons une précision inférieure à 4 m, c’est-à-dire semblable à celle d’un GPS standard. Nos travaux portent également sur une méthodologie d’expérimentation. En effet, la mise au point d’algorithmes de localisation nécessite de nombreux ajustements. De plus, le test, la fiabilité puis la qualification de ces systèmes autonomes demeurent de véritables enjeux aussi bien pour la communauté scientifique qu’industrielle. Cette méthodologie contribue à répondre à ces challenges en fusionnant le développement des tests réalisés en simulation, à échelle réduite et pleine échelleThere has been a great and quick development in autonomous mobile robotics over the past few years. This growth mainly concerns autonomous vehicles and service robotics. Whatever the field of application, the localization task plays a key role in the intelligence of the mobile robots. As a result, this thesis is focused on exploring new challenges in embedding this aspect of artificial intelligence over two topics. First, we tackled the ARGOS Challenge. We have proposed a 6 Degrees of Freedom localization method based on multi-layer LiDAR data. Results show that the localization is accurate enough to perform autonomous control of the robot. Targeted applications include Oil and Gas platform patrolling. Such environments are more challenging than regular environments found in the literature. The proposed method takes into account concerns regarding CPU and memory consumption as well as embeddability. The likelihood field concept was extended to 3D. The method was benchmarked in a lab, an industrial site with single-layer and multi-layer LiDARs and 3 different robots. Robots are being located in their environment with an average error of 2. 5cm using 16% of a CPU core. Secondly, we focused on topological localization. In fact, the approach used in the ARGOS Challenge requires a small area as initial step. Our second approach enables to find the location of a road vehicle over several square kilometers. Ourmethod is based on sensorswidely available on any modern cars (ABS and ESP). Themap used is a topological representation of OpenStreet map data. Based on this information, we achieve an average error of 4m. This figure is close to GPS-based accuracy. Finally, our works are based on a specific experimental approach. In fact, developing new localization algorithms requires fine tunings. Moreover, tests, reliability and certifications of autonomous systems are still challenging for either the scientific community or the industry actors. The proposed methodology tends to propose a solution by mixing simulation, small-scale testing and full-scale testing
5
Konlambigue, Kangbéni Djotiname. « Conception d'un système de localisation à l'intérieur de bâtiments par vision monoculaire embarquée ». Thesis, Normandie, 2020. http://www.theses.fr/2020NORMR022.
Texte intégralRésumé :
Cette thèse a pour objectif la conception d’un système de localisation à l’intérieur de bâtiments. A ciel dégagé, le système de localisation presque incontournable est le GPS (Global Positioning System). En captant des signaux provenant d’au moins quatre satellites du réseau GPS en orbite, un récepteur GPS procède par triangulation et estime sa position, qu’il soit sur terre, sur mer ou dans les airs. Le GPS permet de déterminer la position de n’importe quel récepteur placé en visibilité du réseau de satellites et un défaut de cette visibilité conduit généralement à une localisation erronée, voire impossible ; ce qui est le cas à l’intérieur de bâtiments. L’intérêt grandissant pour les services d’aide à la navigation des personnes et des biens dans les grandes surfaces fermées telles que les hôpitaux, les aéroports et centres commerciaux par exemple a suscité le besoin de système de localisation fiable et fonctionnel en environnement fermé. Pour répondre à cette problématique, plusieurs solutions ont été proposées. Une des approches les plus répandues pour faire de la localisation en environnement fermé est celle basée sur le réseau WiFi. En mesurant la force des signaux émis par les différents points d’accès, ce type de système est capable de trianguler la position d’un récepteur. Néanmoins, un des principaux inconvénients de cette approche est qu’elle nécessite de déployer un réseau de points d’accès avec les différents coûts que l’on connaît tels que ceux liés à la maintenance du système. Dans cette thèse, le système que nous proposons est basé sur la vision par ordinateur. Pour être localisé, l’utilisateur prend une photo de son environnement et indexe une base de données d’images géoréférencées. Cette indexation consiste en une comparaison de caractéristiques extraites des différentes images par le biais d’algorithmes de vision tels l’algorithme SIFT (Scale Invariant Feature Transform). En comparaison avec le système par WiFi, nous proposons un système (presque) purement logiciel, qui ne nécessite donc aucun déploiement et donc pas de coûts liés à la maintenanceThis thesis aims at the design of an indoor localization system. Outdoors, the almost unavoidable localization system is GPS (Global Positionning System). By receiving signals from at least four satellites from the GPS network orbiting, a GPC receiver triangulates and estimates its position, whether on land, at sea or in the air. GPS makes it possible to determine the position of any receiver placed in visibility of the satellite network and the defect in this visibility generally leads to an erroneous or even impossible localization ; which is the case in indoor environment. The growing interest in navigation assistance services for people and goods in large indoor areas such as hospitals, airports and shopping malls for example has created the need for a reliable and functional tracking system for indoor environment. To respond to this problem, several solutions have been proposed. One of the most popular approaches to localization in indoor environment is that based on the WiFi network. By measuring the strength of the signals emitted by the various access points, this type of system is able to triangulate the position of a receiver. However, one of the main drawbacks of this approach is that it requires deploying a network of access points with the various known costs such as those related tosystem maintenance. In this thesis, the system we propose is based on computer vision. To be located, the user takes a photo of their surroundings and indexes a databasz of georeferenced images. This indexing consists in a comparison of features extracted from the different images using computer vision algorithms such as the SIFT (Scale Invariant Feature Transform) algorithm. In comparison with the WiFi system, we offer (almost) a pure software system, which does not require any deployment and therefore no maintenance costs
6
Elouardi, Abdelhafid. « Evaluation des rétines électroniques pour une définition architecturale d'un système monopuce (SoC) dédié à la vision embarquée ». Paris 11, 2005. http://www.theses.fr/2005PA112055.
Texte intégralRésumé :
Pour définir une architecture d'un système monpuce dédié à la vision embarquée, le travail de thèse s'est appuyé sur quatre modèles de systèmes de vision différents deux modèles utilisant des rétines qui peuvent assurer certains prétraitements d'images de bas niveau grâce aux opérateurs intégrés dans le même circuit du capteur imageur et deux autres modèles utilisant des capteurs CMOS/APS, des circuits reprogrammables types FPGA et un microporocesseur spécifique. Pour ces modules, une grande partie des traitements est réalisée sur le microprocesseur. Cet ensemble représente alors une plate-forme expérimentale pour l'instrumentation et l'évaluation de procédures de contrôle et de traitement des opérateurs rétiniens. La mise en œuvre de ces familles d'architectures nous a permis d'acquérir un niveau d'expertise dans le domaine de l'évaluation et l'instrumentation des systèmes de vision. Au travers de cette thèse, nous avons évalué plus profondément le système à base de la rétine PARIS1. L'évaluation a pris en compte les aspects suivants la programmabilité, l'évaluation de la puissance de calcul, l'énergie consommée et les problèmes d'embarquabilité. Cette étude a permisde définir une approche A3 (Adéquation, Algorithme, Architecture) pour un système de vision monopuce (System on Chip), doté des caractéristiques d'un système de vision intelligent et reconfigurable. Elle a eu aussi pour objectif de définir un compromis et des critères de sélections architecturales des opérateurs à intégrer sur le capteur en fonction des différents algorithmes à implanter et en prenant en considération les besoins de l'application envisagée : vision pour l'automobileOne of the solutions to resolve the computational complexity of image processing is to perform some low-level computations on the sensor focal plane. This work is built to get a general conclusion on the aptitude of retinas, as smart sensors, to become potential candidate for a system on chip reaching an algorithm/architecture adequacy. The study showed why retinas are advantageous, what elementary functions and/or operators should be added on chip and how to integrate image-processing algorithms (i. E. How to implement the smart sensor). The thesis includes recommendations on system-level architectures and discusses the limitations of the implementation of smart retinas which are categorized by the nature of image processing algorithms. To sustain the study, we have proposed a system-level architecture and a design methodology to integrate image processing within a CMOS retina on a single chip. This architecture model highlights a compromise between versatility, parallelism, processing speed and resolution. Our solution aims to take also into account the algorithms response times while reducing energy consumption to increase the system performances for embedding reasons. We have done a comparison relating four different architectures dedicated for a vision system on chip. Two models implement APS imagers and a microprocessor. A third model involves the same processor with a CMOS retina that implements hardware operators and analog microprocessors. The fourth model integrates a second CMOS retina and an embedded computer. The comparison is related to image processing speed, processing reliability, programmability, precision, subsequent stages of computations and power
7
Belwafi, Kais. « Conception d'une architecture embarquée adaptable pour le déploiement d'applications d'interface cerveau machine ». Thesis, Cergy-Pontoise, 2017. http://www.theses.fr/2017CERG0896/document.
Texte intégralRésumé :
L'objectif de ces travaux de recherche est l'étude et le développement d'un système ICM embarqué en utilisant la méthodologie de conception conjointe afin de satisfaire ses contraintes spécifiques. Il en a découlé la constitution d'un système ICM complet intégrant un système d'acquisition OpenBCI et un système de traitement à base de FPGA. Ce système pourrait être utilisé dans des contextes variés : médicale (pour les diagnostiques précoces des pathologies), technologique (informatique ubiquitaire), industriel (communication avec des robots), ludique (contrôler un joystick dans les jeux vidéo), etc. Dans notre contexte d’étude, la plateforme ICM proposée a été réalisée pour assister les personnes à mobilité réduite à commander les équipements domestiques. Nous nous sommes intéressés en particulier à l'étude et à l'implémentation des modules de filtrage adaptatif et dynamique, sous forme d'un coprocesseur codé en HDL afin de réduire son temps d'exécution car c'est le bloc le plus critique de la chaine ICM. Quant aux algorithmes d'extraction des caractéristiques et de classification, ils sont exécutés par le processeur Nios-II sous son système d'exploitation en ANSI-C. Le temps de traitement d'un trial par notre système ICM réalisé est de l'ordre de 0.4 s/trial et sa consommation ne dépasse guère 0.7 WThe main purpose of this thesis is to study and develop an embedded brain computer interface (BCI) system using HW/SW methodology in order to satisfy the system specifications. A complete BCI system integrated in an acquisition system (OpenBCI) and a hardware platform based on the FPGA were achieved. The proposed system can be used in a variety of contexts: medical (for early diagnosis of pathologies, assisting people with severe disabilities to control home devices system through thought), technological (ubiquitous computing), industrial (communication with Robots), games (control a joystick in video games), etc. In our study, the proposed ICM platform was designed to control home devices through the thought of people with severe disabilities. A particular attention has been given to the study and implementation of the filtering module, adaptive and dynamic filtering, in the form of a coprocessor coded in HDL in order to reduce its execution time as it is the critical block in the returned ICM algorithms. For the feature extraction and classification algorithms, they are executed in the Nios-II processor using ANSI-C language. The prototype operates at 200 MHz and performs a real time classification with an execution delay of 0.4 second per trial. The power consumption of the proposed system is about 0.7 W
8
Larcher, Anthony. « Modèles acoustiques à structure temporelle renforcée pour la vérification du locuteur embarquée ». Phd thesis, Université d'Avignon, 2009. http://tel.archives-ouvertes.fr/tel-00453645.
Texte intégralRésumé :
La vérification automatique du locuteur est une tâche de classification qui vise à confirmer ou infirmer l'identité d'un individu d'après une étude des caractéristiques spécifiques de sa voix. L'intégration de systèmes de vérification du locuteur sur des appareils embarqués impose de respecter deux types de contraintes, liées à cet environnement : - les contraintes matérielles, qui limitent fortement les ressources disponibles en termes de mémoire de stockage et de puissance de calcul disponibles ; - les contraintes ergonomiques, qui limitent la durée et le nombre des sessions d'entraînement ainsi que la durée des sessions de test. En reconnaissance du locuteur, la structure temporelle du signal de parole n'est pas exploitée par les approches état-de-l'art. Nous proposons d'utiliser cette information, à travers l'utilisation de mots de passe personnels, afin de compenser le manque de données d'apprentissage et de test. Une première étude nous a permis d'évaluer l'influence de la dépendance au texte sur l'approche état-de-l'art GMM/UBM (Gaussian Mixture Model/ Universal Background Model). Nous avons montré qu'une contrainte lexicale imposée à cette approche, généralement utilisée pour la reconnaissance du locuteur indépendante du texte, permet de réduire de près de 30% (en relatif) le taux d'erreurs obtenu dans le cas où les imposteurs ne connaissent pas le mot de passe des clients. Dans ce document, nous présentons une architecture acoustique spécifique qui permet d'exploiter à moindre coût la structure temporelle des mots de passe choisis par les clients. Cette architecture hiérarchique à trois niveaux permet une spécialisation progressive des modèles acoustiques. Un modèle générique représente l'ensemble de l'espace acoustique. Chaque locuteur est représenté par une mixture de Gaussiennes qui dérive du modèle du monde générique du premier niveau. Le troisième niveau de notre architecture est formé de modèles de Markov semi-continus (SCHMM), qui permettent de modéliser la structure temporelle des mots de passe tout en intégrant l'information spécifique au locuteur, modélisée par le modèle GMM du deuxième niveau. Chaque état du modèle SCHMM d'un mot de passe est estimé, relativement au modèle indépendant du texte de ce locuteur, par adaptation des paramètres de poids des distributions Gaussiennes de ce GMM. Cette prise en compte de la structure temporelle des mots de passe permet de réduire de 60% le taux d'égales erreurs obtenu lorsque les imposteurs prononcent un énoncé différent du mot de passe des clients. Pour renforcer la modélisation de la structure temporelle des mots de passe, nous proposons d'intégrer une information issue d'un processus externe au sein de notre architecture acoustique hiérarchique. Des points de synchronisation forts, extraits du signal de parole, sont utilisés pour contraindre l'apprentissage des modèles de mots de passe durant la phase d'enrôlement. Les points de synchronisation obtenus lors de la phase de test, selon le même procédé, permettent de contraindre le décodage Viterbi utilisé, afin de faire correspondre la structure de la séquence avec celle du modèle testé. Cette approche a été évaluée sur la base de données audio-vidéo MyIdea grâce à une information issue d'un alignement phonétique. Nous avons montré que l'ajout d'une contrainte de synchronisation au sein de notre approche acoustique permet de dégrader les scores imposteurs et ainsi de diminuer le taux d'égales erreurs de 20% (en relatif) dans le cas où les imposteurs ignorent le mot de passe des clients tout en assurant des performances équivalentes à celles des approches état-de-l'art dans le cas où les imposteurs connaissent les mots de passe. L'usage de la modalité vidéo nous apparaît difficilement conciliable avec la limitation des ressources imposée par le contexte embarqué. Nous avons proposé un traitement simple du flux vidéo, respectant ces contraintes, qui n'a cependant pas permis d'extraire une information pertinente. L'usage d'une modalité supplémentaire permettrait néanmoins d'utiliser les différentes informations structurelles pour déjouer d'éventuelles impostures par play-back. Ce travail ouvre ainsi de nombreuses perspectives, relatives à l'utilisation d'information structurelle dans le cadre de la vérification du locuteur et aux approches de reconnaissance du locuteur assistée par la modalité vidéo
9
Engel, Céline. « Optimisation des performances du système optique et estimation de la polarisation instrumentale de l'expérience embarquée sous ballon stratosphérique PILOT ». Phd thesis, Toulouse 3, 2012. http://thesesups.ups-tlse.fr/1891/.
Texte intégralRésumé :
La mission PILOT a pour objectif l'étude de l'émission polarisée des grains de poussières du milieu interstellaire dans le domaine submillimétrique, à 240 et 550 µm. L'instrument scientifique sera embarqué à bord d'un ballon stratosphérique à une altitude d'environ 40 km. Un champ de vue de 0. 8°×1°, ainsi qu'une résolution de l'ordre de la minute d'arc sont requis pour atteindre les objectifs scientifiques. Pour cela, il est nécessaire d'utiliser à la fois un plan focal étendu, un miroir de grand diamètre ainsi qu'un système ré-imageur. Le télescope est de plus en configuration hors axe, une combinaison de forme et d'angle entre les miroirs primaire et secondaire doit donc être respectée de façon à optimiser la qualité image et à minimiser la polarisation instrumentale. L'objectif de mes travaux de thèse était d'estimer les performances optiques de ce système optique, ainsi que leurs variations en fonction des conditions de vol. Tous les composants optiques seront refroidis à 3 K, à l'exception du miroir primaire. Le contrôle des caractéristiques de ce miroir en fonction des conditions d'environnement est indispensable à l'obtention de performances optimales en vol. J'ai évalué les caractéristiques du miroir primaire en combinant des mesures tridimensionnelles, une caractérisation dans le domaine submillimétrique et des modélisations de déformées en température homogène, non homogène et en gravité. Les méthodes mise en place pour le miroir primaire ont également été appliquées aux lentilles du système ré-imageur. Les résultats obtenus sur le miroir primaire et les lentilles ont été intégrés à la modélisation du système optique. Il a ainsi été possible de valider l'adéquation entre les performances nominales et réelles et d'optimiser le positionnement de chaque composant optique pour l'intégration de l'instrument. Le degré de polarisation de l'émission polarisée des grains de poussières est de l'ordre de quelques pourcents. L'interprétation du signal mesuré par l'instrument nécessite donc une bonne connaissance de la polarisation instrumentale induite par l'instrument. J'ai estimé, par modélisation, les matrices de passage de l'instrument en fonction de la position du point du champ observé, de l'orientation du plan de polarisation de l'état de polarisation incident et de l'orientation de l'axe optique de la lame demi-onde. La campagne de tests de l'instrument intégré, me permettra de vérifier et d'optimiser ces matricesThe PILOT experiment will measure the polarized emission of interstellar dust grains, in the submillimeter range, at 240 and 550 µm. The scientific instrument will be on-board a stratospheric platform. A field of view of 0. 8°×1° and a resolution of about one arc minute are needed to reach the scientific objectives. For this purpose, the use of an extended focal plane, a large diameter primary mirror and a re-imaging system is needed. For the off axis telescope, we must respect a combination of shape and angle between the primary and secondary mirror, in order to optimize the image quality and to minimize the instrumental polarization. The aim of my thesis work was the evaluation of the performances of this optical system and the prediction of their variations in flight conditions. All the optical elements, except the primary mirror will be cooled to 3 K. The variations of the primary mirror characteristics with the environment must be well known in order to obtain optimal performances during the flight. For the evaluation of these characteristics, I used tridimensional measurements, submillimeter characterization and modelling of the deformations in various environmental conditions. The method used for the primary mirror was applied to the lenses of the reimaging system too. The actual modelling of the optical system includes these results and show that the optical performances are nominal. Using this realistic modelling, an optimization of the positionning of each optical element was done for the integration of the instrument. The polarization degree of the dust grain emission is expected to be only a few percent. For the interpretation of the instrument signal, it is necessary to have a good knowledge of the instrumental polarization. Using modelling with Zemax software, I have determined the Stokes parameters for several positions of the optical axis of the half waveplate, different orientations of the incident polarization state and for a set of positions in the field of view. During the ground tests of the integrated instrument, I will verify and optimize these parameters
10
Engel, Céline. « Optimisation des performances du système optique et estimation de la polarisation instrumentale de l'expérience embarquée sous ballon stratosphérique PILOT ». Phd thesis, Université Paul Sabatier - Toulouse III, 2012. http://tel.archives-ouvertes.fr/tel-00821057.
Texte intégralRésumé :
La mission PILOT a pour objectif l'étude de l'émission polarisée des grains de poussières du milieu interstellaire dans le domaine submillimétrique, à 240 et 550 μm. L'instrument scientifique sera embarqué à bord d'un ballon stratosphérique à une altitude d'environ 40 km. Un champ de vue de 0.8°×1°, ainsi qu'une résolution de l'ordre de la minute d'arc sont requis pour atteindre les objectifs scientifiques. Pour cela, il est nécessaire d'utiliser à la fois un plan focal étendu, un miroir de grand diamètre ainsi qu'un système ré-imageur. Le télescope est de plus en configuration hors axe, une combinaison de forme et d'angle entre les miroirs primaire et secondaire doit donc être respectée de façon à optimiser la qualité image et à minimiser la polarisation instrumentale. L'objectif de mes travaux de thèse était d'estimer les performances de ce système optique, ainsi que leurs variations en fonction des conditions de vol. Tous les composants optiques seront refroidis à 3 K, à l'exception du miroirprimaire. Le contrôle des caractéristiques de ce miroir en fonction des conditions d'environnement est indispensable à l'obtention de performances optimales en vol. J'ai évalué les caractéristiques du miroir primaire en combinant des mesures tridimensionnelles, une caractérisation dans le domaine submillimétrique et des modélisations de déformées en température homogène, non homogène et en gravité. Les méthodes mise en place pour le miroir primaire ont également été appliquées aux lentilles du système ré-imageur. Les résultats obtenus sur le miroir primaire et les lentilles ont été intégrés à la modélisation du système optique. Il a ainsi été possible de valider l'adéquation entre les performances nominales et réelles et d'optimiser le positionnement de chaque composant optique pour l'intégration de l'instrument. Le degré de polarisation de l'émission polarisée des grains de poussières est de l'ordre de quelques pourcents. L'interprétation du signal mesuré par l'instrument nécessite donc une bonne connaissance de la polarisation instrumentale induite par l'instrument. J'ai estimé, par modélisation, les matrices de passage de l'instrument en fonction de la position du point du champ observé, de l'orientation du plan de polarisation de l'état de polarisation incident et de l'orientation de l'axe optique de la lame demi-onde. La campagne de tests de l'instrument intégré, me permettra de vérifier et d'optimiser ces matrices.
Livres sur le sujet "Système embarquée"
1
Ficheux, Pierre. Linux embarqué : [avec des études de cas]. 2e éd. Paris : Eyrolles, 2005.
Trouver le texte intégral
2
Ficheux, P. Linux embarqué, avec deux études de cas. Eyrolles, 2002.
Trouver le texte intégral
3
FEMMAM. Modelisation Analyse Systemes Embarques : Application a l'Assistance Domicile. ISTE Editions Ltd., 2017.
Trouver le texte intégral
4
DILHAC. Autonomie Energ des Syst Embarques : Autonomie Energetique des Systemes Embarques Sansfil et Sans Batterie : Applications Aeronautiques. ISTE Editions Ltd., 2017.
Trouver le texte intégralChapitres de livres sur le sujet "Système embarquée"
1
Ginette, Marinello, Mège Pierre, Chen Lixin et Ma Lin. « Chapitre II • Systèmes d’imagerie embarquée ». Dans Systèmes d'imagerie intégrés ou associés aux appareils de radiothérapie, 31–54. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-2299-7-002.
Texte intégral
2
Ginette, Marinello, Mège Pierre, Chen Lixin et Ma Lin. « Chapitre II • Systèmes d’imagerie embarquée ». Dans Systèmes d'imagerie intégrés ou associés aux appareils de radiothérapie, 31–54. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-2299-7.c002.
Texte intégral
3
BYTYN, Andreas, René AHLSDORF et Gerd ASCHEID. « Systèmes multiprocesseurs basés sur un ASIP pour l’efficacité des CNN ». Dans Systèmes multiprocesseurs sur puce 1, 93–111. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9021.ch4.
Texte intégralRésumé :
Les réseaux de neurones convolutifs (CNN) utilisés pour l’analyse des signaux vidéo sont très gourmands en calculs. De telles applications embarquées nécessitent des implémentations efficaces en termes de coût et de puissance. Ce chapitre présente une solution basée sur un processeur de jeu d’instructions spécifique à l’application (ASIP) qui représente un bon compromis entre efficacité et programmabilité.
4
DAVID, Raphaël, Étienne HAMELIN, Paul DUBRULLE, Shuai LI, Philippe DORE, Alexis OLIVEREAU, Maroun OJAIL, Alexandre CARBON et Laurent LE GARFF. « Plate-forme modulaire pour un environnement informatique de l’automobile du futur ». Dans Systèmes multiprocesseurs sur puce 2, 125–57. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9022.ch5.
Texte intégralRésumé :
Ce chapitre introduit une plate-forme matérielle opérant en temps réel et répondant aux défis de conception des architectures électriques et électroniques des véhicules intelligents de l’avenir. Grâce à la conception intégrée, et en se servant de logiciels et d’outils embarqués, les auteurs montrent la cohabitation efficace entre les applications à faible criticité et le logiciel opérationnel critique de la voiture.
5
SHIOMI, Jun, et Tohru ISHIHARA. « Calcul de l’énergie minimale par ajustement des tensions d’alimentation et de seuil ». Dans Systèmes multiprocesseurs sur puce 1, 277–307. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9021.ch10.
Texte intégralRésumé :
Ce chapitre présente un algorithme permettant de maintenir en permanence les processeurs au point de fonctionnement le plus économe en énergie en ajustant de manière appropriée la tension d’alimentation et la tension de seuil sous une contrainte de performance spécifique. Cet algorithme est applicable sur les processeurs haut de gamme, embarqués et ceux utilisés dans les nœuds de capteurs sans fil.
6
DEVILLERS, Laurence. « Les formes affectives et sociales des robots ». Dans L’explosion des formes de vie, 183–93. ISTE Group, 2020. http://dx.doi.org/10.51926/iste.9005.ch10.
Texte intégralRésumé :
Les robots capables d’interagir avec nous à la voix vont embarquer des systèmes d’intelligence artificielle, de détection, de raisonnement et de génération de formes d’expressions affectives et sociales qui peuvent nous manipuler. La vie au quotidien avec ces compagnons artificiels présente des bénéfices et des risques éthiques qu’il faut anticiper.
7
Noury, Norbert, Bruno Perriot, Julien Collet, Claudine Gehin, Bertrand Massot et Eric McAdams. « ActimedARM – Un Système embarqué pour le monitorage de l’actimétrie quotidienne ». Dans Instrumentation et Interdisciplinarité, 183–88. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1206-6-023.
Texte intégral
8
Noury, Norbert, Bruno Perriot, Julien Collet, Claudine Gehin, Bertrand Massot et Eric McAdams. « ActimedARM – Un Système embarqué pour le monitorage de l’actimétrie quotidienne ». Dans Instrumentation et Interdisciplinarité, 183–88. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1206-6.c023.
Texte intégralActes de conférences sur le sujet "Système embarquée"
1
T'Kint De Roodenbeke, Gaële, Patrick Galopin et Hélène Blanchais. « La maîtrise des risques sur les systèmes militaires embarqués à composante mobile ». Dans Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement, 11-13 Octobre 2016, Saint Malo, France. IMdR, 2016. http://dx.doi.org/10.4267/2042/61707.
Texte intégral
2
Mbobi, Mokhoo, et Frederic Boulanger. « Le Paradigme Acteur Dans La Modelisation Des Systemes Embarques ». Dans 2006 Canadian Conference on Electrical and Computer Engineering. IEEE, 2006. http://dx.doi.org/10.1109/ccece.2006.277471.
Texte intégral
3
Aoues, Y., A. Makhloufi, P. Pougnet et A. El-Hami. « Méthodologie probabiliste basée sur la simulation pour l’évaluation de la fiabilité des systèmes mécatroniques embarqués ». Dans Congrès Lambda Mu 19 de Maîtrise des Risques et Sûreté de Fonctionnement, Dijon, 21-23 Octobre 2014. IMdR, 2015. http://dx.doi.org/10.4267/2042/56163.
Texte intégral