Chapitre 1 : Introduction aux méthodologies de conception et de vérification pour SE

Dimension: px
Commencer à balayer dès la page:

Download "Chapitre 1 : Introduction aux méthodologies de conception et de vérification pour SE"

Transcription

1 Chapitre 1 : Introduction aux méthodologies de conception et de vérification pour SE 1. Rappel de ce qu est un SE 2. Conception au niveau système (ESL) Méthodologie de conception (codesign logiciel/matériel) Synthèse C à RTL Méthodologie de vérification (fonctionnelle) 1

2 Système embarqué Systèmes logiciel-matériel servant à résoudre des fonctions et des tâches spécifiques et limitées Opposé à un ordinateur tout usage (general purpose) Embarqué (ou dédié) dans le sens où il fait parti d un système complet qui n est pas nécessairement un ordinateur. Souvent il existe dans une application sans qu on ne le sache vraiment. 2

3 Une courte liste de systèmes embarqués Freins ABS Caméras numériques Guichets automatiques Système de péage automatique Transmission automatique Systèmes avioniques Chargeurs de piles Caméras vidéo numériques Téléphones cellulaires Téléphones sans file Régulateur de vitesse Disques durs Lecteurs de cartes bancaires Instrumentation électronique Jouets électroniques Télécopieurs écop Identification d empreintes digitales Systèmes d alarmes domestiques Dispositifs médicaux Agendas électroniques Modems Décodeurs MPEG Cartes réseau Commutateurs Systèmes de navigation (GPS) Téléavertisseurs Photocopieurs Jeux vidéos Imprimantes Téléphones satellites Numérisateurs (scanners) Fours micro-ondes Lave-vaisselle Reconnaissance de voix Stéréo Téléconférence éco é ce Téléviseurs Systèmes de chauffage Magnétoscopes et lecteurs DVD Électroménagers Odi Ordinateurs de poches 3

4 4

5 Composition d un système embarqué Une partie matérielle utilisée pour la performance Micro-processeur, contrôleurs, coprocesseurs, DSP Mémoires ASIC Interfaces d entrées/sorties Une partie logicielle utilisée pour sa flexibilité Programmes Software Program 5

6 Contraintes des systèmes embarqués Métriques de conception principales Puissance dissipée Taille Coûts de production et coûts non récurrents Fiabilité Temps de commercialisation (time to market) D autres contraintes existent: tolérance aux pannes, résistance aux chocs et températures, BIST Flexibilité et mises-à-jour Souvent utilisés dans un environnement réactif soumis à des contraintes temps réel. Nécessitent des systèmes haute performance 6

7 Système sur puce (SoC) Un SoC constitue un circuit complexe qui intègre tous les éléments fonctionnels d un produit sur une même puce. Par exemple, des modules logiciels (DSP), des mémoires, des périphériques, des coprocesseurs matériels (FPGA ou ASIC) et même des modules analogiques ou optoélectroniques tél t peuvent ttous être mis sur un même dé. L objectif est diminuer au minimum le nombre de composants sur une carte pour mettre tout sur une seule puce. 7

8 Exemple de SoC SDRAM(16Mbits ) Y/C H/V/CLK Y 8bit C 8bit ASB Control Arbiter ADDR: 12bit DATA: 16bit SDRAM Controller for Capture ARM I/F SDRAM Controller Register setting ARM Peripheral Y 8bit C 8bit Y/C H/V Processeur ARM7 Logique dédiée DCT Contrôleur USB Decoder Remap TIC DCT Engine Timer JTAG ARM7TDMI DMA Wrapper DMA DCT RAM DCT RAM 1KByte DCT Quantize/Zigzag Interrupt PIO UART Interrupt 2port P IO 8bit X 2port SIO 1ch 24MHz SCAN to S DRAMC DCT USB PLL PLL SRAM (32KByte) 40MHz for ARM 48MHz for USB ASB Memory Expansion ADDR: 32bit DATA: 32bit ADDR: 31bit DATA: 32bit APB Bridge ASB Control APB ADDR: 32bit DATA: 16bit USB USB EPROM External Bus I/F ASB : AMBA System Bus APB : AMBA Peripheral Bus Sony Digital Camera SOC 8

9 Qu est-ce que l ESL? ESL D&V

10 Qu est-ce que l ESL? Des plates-formes multifonction Qui demandent de plus en plus de logiciel et encore plus! et plus et plus SoC (4 processors) Les SoC ont besoin de méthodologies! 10

11 Approche conventionnelle SOFTWARE FLOW SOFTWARE DESIGN & TEST SYSTEM SPECS PARTITION & PLAN HARDWARE FLOW HARDWARE DESIGN ENTRY/CAPTURE (RTL) SIMULATION FUNCTIONAL RTL TO GATE/ DATAPATH SYNTHESIS (TIMING/ POWER/ TEST INSERTION) FUNCTIONAL TIMING FUNCTIONAL TIMING VERIFICATION PROTOTYPE PHYSICAL DESIGN/ LAYOUT VERIFICATION RULE CHECKS

12 Codesign logiciel/matériel Simulation Simulation à haut niveau Estimateurs Raffinement du matériel Synthèse matérielle Synthèse des communications Capture de la spécification Partitionnement logiciel matériel Co-simulation et co-vérification Prototypage ou implantation finale Raffinement du logiciel Synthèse logicielle Simulation Vérification formelle ou fonctionnelle Les quatre étapes importantes d une méthode de codesign 12

13 Flôt de codesign plus détaillé

14 Modèles plus abstraits que le RTL

15 Exemple d abstractions

16 Exploration architecturale Préconise une approche en Y (paradigme): 16

17 Approche en Y (autre façon de visualiser) 17

18 Méthodologie de codesign plus complète Tiré de System-Level Design Techniques for Energy-Efficient Embeded Systems, M. T. Schmitz, B. M. Al-Hashimi, P. Eles, Kluwer, 2004.

19 Design Space Exploration 19

20 Allocation des ressources 20

21 Allocation des ressources (suite) N.B. Tiré de 21

22 Mapping (équivalent au partitionnement L/M) 22

23 Partitionnement L/M On partitionne les comportements, on simule, puis on implante la structure en fonction des meilleurs résultats Minimise le nombre d objets à traiter Les objets sont fonctionnels le matériel devient une structure logique, le logiciel sera compilé Spécifications exécutables avec le même langage g facilitent le développement d outils qui serviront à simuler les partitions estimer les performances partitionnement automatique (idéalement) Le profilage est disponible pour une analyse préliminaire i i 23

24 Partitionnement L/M (détails) Number of times a BB is excuted Number of times Ti and Tj communicates Sw size (data, program, register) Hw execution time Sw execution time Hw area Communication latency between Ti and Tj Tiré de M. Lopez-Vallejo, On the H-S Partitioning Problem:System Modeling and Partitioning Techniques, ACM Trans. On Design Automation of Electronic Systems, Juillet

25 Mapping (suite) 25

26 Ordonnancement 26

27 Ordonnancement (suite) 27

28 Gestion de l énergie Technique DPM: On met à off les composants lorsque le idle est suffisamment long Technique DVS: On utilise le idle et le slack pour dimunuer la fréquence et le voltage. La tâche prend donc plus de temps à s exécuter mais le temps total pour toute l application reste inchangé. 28

29 Synthèse du matériel Réf. HLS from Algorithm to Digital Circuit, Chap.3, Springer 29

30 Synthèse (compilation) du logicielle 30

31 La vérification 31

32 Flôt de vérification La vérification fonctionnelle compare un modèle, qui constitue une réalisation de la spécification, avec sa spécification (Bergeron 2003b, Bergeron 2000b) Spécification Simulation Banc d essai Transformation Comparaison MODÈLE SOUS VÉRIFICATION Réalisation Vérification dynamique 32

33 SCV 33

34 Architecture vs design vs vérification 34

35 Testbench par couches 35

36 Approche en couche OVM 36

37 Approche en couche OVM 37

38 Approche en couche OVM 38

39 Pourquoi générer aléatoirement 39

40 Couverture Il existe la couverture fonctionnelle et structurelle On va surtout s intéresser à la vérification fonctionnelle: On débute par un plan de vérification (modèle de couverture). On va échantillonner des variables et expressions dans cette couverture 40

41 Couverture fonctionnelle 41

42 Couverture fonctionnelle 42

43 Assertion Assertion: permet la détection d un comportement non souhaitable Exemple pour un FIFO: 43

44 Défis Défis actuels dans le domaine de la vérification fonctionnelle Réduire temps conception des bancs d essai Réduire temps vérification Améliorer la qualité de la vérification Intégrer nouveaux standards et nouvelles pratiques Maximiser la concurrence conception/vérification Réutilisation 44

45 Vérification vs TLM La vérification dynamique d un circuit requière l utilisation de métrique pour obtenir une mesure d avancement de la vérification Cependant, l application de métrique complexe sur un système matériel complexe mène au problème d explosion combinatoire Une solution connu est d appliquer une métrique sur une abstraction du système, i.e. une spécification exécutable de haut-niveau. 45

46 Vérification vs C/C++ Réf. HLS from Algorithm to Digital Circuit, Chap.3, Springer 46

47 Vérification vs TLM 47

48 Vérification vs TLM On veut appliquer une métrique fonctionnelle sur une spécification exécutable de façon systématique Le but est en fait de créer un Module d Analyse de la Couverture (MAC) qui servira à évaluer l efficacité d une suite de test 48

49 Exemple: commutateur ATM Une suite de tests a été développé en utilisant le MAC en utilisant le MAC, nous obtenons un taux de couverture de 100%: - Pour une génération complètement pseudo-aléatoire: 708 transactions - En travaillant avec le MAC: 229 transactions 100 Test 3 Test 2 Test 1 80 Taux de Couverture Transactions appliquées Sébastien Regimbal, École Polytechnique de Montréal

50 En résumé Approche proposée p par ESL D&V : Dans le cours on va s intéresser aux points 2à6 50

Technologies SOC (System On Chip) (Système sur une seule puce)

Technologies SOC (System On Chip) (Système sur une seule puce) Technologies SOC (System On Chip) (Système sur une seule puce) Pierre LERAY et Jacques WEISS Équipe de recherche ETSN Supélec Campus de Rennes février, 02 Technologies SoC ; P. Leray, J. Weiss 1 Évolution

Plus en détail

Supports d exécution matériels pour l embarqué. Jean-Philippe Babau

Supports d exécution matériels pour l embarqué. Jean-Philippe Babau Supports d exécution matériels pour l embarqué Jean-Philippe Babau Département Informatique, INSA Lyon Les contraintes Coût de quelques euros à quelques centaines d'euros Contraintes d énergie (mobilité,

Plus en détail

Cours FPGA 02/01/2014. L architecture SOPC Des FPGAs

Cours FPGA 02/01/2014. L architecture SOPC Des FPGAs L architecture SOPC Des FPGAs 1 Ce document aborde l architecture moderne des FPGA et notamment la technologie SOPC (system on programmable chip). Cette technologie SOPC permet d associer des structures

Plus en détail

Processeur JAP. Le langage JAVA

Processeur JAP. Le langage JAVA Processeur JAP Ce document présente les dernières nouveautés concernant le processeur JAVA de la société AED. Il commence par un rappel sur les caractéristiques du processeur actuel, puis présente les

Plus en détail

! Vous aurez pris connaissance de l'évolution. ! Vous comprendrez pourquoi on utilise le binaire en. ! Vous serez capable de construire un circuit

! Vous aurez pris connaissance de l'évolution. ! Vous comprendrez pourquoi on utilise le binaire en. ! Vous serez capable de construire un circuit Architecture élémentaire Un cours d architecture pour des informaticiens Samy Meftali Samy.meftali@lifl.fr Bureau 224. Bâtiment M3 extension Sans architecture pas d informatique Comprendre comment çà marche

Plus en détail

Communications entre tâches logicielles et matérielles dans un contexte d OS temps réel sur une architecture FPGA reconfigurable.

Communications entre tâches logicielles et matérielles dans un contexte d OS temps réel sur une architecture FPGA reconfigurable. Arthur Segard 3eme année ENSEA section Informatique et Systèmes DEA Traitement des Images et du Signal Communications entre tâches logicielles et matérielles dans un contexte d OS temps réel sur une architecture

Plus en détail

Conception et microprocesseurs

Conception et microprocesseurs Electronique embarquée Conception et microprocesseurs Richard Grisel Professeur des Universités Université de Rouen Conception et microprocesseurs Architectures et composants: Logiciel; Matériel. Test

Plus en détail

Portage de l environnement de simulation d un composant FPGA développé pour l aéronautique (DO254 DAL-A) vers un banc de validation physique

Portage de l environnement de simulation d un composant FPGA développé pour l aéronautique (DO254 DAL-A) vers un banc de validation physique Portage de l environnement de simulation d un composant FPGA développé pour l aéronautique (DO254 DAL-A) vers un banc de validation physique L objectif Réaliser la vérification physique d'un composant

Plus en détail

ÉCOLE POLYTECHNIQUE DE MONTRÉAL. Département de Génie Électrique. La technologie de TEXAS INSTRUMENTS DSP pour le cours Analyse des Signaux ELE2700

ÉCOLE POLYTECHNIQUE DE MONTRÉAL. Département de Génie Électrique. La technologie de TEXAS INSTRUMENTS DSP pour le cours Analyse des Signaux ELE2700 ÉCOLE POLYTECHNIQUE DE MONTRÉAL Département de Génie Électrique La technologie de TEXAS INSTRUMENTS DSP pour le cours Analyse des Signaux ELE2700 M. Corinthios et Zaher Dannawi 29 août 2007 2 Tables des

Plus en détail

Les systèmes embarqués Introduction. Richard Grisel Professeur des Universités Université de Rouen Nacer Abouchi Professeur ESCPE Lyon

Les systèmes embarqués Introduction. Richard Grisel Professeur des Universités Université de Rouen Nacer Abouchi Professeur ESCPE Lyon Les systèmes embarqués Introduction Richard Grisel Professeur des Universités Université de Rouen Nacer Abouchi Professeur ESCPE Lyon Introduction aux systèmes embarqués Définition. Caractéristiques d

Plus en détail

Technologies cibles pour les systèmes sur puce

Technologies cibles pour les systèmes sur puce INSTITUT SUPÉRIEUR D INFORMATIQUE CHAPITRE 2 Technologies cibles pour les systèmes sur puce Dr. Mohamed-Wassim YOUSSEF 2012 [www.wassimyoussef.info] Co-design & Sécurité des Systèmes Embarqués M2 SSICE

Plus en détail

MÉTHODOLOGIE DE CONCEPTION DES CIRCUITS INTÉGRÉS DIGITAUX

MÉTHODOLOGIE DE CONCEPTION DES CIRCUITS INTÉGRÉS DIGITAUX MODULE: SYSTEMES NUMERIQUES COMPLEXES Cours 1 MÉTHODOLOGIE DE CONCEPTION DES CIRCUITS INTÉGRÉS DIGITAUX H.Boumeridja 1 Introduction Méthodologie de conception des circuits intégrés digitaux: approche descendante

Plus en détail

GEL 1001 Design I (méthodologie)

GEL 1001 Design I (méthodologie) GEL 1001 Design I (méthodologie) Technique 2 Systèmes embarqués et fiabilité Hiver 2013 Département de génie électrique et de génie informatique Plan Système embarqué Ordinateur et architecture Von Neumann

Plus en détail

Proposition d un plan d étude pour l option «informatique embarquée»

Proposition d un plan d étude pour l option «informatique embarquée» Proposition d un plan d étude pour l option «informatique embarquée» Motivation : L informatique embarquée est un sous ensemble de l informatique qui est en pleine croissance. Elle intègre plusieurs aspects

Plus en détail

SoC : Système on Chip. C est le concept d intégrer une fonction électronique dans un composant programmable.

SoC : Système on Chip. C est le concept d intégrer une fonction électronique dans un composant programmable. 0 Présentation du TP : Pré-requis : Durée estimée : Objectif : Avoir suivi les TP_description_schématic_compteur-FPGA et TP_compteur_VHDL_virtual_instruments-FPGA. Connaissance du langage C ANSI. 2 heures.

Plus en détail

QUELQUES MOTS CLES ET DEFINITIONS.

QUELQUES MOTS CLES ET DEFINITIONS. CH. 2 QUELQUES MOTS CLES ET DEFINITIONS. ASIC : Application Spécific Integrated Circuit = HW circuit intégré pour application spécifique SOC : System On Chip = HW et SW Système sur puce IP : FPGA : CAD

Plus en détail

Sur un ordinateur portable ou un All-in-One tactile, la plupart des éléments mentionnés précédemment sont regroupés. 10) 11)

Sur un ordinateur portable ou un All-in-One tactile, la plupart des éléments mentionnés précédemment sont regroupés. 10) 11) 1/ Généralités : Un ordinateur est un ensemble non exhaustif d éléments qui sert à traiter des informations (documents de bureautique, méls, sons, vidéos, programmes ) sous forme numérique. Il est en général

Plus en détail

Système. Introduction aux systèmes informatiques

Système. Introduction aux systèmes informatiques Introduction aux systèmes informatiques Système Un système est une collection organisée d'objets qui interagissent pour former un tout Objets = composants du système Des interconnexions (liens) entre les

Plus en détail

Les systèmes embarqués

Les systèmes embarqués Unité IFS (Interface) Les systèmes embarqués Architecture des systèmes à processeur Etienne Messerli Le 17 février 2015 p 1 Ordinateur Système UNIVERSEL de traitement de l'information "binaire" Utilisé

Plus en détail

ÉLECTRONIQUE NUMÉRIQUE AVANCÉE

ÉLECTRONIQUE NUMÉRIQUE AVANCÉE ÉLECTRONIQUE NUMÉRIQUE AVANCÉE Filière : InfoTronique Chap. 1 : Introduction Dr. Abdelhakim Khouas Email : akhouas@hotmail.fr Département de Physique Faculté des Sciences Objectifs de ce chapitre Comprendre

Plus en détail

Introduction. Mes coordonnées. Module Systèmes Embarqués. Systèmes embarqués. Systèmes embarqués Sylvain Tisserant

Introduction. Mes coordonnées. Module Systèmes Embarqués. Systèmes embarqués. Systèmes embarqués Sylvain Tisserant Mes coordonnées Introduction Systèmes embarqués Sylvain Tisserant Enseignant-Chercheur Professeur à l ESIL depuis sa création Recherche en physique des particules Acquisition et traitement de données Contrôle

Plus en détail

Architecture des Ordinateurs et Systèmes d Exploitation. Entrées / Sorties Bus

Architecture des Ordinateurs et Systèmes d Exploitation. Entrées / Sorties Bus Architecture des Ordinateurs et Systèmes d Exploitation Entrées / Sorties Bus Quelques exemples d Entrées/Sorties Clavier (entrée) 0.01 Ko/s Souris (entrée) 0.02 Ko/s Disquette (sauvegarde) 50 Ko/s Imprimante

Plus en détail

CONCEPTION ET TEST DE CIs. 3. METHODES ET OUTILS DE CONCEPTION DES CIs

CONCEPTION ET TEST DE CIs. 3. METHODES ET OUTILS DE CONCEPTION DES CIs CONCEPTION ET TEST DE CIs 3. METHODES ET OUTILS DE CONCEPTION DES CIs 3.1 Introduction 3.2 Méthodologies de conception des ASICs 3.3 Conception des Circuits Programmables 3. METHODES ET OUTILS - Introduction

Plus en détail

Andrei Doncescu. Introduc)on aux Systèmes Embarqués et Microcontrôleurs

Andrei Doncescu. Introduc)on aux Systèmes Embarqués et Microcontrôleurs + Andrei Doncescu Introduc)on aux Systèmes Embarqués et Microcontrôleurs + Systèmes Mécatroniques 2 Système temps réel Système embarqué Système sur puce + Systèmes Temps Réel 3 Un système temps réel est

Plus en détail

Architecture et Système

Architecture et Système Architecture et Système Stefan Schwoon Cours L3, 2014/15, ENS Cachan Rappels Quelques éléments qu on a pu construire à partir des transistors (et une horloge): fonctions arithmétiques et logiques multiplexeur,

Plus en détail

Thème 3 Conception et vérification d architectures de systèmes sur puce

Thème 3 Conception et vérification d architectures de systèmes sur puce Thème 3 Conception et vérification d architectures de systèmes sur puce Conception et simulation Frédéric Pétrot Vérification Laurence Pierre Conception et vérification d architectures de systèmes sur

Plus en détail

Conception de SoPC pour applications multimédia

Conception de SoPC pour applications multimédia Conception de SoPC pour applications multimédia Auteurs : Michael Guarisco, Nicolas Marques, Eric Dabellani, Yves Berviller, Hassan Rabah, Serge Weber Laboratoire d Instrumentation Electronique de Nancy.

Plus en détail

MAYA DESIGN CENTER. Grenoble-Paris-Toulouse-Valence-Aix en Provence-Sophia Antipolis

MAYA DESIGN CENTER. Grenoble-Paris-Toulouse-Valence-Aix en Provence-Sophia Antipolis MAYA DESIGN CENTER Grenoble-Paris-Toulouse-Valence-Aix en Provence-Sophia Antipolis Sommaire 1 ) Niveaux d intervention 2 ) Références projets 3 ) IT 4 ) Implantations 5 ) Références clients Niveaux d

Plus en détail

De la conception jusqu'au déploiement de systèmes embarqués

De la conception jusqu'au déploiement de systèmes embarqués De la conception jusqu'au déploiement de systèmes embarqués Nacer MOKHTARI Ingénieur d application La conception graphique de systèmes Conception interactive Conception de systèmes de contrôle Simulation

Plus en détail

Les systèmes embarqués introduction

Les systèmes embarqués introduction Unité IFS (Interface) Les systèmes embarqués introduction Etienne Messerli Le 17 février 2015 Copyright 2015 EMI, REDS@HEIG-VD Systèmes embarqués intro, p 1 Définition Systèmes embarqués Un système embarqué

Plus en détail

Chapitre 2 : Architecture d un ordinateur

Chapitre 2 : Architecture d un ordinateur I. Introduction : Chapitre 2 : Architecture d un ordinateur Activité 1 : Q : Comment on peut effectuer un traitement automatique? R : On doit utiliser une machine automatique c est l ordinateur. Q : Quelles

Plus en détail

Les Entrées et Sorties: Programmées, interruptions, et DMA. GIF-1001 Ordinateurs: Structure et Applications, Hiver 2015 Jean-François Lalonde

Les Entrées et Sorties: Programmées, interruptions, et DMA. GIF-1001 Ordinateurs: Structure et Applications, Hiver 2015 Jean-François Lalonde Les Entrées et Sorties: Programmées, interruptions, et DMA GIF-1001 Ordinateurs: Structure et Applications, Hiver 2015 Jean-François Lalonde Aujourd hui Entrées-sorties Programmées Par interruptions Le

Plus en détail

Infotronique 2ème année Module MA3: Composants des systèmes temps réelr

Infotronique 2ème année Module MA3: Composants des systèmes temps réelr Infotronique 2ème année Module MA3: Composants des systèmes temps réelr 1) Méthodologie de conception 2) Outils de conception 3) La simulation et la vérification 1 Objectif Développement de système basé

Plus en détail

Introduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr

Introduction aux systèmes temps réel. Iulian Ober IRIT ober@iut-blagnac.fr Introduction aux systèmes temps réel Iulian Ober IRIT ober@iut-blagnac.fr Définition Systèmes dont la correction ne dépend pas seulement des valeurs des résultats produits mais également des délais dans

Plus en détail

Prototypage virtuel de système sur puce pour une simulation rapide et fidèle

Prototypage virtuel de système sur puce pour une simulation rapide et fidèle Prototypage virtuel de système sur puce pour une simulation rapide et fidèle Séminaire Collège de France, 29 Janvier 2014 Laurent Maillet-Contoz STMicroelectronics Laurent.Maillet-Contoz@st.com Matthieu

Plus en détail

Système reconfigurable et durci pour la surveillance et le contrôle

Système reconfigurable et durci pour la surveillance et le contrôle Système reconfigurable et durci pour la surveillance et le contrôle Sabri JATLAOUI, Ingénieur avant-vente. Des challenges récurrents Le contrôle haute vitesse (numérique/compteur à 1MHz, PID analogique/

Plus en détail

EME 31 : Mécatronique : énergie et motricité

EME 31 : Mécatronique : énergie et motricité university-logo Mécatronique : énergie et motricité 3. Microcontrôleur ENSTA Plan du cours university-logo 1 Classification et utilisation des processeurs Qu est-ce qu un microcontrôleur? 2 Comment programmer

Plus en détail

Une approche modèle pour la conception conjointe de systèmes embarqués hautes performances dédiés au transport

Une approche modèle pour la conception conjointe de systèmes embarqués hautes performances dédiés au transport Une approche modèle pour la conception conjointe de systèmes embarqués hautes performances dédiés au transport Jean Luc DEKEYSER, Sébastien LE BEUX, Philippe MARQUET Inria Futurs Lille dekeyser@lifl.fr

Plus en détail

CH.3 SYSTÈMES D'EXPLOITATION

CH.3 SYSTÈMES D'EXPLOITATION CH.3 SYSTÈMES D'EXPLOITATION 3.1 Un historique 3.2 Une vue générale 3.3 Les principaux aspects Info S4 ch3 1 3.1 Un historique Quatre générations. Préhistoire 1944 1950 ENIAC (1944) militaire : 20000 tubes,

Plus en détail

Journée FPGA. Technologie, outils et conception. 11 septembre 2012. Aula de la HEIG-VD, Yverdon-les-Bains, VAUD

Journée FPGA. Technologie, outils et conception. 11 septembre 2012. Aula de la HEIG-VD, Yverdon-les-Bains, VAUD Journée FPGA Technologie, outils et conception 11 septembre 2012 Aula de la, Yverdon-les-Bains, VAUD Cette journée est organisée par le groupe thématique du RCSO-ISYS «Systèmes embarqués à haute performance»,

Plus en détail

Architecture des ordinateurs

Architecture des ordinateurs Architecture des ordinateurs Généralités Processeur Carte mère Mémoire Bus Interfaces d'entrée-sortie Cartes d'extension Périphériques Évolution Presque le montage d'un PC 1 Familles d'ordinateurs Serveur

Plus en détail

Structure du bus système Gestion du bus système Fonctionnement des périphériques

Structure du bus système Gestion du bus système Fonctionnement des périphériques Périphériques et bus système Structure du bus système Gestion du bus système Fonctionnement des s MÉMOIRE PRINCIPALE BUS SYSTÈME Cache d'instructions MMU TLB Unité de de contrôle Unité de de traitement

Plus en détail

Avec le Flyport, Prenez le contrôle & gérez vos objets à distance

Avec le Flyport, Prenez le contrôle & gérez vos objets à distance Avec le Flyport, Prenez le contrôle & gérez vos objets à distance Révolution dans l univers des capteurs intelligents et de l Internet des objets, Giga-Concept, lance le Flyport. Une carte intelligente

Plus en détail

Analog Power Lab. Votre partenaire en électronique

Analog Power Lab. Votre partenaire en électronique Analog Power Lab Votre partenaire en électronique 1 Services Services rendus dans notre laboratoire et / ou sur site. Validation électronique Développement électronique Développement logiciel Analyse thermique

Plus en détail

Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue!

Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue! Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue! Vasiliki Sfyrla Une approche des systèmes embarqués Les systèmes embarqués existent depuis longtemps.

Plus en détail

MAGILLEM: environnement de contrôle de flot pour la conception ESL (Electronic System Level)

MAGILLEM: environnement de contrôle de flot pour la conception ESL (Electronic System Level) MAGILLEM: environnement de contrôle de flot pour la conception ESL (Electronic System Level) Atelier «outils pour l IDM» Mardi 27 janvier 2009 ENSEEIHT - Toulouse Moving from traditional flow to ESL (Electronic

Plus en détail

Advanced Electronic Design 3 rue de L Eperon 77000 MELUN Tél : 01 64 52 16 96 E-Mail : info@a-e-d.com Web : www.a-e-d.com.

Advanced Electronic Design 3 rue de L Eperon 77000 MELUN Tél : 01 64 52 16 96 E-Mail : info@a-e-d.com Web : www.a-e-d.com. Advanced Electronic Design 3 rue de L Eperon 77000 MELUN Tél : 01 64 52 16 96 E-Mail : info@a-e-d.com Web : www.a-e-d.com Processeur JAP IP Introduction La société AED propose une IP du processeur JAP

Plus en détail

Les Systèmes Embarqués Introduction

Les Systèmes Embarqués Introduction Les Systèmes Embarqués Introduction Patrice KADIONIK email http : kadionik@enseirb.fr : http://www.enseirb.fr/~kadionik pk/2005 v 2.2 Reproduction et exploitation à des fins commerciales interdites sans

Plus en détail

Etre capable de réaliser et simuler avec Quartus II un compteur en mode schématique Logiciels QuartusII Logique de base, architecture de FPGA

Etre capable de réaliser et simuler avec Quartus II un compteur en mode schématique Logiciels QuartusII Logique de base, architecture de FPGA Cyclone QuartusII design Cyclone Quartus base Quartus II - Schematic Objectif Moyens Préliminaire Théorie Matériel Durée Etre capable de réaliser et simuler avec Quartus II un compteur en mode schématique

Plus en détail

Modèles et simulation des systèmes sur puce multiprocesseurs - Estimation des performances et de la consommation d énergie

Modèles et simulation des systèmes sur puce multiprocesseurs - Estimation des performances et de la consommation d énergie Université des sciences et technologies de lille THÈSE présentée et soutenue publiquement le Mars 2008 pour obtenir le titre de Docteur en informatique par Rabie Ben Atitallah Modèles et simulation des

Plus en détail

Composantes principales des ordinateurs

Composantes principales des ordinateurs Composantes principales des ordinateurs GIF-1001: Ordinateurs: Structure et Applications Jean-François Lalonde, Hiver 2015 Stallings ch. 3, Englander ch. 7, 10.1 Architecture von Neumann Mémoire (données

Plus en détail

Modélisation des interfaces matériel/logiciel

Modélisation des interfaces matériel/logiciel Modélisation des interfaces matériel/logiciel Présenté par Frédéric Pétrot Patrice Gerin Alexandre Chureau Hao Shen Aimen Bouchhima Ahmed Jerraya 1/28 TIMA Laboratory SLS Group 46 Avenue Félix VIALLET

Plus en détail

Découverte des ressources disponibles et de l environnement de développement

Découverte des ressources disponibles et de l environnement de développement Denis Hautot Lycée Victor-Hugo BESANÇON. STS SN Développement à base de cartes de prototypage rapide mbed Découverte des ressources disponibles et de l environnement de développement Prérequis : langage

Plus en détail

ENET'com GEC Semestre 1

ENET'com GEC Semestre 1 Semestre 1 UE 1 Outils mathématiques pour l ingénieur I Mathématiques de l ingénieur UE 1-1 33 12 3 3 X 4,5 5 Probabilités UE 1-2 16,5 6 1,5 2 X UE 2 Algorithmique et programmation C1 UE 2-1 22,5 10,5

Plus en détail

Etude et mise en oeuvre de PREEMPT-RT et Xenomai sur cible DSP Blackfin BF537

Etude et mise en oeuvre de PREEMPT-RT et Xenomai sur cible DSP Blackfin BF537 ENSEIRB-MATMECA Rapport de projet avancé 3 ème année électronique Etude et mise en oeuvre de PREEMPT-RT et Xenomai sur cible DSP Blackfin BF537 Etudiants : Alexandre Braconnier Axel Chevalier Jean-Marc

Plus en détail

Architecture SoC-FPGA adaptable dédiée à l'analyse d'images

Architecture SoC-FPGA adaptable dédiée à l'analyse d'images Architecture SoC-FPGA adaptable dédiée à l'analyse d'images Alain AUBERT, Nathalie BOCHARD, Virginie FRESSE Projet EmSoC Villard de Lans, 8-9 juin 2006 Plan de la présentation Description de l'architecture

Plus en détail

Quoi recycler? Ordinateurs portables. Ordinateurs portables Ordinateurs bloc-notes Tablettes électroniques Miniportables Mini-ordinateurs

Quoi recycler? Ordinateurs portables. Ordinateurs portables Ordinateurs bloc-notes Tablettes électroniques Miniportables Mini-ordinateurs Quoi recycler? Note : Ces produits sont acceptés dans tous les points de dépôt officiels de l ARPE- Québec, et ce, tout à fait GRATUITEMENT. Cependant, les points de dépôt en magasin (détaillants) peuvent

Plus en détail

M a c h i n e V i r t u e l l e R a d i o

M a c h i n e V i r t u e l l e R a d i o M a c h i n e V i r t u e l l e R a d i o Riadh Ben Abdallah riadh.ben-abdallah@inria.fr Laboratoire CITI, Équipe Systèmes Embarqués Séminaire des thésards, 20 Mars 2008 1 Le Contexte radio logicielle

Plus en détail

1 Architecture du cœur ARM Cortex M3. Le cœur ARM Cortex M3 sera présenté en classe à partir des éléments suivants :

1 Architecture du cœur ARM Cortex M3. Le cœur ARM Cortex M3 sera présenté en classe à partir des éléments suivants : GIF-3002 SMI et Architecture du microprocesseur Ce cours discute de l impact du design du microprocesseur sur le système entier. Il présente d abord l architecture du cœur ARM Cortex M3. Ensuite, le cours

Plus en détail

Serveur Web embarqué

Serveur Web embarqué Serveur Web embarqué OBJECTIFS : Dans ce TP vous allez concevoir un serveur Web que vous implanterez sur une carte DE2. MANIPULATION : Pour faire ce TP vous devez disposer des éléments suivants : Quartus

Plus en détail

Les fonctions d un ordinateur

Les fonctions d un ordinateur Cours 1 I - Constitution et fonctionnement d un ordinateur Les fonctions d un ordinateur Les organes d un ordinateur Matériel Logiciel Généralités Gestion de fichiers Applications Éditeurs Organisations

Plus en détail

MEMOIRE CENTRALE BUS INTERCONNEXION UNITE ECHANGE UNITE ECHANGE UNITE ECHANGE

MEMOIRE CENTRALE BUS INTERCONNEXION UNITE ECHANGE UNITE ECHANGE UNITE ECHANGE Les Mémoires Assemblage de Transistors et condensateurs Circuit décodeur d adresse Exploitées pour construire les registres du processeur, la mémoire centrale, les ports d Entrées / Sorties (Unité d Echange)

Plus en détail

Matériel Accepté Nous récupérons Informatiques

Matériel Accepté Nous récupérons Informatiques Matériel Accepté Nous récupérons Informatiques Portables en tout genre: - Ordinateurs portables - Ordinateurs bloc-notes - Tablettes électroniques - Miniportables Ordinateurs de bureau en tout genre: -

Plus en détail

GELE5340 Circuits ITGÉ (VLSI) Chapitre 1: Introduction

GELE5340 Circuits ITGÉ (VLSI) Chapitre 1: Introduction GELE5340 Circuits ITGÉ (VLSI) Chapitre 1: Introduction Contenu du cours Introduction aux circuits intégrés Dispositifs CMOS, processus de fabrication. Inverseurs CMOS et portes logiques. Délai de propagation,

Plus en détail

Récepteur de navigation reconfigurable pour applications spatiales

Récepteur de navigation reconfigurable pour applications spatiales Institut Supérieur de l Aéronautique et de l Espace Récepteur de navigation reconfigurable pour applications spatiales Arnaud Dion Marie-Laure Boucheret Emmanuel Boutillon Jury: Christophe Jego Olivier

Plus en détail

Conception de circuits numériques et architecture des ordinateurs

Conception de circuits numériques et architecture des ordinateurs Conception de circuits numériques et architecture des ordinateurs Frédéric Pétrot Année universitaire 2013-2014 Structure du cours C1 C2 C3 C4 C5 C6 C7 C8 C9 C10 C11 C12 Codage des nombres en base 2, logique

Plus en détail

Structure en couches des systèmes informatiques

Structure en couches des systèmes informatiques Structure en couches des systèmes informatiques Vue simplifiée d un système informatique Ce que le simple utilisateur perçoit «à première vue» d un système informatique : Le boîtier (tour, desktop ou portable)

Plus en détail

Une approche modèle dans la conception de systèmes sur puce hétérogènes

Une approche modèle dans la conception de systèmes sur puce hétérogènes Une approche modèle dans la conception de systèmes sur puce hétérogènes Jean-Luc Dekeyser et Lossan Bondé FETCH 07 IP dans le SoC 100% Réutilisé 80% Spécifique 60% 40% 20% 0% 1999 2002 2005 2008 2011 2014

Plus en détail

Bernard Bordonado Motorola Semiconducteurs

Bernard Bordonado Motorola Semiconducteurs LabVIEW et l automatisation de mesures de circuits intégrés RF pour applications automobiles Bernard Bordonado Motorola Semiconducteurs Page 1 Plan de la présentation Introduction Circuits intégrés RF

Plus en détail

PROPOSITION D UNE FORMATION CONTINUE POUR LES PERSONNELS DES ETABLISSEMENTS D ENSEIGNEMENT SUPERIEUR

PROPOSITION D UNE FORMATION CONTINUE POUR LES PERSONNELS DES ETABLISSEMENTS D ENSEIGNEMENT SUPERIEUR PROPOSITION D UNE FORMATION CONTINUE POUR LES PERSONNELS DES ETABLISSEMENTS D ENSEIGNEMENT SUPERIEUR Mise en œuvre rapide de chaînes d acquisition / transmission du signal à l aide d un système «on chip»

Plus en détail

Leçon 1 : Les principaux composants d un ordinateur

Leçon 1 : Les principaux composants d un ordinateur Chapitre 2 Architecture d un ordinateur Leçon 1 : Les principaux composants d un ordinateur Les objectifs : o Identifier les principaux composants d un micro-ordinateur. o Connaître les caractéristiques

Plus en détail

Méthodologie de conception des circuits et systèmes intégrés VLSI

Méthodologie de conception des circuits et systèmes intégrés VLSI EII2 Méthodologie de conception des circuits et systèmes intégrés VLSI De l idée au circuit Introduction I. Technologie des circuits intégrés II. Conception des cellules MOS III. Méthodologie de conception

Plus en détail

Profil UML pour TLM: contribution à la formalisation et à l automatisation du flot de conception et vérification des systèmes-sur-puce.

Profil UML pour TLM: contribution à la formalisation et à l automatisation du flot de conception et vérification des systèmes-sur-puce. INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE N attribué par la bibliothèque T H È S E pour obtenir le grade de DOCTEUR DE L INPG Spécialité : «Micro et Nano Électronique» préparée au laboratoire CEA LIST/DTSI/SOL/LISE

Plus en détail

Les entrées/sorties Les périphériques

Les entrées/sorties Les périphériques Les entrées/sorties Les périphériques La fonction d un ordinateur est le traitement de l information (fonction réalisée au niveau de la mémoire et l UC). L ordinateur acquiert cette information et restitue

Plus en détail

Catalogue des PFE 2013. CodinTek Park Technologique Elgazala 2088 Cité Technologique Elgazala Ariana

Catalogue des PFE 2013. CodinTek Park Technologique Elgazala 2088 Cité Technologique Elgazala Ariana Catalogue des PFE CodinTek Park Technologique Elgazala 2088 Cité Technologique Elgazala Ariana Présentation de la société CodinTek est une start-up Tunisienne spécialisée dans l innovation en traitement

Plus en détail

Conception et Intégration de Systèmes Critiques

Conception et Intégration de Systèmes Critiques Conception et Intégration de Systèmes Critiques 15 12 18 Non 50 et S initier aux méthodes le développement de projet (plan de développement, intégration, gestion de configuration, agilité) Criticité temporelle

Plus en détail

Leçon 2 : Les composants de base d un ordinateur

Leçon 2 : Les composants de base d un ordinateur Leçon 2 : Les composants de base d un ordinateur I. Introduction Activité 1 : Décrire les composants de base d un ordinateur : Activité 2 : Qu appelle-t-on les composants qui se branchent à l unité centrale?

Plus en détail

12 semaines ARCHITECTURE ÉVOLUÉE DES ORDINATEURS. Contrôle et notation LES FPGAS. Position du problème. Position du problème - 1 -

12 semaines ARCHITECTURE ÉVOLUÉE DES ORDINATEURS. Contrôle et notation LES FPGAS. Position du problème. Position du problème - 1 - 12 semaines Jean-luc.dekeyser@lifl.fr Version 2013 ARCHITECTURE ÉVOLUÉE DES ORDINATEURS Contrôle et notation Examen en janvier Une note de contrôle continue 2 TP sur carte nexys 3 ( /20) ou une contribution

Plus en détail

Réussir la Conception des FPGA Complexes.

Réussir la Conception des FPGA Complexes. ALSE - Sept 2001 Réussir la Conception des FPGA Complexes. -do it right, the first time- Bertrand CUZEAU Technical Manager - ALSE ASIC / FPGA Design Expert Doulos HDL Instructor (Verilog-VHDL) info@alse-fr.com

Plus en détail

Smart Grids : la modernisation des réseaux électriques. Maxime RENAUD Ingénieur Marketing National Instruments France. france.ni.

Smart Grids : la modernisation des réseaux électriques. Maxime RENAUD Ingénieur Marketing National Instruments France. france.ni. Smart Grids : la modernisation des réseaux électriques Maxime RENAUD Ingénieur Marketing National Instruments France Surveillance des transformateurs Centaines de modules Consignateur d'alarme Contrôle/commande

Plus en détail

Tronc Commun. Premier Semestre

Tronc Commun. Premier Semestre PLAN D ÉTUDE Programme de la Première année Tronc Commun Mathématiques Discrètes Probabilités et Statistiques Réseaux et Systèmes Transmissions de Données Fondements de Système d Exploitation Réseaux Informatiques

Plus en détail

Quoi recycler? Ordinateurs portables. Ordinateurs portables Ordinateurs bloc-notes Tablettes électroniques Miniportables Mini-ordinateurs

Quoi recycler? Ordinateurs portables. Ordinateurs portables Ordinateurs bloc-notes Tablettes électroniques Miniportables Mini-ordinateurs Quoi recycler? Note : Ces produits sont acceptés dans tous les points de dépôt officiels de l ARPE- Québec, et ce, tout à fait GRATUITEMENT. Cependant, les points de dépôt en magasin (détaillants) peuvent

Plus en détail

CPU ou UCT. Circuit Intégré. Processor (data processing)

CPU ou UCT. Circuit Intégré. Processor (data processing) CPU ou UCT Processor (data processing) Le processeur est une unité d exécution, plus précisément appelée unité centrale de traitement (désignée en franç.par UCT, en ang. CPU (Central Processing Unit) CPU+mémoire

Plus en détail

Chapitre 2 Architecture d un micro ordinateur

Chapitre 2 Architecture d un micro ordinateur Chapitre 2 Architecture d un micro ordinateur I. Introduction 1. Définition d'un ordinateur : C est une machine qui traite les informations d une manière automatique avec une très grande vitesse et sans

Plus en détail

M1101 : Introduction aux Systèmes d Exploitation (OS - Operating Systems)

M1101 : Introduction aux Systèmes d Exploitation (OS - Operating Systems) M1101 : Introduction aux Systèmes d Exploitation (OS - Operating Systems) Guillaume Urvoy-Keller Source : A. Tannenbaum "Modern Operating Systems", Pearson Guillaume Urvoy-Keller Source : A. Tannenbaum

Plus en détail

ISE Implementation. Du VHDL au Bitstream. Carte Digilent Nexys 2. Connexion USB entre la carte et le PC

ISE Implementation. Du VHDL au Bitstream. Carte Digilent Nexys 2. Connexion USB entre la carte et le PC ISE Implementation Du VHDL au Bitstream Carte Digilent Nexys 2 Connexion USB entre la carte et le PC Flot de Conception FPGA Cahier des charges / Spécifications 2 du composant Outil de Simulation Description

Plus en détail

Découverte du système NIOS II Altera

Découverte du système NIOS II Altera Découverte du système NIOS II Altera Note: Les illustrations correspondent à la version logicielle Quartus 8.1 1) Objectif pédagogique Cette première séance, incontournable, offre la possibilité de découvrir

Plus en détail

L ordinateur et ses périphériques

L ordinateur et ses périphériques L ordinateur et ses périphériques Nom : Prénom : TP MPI n 1 Classe : Objectifs : Connaître l architecture d un ordinateur. Mettre en place le vocabulaire décrivant un ordinateur Introduction : Pour fonctionner,

Plus en détail

Architecture 68332 06/06/02 LE 68332

Architecture 68332 06/06/02 LE 68332 LE 68332 LE 68332...1 ELÉMENTS SUR LE MICROCONTRÔLEUR 68332...2 SYSTEM INTEGRATION MODULE (SIM)...2 QUEUED SERIAL MODULE (QSM)...3 TIME PROCESSOR UNIT (TPU)...3 IMPLANTATION MÉMOIRE :...4 MODULE SIM :

Plus en détail

Système informatique. Introduction aux systèmes d'exploitation des ordinateurs. Système informatique

Système informatique. Introduction aux systèmes d'exploitation des ordinateurs. Système informatique Système informatique Introduction aux systèmes d'exploitation des ordinateurs ndéfinition : C est l ensemble des matériels et logiciels destinés à réaliser des tâches qui mettent en jeu le traitement automatique

Plus en détail

CARTE D'ACQUISITION PCI: CONCEPTION ET REALISATION

CARTE D'ACQUISITION PCI: CONCEPTION ET REALISATION CARTE D'ACQUISITION PCI: CONCEPTION ET REALISATION Antonio PEREZ-BERDUD Vincent CHEVALIER Juin 1996 Projet dirigé par: Mr M. BENKAIS Mr P. MARCHEGAY 1996 IXL 1 INTRODUCTION Convertisseurs Analogique /

Plus en détail

GENERALITES SUR LES SYSTEMES D EXPLOITATION

GENERALITES SUR LES SYSTEMES D EXPLOITATION CHAPITRE 1 : GENERALITES SUR LES SYSTEMES D EXPLOITATION Objectifs spécifiques Connaître la définition d un système d exploitation Connaître le rôle d un système d exploitation Connaître les classes des

Plus en détail

6. Nommez 4 éléments qui se trouvent directement sur la carte mère. 8. Dessinez de manière schématique un disque dur, à quoi sert-il?

6. Nommez 4 éléments qui se trouvent directement sur la carte mère. 8. Dessinez de manière schématique un disque dur, à quoi sert-il? Informatique Exercice Bases de l Informatique Questions : 1. Nommez quatre éléments de saisie de données. 2. Quel est la tâche du RAM? 3. Nommez deux propriétés du ROM. 4. A quoi sert le système de bus?

Plus en détail

Réalisation d une carte de traitement d image à base de FPGA

Réalisation d une carte de traitement d image à base de FPGA Université de Bourgogne Faculté Mirande Rapport de projet Licence Electronique, Signal et Image Réalisation d une carte de traitement d image à base de FPGA Sébastien Jeanniard Guillaume Lemaître Novembre

Plus en détail

Rappels sur l Architecture de base d un ordinateur

Rappels sur l Architecture de base d un ordinateur Chapitre 1 Rappels sur l Architecture de base d un ordinateur I. Introduction Dans cette partie, nous décrivons rapidement l architecture de base d un ordinateur et les principes de son fonctionnement.

Plus en détail

Introduction à l informatique temps réel Pierre-Yves Duval (cppm)

Introduction à l informatique temps réel Pierre-Yves Duval (cppm) Introduction à l informatique temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 -Définition et problématique - Illustration par des exemples -Automatisme:

Plus en détail

ELEMENTS DE CONTENU DETAILLE

ELEMENTS DE CONTENU DETAILLE ELEMENTS DE CONTENU DETAILLE CH : 3 EVOLUTION DES SYSTEMES DE VIDEOSURVEILLANCE 3.1 Systèmes de vidéosurveillance classique CCTV : 3.2 Systèmes de vidéosurveillance analogique avec magnétoscopes traditionnels

Plus en détail

Les ordinateurs : de 1946 à aujourd hui

Les ordinateurs : de 1946 à aujourd hui : Introduction Daniel Etiemble de@lri.fr Les ordinateurs : de 1946 à aujourd hui ENIAC (1946) 19000 tubes 30 tonnes surface de 72 m 2 consomme 140 kilowatts. Horloge : 0 KHz. 330 multiplications/s Mon

Plus en détail

Soutenance de Thèse. Analyses statistiques des communications sur puce

Soutenance de Thèse. Analyses statistiques des communications sur puce Soutenance de Thèse Analyses statistiques des communications sur puce Antoine Scherrer LIP - ENS Lyon Equipe Compsys 11 décembre 26 A. Scherrer - Analyses statistiques des communications sur puce 1 / 4

Plus en détail

Chap. I : Architecture de base d un ordinateur

Chap. I : Architecture de base d un ordinateur UMR 7030 - Université Paris 13 - Institut Galilée Cours Architecture et Système Dans cette partie, nous décrivons rapidement l architecture de base d un ordinateur et les principes de son fonctionnement.

Plus en détail