Programmé en UVF12B501
Présentation :
Les systèmes embarqués désignent généralement les systèmes électroniques embarqués dans des équipements autres que les "ordinateurs de bureau", et qui intègrent un ou plusieurs coeurs de processeurs. Les domaines d'applications concernés par ces systèmes deviennent de plus en plus nombreux : Multimédia, Télécommunications, Automobile, Avionique, Santé, Marine...
Les particularités de ces systèmes sont aussi nombreuses : étroite cohabitation entre matériel et logiciel, faible consommation, portabilité, temps réel, sûreté de fonctionnement et interopérabilité. Ces particularités et contraintes impliquent des répercutions sur : (1) les méthodes, les niveaux et les langages de spécification (2) les architectures matérielles/logicielles (3) les méthodologies de conception, et (4) les méthodes de validation.
Ainsi, cette UV présente et illustre les différents concepts relatifs au développement des systèmes embarqués. La spécification, les architectures matérielles/logicielles, et les méthodologies de conception et de validation seront présentées. Les récentes techniques dans ce domaine seront acquises à travers plusieurs travaux pratiques sur des logiciels et des cartes de prototypages appropriés.
Objectifs (obsolète):
Suivre l'évolution du marché et le besoin d'ingénieurs dans ce domaine émergent.
Acquérir une vision claire et une bonne compréhension de l'interaction (communication) entre logiciel et matériel dans les systèmes embarqués.
Obtenir les compétences nécessaires en matière de spécification, architecture, conception et validation de ces systèmes.
Volume horaire :
63h
Contenu détaillé :
Le contenu est subdivisé en 4 modules (cours + travaux pratiques) :
SE1 : Définitions, concepts et méthodologies
(9h de cours + 3h de BE)
Définition
Domaines d'applications
Critères d'évaluation (consommation, flexibilité, réutilisation, débit, puissance de calcul,...)
Les architectures matérielles/logicielles
Les technologies cibles (essentiellement les SoC)
Les modèles d'exécution
Les méthodologies de conception : conception conjointe (hardware/software codesign), conception à base de plateforme ou à base de composants (platform-based design, component-based design)
Les méthodes de validation (cosimulation, prototypage et vérification formelle)
SE2 : Couches matérielles
(12h de cours + 9h de TPs)
Architecture matérielle des processeurs (Microcontrôleur, DSP, ASIPs)
Interfaces des processeurs
Bus système (bus mémoire)
Ports d'entrée/sortie
Interruptions, DMA
Périphériques et protocoles de communication avancés (Série : I2C, CAN, FireWire, USB, Parallèle : PCI, Wireless : IrDA, Bluetooth, IEEE 802.11)Plateformes de développement matériel (ex. OMAP de chez TI, AMBA de chez ARM, Nexperia de chez Philips...)
SE3 : Couches logicielles
(12h de cours + 9h de TPs)
Langages de spécification
Eléments de base pour les OS
Constituants d'un OS embarqué
Critères et variantes des OS existants
Plateformes de développement logicielles pour l'embarqué
SE4 : Intégration système matériel/logiciel
(9h de TPs)
Intégration d'un système complet matériel/logiciel. Assemblage des parties déjà développées précédemment dans les différents modules. Mise en œuvre à travers un exemple d'application conséquente sur un processeur (+ OS simple) et un ou plusieurs périphériques
Année 2006/2007
Dernière mise à jour le 12-DEC-06
Validation par le responsable de programme le
|
