t

 

Unité d'enseignement : Gestion de l'Energie et du Temps dans les systèmes embarqués

·         Présentation de l'option


Responsable : Daniel Gaffé

·         Modélisation SystemC :

Descriptif:
L'objectif de ce cours est d'introduire auprès des étudiants les notions de modélisation système et, en particulier, la modélisation en SystemC.
Basé sur une bibliothèque écrite en C++, la modélisation en SystemC permet un découpage fonctionnel des ressources d'une architecture.

Le plan du cours est le suivant :

·         Introduction à SystemC

·         Programmer en SystemC

·         Le noyau de simulation

·         Les niveaux d'abstraction en systemC

·         La modélisation en TLM

·         Les concepts avancés

Prérequis:

·         Cours de programmation en C++

·         Cours d'électronique générale (de type ENCC, ASCT et MAM)


English version


The objective of this course is to introduce with the students the notion of modelling at the system level and, in particular, the modelling in SystemC. Based on a library written in C++, the modelling in SystemC allows a functional division of the resources of any architecture.

The plan of the course is the following one:

·         Introduction: Overview of SystemC

·         Programming in SystemC

·         The simulation kernel

·         Abstraction levels in SystemC

·         SystemC: TLM modelling

·         Advanced concepts

The prerequisites of this course are the following ones:

·         Courts of programming in C++

·         Courts of general electronics (of type ENCC, ASCT and MAM)

·         Systèmes Réactifs Synchrones :

Descriptif:
Ce cours s'intéresse à une méthode de conception spécifique des systèmes numériques que leur finalité soit électronique ou informatique.
Cette méthode est basée sur l'Approche Synchrone. Les aspects méthodologiques y seront abordés et illustrés grâce à deux familles de langages synchrones différentes: l'une impérative (Esterel) et l'autre fonctionnelle (Lustre).
Ce cours sera également une introduction aux méthodes formelles de vérification de comportement de systèmes de contrôle. Prérequis:

·         indispensable: Electronique numérique combinatoire et séquentielle synchrone (module ENCC et ASCT de la maquette de Licence 1 et 2 ou équivalent)

·         fortement conseillé: Conception de Systèmes d'Etat discret du Master 1 Estel


English version


This course concerns a specific design method of numerical systems that makes it possible to generate as hardware target as software target.
This method is based on Synchronous Approch. Methodological Aspects will be aborted and illustrated with two synchronous language families: Esterel for imperative way and Lustre for fonctional way.
This course will be an introduction to formal methods about control systems behavior too.

Prerequisites:

·         required: numerical electronics (combinatorial and sequential): ENCC, ASCT courses in Licence 1 & 2 or equivalent other courses)

·         highly recommended: Course about Discret system design teaching in Estel Master 1

·         Conception faible consommation de SoC ( System On Chip):

Descriptif:
Les systèmes électroniques proposent un nombre de services utilisateurs en constante augmentation. Cette évolution est possible grâce aux avancées de la technologie des transistors qui a permis de développer des architectures de plus en plus complexes. Cette complexité se traduit par un nombre de transistors important qui entraîne une augmentation de la consommation énergétique. Cette consommation réduit à la fois l’autonomie des systèmes embarqués mais aussi leur durée de vie et leur fiabilité. Aussi la consommation d'énergie devient un problème majeur dans la conception des systèmes électroniques. La prise en compte des paramètres relatifs à la consommation doit donc intervenir au plus haut niveau de la conception. Ce cours présente les méthodes d'estimation de la la consommation à différents niveaux de la conception ainsi que les techniques statiques et dynamiques permettant de réduire la consommation d'énergie dans un circuit.

Prérequis:

·         logique combinatoire et séquentielle

·         Architecture de processeur

·         Rôle d'un système d'exploitation

·         Principe d'une technique d'ordonnancement