Master 2005 - INSA Lyonperso.citi.insa-lyon.fr/trisset/cours/MasterWeb/chap1.pdf · Seconde guerre...

- p. 1/52

Conception de systèmes embarquéscomplexes

Master 2005

Antoine Fraboulet, Tanguy Risset, Antoine Scherrerantoine.fraboulet@insa-lyon.fr, tanguy.risset@insa-lyon.fr, antoine.scherrer@ens-lyon.fr

Lab CITI, INSA de Lyon, Compsys, Lab LIP, ENS de Lyon

introduction

● Présentation du cours

● References

● Sources d’information

● Plan du cours

● Cours 1

Un peu d’histoire

Présentation des SoC

Les technologies employées

Conclusion

- p. 2/52

Présentation du cours

■ Enseignants:◆ Tanguy Risset (PR, Insa-lyon), Lab. Citi, Insa (bureau

231). http://citi.insa-lyon.fr/~trisset/◆ Antoine Scherrer (Doctorant, ENS-Lyon) Lab. Citi, Insa

(bureau 230).http://perso.ens-lyon.fr/antoine.scherrer

■ Équipe Compsys:◆ Compilation et systèmes enfouis.http://www.ens-lyon.fr/COMPSYS

◆ Laboratoire CITI: axe systèmes embarqués■ Déroulement du cours:

◆ ' 14h de cours◆ ' 6h d’exposés d’étudiants (contrôle continu)

■ Site web:http://citi.insa-lyon.fr/~trisset/cours/MasterWeb

introduction

● References

● Plan du cours

● Cours 1

Un peu d’histoire

Conclusion

- p. 3/52

References

■ livres:◆ « Computers as Components: Principles of Embedded

Computing System" Design Wayne Wolf Morgan Kaufman◆ « Computer Organization & Design: The

Hardware/Software Interface » David A. Patterson & JohnL. Hennessy Morgan Kaufman

■ et aussi:◆ « Surviving the SOC Revolution » A Guide to Platform-Based Design Henry Chang, Larry Cooke, Merrill Hunt, Grant

Martin, Andrew McNelly, Lee Todd Kluwer Academic Publisher◆ « Code Optimization Techniques for Embedded Processors: Methods, Algorithms, and Tools » Rainer Leupers,

Kluwer Academic Publisher◆ « Memory Issues in Embedded Systems-On-Chip », Preeti Ranjan Panda and Nikil Dutt and Alexandru Nicolau,

Kluwer Academic Publisher◆ « Application-Specific Integrated Circuits », Michael John Sebastian Smith, Addison Wesley

introduction

● References

● Plan du cours

● Cours 1

Un peu d’histoire

Conclusion

- p. 4/52

Sources d’information

■ Cours préparé à partir de:◆ Cours donné à l’ENST (DESSIN)◆ Les cours de Frank Vahid et Tony Givargis◆ Le cours de Mikael Wolf◆ Beaucoup d’autre sources (Jim Turley, embedded.com)

■ Autre cours sur les systèmes embarqués:◆ http://www.cs.lth.se/home/Krzysztof_Kuchcinski/DES/

◆ http://www-cad.eecs.berkeley.edu/Respep/Research/hsc/class/

◆ http://www.idlab.dal.ca/Products/Courses/EmbeddedSystemsDesign/

■ Sites:◆ Soclib: http://soclib.lip6.fr/◆ embedded.com: http://www.embedded.com/◆ Jim Turley: http://www.jimturley.com/

introduction

● References

● Plan du cours

● Cours 1

Un peu d’histoire

Conclusion

- p. 5/52

Plan du cours

■ Introduction aux systèmes embarqués (2h: T.R)■ Processeurs embarqués (4h, T.R.)■ Présentation des System on Chip (SoC) (2h: A.S)■ Communication sur puce (2h, A.S.)■ Optimisation de la mémoire (2h A.S)■ Circuits spécialisés (2h, T.R)

introduction

● References

● Plan du cours

● Cours 1

Un peu d’histoire

Conclusion

- p. 6/52

Cours 1

Introduction aux systèmes embarqués

introduction

Un peu d’histoire

● Un peu d’histoire

● Aujourd’hui

● Économie des

semi-conducteurs● semi-conducteurs: répartition

mondiale● importance des CPUS

embarqués

● Les CPUs utilisés pour

l’embarqué

● Catégories de systèmes

embarqués

● En résumé

Conclusion

- p. 7/52

Un peu d’histoire

■ Fin du XIXème siècle : démonstration du potentiel destechnologies électroniques pour les transmissions sans fil.

■ Seconde guerre mondiale◆ Application au calcul (décryptage)◆ Premiers ordinateurs (ENIAC)

■ 1947-1954◆ Invention puis commercialisation des transistors à

semi-conducteurs◆ Les « transistors » remplacent les postes radio à tubes

■ Années 60 et 70: premiers circuits intégrés, LSI

introduction

Un peu d’histoire

● Aujourd’hui

● Économie des

embarqués

l’embarqué

embarqués

● En résumé

Conclusion

- p. 8/52

Un peu d’histoire

■ 1960-2002◆ Réduction des tailles de transistors (' 10000)◆ Évolution anticipée (loi de Moore)◆ Industrie au coeur de la croissance économique des 50

dernières années◆ Augmentation exponentielle des performances

■ Puissance (Joy) :MIPS = 2année−1984

■ Densité (Moore) :Transistors par puce = 2année−1964

■ Densité des supports magnétiques «Maximal Areal

Density» (Frank): MAD = 10année−1971

10■ “Stagnation” des performances pour la rapidité d’accès

aux disques → RAID (multiplications des disques) etcaches.

introduction

Un peu d’histoire

● Aujourd’hui

● Économie des

embarqués

l’embarqué

embarqués

● En résumé

Conclusion

- p. 9/52

Aujourd’hui

■ Circuits mixtes analogique/digital (télécommunications)■ Micro-systèmes (capteurs, actionneurs intégrés)■ Nano-technologies (horizon 5 à 10 ans)■ Taille de gravure: 90 nm■ Coûts de R&D de plus en plus élevés■ La demande (ordinateurs, téléphones mobiles, etc.) stagne■ Peu de produits vraiment nouveaux (VHS => DVD,

caméscopes => numériques, téléphones fixes => mobiles)■ Crise financière et économique des TIC

introduction

Un peu d’histoire

● Aujourd’hui

● Économie des

embarqués

l’embarqué

embarqués

● En résumé

Conclusion

- p. 10/52

Économie des semi-conducteurs

Un poids croissant dans l’économie■ Rapport de coût exponentiellement décroissant depuis 40

ans :◆ 1 Mbit de mémoire en 1973 : 75000 Euros◆ 1 Mbit de mémoire aujourd’hui : 0,05 Euros

■ Extension prévisible◆ Marchés émergents (Asie)◆ Technologie pervasive

■ 1/20éme de la valeur d’un téléviseur en 1960,■ 1/6éme aujourd’hui■ 15% de la valeur d’un PC en 1990,■ 40% aujourd’hui

introduction

Un peu d’histoire

● Aujourd’hui

● Économie des

embarqués

l’embarqué

embarqués

● En résumé

Conclusion

- p. 11/52

Économie des semi-conducteurs

croissance depuis 1970

PNB mondial Electronique Semi-conducteurs

2,7 % 10 % 66 %

chiffre d’affaire mondial de l’industrie du semi-conducteur

1965 1985 1995 2000 2005

1,5 G$ 25 G$ 144 G$ 200 G$ 300 G$

effet d’entraînement

Achat semi-conducteurs CA ventes mobiles CA opérateurs

30 G$ 200 G$ 500 G$

consommation annuelle (transistor par habitants)

2002 2005 2010

50 M 200 M 1 G

introduction

Un peu d’histoire

● Aujourd’hui

● Économie des

embarqués

l’embarqué

embarqués

● En résumé

Conclusion

- p. 12/52

semi-conducteurs: répartition mondiale

Origine Entreprise Ventes 2001 part de marché 2001 (%)

US 1 Intel 24927 16,10

JP 2 Toshiba 6783 4,38

EU 3 STMicroelectronics 6360 4,11

AS 4 Samsung 6303 4,07

US 5 Texas Instruments 6060 3,91

JP 6 NEC 5389 3,48

US 7 Motorola 4828 3,12

JP 8 Hitachi 4724 3,05

EU 9 Infineon Technologies 4512 2,91

EU 10 Philips Semiconductors 4402 2,84

US 11 IBMMicroelectronics 3892 2,51

JP 12 Mistubishi 3876 2,50

introduction

Un peu d’histoire

● Aujourd’hui

● Économie des

embarqués

l’embarqué

embarqués

● En résumé

Conclusion

- p. 13/52

importance des CPUS embarqués

Chip Category Number Sold

Embedded 4-bit 2000 million

DSP 600 million

Desktop 32/64-bit 150 millionSource: David Tennenhouse (Intel Director of Research).Keynote Speech at the 20th IEEE Real-Time SystemsSymposium (RTSS’99), December 1999

introduction

Un peu d’histoire

● Aujourd’hui

● Économie des

embarqués

l’embarqué

embarqués

● En résumé

Conclusion

- p. 14/52

Les CPUs utilisés pour l’embarqué

32-bit Family Number Sold

ARM 151 million

Motorola 68k 94 million

MIPS 57 million

Hitachi SuperH 33 million

x86 29 million

PowerPC 10 million

Intel i960 8 million

SPARC 3 million

AMD 29k 2 million

Motorola M-Core 1 millionsource: T. R. Halfhill. Embedded Market Breaks New Ground.Microprocessor Report, January 2000

introduction

Un peu d’histoire

● Aujourd’hui

● Économie des

embarqués

l’embarqué

embarqués

● En résumé

Conclusion

- p. 15/52

Catégories de systèmes embarqués

■ Systèmes orientés contrôle (aussi appelés systèmes tempsréel dur, systèmes critiques, signal world systems):◆ Automobile,◆ Avionique,◆ Centrales nucléaires

■ Systèmes orientés calcul, traitement du signal, (informationworld systems)◆ Télécommunications,◆ Multimédia,◆ Radio logicielle,◆ TV numérique◆ ⇒ ce que l’on appelle systèmes embarqués complexes dans

ce cours.

introduction

Un peu d’histoire

● Aujourd’hui

● Économie des

embarqués

l’embarqué

embarqués

● En résumé

Conclusion

- p. 16/52

En résumé

■ Secteur très important économiquement, spécialement enRhônes Alpes avec ST-microelectronics, le CEA, Minatechetc.

■ La loi de Moore est toujours vraie (bien qu’en ralentissementprogressif)

Évolution des circuits intégrés 1970 2000

prix 106 transistors 10 000$ 1$

Taille d’un masque 12 mm2 200 mm2

taille de gravure 10 µm 0.15 µm

nombre de couche de métal 1 8

Transistors par puces 2 300 64 000 000

■ Aujourd’hui: conception de systems on chip (SOC)■ Demain:

◆ MPSoC (100 processeurs sur une puce)◆ Nanotechnologies(électronique moléculaire)

introduction

Un peu d’histoire

● Qu’est ce qu’un SoC

● Exemple SoC: appareil photo

numérique

● Autre exemple: iPaQ H5500

● Architecture carte iPaQ

H5500● Architecture S3CA400A01

(companion chip)

● Critères de qualité de

conception d’un SOC

● Choix en fonction des

contraintes

Conclusion

- p. 17/52

Master 2004

introduction

Un peu d’histoire

numérique

(companion chip)

contraintes

Conclusion

- p. 18/52

Qu’est ce qu’un SoC

■ "System" : une collection d’éléments en interaction.■ "On Chip" : sur un seul circuit.■ Mais tous les circuits intégrés ne sont pas des SOC, Un

SOC implémente une fonction "complète"◆ Décodeur MPEG2 vidéo + audio + système + transport +

graphique + interface utilisateur◆ Terminal GSM : tout sauf la RF

introduction

Un peu d’histoire

numérique

(companion chip)

contraintes

Conclusion

- p. 19/52

Q’est ce qu’un SoC

■ Une seule fonctionun seul programme, exécuté en boucle

■ Contraintes importantescoût, consommation, taille, performance, . . .

■ Prise en compte de l’environnementdoivent réagir en fonction de nombreux paramètressouvent associé à des contraintes de temps-réel

■ Les éléments constitutifs d’un SOC sont "complexes",réutilisables et de nature variée :◆ Fonctions analogiques (convertisseurs A/N, filtres, etc.)◆ Fonctions numériques câblées (décodeur de Viterbi)◆ Fonctions logicielles (sur micro-contrôleur, DSP, RISC)◆ Composants de base (mémoires)

introduction

Un peu d’histoire

numérique

(companion chip)

contraintes

Conclusion

- p. 20/52

Exemple SoC: appareil photo numérique

traitement des pixels

compression

microcontroleur multiplication

accumulation

controleur DMA

controleur memoire bus USB UART controleur LCD

controleur

affichage

Lentille

preprocesseur CCD

■ Une seule fonction : prendre des photos■ Contraintes : taille, poids, consommation

introduction

Un peu d’histoire

numérique

(companion chip)

contraintes

Conclusion

- p. 21/52

Autre exemple: iPaQ H5500

■ Site http://www.handhelds.org/: "encourage andfacilitate the creation of open source software for use onhandheld and wearable computers"

■ Adaptation de linux pour PDA

introduction

Un peu d’histoire

numérique

(companion chip)

contraintes

Conclusion

- p. 22/52

iPaQ H5500, une fois démonté

introduction

Un peu d’histoire

numérique

(companion chip)

contraintes

Conclusion

- p. 23/52

Architecture carte iPaQ H5500

Cotulla Intel PXA250

ARM Xscale

SDRAM 0

SDRAM 1

SAMSUNG S3CA400A01(SAMCOP)

introduction

Un peu d’histoire

numérique

(companion chip)

contraintes

Conclusion

- p. 24/52

Architecture S3CA400A01 (companion chip)

Interuption

InterfaceIntelCotulla(Xscale)

32 KBytes

DMA (2channel)

Bridge

OneWire

SD Host

FCD I/F

Touch Panel I/F

PWR Man.PCMCIAExpansion

Accel I/F

LED[4:0]

SD Card I/F

FCD I/F

RXD[1:0]

TXD[1:0]A

YMcont

MA[25:0]

MD[31:0]

DREQ[1:0]

CS[5:2]

DP[1:0]

DN[1:0]

Reset, PLL, VCC, MCU−CLK

Interne Buffer

Accelerometer

introduction

Un peu d’histoire

numérique

(companion chip)

contraintes

Conclusion

- p. 25/52

Critères de qualité de conception d’un SOC

■ Métriques usuelles◆ Coût à l’unité: coût de fabrication d’une unité sans inclure

les coût non récurrents◆ Coûts non récurrents: coût de conception d’un système

(coût de mise en place de la première pièce).◆ Taille◆ Performance◆ Consommation◆ Évolutivité: possibilité de faire évoluer le système pour en

avoir des versions dérivées.

introduction

Un peu d’histoire

numérique

(companion chip)

contraintes

Conclusion

- p. 26/52

Critères de qualité de conception d’un SOC

■ Métriques usuelles (suite)◆ Temps de prototypage : temps de mise en place d’un

premier système fonctionnel◆ Temps de mise sur le marché : système suffisamment

fiable pour être commercialisé◆ Maintenance : possibilité de modifications du système par

rapport à sa première version◆ Fiabilité, sûreté de fonctionnement, . . .

introduction

Un peu d’histoire

numérique

(companion chip)

contraintes

Conclusion

- p. 27/52

Choix en fonction des contraintes

■ Une grande souplesse de réalisation est possible◆ Il n’y a pas de solution unique

implémentation

contraintede coût

implémenationuniquement logicielle

de performance

Performance

contrainte

uniquement matérielle

introduction

Un peu d’histoire

● Technologie clé: Processeurs

● technologie clé: circuits

intégrés

● technologie clé: conception

● Conception de haut niveau

● Technologies clé: logiciel

Conclusion

- p. 28/52

Master 2004

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 29/52

■ Technologie: une façon d’accomplir un tâche en utilisant desprocédés techniques, des méthodes ou de la connaissance.

■ Quatres technologies clés pour les systèmes embarqués:◆ Processeurs◆ Circuits intégrés◆ Conception◆ Logiciel (programmation, compilation, OS)

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 30/52

Technologie clé: Processeurs

■ Grande variété d’architecture de processeurs■ Un processeur n’est pas nécessairement programmable■ On distingue généralement

◆ Les processeurs à usage généraux (GPP)◆ Les processeurs spécifiques à certaines applications

(Application Specific Processor, ex: DSP)◆ les processeurs dédiés à une tache (single purpose

processor, ASIC)

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 31/52

Processeurs à usage général

■ Processeur programmable utilisé pourde nombreuses applications (aussiappelé microprocesseur)

■ Caractéristiques◆ Une mémoire pour le programme◆ Un chemin de donné (datapath)

généraliste comprenant un unitéarithmétique et logique (ALU)puissante et un gros banc de registre

■ intérêt :◆ Time to market et coût◆ flexibilité

■ Exemple: Pentium, PowerPC, ARM,MIPS, etc.

Data memory

Control logic and

State registers

Program memoryAssembly code

General ALU

Register File

Datapathcontroller

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 32/52

Processeurs dédiés

■ Circuits intégrés destinés à exécuterexactement un programme:coprocesseur, accélérateur matériel oupériphérique.

■ caractéristiques:◆ Contient seulement les composants

nécessaires à l’exécution duprogramme concerné

◆ en général pas de mémoire deprogramme

■ Intérêt :◆ Rapidité◆ Faible consommation◆ Surface

■ Exemple: unité de calcul flottant,contrôleur USB, PCMCIA, decoderMPEG, etc.

Control logic

controller

Data memory

DatapathDedicated

State registers

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 33/52

Processeurs spécifiques

■ Processeur programmable optimisépour une classe particulièred’applications (ASIP: ApplicationSpecific Integrated Processor).

■ Caractéristiques:◆ Mémoire de programme◆ Chemin de donnée optimisé◆ Unités fonctionnelles spécifiques

■ Intérêt :◆ Flexibilité◆ performances: surface, rapidité,

consommation■ Exemple: DSP, micro-controleur

(processeur 4bits, 8bits).

Dedicated ALU

Control logic and

State registers

Program memoryAssembly code

Register File

Datapathcontroller

Data memory

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 34/52

technologie clé: circuits intégrés

■ Composant électronique de base■ Portes logiques ON/OFF

semi−conducteur��

��

Grille

SourceMétal

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 35/52

Technologie CMOS

■ Complementary Metal OxideSemiconductor

■ Niveaux logiques : 0 = 0V et 1 = 3V■ Deux types de portes

◆ nMOS : conducteur si la grille=1◆ pMOS : conducteur si la grille=0

■ Quelques portes de baseInverseur, NAND, NOR

grille

source

grille g=0

Inverseur porte NAND

porte NOR

y (x+y)

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 36/52

Circuits numériques

■ Les portes logiques permettent de construire n’importe quelcircuit par assemblage :◆ mémorisation

Bascule RS

Valeur

� ��

Horloge

Donnée

Valeur

◆ logique combinatoire

Additionneur 1 bit

■ Un circuit peut être construit comme une machine à étatsfinie ou bien un circuit flot de données.

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 37/52

Circuits intégrés: choix possibles

■ Choix de technologie cible◆ Circuits reconfigurables: PLD, FPGA◆ Implémentation VLSI dédiée

■ Méthode de conception◆ Réutilisation de composants (composant virtuel,

intellectual property , IP)◆ Platform based design◆ Conception complète

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 38/52

Circuits VLSI dédiés

■ Domaine scientifique et technique énorme◆ Intersection entre physique, traitement du signal,

électronique, micro-électronique, informatique.◆ Technologie socle de toutes les autres (FPGA,

Processeurs, informatique, etc.)■ Choix technologiques

◆ Taille de la gravure (entre 1 µm et 0.09µm) aujourd’hui◆ Nombre de couches de métal

■ Méthode de conception◆ Circuits synchrones, asynchrones ou analogiques◆ Utilisation de bibliothèques pour les cellules de base

(standard cells)◆ Masque dessiné complètement (full custom)

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 39/52

Principe des architectures reconfigurables

■ FPGA: Field Programmable Gate Array■ Collection de “portes” programmables insérées dans un

réseau d’interconnexion programmable.■ Principaux constructeurs: Xilinx (Virtex, Spartan,

Microblaze), Altera (Stratics, Excalibur), Actel■ Les notions de “porte”, “réseau”, “programmable” diffèrent

mais le principe reste le même.■ Aujourd’hui on peut programmer plusieurs millions de portes

sur un FPGA■ On peut inclure des softcores: processeur ou SoC complet■ la gamme VirtexPro inclue aussi des Pentium cablés sur le

chip du FPGA

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 40/52

Xilinx série 4000: vue logique

un CLB

un FPGA

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 41/52

technologie clé: conception

Synthèse

COMPORTEMENTAL STRUCTUREL

PHYSIQUE

Systèmes Algorithmes

LogiqueTransfert de registres

ModulesUAL, registres

PortesTransistors

Rectangles

Processeurs

Interrupteur

Cellules

Circuits

Cartes

Armoires

Réalisation physique

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 42/52

Synthèse de matériel

Description comportementale

Fonctions booléennes

Synthèse RTL

Description RTL

Synthèse de haut niveau

Synthèse logique

Description en portes logiques

Placement routage

Masques de fabrication

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 43/52

Conception conjointe matériel-logiciel

Validation

Application Spec. Architecture Spec

Software Hardware

Hardware−Software partitionning

Hardware−Software co−simulation Performance

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 44/52

Démarche générale de conception

1. Spécifications fonctionnelles. Simulation fonctionnelle. (enC, VHDL, etc...)

2. Choix des technologies, et partitionnement, à partir desrésultats de la simulation, des contraintes de l’application,des technologies existantes, et des objectifs del’architecture

3. Adaptation des algorithmes aux technologies choisies4. Simulation des algorithmes (aussi proche du temps-réel que

possible)

5. Conception détaillée des différents modules6. Réalisation des modules, assemblage, test, etc...

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 45/52

Conception : Les points durs

■ Un système spécialisé a souvent une durée de vie quitraverse plusieurs générations de technologies

■ Les technologies cibles sont très nombreuses■ Les temps de simulation sont énormes (⇒ émulateurs

FPGA)■ Contraintes temps-réel et logiciel/OS■ Les contraintes de ressources sont interdépendantes:

◆ Coût◆ Performances◆ Consommation

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 46/52

Conception de haut niveau

■ Les algorithmes forment la partie la plus stable d’un système⇒ Essayer de démarrer la conception à partir despécifications algorithmiques, et non d’une descriptiond’architecture

■ Structure typique d’un système :◆ Parties régulières = spécifications simples, puissance de

calcul demandée élevée◆ “glue” de contrôle = spécifications complexes, puissance

de calcul demandée faible⇒ Besoin de langages de haut niveau très flexibles :

◆ Permettant la synthèse automatique◆ Permettant la vérification formelle◆ Interfaçables à des outils de conception standard◆ Permettant des simulations (pas trop in)efficaces◆ Acceptés par les concepteurs

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 47/52

Langages pour la conception de circuits

Schematic Entry

1980 1990 2000

VHDL Verilog

C, C++, SystemC, SpecC

System

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 48/52

Technologies clé: logiciel

■ Logiciel embarqué: domaine en pleine explosion◆ Aujourd’hui le développement d’un SoC demande plus de

travail logiciel que matériel◆ En Rhône-Alpes EmSOC : Embedded System On Chip.

Regroupement académiques-industriels au sein du pôlesde compétitivité Micro-nanotechnologies (Grenoble).

◆ Très faible standardisation (logiciel proprietaire, firmware)■ Systèmes d’exploitation embarqués

◆ Contraintes spécifiques: petite taille, contrainte temps réèl◆ Encore assez peu utilisés

■ Compilation pour systèmes embarqués◆ Compilation très optimisée (code exécutable embarqué)◆ Contraintes spécifique: taille de code, accès mémoire

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 49/52

Le code embarqué

■ Programmation d’architecture exotiques (DSP, VLIW,microcontroller)

■ Programmation mixte langage haut niveau / assembleur

■ Écriture de pilotes (driver)■ Code exécutable embarqué souvent non modifiable■ Durée de vie longue■ Compromis difficile entre ré-utilisabilité et performances

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 50/52

Les systèmes d’exploitation embarqués

■ De nombreux systèmes d’exploitation intègrent des servicetemps réèl (RTOS)

■ La taille du système est un paramètre critique pour certainesapplications (telephonie mobile)

■ L’utilisation de micro-noyau permet de s’adapter auxcontraintes

introduction

Un peu d’histoire

intégrés

Conclusion

- p. 51/52

La compilation pour systèmes embarqués

■ Chaîne de compilateur produite par le concepteur duprocesseurs

■ Critères d’optimisation différents que ceux de la compilationpour GPP:◆ Temps de compilation peu important (code exécutable

embarqué)◆ Taille de code et accès mémoire critiques◆ Sûreté de fonctionnement (code non modifiable)◆ Contrainte avec l’environnement extérieur

■ En général c’est la phase de back-end qui est différente descompilateurs habituels

introduction

Un peu d’histoire

Conclusion

● Conclusion

- p. 52/52

Conclusion

■ La conception de systèmes embarqués est en phase dedéveloppement active

■ Les technologies les plus récentes sont chez les industriels■ La part du logiciel augmente très vite■ Les méthodes et langages sont peu normalisés■ La région Rhônes-Alpes est un des pôles promis pour ce

domaine◆ Acteurs industriels majeurs (ST-microelectronics, Crolles

2, etc)◆ Centre de R&D important: CEA Leti, Minatech, EmSoC,

Imag, Inria.◆ Volonté politique de la région

Master 2005 - INSA Lyonperso.citi.insa-lyon.fr/trisset/cours/MasterWeb/chap1.pdf · Seconde guerre...

Documents

Transcript of Master 2005 - INSA Lyonperso.citi.insa-lyon.fr/trisset/cours/MasterWeb/chap1.pdf · Seconde guerre...

LES SÉISMES...Les tremblements de Terre au Chili Voici un texte d'un des nombreux séismes au Chili: Dans l'après-midi du 22 mai 1960, le séisme le plus puissant du 20éme siècle

Des rappels… Quʼ - INSA Lyonperso.citi.insa-lyon.fr/sfrenot/cours/PI/4TC_PI_Management_de_projet-2011.pdfProgramme : association de plusieurs projets ! Projet : ouvrage, organisationnel,

PROJETS PI - INSA Lyonperso.citi.insa-lyon.fr/sfrenot/cours/PI/description.pdf · Le cours repose sur les prérequis de 3TC dans le cadre du cours de Ma- ... L'évaluation du cahier

20éme BIBICHE REGGAE Partie · film, Alexandre GRONDEAU. Mais aussi a ne pas manquer, la prestation de percussions « Nyabinghi » (percussions traditionnelles jamaïcaine avec chants)

Techniques de transport haut débit - INSA Lyonperso.citi.insa-lyon.fr/jmgorce//cours/ARO - TTHD1 et 2.pdf · RTC : Réseau Téléphonique Commut ... sémaphore CCITT n°7 Signalisation

Les Ejb - INSA Lyonperso.citi.insa-lyon.fr/sfrenot/cours/SID/cours/SID22-Ejb.pdfpublic interface Fibonacci extends javax.ejb.EJBObject public int getFibonacciNumber(int n) throws java.rmi.RemoteException;

Linux embarqué : construire son OS Tanguy Rissetperso.citi.insa-lyon.fr/trisset/cours/rts12/slides/embedded-linux.pdf · Construire un Linux embarqué Devant le nombre croissant

Curriculum vitæ - INSA Lyonperso.citi.insa-lyon.fr/sfrenot/hdr/cvarticles-web...CV 1.1 Civilité Ce CV décrit mes activités de recherche et d'enseignement depuis ma thèse en novembre

xml-slides-3 - INSA Lyonperso.citi.insa-lyon.fr/sfrenot/cours/SID/cours/SID29-XML-3.pdf · 'Vérification qu'un document est bi 'Validation par rapport à une DTD Exemples: Xerces

Exploiting Java Code Interactions - INSA Lyonperso.citi.insa-lyon.fr/gsalagnac/publications/GSF-inria11.pdfExploiting Java Code Interactions 6 cution path. However, synchronization,

Cours de Compilation, Master 1, 2004-2005 - CITI …perso.citi.insa-lyon.fr/trisset/cours/compilStudent.pdf · 2013-08-23 · sity : ”Engineering a Compiler” [CT03]. Il est aussi

Le progrès technique du 20éme siècle

Systèmes d'Information Répartis - INSA Lyonperso.citi.insa-lyon.fr/sfrenot/cours/SID/cours/SID10...Stéphane Frénot -MID - V.0.0.3 I-Intro 32 Transparence de la distribution •

Master 2005 - INSA Lyonperso.citi.insa-lyon.fr/trisset//cours/MasterWeb/chap1.pdf · Seconde guerre mondiale Application au calcul (décryptage) Premiers ordinateurs (ENIAC) 1947-1954

Les servlets - INSA Lyonperso.citi.insa-lyon.fr/sfrenot/cours/SID/cours/SID23...Les servlets et les conteneurs de servlets Tomcat Stéphane Frénot -MID - V.0.0.1 II - Jsp 2 Répartition

perso.citi.insa-lyon.frperso.citi.insa-lyon.fr/trisset/cours/LMW/lmw-archX2.pdf · Architecture processeur de routage ... Le débit est une meilleur métrique Œ p. 29 Taille des

R1/SP Stack Pointer SETRE: Systèmes Embarqués Temps Réelperso.citi.insa-lyon.fr/trisset/cours/OTSETRE/cours... · 2013-08-23 · SETRE: Systèmes Embarqués Temps Réel Tanguy

RTS12: Systèmes Embarqués cours 1: Introduction aux ...perso.citi.insa-lyon.fr/trisset/cours/rts12/slides/cours_RTS12... · Introduction Processeurs embarqués introduction au MSP

Curriculum vitae - INSA Lyonperso.citi.insa-lyon.fr/sfrenot/hdr/cvarticles.pdf[Ibrahimetal.2007a] Noha Ibrahim, Fréderic Le Mouël et Sté-phane Frénot, « C-ANIS : A Contextual,

MAC-TC: programmation d’un plate forme DSP-FPGAperso.citi.insa-lyon.fr/trisset/cours/MAC-TC/mac-tc-embedded.pdf · En résumé System on Chip Programmation systèmes embarqués