Log in

Relevant bibliographies by topics / Système embarquée / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Système embarquée.

Dissertations / Theses on the topic 'Système embarquée'

Author: Grafiati

Published: 20 July 2024

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Système embarquée.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

4

Merriaux, Pierre. "Contribution à la localisation robuste embarquée pour la navigation autonome." Rouen, 2016. http://www.theses.fr/2016ROUES018.

Full text

Abstract:

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 libe

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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, v

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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-for

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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)

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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 a

APA, Harvard, Vancouver, ISO, and other styles

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/.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

Abstract:

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 c

APA, Harvard, Vancouver, ISO, and other styles

11

Tritschler, Philip. "Optimisation de l'architecture électrique et gestion d'énergie pour un système à pile à combustible embarquée dédiée à l'application agricole." Phd thesis, Université de Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00565680.

Full text

Abstract:

Les travaux de cette thèse portent sur l'intégration d'un système à pile à combustible hybride dans un tracteur agricole. Dans notre travail, plusieurs architectures de réseaux électriques embarquées et de stratégies de gestion de l'énergie sont envisagées. Une modélisation du système complet est mise en place sous Matlab Simulink afin de pouvoir simuler les différents scénarii envisagés, de même qu'un banc de test permettant de valider les résultats issus des simulations purement numériques. L'objectif premier de ce travail est d'optimiser les flux énergétiques relatifs aux diverses sources e

APA, Harvard, Vancouver, ISO, and other styles

12

Rullan, Lara José Luis. "Conception et implantation embarquée d'un système de localisation en utilisant les signaux radio pour la stabilisation d'un mini drone." Compiègne, 2011. http://www.theses.fr/2011COMP1984.

Full text

Abstract:

Les drones sont des véhicules aériens complexes et difficiles à commander. Malgré les efforts réalisés sur la stabilisation du drone (saturations emboitées et séparées, backstepping, etc), les lois de commande ont toujours été focalisées à stabiliser l'orientation du véhicule et peu de travaux ont portés sur l'estimation de sa position. Des nombreuses approches ont été proposées pour l'estimation de la position, notamment la vision pour les environnements à l'intérieur et le GPS à l'extérieur. Cependant, il reste un grand nombre de difficultés à surmonter pour son application dans les drones.

APA, Harvard, Vancouver, ISO, and other styles

13

Avina, Bravo Eli Gabriel. "Conception, développement et validation d'un système intelligent de mesure physiologique et biomécanique embarqué : Vélo à assistance électrique avec IA pour les interventions thérapeutiques et la prévention santé." Electronic Thesis or Diss., Université de Toulouse (2023-....), 2024. http://www.theses.fr/2024TLSEI003.

Full text

Abstract:

Selon les projections de l'Organisation mondiale de la santé (OMS), il est estimé qu'en 2050, plus de 22 % de la population mondiale aura 60 ans ou plus. Cette évolution démographique s'accompagne d'une prévalence croissante des maladies chroniques. En France, une personne sur quatre souffre actuellement d'une maladie chronique, un chiffre qui atteint trois personnes sur quatre chez les personnes âgées de 65 ans et plus. Ces maladies contribuent de manière significative à la mortalité, représentant 74 % du nombre total de décès en 2019. Heureusement, bon nombre de ces affections peuvent être p

APA, Harvard, Vancouver, ISO, and other styles

14

Hautiere, Nicolas. "Détection des conditions de visibilité et estimation de la distance de visibilité par vision embarquée." Phd thesis, Université Jean Monnet - Saint-Etienne, 2005. http://tel.archives-ouvertes.fr/tel-00068743.

Full text

Abstract:

Les conditions météorologiques dégradées, en particulier le brouillard, posent un problème à la fois aux automobilistes qui ont tendance à surestimer les distances intervéhiculaires, mais aussi aux capteurs extéroceptifs qui fonctionnent de manière dégradée. La détection et la quantification des conditions de visibilité constituent donc un enjeu fort en termes de sécurité routière. Nous proposons deux techniques complémentaires permettant d'effectuer une mesure embarquée de la distance de visibilité par des techniques d'analyse d'images effectuées en temps réel. Elles reposent sur une définiti

APA, Harvard, Vancouver, ISO, and other styles

15

Idrissa, Abdourhamane. "Traçabilité sécurisée embarquée : authentification autonome d'objets et de systèmes embarqués." Phd thesis, Université Jean Monnet - Saint-Etienne, 2012. http://tel.archives-ouvertes.fr/tel-00961384.

Full text

Abstract:

L'authentification homme-machine est une problématique largement développée pour les télécommunications. Une authentification dans le sens "machine-homme" permettra d'assurer l'utilisateur humain assermenté du fonctionnement intègre d'une machine lors, par exemple, d'une session de vote électronique ou d'une vérification d'objet en traçabilité sécurisée. Cette thèse se focalise sur la traçabilité sécurisée sans accès (systématique) à un canal de communication. Nous décrivons différentes techniques d'authentification de produits manufacturés en nous concentrant sur une méthode de caractérisatio

APA, Harvard, Vancouver, ISO, and other styles

16

Adwan, Adam. "Étude d'un système de détection d'occupants pour les airbags intelligents." Paris 6, 2002. http://www.theses.fr/2002PA066384.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Lastapis, Mathieu. "Surveillance de la santé des structures aéronautiques en composites : développement d'un système embarqué à base d'accéléromètres." Thesis, Toulouse, INSA, 2011. http://www.theses.fr/2011ISAT0021.

Full text

Abstract:

La surveillance de santé structurelle, SHM en anglais, est un domaine en plein essor avec l'arrivée massive des composites dans les transports. Ce matériau plus léger que les alliages traditionnels investit les avions, les trains, les bateaux ou les voitures. Permettant des économies substantielles d'énergie, il présente néanmoins l'inconvénient de pouvoir développer des défauts internes invisibles par une inspection visuelle. Dès lors leur surveillance est primordiale. Les pales d'avions turbopropulseurs (A400M, ATR, etc…) répondent aux mêmes exigences. Etre capable de déterminer un endommage

APA, Harvard, Vancouver, ISO, and other styles

18

Escareno, Juan Antonio. "Conception, modélisation et commande d'un drone convertible." Compiègne, 2008. http://www.theses.fr/2008COMP1746.

Full text

Abstract:

Le but de cette thèse est de développer un véhicule convertible non piloté. Le projet est divisé en trois objectifs : la conception, la modélisation et la commande du véhicule. La conception de l'aéronef est un compromis entre un véhicule à voilure fixe (de type avion) et un véhicule à voilure tournant (de type hélicopte��re), grâce à cette combinaison il offre une grande versatilité pour envisager de différents types de taches. La modélisation est obtenue à partir des formulations Newton-Euler et Lagrange. Au niveau des commandes, les aéronefs convertibles exigent des algorithmes spécifiques

APA, Harvard, Vancouver, ISO, and other styles

19

Charra, Olivier. "Conception de noyaux de systèmes embarqués reconfigurables." Grenoble 1, 2004. http://www.theses.fr/2004GRE10047.

Full text

Abstract:

La perspective de l'émergence d'un environnement global du traitement de l'information dans lequel la plupart des objets physiques qui nous entourent seront équipés de processeurs, dotés de capacités de communication et interconnectés par le biais de réseaux divers, nous oblige à repenser les systèmes informatiques. Aux systèmes traditionnels, lourds, monolithiques, et peu évolutifs, nous devons préférer les systèmes légers, flexibles, et reconfigurables. Cette thèse présente une architecture permettant la conception et le développement de noyaux de systèmes d'exploitation flexibles et reconfi

APA, Harvard, Vancouver, ISO, and other styles

20

Gatti, Marc. "Évolution des Architectures des Systèmes Avioniques Embarqués." Thesis, Paris 6, 2016. http://www.theses.fr/2016PA066725/document.

Full text

Abstract:

De nos jours, les systèmes embarqués sont les éléments Cœurs des Systèmes avioniques. De plus en plus de fonctions sont intégrées et de ce fait leurs complexités croît. Afin que cette complexité puisse rester maîtrisable, l’architecture des systèmes avionique a également évolué de façon à minimiser les interactions entre les équipements. Cette évolution des Architectures a introduit, au niveau avionique, la notion de réseau largement répandue dans le monde dit « consumer ». Nos travaux de Recherche ont pour but d’accompagner cette évolution architecturale en minimisant l’impact des ruptures te

APA, Harvard, Vancouver, ISO, and other styles

21

Gatti, Marc. "Évolution des Architectures des Systèmes Avioniques Embarqués." Electronic Thesis or Diss., Paris 6, 2016. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2016PA066725.pdf.

Full text

Abstract:

De nos jours, les systèmes embarqués sont les éléments Cœurs des Systèmes avioniques. De plus en plus de fonctions sont intégrées et de ce fait leurs complexités croît. Afin que cette complexité puisse rester maîtrisable, l’architecture des systèmes avionique a également évolué de façon à minimiser les interactions entre les équipements. Cette évolution des Architectures a introduit, au niveau avionique, la notion de réseau largement répandue dans le monde dit « consumer ». Nos travaux de Recherche ont pour but d’accompagner cette évolution architecturale en minimisant l’impact des ruptures te

APA, Harvard, Vancouver, ISO, and other styles

22

Dessiatnikoff, Anthony. "Analyse de vulnérabilités de systèmes avioniques embarqués : classification et expérimentation." Phd thesis, INSA de Toulouse, 2014. http://tel.archives-ouvertes.fr/tel-01032444.

Full text

Abstract:

L'évolution actuelle des systèmes embarqués à bord des systèmes complexes (avions, satellites, navires, automobiles, etc.) les rend de plus en plus vulnérables à des attaques, en raison de : (1) la complexité croissante des applications ; (2) l'ouverture des systèmes vers des réseaux et systèmes qui ne sont pas totalement contrôlés ; (3) l'utilisation de composants sur étagère qui ne sont pas développés selon les méthodes exigées pour les systèmes embarqués critiques ; (4) le partage de ressources informatiques entre applica- tions, qui va de pair avec l'accroissement de puissance des processe

APA, Harvard, Vancouver, ISO, and other styles

23

Gemayel, Charbel El. "Approche comportementale pour la validation et le test système des systèmes embarqués : Application aux dispositifs médicaux embarqués." Thesis, Lyon, INSA, 2014. http://www.theses.fr/2014ISAL0135/document.

Full text

Abstract:

Les progrès des technologies de l'information et de la communication, des MEMS, des capteurs, actionneurs, etc. ont permis l’émergence de différents dispositifs biomédicaux. Ces nouveaux dispositifs, souvent embarqués, contribuent considérablement à l'amélioration du diagnostic et du traitement de certaines maladies, comme le diabète par exemple. Des dispositifs embarqués encore plus complexes sont en cours d’élaboration, leur mise en œuvre nécessite des années de recherche et beaucoup d’expérimentation. Le cœur artificiel, encore en phase de réalisation, est un exemple concret de ces systèmes

APA, Harvard, Vancouver, ISO, and other styles

24

Lafaye, Michaël. "Modélisation de plate-forme avionique pour exploration de performance en avance de phase." Phd thesis, Télécom ParisTech, 2012. http://pastel.archives-ouvertes.fr/pastel-01001760.

Full text

Abstract:

De nos jours, les systèmes embarqués temps-réels critiques intègrent de plus en plus de composants, et voient leur complexité augmenter. Les systèmes avioniques ont suivi cette évolution, voyant augmenter leurs processus de développement. Dès lors, les développeurs de plates-formes avioniques se sont tournés vers les méthodes de modélisation en avance de phase (i.e. en tout début de cycle de développement), afin d'anticiper les performances de celles-ci et aider à leur dimensionnement. Particulièrement, l'exploration de l'utilisation des ressources matérielles de la plate-forme par la partie a

APA, Harvard, Vancouver, ISO, and other styles

25

Shi, Xiaomu. "Certification of an Instruction Set Simulator." Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00937524.

Full text

Abstract:

Cette thèse expose nos travaux de certification d'une partie d'un programme C/C++ nommé SimSoC (Simulation of System on Chip), qui simule le comportement d'archi- tectures basées sur des processeurs tels que ARM, PowerPC, MIPS ou SH4. Un simulateur de System on Chip peut être utilisé pour developper le logiciel d'un système embarqué spécifique, afin de raccourcir les phases des développement et de test, en particulier quand la vitesse de simulation est réaliste (environ 100 millions d'instructions par seconde par cœur dans le cas de SimSoC). Les réductions de temps et de coût de développement

APA, Harvard, Vancouver, ISO, and other styles

26

Voiculescu, Sorin. "Fiabilité des systèmes embarqués." Phd thesis, Université d'Angers, 2009. http://tel.archives-ouvertes.fr/tel-00468219.

Full text

Abstract:

Les travaux présentés dans cette thèse abordent la problématique de l'estimation de la fiabilité des systèmes qui est devenue un enjeu majeur pour les entreprises et ce dès les premières phases de développement. En effet, plus tôt les caractéristiques d'un produit ou d'un système sont appréhendées dans son cycle de vie et moins les risques ( financiers ou liés à la sécurité des installations ), dus à la non réalisation des performances attendues sont élevés. Dans un contexte exigeant des systèmes de plus en plus fiables et sûrs, et de durées de garanties croissantes, il est impératif de vérifi

APA, Harvard, Vancouver, ISO, and other styles

27

Sturtzer, Eric. "Modélisation en vue de l'intégration d'un système audio de micro puissance comprenant un haut-parleur MEMS et son amplificateur." Phd thesis, INSA de Lyon, 2013. http://tel.archives-ouvertes.fr/tel-00940463.

Full text

Abstract:

Ce manuscrit de thèse propose l'optimisation de l'ensemble de la chaîne de reproduction sonore dans un système embarqué. Le premier axe de recherche introduit les notions générales concernant les systèmes audio embarqués nécessaires à la bonne compréhension du contexte de la recherche. Le principe de conversion de l'ensemble de la chaine est présenté afin de comprendre les différentes étapes qui composent un système audio. Un état de l'art présente les différents types de haut-parleurs ainsi que l'électronique associé les plus couramment utilisées dans les systèmes embarqués. Le second axe de

APA, Harvard, Vancouver, ISO, and other styles

28

Danilo, Robin. "Approches connexionnistes pour la vision par ordinateur embarquée." Thesis, Lorient, 2018. http://www.theses.fr/2018LORIS518/document.

Full text

Abstract:

Pour concevoir des systèmes de vision embarquée, deux axes peuvent être considérés. Le premier se focalise sur la conception de nouveaux dispositifs numériques plus puissants capables de mettre en œuvre de manière efficace des algorithmes complexes. Le second se concentre sur l'élaboration de nouveaux algorithmes de vision, moins gourmands en ressources et qui peuvent efficacement être mis en œuvre sur des systèmes numériques embarqués. Nous privilégions dans ces travaux le second axe avec comme approche l'utilisation de modèles connexionnistes. Parmi les différents modèles existants, nous nou

APA, Harvard, Vancouver, ISO, and other styles

29

Massot, Bertrand. "Conception, réalisation de capteurs non-invasifs ambulatoires et d'exocapteurs embarqués pour l'étude et le suivi de la réactivité émotionnelle." Phd thesis, INSA de Lyon, 2011. http://tel.archives-ouvertes.fr/tel-00863814.

Full text

Abstract:

Le suivi de l'état de santé et de la réactivité émotionnelle chez l'individu est au cœur de la médecine de demain ; il participe notamment au développement de nouveaux services de soins en santé tels que la médecine à domicile, la médecine mobile ou encore la médecine personnalisée. Cependant il nécessite d'une part la définition d'indicateurs adaptés à la mesure en environnement complexe, et d'autre part la conception d'exocapteurs et d'instrumentations intégrés dans l'environnement de l'individu. Les travaux de cette thèse présentent la démarche nécessaire au passage de mesures physiologique

APA, Harvard, Vancouver, ISO, and other styles

30

Mihalache, Alin Gabriel. "Modélisation et évaluation de la fiabilité des systèmes mécatroniques : application sur système embarqué." Phd thesis, Université d'Angers, 2007. http://tel.archives-ouvertes.fr/tel-00467950.

Full text

Abstract:

La mécatronique est définie par l'utilisation simultanée et en étroite symbiose de la mécanique, de l'électronique, de l'informatique,... pour concevoir et produire de produits toujours plus innovants. Cette approche doit s'accompagner aujourd'hui de la garantie de sûreté de fonctionnement (SdF) des systèmes conçus. Or, la fiabilité, élément déterminant de la SdF, est relativement peu maîtrisée dans le développement des systèmes mécatroniques. Nous avons développé une méthodologie globale permettant de modéliser et d'évaluer la fiabilité prévisionnelle, expérimentale et opérationnelle des syst

APA, Harvard, Vancouver, ISO, and other styles

31

Guénette, Samuel. "Objets distribués pour systèmes embarqués." Mémoire, Université de Sherbrooke, 2002. http://hdl.handle.net/11143/5486.

Full text

Abstract:

Comme les standards actuels pour la distribution des objets ne répondent pas, à ce jour, à tous les besoins d'un système embarqué, il devient pertinent de développer une solution propriétaire offrant le support nécessaire à la création de systèmes à objets distribués. Le but du projet, présenté par l'intermédiaire de ce mémoire, est donc de concevoir un protocole de communication pour la distribution des objets ainsi qu'une librairie de classes C++ facilitant le développement et la programmation de systèmes embarqués à objets distribués. Le protocole développé convoite simplicité et légèreté a

APA, Harvard, Vancouver, ISO, and other styles

32

Robert, Jérémy. "De l'usage d'architectures Ethernet commutées embarquées dans les lanceurs spatiaux." Thesis, Université de Lorraine, 2012. http://www.theses.fr/2012LORR0128.

Full text

Abstract:

Les lanceurs spatiaux actuels, et en particulier Ariane 5, utilisent le réseau déterministe MIL-STD-1553B. Compte tenu des nouveaux objectifs de réduction des coûts et de la masse du système global ainsi que du support de trafic de télémesure multimédia, cette technologie n'est plus forcément optimale. Parmi les différents candidats de remplacement, cette thèse met en évidence les capacités du standard Ethernet à répondre à ces nouveaux objectifs tout en s'appuyant sur une utilisation de composants matériels et d'outils de développement existants à moindre coût (COTS). La première contribution

APA, Harvard, Vancouver, ISO, and other styles

33

Khenfri, Fouad. "Optimisation holistique pour la configuration d’une architecture logicielle embarquée : application au standard AUTOSAR." Thesis, Nantes, 2016. http://www.theses.fr/2016NANT4002/document.

Full text

Abstract:

AUTOSAR (AUTomotive Open System Architecture) est un standard industriel mondial créé en 2003 dans le but de standardiser le développement des architectures logicielles automobiles. Il fournit un ensemble de concepts et définit une méthodologie commune pour le développement des logiciels embarqués automobiles. Les principales caractéristiques de ce standard sont la modularité et la « configurabilité» de logiciels qui permettent la réutilisation fonctionnelle des modules logiciels fournis par des fournisseurs différents. Cependant,le développement d’une application embarquée AUTOSAR nécessite l

APA, Harvard, Vancouver, ISO, and other styles

34

Robert, Jérémy. "De l'usage d'architectures Ethernet commutées embarquées dans les lanceurs spatiaux." Electronic Thesis or Diss., Université de Lorraine, 2012. http://www.theses.fr/2012LORR0128.

Full text

Abstract:

Les lanceurs spatiaux actuels, et en particulier Ariane 5, utilisent le réseau déterministe MIL-STD-1553B. Compte tenu des nouveaux objectifs de réduction des coûts et de la masse du système global ainsi que du support de trafic de télémesure multimédia, cette technologie n'est plus forcément optimale. Parmi les différents candidats de remplacement, cette thèse met en évidence les capacités du standard Ethernet à répondre à ces nouveaux objectifs tout en s'appuyant sur une utilisation de composants matériels et d'outils de développement existants à moindre coût (COTS). La première contribution

APA, Harvard, Vancouver, ISO, and other styles

35

Souissi, Youssef. "Méthodes optimisant l'analyse des cryptoprocesseurs sur les canaux cachés." Phd thesis, Paris, Télécom ParisTech, 2011. https://pastel.hal.science/pastel-00681665.

Full text

Abstract:

Ces dernières annèes, la sécurité des systèmes embarqués a fait l'objet de recherches intensives. Comme l'énergie, le coût et la performance; la sécurité est un aspect important qui doit être considé tout au long du processus de conception d'un système embarqué. Des menaces récentes appelées ``attaques par canaux cachés''(Side-Channel Analysis (SCA)) ont attiré beaucoup d'attention dans le milieu de la sécurité embarquée. Ces attaques exploitent des propriétés physiques, tels que la consommation d'énergie ou le champ magnétique rayonné afin de retrouver le secret. De plus, elles sont passives

APA, Harvard, Vancouver, ISO, and other styles

36

Souissi, Youssef. "Méthodes optimisant l'analyse des cryptoprocesseurs sur les canaux cachés." Phd thesis, Télécom ParisTech, 2011. http://pastel.archives-ouvertes.fr/pastel-00681665.

Full text

Abstract:

Ces dernières années, la sécurité des systèmes embarqués a fait l'objet de recherches intensives. Comme l'énergie, le coût et la performance; la sécurité est un aspect important qui doit être considérée tout au long du processus de conception d'un système embarqué. Des menaces récentes appelées "attaques par canaux cachés'' (Side-Channel Analysis (SCA)) ont attiré beaucoup d'attention dans le milieu de la sécurité embarquée. Ces attaques exploitent des propriétés physiques, telles que la consommation d'énergie ou le champ magnétique rayonné, afin de retrouver le secret. De plus, elles sont pas

APA, Harvard, Vancouver, ISO, and other styles

37

Sadou, Nabil. "Aide à la conception des systèmes embarqués sûrs de fonctionnement." Phd thesis, INSA de Toulouse, 2007. http://tel.archives-ouvertes.fr/tel-00192045.

Full text

Abstract:

L'avancée technologique que les systèmes embarqués ont connue lors de ces dernières années les rend de plus en plus complexes. Ils sont non seulement responsables de la commande des différents composants mais aussi de leur surveillance. A l'occurrence d'événement pouvant mettre en danger la vie des utilisateurs, une certaine configuration du système est exécutée afin de maintenir le système dans un état dégradé mais sûr. Il est possible que la configuration échoue conduisant le système dans un état appelé " état redouté " avec des conséquences dramatiques pour le système et l'utilisateur. La d

APA, Harvard, Vancouver, ISO, and other styles

38

Schweppe, Hendrik. "Sécurité et protection de la vie privée dans les systèmes embarqués automobiles." Thesis, Paris, ENST, 2012. http://www.theses.fr/2012ENST0062/document.

Full text

Abstract:

L'équipement électronique de bord est maintenant devenue partie intégrante de l'architecture réseau des véhicules. Elle s’appuie sur l'interconnexion de microcontroleurs appelés ECUs par des bus divers. On commence maintenant à connecter ces ECUs au monde extérieur, comme le montrent les systèmes de navigation, de divertissement, ou de communication mobile embarqués, et les fonctionnalités Car2X. Des analyses récentes ont montré de graves vulnérabilités des ECUs et protocoles employés qui permettent à un attaquant de prendre le contrôle du véhicule. Comme les systèmes critiques du véhicule ne

APA, Harvard, Vancouver, ISO, and other styles

39

Maillet, Luc. "Spécification et validation d'une architecture de système distribué pour le contrôle d'exécution d'applications temps réel complexes." Toulouse, ENSAE, 1996. http://www.theses.fr/1996ESAE0007.

Full text

Abstract:

Cette thèse se place dans le cadre des systèmes embarqués distribués et décrit un modèle de tâche temps réel complexe et une structure de moniteur permettant d'assurer le contrôle d'exécution distribué d'applications bâties sur ce modèle. Après un panorama des recherches effectuées dans le domaine, permettant de définir les mécanismes existants et les problèmes restant à résoudre, cette thèse décrit un modèle de tâche permettant de modéliser des applications complexes et présente les fonctionnalités requises pour le contrôle d'exécution d'applications le prenant pour base. Ces prérequis foncti

APA, Harvard, Vancouver, ISO, and other styles

40

Kocik, Rémy. "Optimisation des systèmes distribués temps réel embarqués : application au prototypage rapide d'un véhicule électrique autonome." Rouen, 2000. http://www.theses.fr/2000ROUES021.

Full text

Abstract:

La méthodologie AAA (Adequation Algorithme Architecture) a été développée pour résoudre les problèmes de conception/réalisation optimisée d'applications complexes temps réel embarquées. Son but est d'implanter les algorithmes de contrôle-commande sur des architectures matérielles, qui, pour satisfaire de fortes contraintes de coût sont généralement distribuées et hétérogènes. Dans cette thèse, nous cherchons à valider et à améliorer cette méthodologie. Nous présentons dans la première partie les étapes qui, lors de la conception, permettent de transformer le modèle mathématique défini par l'au

APA, Harvard, Vancouver, ISO, and other styles

41

Jovanovic, Slavisa. "Architecture reconfigurable de système embarqué auto-organisé." Thesis, Nancy 1, 2009. http://www.theses.fr/2009NAN10099/document.

Full text

Abstract:

A?n de répondre à une complexité croissante des systèmes de calcul, due notamment aux progrès rapides et permanents des technologies de l’information, de nouveaux paradigmes et solutions architecturales basées sur des structures auto-adaptatives, auto-organisées sont à élaborer. Ces dernières doivent permettre d’une part la mise à disposition d’une puissance de calcul suf?sante répondant à des contraintes de temps sévères (traitement temps réel). D’autre part, de disposer d’une grande ?exibilité et adaptabilité dans le but de répondre aux évolutions des traitements ou des défaillances non prév

APA, Harvard, Vancouver, ISO, and other styles

42

Escolá, Ricardo. "Traitements de signaux neuronaux sur système embarqué." Lyon, INSA, 2008. http://theses.insa-lyon.fr/publication/2008ISAL0020/these.pdf.

Full text

Abstract:

The field of neuroscience is interested in understanding how neural networks encode and decode information to interact with the outside world. For this, one of the current challenges is to simultaneously record the activity of many cells in large networks of neurons, and stimulate a dynamic way these networks (eg to monitor the activities). Today, it is possible to keep alive an explant of neural tissue in a medium survival of micro electrodes (Micro Electrode Array) for recording neuronal electrical activity on a hundred ways. The shift to large networks of neurons with a spatial resolution s

APA, Harvard, Vancouver, ISO, and other styles

43

Portolan, Michele. "Conception d'un système embarqué sûr et sécurisé." Grenoble INPG, 2006. http://www.theses.fr/2006INPG0192.

Full text

Abstract:

Cette thèse s'attache à définir une méthodologie globale permettant d'augmenter le niveau de sûreté et de sécurité face à des fautes logiques transitoires (naturelles ou intentionnelles) survenant dans un système intégré matériel/logiciel, de type carte à puce. Les résultats peuvent être appliqués à tout circuit construit autour d'un cœur de microprocesseur synthétisable et d'un ensemble de périphériques spécialisés. Les méthodes de protection portent simultanément, sur le matériel, le logiciel d'application et les couches d'interface (en particulier, le système d'exploitation). Les modificati

APA, Harvard, Vancouver, ISO, and other styles

44

Fathallah, Ahmed. "Conception et réalisation d'un système optoélectronique embarqué." Electronic Thesis or Diss., Sorbonne université, 2025. http://www.theses.fr/2025SORUS090.

Full text

Abstract:

Les polymères jouent un rôle crucial dans l'industrie nucléaire en tant que matériaux isolants et structurels. Cependant, leur vieillissement sous l'effet de facteurs environnementaux peut compromettre la fiabilité et la sécurité des installations. Assurer un suivi précis et non destructif de leur état est essentiel pour prévenir les défaillances. Les avancées dans le domaine des systèmes embarqués, en combinant des technologies optiques et des architectures électroniques compactes, offrent des solutions innovantes et performantes pour relever ce défi. Ce travail de thèse s'inscrit dans le cad

APA, Harvard, Vancouver, ISO, and other styles

45

Ibrahim, Mohamed Ali. "Agents mobiles natifs pour systèmes embarqués." Thèse, Université de Sherbrooke, 2014. http://savoirs.usherbrooke.ca/handle/11143/5336.

Full text

Abstract:

L’objectif de ce projet de recherche est de développer une technologie d’agents mobiles pour systèmes embarqués. Dans un premier temps, une plateforme d’agents mobiles pour systèmes embarqués homogènes est réalisée et, ensuite dans un deuxième temps, une application d’informatique diffuse qui exploite la mobilité du contexte d’exécution est mise en œuvre pour valider cette plateforme. La mobilité d’un agent est définie comme suit: son exécution est interrompue sur le nœud courant, appelé nœud source, ensuite les données représentant l’état de l’agent sont transférées du nœud source vers un

APA, Harvard, Vancouver, ISO, and other styles

46

Marchetti, Olivier. "Dimensionnement des mémoires pour systèmes embarqués." Paris 6, 2006. http://www.theses.fr/2006PA066383.

Full text

Abstract:

Le problème du dimensionnement des mémoires pour systèmes embarqués consiste à définir la taille à allouer pour chaque mémoire tel que la surface globale occupée par ces mémoires soit minimale et que le système embarqué puissent fonctionner sans bloquage lié à un sous dimensionnement de ces mémoires. Nous modélisons ce problème d'optimisation en utilisant le modèle des graphes d'événements généralisés (GEG en abrégé). Nous montrons que ce problème d'optimisation est étroitement lié au problème de vivacité d'un GEG. Nous proposons une transformation des GEG, appelée normalisation, permettant de

APA, Harvard, Vancouver, ISO, and other styles

47

Tout, Mohamad. "Conception optimisée de systèmes énergétiques embarqués." Thesis, Bordeaux, 2020. http://www.theses.fr/2020BORD0212.

Full text

Abstract:

La prise de décision est une étape difficile et importante dans le processus de conception. Elle vise à guider les concepteurs dans le choix des solutions de conception entre de nombreuses alternatives. Un processus spécifique, dérivé de la combinaison entre l'ingénierie des systèmes basés sur les modèles (MBSE) et l'ontologie de la morphogenèse, de l'observation, de l'interprétation, de l'agrégation (MOIA), et appliqué aux systèmes embarqués sur les véhicules, est présenté dans ce manuscrit afin de trouver la solution optimale qui répond à plusieurs objectifs demandés. Ce processus est basé s

APA, Harvard, Vancouver, ISO, and other styles

48

Poulhiès, Marc. "Conception et implantation de système fondé sur les composants. Vers une unification des paradigmes génie logiciel et système." Phd thesis, Grenoble, 2010. http://www.theses.fr/2010GRENM009.

Full text

Abstract:

Le développement de logiciels pour les systèmes embarqués présente de nombreux défis. Cette thèse s'intéresse à ceux posés par les interactions entre les trois phases de conception, d'implantation et de validation. Nous nous intéressons aux caractéristiques du langage de conception et aux techniques de compilation qui permettent d'obtenir dans notre approche l'implantation et un modèle du système. L'analyse de ce modèle permet la validation de l'implantation, ce qui suppose que ce modèle représente fidèlement le système implanté. Nous proposons la construction d'un langage de conception basé s

APA, Harvard, Vancouver, ISO, and other styles

49

Poulhiès, Marc. "Conception et Implantation de Système Fondé sur les Composants. Vers une Unification des Paradigmes Génie Logiciel et Système." Phd thesis, Université de Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00514504.

Full text

Abstract:

Cette thèse a été co-encadrée par le laboratoire MAPS/AMS de France Telecom R&D (aujourd'hui MAPS/SHINE) et le laboratoire VERIMAG. Le développement de logiciels pour les systèmes embarqués présente de nombreux défis. Cette thèse s'intéresse à ceux posés par les interactions entre les trois phases de conception (les développeurs construisent à partir de spécifications un modèle du système exprimé dans un langage de conception i.e. de programmation), d'implantation (le modèle précédent est compilé en un exécutable du système qui est finalement déployé sur les plateformes réelles) et de validati

APA, Harvard, Vancouver, ISO, and other styles

50

Menighed, Kamel. "Commandes coopératives embarquées et tolérantes aux défauts." Phd thesis, Université Henri Poincaré - Nancy I, 2010. http://tel.archives-ouvertes.fr/tel-00545412.

Full text

Abstract:

Le travail présenté dans ce mémoire de thèse porte sur la tolérance aux défauts dans le cas des systèmes linéaires. Les moyens de communication numériques sont utilisés dans le cadre de la mise en oeuvre d'une architecture de commande tolérante aux défauts pour des systèmes complexes. Une coopération entre les modules de commande/diagnostic assure la tolérance à certains types de défauts qui affectent le système. La commande des systèmes est traditionnellement réalisée à partir d'un calculateur central qui collecte l'ensemble des informations relevées sur le procédé, puis les traite pour élabo

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!