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

Save this PDF as:
 WORD  PNG  TXT  JPG

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

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

Transcription

1 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 s étalant sur un spectre large de domaines d applications, comme la transmission numérique (télécommunications), les systèmes multimédias, la téléphonie mobile, la sécurité des données (réseau de capteurs), le transport, reconnaissance, domotique, visio-conférence, video-surveillance, les systèmes de contrôle et de supervision industriels (contrôle de procédé, de qualité, robotique). A titre d exemple, selon le magazine spécialisé in-stat ( les revenus annuels mondiaux des média phones (téléphone mobile évolué intégrant un mini PC, TV, internet) atteindra les 8 billions $ d ici Le besoin d automatisation des chaines de fabrication impose l utilisation de microcontrôleurs évolués pouvant gérer des processus industriels complexes souvent en réseau. L évolution de l automobile donne lieu à l intégration de plus en plus importante des systèmes embarqués. On estime que 20 à 30% du coup final du véhicule. Il y a par exemple 40 calculateurs qui sont installés dans la Peugeot 607). Les systèmes embarqués vont surtout servir la sécurité (assistance de freinage, radar de recul, etc.). Les systèmes embarqués sont utilisé aussi en agriculture sous forme de réseaux de capteurs sans fil pour la collecte de données et la gestion de l irrigation par exemple. La partie informatique des systèmes embarqués atteint 65% (plus que le matériel). Par conséquent, de nouvelles approches et de nouveaux outils s imposent pour développer les couches logicielles sur les nouvelles architectures. Dans ce contexte, plusieurs formations se sont proposées pour former des ingénieurs dans la matière. Objectifs : L objectif de l option est de compléter et d étendre la formation des élèves ingénieurs afin de pouvoir intégrer ce marché de plus en plus important. Cette formation couvre les nouvelles architectures, les nouvelles technologies et les langages et les outils de conception. En effet, les applications sur les systèmes embarqués sont souvent exécutées sur des nouvelles architectures plus ou moins spécialisées. Ces systèmes sont à base de processeurs d ordre général, de processeurs spécifiques (DSP, co-processeurs spécialisés, accélérateurs matériels), des contrôleurs de communication, des mémoires hiérarchisées, des périphériques (écran, clavier, capteur d image). Ces nouvelles architectures embarquent de plus en plus des systèmes d exploitation OS (comme le Linux embarqué). La conception de ce type de ces systèmes fait intervenir plusieurs langages et techniques : Programmation en C/C++ pour l embarqué, OS et RTOS embarqué, Programmation en C/assembleur pour la programmation embarqué, etc. Le développement de système embarqué fait souvent à des kits de développement, par exemple le Kit OMAP ou la plateforme Davinci. Elles doivent être complétées par d autres aspects architecturaux plus ou moins spécialisées (multiprocesseurs, architectures parallèles, etc.). Une maîtrise des méthodes de conception logicielle et/ matérielle évoluées et mixte (codesign). Enfin les systèmes embarqués ciblent de plus en plus les circuits préfabriqués dit

2 FPGA pour embarquer ces nouvelles technologies. Cette technologie allie performance des circuits matériels câblés et la flexibilité des solutions programmables. Ainsi, l option tente à fournir aux étudiants un aperçu sur l informatique embarqué des aspects tant théoriques (concepts et méthodologies) que pratiques (langages et plateformes). Les problèmes liés à la conception et à l implémentation et/ou au prototypage des systèmes embarqués sont adressés. De plus, l'étudiant aborde la programmation temps réel, avec une compréhension de base pour les systèmes embarqués, la communication temps réel, le traitement de données, la théorie de contrôle et la simulation. Ainsi, l'étudiant se familiarise avec l'intégration d aspects multidisciplinaires dès le niveau système. Il sera capable de réaliser la partie logicielle dans une plateforme de système embarqué, d identifier les goulots de performance, pouvoir de les éliminer afin d améliorer les performances du système embarqués dans le niveau approprié. Implication des industriels et Possibilités d embauche : Le profil de cette option est assez demandé en industrie. D ailleurs plusieurs ont exprimé leur intérêt de recrutement et de participation à la formation et de co-encadrement de PFE. On cite en particulier: SAGEM, ST, TELNET,ARDIA,Cynapsys, etc. comme SA Alpha Engineering, TDS, Powers mind, etc. comme P&ME Des lettres d appui peuvent être fournies. Groupes de modules Groupe de modules Volume horaire année CI TP coef GM1 : langages & système d exploitation embarqué C embarqué/systemc 2 ème année Conception de haut niveau et VHDL 2 ème année Systèmes d exploitation embarqué temps réel 3 ème année 22.5 Linux embarqué 3 ème année 22.5 GM2 : Architectures des Processeurs embarqués Microcontrôleur et Processeur ARM 2 ème année 22.5 DSP et processeur multimédia 2 ème année Architectures multiprocesseurs 3 ème année 22.5 GM3 : techniques de Conception des systèmes embarqués Systèmes embarqués 3 ème année 22.5 Co-design 22.5 SoC sur FPGAs 3 ème année GM4 : Applications embarquées Traitement multimédia embarqué 3 ème année

3 Réseaux de capteur sans fil 3 ème année Contrôle intelligent : robotique ème année : 150 heures 3 ème année : 285 heures. Descriptif des modules : 1. Module C embarqué/ SystemC : Le but de ce module est la maîtrise des deux langages de programmation C et systemc. Le langage est très utilisé pour la programmation des processeurs embarqués, les DSP et les processeurs multimédia. la majorité des normes (compression vidéo, standard de transmission) proposent des versions gratuites en langage C. Le C embarqué est un sous ensemble du langage C spécifique aux systèmes embarqués. Il est plus simple que le langage C mais garde toute sa puissance (accès aux périphériques, performance du compilateur, etc...). Le SystemC est un langage de programmation capable de modéliser des circuits matériels. Il intègre en effet différentes notions comme la concurrence, la gestion du temps. Il peut être utilisé aussi bien pour la spécification que pour la cosimulation logicielle matérielle. Enseignants : M. Melliti (Telnet)/Fatma Abbes (ISI Mahdia) 2. Module Conception de haut niveau et VHDL: Le langage VHDL permet la modélisation des circuits numériques avec différents niveaux d abstraction allant du niveau fonctionnel jusqu au niveau portes logiques. Il permet la modélisation et le test rapide de composants numériques complexes. Le but de ce cours est la maîtrise du langage VDHL et du flot de conception des circuits associés en utilisant les circuits numériques programmables de type FPGA. Enseignants : Khaled Jerbi (ENIS)/Zied Nen Salem (Alpha Engineering) 3. Systèmes d exploitation temps réel Les systèmes embarqués ont une part de marché grandissante. Ces systèmes contiennent des architectures et des applications de complexité ascendante et des contraintes temps réel en croissance continue. Tous ces paramètres imposent l utilisation des systèmes d exploitation temps réel (RTOS). L objectif de ce cours est de donner un aperçu général sur les RTOS, leurs spécificités et les mécanismes qu ils offrent pour la gestion de temps réel (ordonnancement temps réel, préemption, synchronisation). Enseignants : Maher Ben Jemaa (ENIS)/ Rym Chouour (ENIS) 4. Linux embarqué Le but de ce TP est la prise en main d un exemple très utilisé de RTOS qui est le linux embarqué. Il s agit de maîtriser la programmation temps réel basé sur le langage C (interruptions, le multitâche, mécanisme de synchronisation). Enseignants : Khaled ben Amor (Telnet)/ M. F. Magdich (Telnet) 5. Microcontrôleur et Processeur ARM

4 Le but de ce cours est la maîtrise d une classe de processeurs embarqués dédiés au contrôle. Une attention particulière sera donnée aux microcontrôleurs ARM très utilisés dans le domaine embarqué. Un aperçu général sur leur architecture sera donné. Des exemples de leurs programmations seront effectués. Enseignants : Jalel Ktari (ENIS)/Ameur Sboui (Telnet) 6. DSP et processeur multimédia Le but de cours est l étude des processeurs spécifiques aux télécommunications et au multimédia. Ces processeurs utilisent diverses techniques pour assurer la complexité des application de télécom/multimédia. Un aperçu sera donné sur ces différentes techniques (modes d adressage spécifiques, architectures super scalaires et VLIW, caches hiérarchiques, exploitation du parallélisme). Une étude de cas sur la conception d un (mini) processeur spécialisé sera menée : conception et intégration de coprocesseurs, mesure de gain. Enseignants : Nader Ben Amor (ENIS)/Yousra Ben Jemaa (ENIS) 7. Architectures multiprocesseurs Il s agit d étudier les nouvelles architectures en terme multiprocesseurs, les mémoires distribuées, les NoC. Un autre aspect sera aussi traité qui s ajoute dans le métier : système d exploitation et compilateur pour ce type d architecture. Enseignants : Mouna Baklouti (ENIS)/M. Abid (ENIS) 8. Systèmes embarqués Le but de ce cours est de présenter les caractéristiques des systèmes embarqués, leur domaine d utilisation (notamment dans le contrôle et le multimédia). Il s agit ensuite de donner un aperçu sur les contraintes de conception associée à ces systèmes (contrainte d architecture, de consommation, de mobilité etc...). Un aperçu sera donné sur les différentes techniques d adaptation utilisée sur ces systèmes. Ces techniques permettent aux systèmes de satisfaire différentes contraintes (durée de vie, qualité de service, temps réel) tout en étant sous l influence de l environnement variable. Une étude de cas sera menée sur un exemple de systèmes embarqués adaptatif. Enseignants : Zied Ben Salem (Alpha Engineering)/ 9. Prototypage des SoC sur FPGAs Les SoC (systèmes sur puce) sont des systèmes électroniques complexes intégrés dans une seule puce. Ceci permet une augmentation de performance et d énergie par rapports aux systèmes sur carte. Mais leur conception posent beaucoup de problèmes dues notamment à la nature différentes des composants à intégrer (processeurs, mémoire, contrôleurs, composants matériels). Le but de ce cours est de présenter ces problèmes de conception. Une solution à ces problèmes en utilisant la technologie FPGA sera donnée. Des exemples de conception de SoC complexes intégrant un processeur, des composants matériels spécifiques seront donnés. Ces systèmes seront intégrés dans des circuits numériques programmables de type FPGA. Ces études de cas permettent aux étudiants de maîtriser la conception des SOC sous FPGA (logiciels de synthèse et de placement routage, modélisation en VHDL, langage C). Enseignants : Mohamed Abid (ENIS)/Fahmi Magdich 10. Co-design

5 Le but de ce cours est de présenter la méthodologie de conception mixte logicielle/matérielle. Cette méthodologie permet d assurer une adéquation entre les spécifications de l application et les caractéristiques de l architecture. Enseignants : Mohamed ABID, Yassine Aoudni 11. Traitement multimédia embarqué Il s agit dans ce cours de présenter différentes applications multimédia souvent rencontrés dans les systèmes embarqués : (compression vidéo, reconnaissance de forme, synthèse d image 3D). Enseignants : Imed Ammar/Nader Ben Amor/Yousra Ben Jemaa 12. Réseaux de capteurs Les réseaux de capteurs sans fil sont très utilisés dans plusieurs domaines : agricole, militaire, etc... Il sont formés un grand nombre de nœuds qui sont des micro-capteurs capables de récolter et de transmettre des données environnementales d'une manière autonome. Le but de ce cours est de donner un aperçu sur ce type de systèmes, ainsi que leur mode de fonctionnement, les problèmes de leur utilisation (défaillance, sécurité, etc...) Enseignants : Maher Ben Jemaa (ENIS)/Walid Chebbi 13. Contrôle intelligent et robotique: Les systèmes embarqués intègrent de plus en plus du contrôle. Vu la possibilité de faire évoluer les applications avec du logiciel, on embarque de plus en plus de l informatique à base de microcontrôleur, DSP, FPGA, etc. L objectif de ce cours et d introduire l adéquation algorithme application architecture pour ce type d application. Enseignants : M. Ouali (ENIS)/Adel Alimi (ENIS)

SYSTEMES ELECTRONIQUES SYSTEMES INFORMATIQUES. http://www-master.ufr-info-p6.jussieu.fr/lmd/specialite/sesi/

SYSTEMES ELECTRONIQUES SYSTEMES INFORMATIQUES. http://www-master.ufr-info-p6.jussieu.fr/lmd/specialite/sesi/ http://www-master.ufr-info-p6.jussieu.fr/lmd/specialite/sesi/ SYSTEMES ELECTRONIQUES & SYSTEMES INFORMATIQUES RESPONSABLES: Julien Denoulet: julien.denoulet@upmc.fr Jean-Lou Desbarbieux: jean-lou.desbarbieux@upmc.fr

Plus en détail

UNIVERSITE HASSAN II DE CASABLANCA. FACULTE DES SCIENCES & TECHNIQUES MOHAMMEDIA Département Génie Electrique

UNIVERSITE HASSAN II DE CASABLANCA. FACULTE DES SCIENCES & TECHNIQUES MOHAMMEDIA Département Génie Electrique UNIVERSITE HASSAN II DE CASABLANCA FACULTE DES SCIENCES & TECHNIQUES MOHAMMEDIA Département Génie Electrique FORMATION CONTINUE Diplôme d Université de Casablanca Master d Université Master en Sciences

Plus en détail

Adaptation et automatisation d'un ot de reconguration partielle pour permettre la relocation

Adaptation et automatisation d'un ot de reconguration partielle pour permettre la relocation Adaptation et automatisation d'un ot de reconguration partielle pour permettre la relocation Muller Contexte performance/conso v.s. exibilité/programmation FPGA (perf d'un circuit dédié + exibilité de

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

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

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

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

Le programme d examens préparé par le Bureau canadien des conditions d admission en génie d Ingénieurs Canada englobe dix-sept disciplines du génie.

Le programme d examens préparé par le Bureau canadien des conditions d admission en génie d Ingénieurs Canada englobe dix-sept disciplines du génie. INTRODUCTION Le programme d examens préparé par le Bureau canadien des conditions d admission en génie d Ingénieurs Canada englobe dix-sept disciplines du génie. Le programme d examens de chaque spécialité

Plus en détail

/&! /)! /+! /,! /,! 01 % Programmes et contenus de la Licence Appliquée Technologies de l Informatique 2013

/&! /)! /+! /,! /,! 01 % Programmes et contenus de la Licence Appliquée Technologies de l Informatique 2013 &'&()* )'+* "#$%#% )'+(,* /&! 01 /)! $% /+! /,! 01 % +'-(.* /&! G!- /)! G! /+! G /,! G! 01 $% 01 % 1/$ Programmes et contenus de la Licence Appliquée Technologies de l Informatique 01 F 1.. Plans d études

Plus en détail

NIVEAU : 3ING GEC-CSM

NIVEAU : 3ING GEC-CSM NIVEAU : 3ING GEC-CSM Techniques 1 de conception et technologies de fabrication des 01/06/2015 Cis 10h30 à 12h 1h30 Analyse et synthèse de circuits analogiques 4 03/06/2015 10h30 à 12h 1h30 Traitement

Plus en détail

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

PROPOSES PAR LA COMMISSION NATIONALE SECTORIELLE EN INFORMATIQUE

PROPOSES PAR LA COMMISSION NATIONALE SECTORIELLE EN INFORMATIQUE REPUBLIQUE TUNISIENNE **** Ministère de l Enseignement Supérieur, de la Recherche Scientifique et de la Technologie **** DIRECTION GENERALE DE LA RENOVATION UNIVERSITAIRE REFORME LMD INFORMATIQUE PROGRAMMES

Plus en détail

Modules du DUT Informatique proposés pour des DCCE en 2014/2015

Modules du DUT Informatique proposés pour des DCCE en 2014/2015 Modules du DUT Informatique proposés pour des DCCE en 2014/2015 Résumé de l offre : Parmi les 5500 heures d enseignement informatique dispensées au département informatique de l IUT (avec 2880 heures de

Plus en détail

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS)

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) Intitulé (cadre 1) DUT Génie électrique et informatique industrielle (GEII) 3 Parcours possibles : Automatismes et Réseaux Locaux Energies

Plus en détail

Domaine de Formation : Sciences et Technologies Mention : Informatique Spécialité : Informatique de Gestion

Domaine de Formation : Sciences et Technologies Mention : Informatique Spécialité : Informatique de Gestion LICENCE FONDAMENTALE INFORMATIQUE DE GESTION Domaine de Formation : Sciences et Technologies Mention : Informatique Spécialité : Informatique de Gestion I. Présentation de la licence Le but de la Licence

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

2015 // 2016. des formations. programme. Retrouvez toutes ces informations sur enseirb-matmeca.bordeaux-inp.fr

2015 // 2016. des formations. programme. Retrouvez toutes ces informations sur enseirb-matmeca.bordeaux-inp.fr programme des formations Filière Électronique...2 Filière Informatique...3 Filière Mathématique et Mécanique...4 Filière Télécommunications...5 Filière Réseaux et Systèmes d Information...6 Filière Systèmes

Plus en détail

Les nouveaux métiers de l embarqué et de l internet des objets

Les nouveaux métiers de l embarqué et de l internet des objets Les nouveaux métiers de l embarqué et de l internet des objets Organisation de la session Etat de lieux des systèmes embarqués et de l IoT Laurent George, Professeur à ESIEE Paris, responsable de la filière

Plus en détail

Introduction à la Programmation Sylvain Tisserant

Introduction à la Programmation Sylvain Tisserant INFO 1 Introduction à la Programmation Sylvain Tisserant Mes coordonnées Enseignant-Chercheur Professeur au département IRM depuis sa création (ES2I, ESIL, Polytech Marseille) Directeur du département

Plus en détail

Conception des Systèmes Numériques et Mixtes

Conception des Systèmes Numériques et Mixtes Conception des Systèmes Numériques et Mixtes Daniela Dragomirescu 1,2, Michael Kraemer 1,2, Marie-Line Boy 3, Philippe Bourdeau d Aguerre 3 1 - Université de Toulouse : INSA Toulouse, 135 Av. de Rangueil

Plus en détail

Expert ou chef de projet en contrôle-commande

Expert ou chef de projet en contrôle-commande Expert ou chef de projet en contrôle-commande C1C25 Electronique, électrotechnique ou contrôle-commande - IR Spécialités L expert ou chef de projet en contrôle-commande peut être amené à se spécialiser

Plus en détail

Table des Matières. Table des Figures 7. Introduction Générale 9. Chapitre 1 - Langages de description d architectures matérielles hybrides 23

Table des Matières. Table des Figures 7. Introduction Générale 9. Chapitre 1 - Langages de description d architectures matérielles hybrides 23 Table des Figures 7 Introduction Générale 9 1. Outils et plate-formes de construction d application 9 2. Intégration de paradigmes de conception dans le cycle de vie 10 2.1. Equilibrage de charge et équilibrage

Plus en détail

1.2 Unité responsable Département d informatique, Faculté des sciences

1.2 Unité responsable Département d informatique, Faculté des sciences 1. Identification du programme 1.1 Titre du programme Maîtrise ès sciences (informatique) 1.2 Unité responsable Département d informatique, Faculté des sciences 1.3 Diplôme accordé M. Sc. (Informatique)

Plus en détail

MATHEMATIQUES ET SCIENCES POUR L INGENIEUR

MATHEMATIQUES ET SCIENCES POUR L INGENIEUR MASTER SCIENCES, TECHNOLOGIES, SANTE / STAPS MATHEMATIQUES ET SCIENCES POUR L INGENIEUR Spécialité Ingénierie Numérique, Signal-Image et Informatique Industrielle (INS3I) www.univ-littoral.fr OBJECTIFS

Plus en détail

Simulation de haut niveau de systèmes d exploitations distribués pour l exploration matérielle et logicielle

Simulation de haut niveau de systèmes d exploitations distribués pour l exploration matérielle et logicielle École Doctorale Science et Ingénieurie de l Université de Cergy-Pontoise Discipline : Sciences et Technologies de l Information et de la Communication Spécialité : Informatique THÈSE Présentée pour obtenir

Plus en détail

Annexe 1 RAPPEL DES PRINCIPALES DISPOSITIONS LEGALES DE L'APPRENTISSAGE

Annexe 1 RAPPEL DES PRINCIPALES DISPOSITIONS LEGALES DE L'APPRENTISSAGE Annexe 1 RAPPEL DES PRINCIPALES DISPOSITIONS LEGALES DE L'APPRENTISSAGE Statut et rémunération de l'apprenti en Licence Professionnelle AII : La durée du contrat est de un an. Il peut être résilié sans

Plus en détail

ETUDE SUR LA FILIERE ET LES METIERS DE L ELECTRONIQUE 2ème PARTIE

ETUDE SUR LA FILIERE ET LES METIERS DE L ELECTRONIQUE 2ème PARTIE ETUDE SUR LA FILIERE ET LES METIERS DE L ELECTRONIQUE 2ème PARTIE Décembre 2010 Observatoire Prospectif et Analytique de Métiers et Qualifications de la Métallurgie Cette 2 étude confiée par l OPAMQM à

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

PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN

PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN 1. DÉVELOPPEMENT D'APPLICATION (CONCEPTEUR ANALYSTE) 1.1 ARCHITECTURE MATÉRIELLE DU SYSTÈME INFORMATIQUE 1.1.1 Architecture d'un ordinateur Processeur,

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

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

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

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

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

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

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

Chapitre 1 : Introduction aux méthodologies de conception et de vérification pour SE 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)

Plus en détail

Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS)

Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Responsables: Tanguy Risset & Marine Minier Tanguy.Risset@insa-lyon.fr Marine.minier@insa-lyon.fr http://master-info.univ-lyon1.fr/m2rts/

Plus en détail

> System on Chip Altera <

> System on Chip Altera < V2013.06 Advanced Logic Synthesis for Electronics http://www.alse-fr.com Nios II, Qsys & FPGA SoC? Maîtrisez... grâce à nos formations : > System on Chip Altera < Essential + Expert Pour les ingénieurs

Plus en détail

Présentation formations SPI/EEA

Présentation formations SPI/EEA ISIFC Présentation formations SPI/EEA Université de Franche-Comté U.F.R. Sciences et Techniques ISIFC Besançon UFR Sciences et Techniques Licence: icence Bac+3 années d étude Licence professionnelle (1

Plus en détail

FORMATION ÉOLIENNE LEADERSHIP DE LA CHAMPAGNE-ARDENNE

FORMATION ÉOLIENNE LEADERSHIP DE LA CHAMPAGNE-ARDENNE FORMATION ÉOLIENNE LEADERSHIP DE LA CHAMPAGNE-ARDENNE 1 L ÉOLIEN EN CHAMPAGNE-ARDENNE EN 2014 Grâce à son excellente ressource en vent et ses vastes espaces disponibles, la Champagne-Ardenne s est positionnée

Plus en détail

Les sections 6 et 7. du ComitéNational de la RechercheScientifique

Les sections 6 et 7. du ComitéNational de la RechercheScientifique Les sections 6 et 7 du ComitéNational de la RechercheScientifique (CoNRS) Frédérique Bassino et Michèle Basseville Plan Le comité national Les missions des sections Les sections 6 et 7 Le comiténational

Plus en détail

Utilisation de SystemC pour la conception des SoC

Utilisation de SystemC pour la conception des SoC Utilisation de SystemC pour la conception des SoC aniela ragomirescu 1,2, Roberto Reyna 3 1 - Université de Toulouse : INSA Toulouse, 135 Av. de Rangueil Toulouse cedex 4 2-LAAS-CNRS ; Université de Toulouse,

Plus en détail

Cahier des charges Offre de formation LMD :

Cahier des charges Offre de formation LMD : REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE Ministère de L Enseignement Supérieur et de la Recherche Scientifique Université des Sciences et de la Technologie Houari Boumediene Faculté d Electronique

Plus en détail

Panorama des études à travers les filières. FEEL du 23 octobre 2014

Panorama des études à travers les filières. FEEL du 23 octobre 2014 Panorama des études à travers les filières FEEL du 23 octobre 2014 Plan Structure générale des études à l'ensimag 1A : le tronc commun 2A/3A : entrée dans les filières et spécialisation Modalités du choix

Plus en détail

Proposition de programme de formation pour les enseignants chargés de la spécialité Informatique et sciences du numérique en terminale S

Proposition de programme de formation pour les enseignants chargés de la spécialité Informatique et sciences du numérique en terminale S Proposition de programme de formation pour les enseignants chargés de la spécialité Informatique et sciences du numérique en terminale S La formation des enseignants chargés de la spécialité Informatique

Plus en détail

Architectures logicielles pour les systèmes embarqués temps réel

Architectures logicielles pour les systèmes embarqués temps réel ETR 07 4 septembre 2007 Architectures logicielles pour les systèmes embarqués temps réel Jean-Philippe Babau, Julien DeAntoni jean-philippe.babau@insa-lyon.fr 1/31 Plan Architectures logicielles pour les

Plus en détail

Systèmes Embarqués et Enfouis (SMB204)

Systèmes Embarqués et Enfouis (SMB204) Systèmes Embarqués et Enfouis (SMB204) Tristan Crolard Laboratoire CEDRIC Equipe CPR tristan.crolard@cnam.fr cedric.cnam.fr/cpr/crolard 1 Systèmes Embarqués et Enfouis (SMB204) Intervenants : Tristan Crolard,

Plus en détail

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations

Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Gene-Auto, Projet ITEA 05018 IDM pour la génération de code critique certifié Validation et Vérification de transformations Journées GDR GPL Transformations de modèles et de programmes 18 janvier 2008

Plus en détail

Formation et diplômes en Electronique et en Informatique

Formation et diplômes en Electronique et en Informatique Ecole d Ingéniérie Appliquée SA Avenue du Tribunal Fédéral 1 CH - 1005 Lausanne Tél +1 1 1 16 19 Fax +1 1 1 17 79 Email : direction@e-i-a.ch Internet : www.e-i-a.ch Pour la direction J.-P. Bertrand et

Plus en détail

Université Libre de Tunis

Université Libre de Tunis Ingénieur: Génie Informatique Code et Intitulé des Matières Enseignées Plan d'etudes : Semestre 1 S1-01 Algorithmique et Structures de Données 1 S1-02 Programmation C S1-03 Logiques Mathématiques S1-04

Plus en détail

Offres de stages Adeneo Embedded

Offres de stages Adeneo Embedded Offres de stages Adeneo Embedded Postes: Stages de fin d etude Société: Adeneo Embedded. Postes ouverts sur: Ecully (69), France Massy (91), France Type: Stages de 4 à 6 mois pour 1 à 2 étudiants Aperçu

Plus en détail

Bienvenue aux SI5 et Master 2 IFI de l Université Nice Sophia Antipolis. Parcours IAM: Informatique Ambiante et Mobile

Bienvenue aux SI5 et Master 2 IFI de l Université Nice Sophia Antipolis. Parcours IAM: Informatique Ambiante et Mobile Bienvenue aux SI5 et Master 2 IFI de l Université Nice Sophia Antipolis Parcours IAM: Informatique Ambiante et Mobile SI5 IAM - Master 2 IFI parcours IAM Site Web de liaison Les amis de IAM : http://iam-ami.unice.fr/

Plus en détail

Organisation du parcours M2 IR Les unités d enseignements (UE) affichées dans la partie tronc commun sont toutes obligatoires, ainsi que le stage et

Organisation du parcours M2 IR Les unités d enseignements (UE) affichées dans la partie tronc commun sont toutes obligatoires, ainsi que le stage et Organisation du parcours M2 IR Les unités d enseignements (UE) affichées dans la partie tronc commun sont toutes obligatoires, ainsi que le stage et l'anglais. L'étudiant a le choix entre deux filières

Plus en détail

1.3.3.1 Performance... 10 1.3.3.2 Puissance consommée... 12 1.3.3.3 Coût... 13 1.3.3.4 Les compromis possibles... 13

1.3.3.1 Performance... 10 1.3.3.2 Puissance consommée... 12 1.3.3.3 Coût... 13 1.3.3.4 Les compromis possibles... 13 /HVV\VWqPHVGHWUDLWHPHQWQXPpULTXHGX VLJQDO 6RPPDLUH 1.1 INTRODUCTION...2 1.2 LE MARCHE DES CIRCUITS DE TRAITEMENT DU SIGNAL...3 1.2.1 Etat du marché...4 1.2.2 Domaines d application...5 1.3 CARACTERISTIQUES

Plus en détail

QUELQUES CONCEPTS INTRODUCTIFS

QUELQUES CONCEPTS INTRODUCTIFS ESIEE Unité d'informatique IN101 Albin Morelle (et Denis Bureau) QUELQUES CONCEPTS INTRODUCTIFS 1- ARCHITECTURE ET FONCTIONNEMENT D UN ORDINATEUR Processeur Mémoire centrale Clavier Unité d échange BUS

Plus en détail

MASTER INFORMATIQUE ET INGENIERIE DES SYSTEMES COMPLEXES PARCOURS SIGNAL ET TELECOMMUNICATIONS

MASTER INFORMATIQUE ET INGENIERIE DES SYSTEMES COMPLEXES PARCOURS SIGNAL ET TELECOMMUNICATIONS MASTER INFORMATIQUE ET INGENIERIE DES SYSTEMES COMPLEXES PARCOURS SIGNAL ET TELECOMMUNICATIONS Domaine ministériel : Sciences, Technologies, Santé Présentation Nature de la formation : Diplôme national

Plus en détail

Catalogue des stages Ercom 2013

Catalogue des stages Ercom 2013 Catalogue des stages Ercom 2013 Optimisations sur Modem LTE Poste basé à : Caen (14) Analyse et optimisation des performances des traitements réalisés dans un modem LTE. - Profiling et détermination des

Plus en détail

CALCULS PARALLÈLES ET APPLICATIONS LA VISION PAR ORDINATEUR AU CEA LIST, QUELS CHOIX ARCHITECTURAUX?

CALCULS PARALLÈLES ET APPLICATIONS LA VISION PAR ORDINATEUR AU CEA LIST, QUELS CHOIX ARCHITECTURAUX? CALCULS PARALLÈLES ET APPLICATIONS LA VISION PAR ORDINATEUR AU CEA LIST, QUELS CHOIX ARCHITECTURAUX? LABORATOIRE DE VISION ET INGÉNIERIE DES CONTENUS (LVIC) Fusion multimedia : extraction multimodale d

Plus en détail

Diplômé de l Institut Supérieur d Informatique et Multimédia de Sfax

Diplômé de l Institut Supérieur d Informatique et Multimédia de Sfax Mohamed Ali Sakka Ingénieur en Informatique et Télécommunications Diplômé de l Institut Supérieur d Informatique et Multimédia de Sfax Adresse : ROUTE GREMDA KM 6 BP 68, CCP: 3022, SFAX. Tél : +216 27

Plus en détail

MODELISATION UN ATELIER DE MODELISATION «RATIONAL ROSE»

MODELISATION UN ATELIER DE MODELISATION «RATIONAL ROSE» MODELISATION UN ATELIER DE MODELISATION «RATIONAL ROSE» Du cours Modélisation Semi -Formelle de Système d Information Du Professeur Jean-Pierre GIRAUDIN Décembre. 2002 1 Table de matière Partie 1...2 1.1

Plus en détail

EMPLOI DU TEMPS SEMESTRE I 2014/2015 CLASSE : 1A-GM- G1 08.30-10.00 10.00-11.30 11.30-13.00 14.00-15.30 15.30-17.00 17.00--18.30

EMPLOI DU TEMPS SEMESTRE I 2014/2015 CLASSE : 1A-GM- G1 08.30-10.00 10.00-11.30 11.30-13.00 14.00-15.30 15.30-17.00 17.00--18.30 EMPLOI DU TEMPS SEMESTRE I 0/0 CLASSE : A-GM- G 08.30-0.00 0.00-.30.30-3.00.00-.30.30-.00.00--8.30 Atelier Physique LAB MECA Atelier Physique LAB MECA Algorithmique & Programmation B8 E0 Atelier Matériaux

Plus en détail

WP2T23 «APPLICATION de de REFERENCE» Prototypage rapide d une application de traitement d images avec SynDEx EADS

WP2T23 «APPLICATION de de REFERENCE» Prototypage rapide d une application de traitement d images avec SynDEx EADS WP2T23 «APPLICATION de de REFERENCE» Prototypage rapide d une application de traitement d images avec SynDEx EADS Avec l appui de l INRIA www-rocq.inria.fr/syndex 1 PLAN I. Présentation du sujet II. Présentation

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

Autonomie énergétique des objets communicants : Choix technologiques et optimisation de la consommation

Autonomie énergétique des objets communicants : Choix technologiques et optimisation de la consommation Autonomie énergétique des objets communicants : Choix technologiques et optimisation de la consommation r.briand@estia.fr Octobre 2012 ASPROM ESTIA-Recherche Enseignant-Chercheur à l ESTIA Ecole Supérieure

Plus en détail

Modélisation de la Reconfiguration Dynamique appliquée à un décodeur LDPC Non Binaire

Modélisation de la Reconfiguration Dynamique appliquée à un décodeur LDPC Non Binaire Modélisation de la Reconfiguration Dynamique appliquée à un décodeur LDPC Non Binaire LAURA CONDE-CANENCIA 1, JEAN-CHRISTOPHE.PREVOTET 2, YASET OLIVA 2, YVAN EUSTACHE 1 1 Université Européenne de Bretagne

Plus en détail

Description et regroupement de ressources pour les réseaux virtuels

Description et regroupement de ressources pour les réseaux virtuels École nationale d ingénieurs de Sfax Description et regroupement de ressources pour les réseaux virtuels Houssem Medhioub M. Mohamed Jmaiel Président M. Slim Kanoun Membre M. Maher Ben Jemaa Encadreur

Plus en détail

PROGRAMME DETAILLE. Parcours en première année en apprentissage. Travail personnel. 4 24 12 24 CC + ET réseaux

PROGRAMME DETAILLE. Parcours en première année en apprentissage. Travail personnel. 4 24 12 24 CC + ET réseaux PROGRAMME DETAILLE du Master IRS Parcours en première année en apprentissage Unités d Enseignement (UE) 1 er semestre ECTS Charge de travail de l'étudiant Travail personnel Modalités de contrôle des connaissances

Plus en détail

IFT2251 : Génie logiciel

IFT2251 : Génie logiciel Julie Vachon, Hiver 2006 IFT2251 : Génie logiciel Chapitre 5. Conception Section 3. Principes et qualités Conception : principes et qualités 1. L activité de conception 2. Principes de conception 3. Concevoir

Plus en détail

1 liste des projets de fin d études et des sujets de mastère proposés. Titre de sujet Implémentation d une interface CAN - Wifi: Conception Software

1 liste des projets de fin d études et des sujets de mastère proposés. Titre de sujet Implémentation d une interface CAN - Wifi: Conception Software Implémentation d une interface CAN - Wifi: Conception Software L interface CAN_wifi est un projet de conversion du protocole filaire le plus utilisé en industrie automobile «le bus CAN» en un protocole

Plus en détail

Pierre De Dobbeleer. Spécialiste Project Management, Electronique, Réseaux et télécommunications

Pierre De Dobbeleer. Spécialiste Project Management, Electronique, Réseaux et télécommunications Pierre De Dobbeleer Contact: 11 rue Rogier, 5000 Namur 3éme étage Tel: +32 471 37 64 82 Age: 46 ans Divorcé, 2 enfants Spécialiste Project Management, Electronique, Réseaux et télécommunications Domaines

Plus en détail

Editeur de solutions innovantes C 3. Solution globale managée de communication et de téléphonie sur IP

Editeur de solutions innovantes C 3. Solution globale managée de communication et de téléphonie sur IP Editeur de solutions innovantes C 3 Solution globale managée de communication et de téléphonie sur IP Intelligence et fiabilité au coeur du système de communication de l entreprise de manière simple et

Plus en détail

Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable

Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable Implémentation Matérielle des Services d un RTOS sur Circuit Reconfigurable Pierre Olivier*, Jalil Boukhobza*, Jean-Philippe Babau +, Damien Picard +, Stéphane Rubini + *Lab-STICC, + LISyC, Université

Plus en détail

Informatique des systèmes embarqués

Informatique des systèmes embarqués 1 Informatique des systèmes embarqués Former des ingénieurs capables d appréhender la programmation et l intégration de systèmes complexes pouvant être embarqués, intégrés, interactifs et communicants.

Plus en détail

Bloc 1 U. E. Informatique et systèmes - Finalité Technologie de l'informatique. H/an CR Quadrimestres

Bloc 1 U. E. Informatique et systèmes - Finalité Technologie de l'informatique. H/an CR Quadrimestres Bloc 1 U. E. Informatique et systèmes - Finalité Technologie de l'informatique H/an CR Quadrimestres Bases des technologies de l'informatique 1 8 Q1 Algorithmique 30 Programmation (théorie) 18 Programmation

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

Moderniser. le système d information et le portefeuille applicatif. www.bull.com

Moderniser. le système d information et le portefeuille applicatif. www.bull.com Moderniser le système d information et le portefeuille applicatif L évolution technologique des plates-formes, l ouverture du système d information et la modernisation du portefeuille applicatif sont des

Plus en détail

CURSUS MASTER EN INGENIERIE INFORMATIQUE : SYSTEMES INTELLIGENTS COMMUNICANTS

CURSUS MASTER EN INGENIERIE INFORMATIQUE : SYSTEMES INTELLIGENTS COMMUNICANTS CURSUS MASTER EN INGENIERIE INFORMATIQUE : SYSTEMES INTELLIGENTS COMMUNICANTS Domaine ministériel : Sciences, Technologies, Santé Présentation Nature de la formation : Diplôme national de l'enseignement

Plus en détail

LICENCE INFORMATIQUE. En L3 : - Parcours Informatique (Info) - Parcours Signal et Informatique Industrielle (SII) www.univ-littoral.

LICENCE INFORMATIQUE. En L3 : - Parcours Informatique (Info) - Parcours Signal et Informatique Industrielle (SII) www.univ-littoral. SCIENCES & TECHNOLOGIES - SANTÉ ET STAPS LICENCE INFORMATIQUE En L : - Parcours Informatique (Info) - Parcours Signal et Informatique Industrielle (SII) www.univ-littoral.fr OBJECTIFS DE LA FORMATION La

Plus en détail

Lab s Dating 56 Rencontre Entreprises et Laboratoires de l Université de Bretagne-Sud 17 octobre 2014

Lab s Dating 56 Rencontre Entreprises et Laboratoires de l Université de Bretagne-Sud 17 octobre 2014 Organisé par Lab s Dating 56 Rencontre Entreprises et Laboratoires de l Université de Bretagne-Sud 17 octobre 2014 Pascal Berruet Vice Président Relations Socio Economiques et industrielles L Université

Plus en détail

MASTER 2 INFORMATIQUE

MASTER 2 INFORMATIQUE MASTER 2 INFORMATIQUE Résumé de la formation Type de diplôme : MASTER 2 Domaine ministériel : Technologie - entreprise Présentation Plus d'infos Au sein du Master Informatique de l'université de Reims,

Plus en détail

PROJET. Département Image et Automatique. O. Déforges H. Guéguen

PROJET. Département Image et Automatique. O. Déforges H. Guéguen PROJET Département Image et Automatique O. Déforges H. Guéguen 1 Organisation du Département Image Automatique (O. Déforges H. Guéguen) (E5) Image (O. Déforges) (E6) Automatique des Systèmes Hybrides (H.

Plus en détail

CET AVIS EST VALABLE DU 29 JUILLET 2015 AU 18 AOUT 2015

CET AVIS EST VALABLE DU 29 JUILLET 2015 AU 18 AOUT 2015 REPUBLIQUE IENNE DEMOCRATIQUE ET POPULAIRE MINISTÈRE DE L ENSEIGNEMENT SUPÉRIEUR ET DE LA RECHERCHE SCIENTIFIQUE CENTRE DE DEVELOPPEMENT DES TECHNOLOGIES AVANCEES CET AVIS EST VALABLE DU 29 JUILLET 2015

Plus en détail

Portage de l architecture sécurisée CryptoPage sur un microprocesseur x86

Portage de l architecture sécurisée CryptoPage sur un microprocesseur x86 Portage de l architecture sécurisée CryptoPage sur un microprocesseur x86 Guillaume Duc Ronan Keryell Département Informatique École Nationale Supérieure des Télécommunications de Bretagne Symposium en

Plus en détail

Département Informatique

Département Informatique Département Informatique Formation d'ingénieur en informatique par apprentissage Ingénieur diplômé de l UTBM Spécialité «INFORMATIQUE» Filière «Ingénierie des Systèmes d Information» Nouvelle voie d accès

Plus en détail

Alternance d excellence

Alternance d excellence Recrutez un(e) futur(e) Ingénieur(e) en Systèmes, Réseaux et Télécommunications Formation ingénieur en alternance Alternance d excellence 4 jours / semaine en entreprise Université de technologie de Troyes

Plus en détail

PRESENTATION RESSOURCES. Christian Dupaty BTS Systèmes Numériques Lycée Fourcade Gardanne Académie d Aix Marseille

PRESENTATION RESSOURCES. Christian Dupaty BTS Systèmes Numériques Lycée Fourcade Gardanne Académie d Aix Marseille PRESENTATION RESSOURCES Christian Dupaty BTS Systèmes Numériques Lycée Fourcade Gardanne Académie d Aix Marseille 1) Introduction, Objectifs et Intentions Le BTS SN (Systèmes Numériques) intègre la formation

Plus en détail

Après un Bac technologique STI Systèmes d information et numérique

Après un Bac technologique STI Systèmes d information et numérique Après un Bac technologique STI Systèmes d information et numérique Après le bac STI Filières SÉLECTIVES À L ENTRÉE IUT STS CPGE bulletins de première admission sur dossier notes des épreuves anticipées

Plus en détail

Vidéo Surveillance Intelligente, applications et perspectives Conférence IdeArk La caméra au service de l homme : ami ou ennemi 28 Septembre 2010

Vidéo Surveillance Intelligente, applications et perspectives Conférence IdeArk La caméra au service de l homme : ami ou ennemi 28 Septembre 2010 Titre à éditer dans le masque 01/04/2010 Vidéo Surveillance Intelligente, applications et perspectives Conférence IdeArk La caméra au service de l homme : ami ou ennemi 28 Septembre 2010 Contact Jean-Yves

Plus en détail

VERIFICATION DE SOC SOUS VELOCE

VERIFICATION DE SOC SOUS VELOCE VERIFICATION DE SOC SOUS VELOCE Fabrice Muller (1), Gilles Jacquemod (1), Rachid Bouchakour (2) Pôle CNFM PACA Polytech Nice-Sophia (1), Polytech Marseille (2) 1.1 Introduction La vérification des SoC

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

UV 1.4 : Bibliographie (20 heures) UV 2.4 Découverte de systèmes (60 heures) UV 3.4 Conception en phase avant-projet (60 heures)

UV 1.4 : Bibliographie (20 heures) UV 2.4 Découverte de systèmes (60 heures) UV 3.4 Conception en phase avant-projet (60 heures) [ Les projets ] Semestre 1 UV 1.4 : Bibliographie (eures) L étude bibliographique est abordée comme un exercice de recherche : lecture puis synthèse de documents techniques et scientifiques. Les objectifs

Plus en détail

La robotique de service et les technologies de demain

La robotique de service et les technologies de demain et les technologies de demain AWABOT SAS November 4, 2013 Sommaire 1 2 3 Présentation de la société Société Produits Projets /Liris Fondée en 2010 Logiciel pour la robotique Bruno Bonnell Fondateur d INFOGRAMME,

Plus en détail

Concevoir des applications Web avec UML

Concevoir des applications Web avec UML Concevoir des applications Web avec UML Jim Conallen Éditions Eyrolles ISBN : 2-212-09172-9 2000 1 Introduction Objectifs du livre Le sujet de ce livre est le développement des applications web. Ce n est

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

UNIVERSITÉ DE MONTRÉAL ANALYSE DE PERFORMANCE MULTI-NIVEAU ET PARTIONNEMENT D APPLICATION RADIO SUR UNE PLATEFORME MULTIPROCESSEUR

UNIVERSITÉ DE MONTRÉAL ANALYSE DE PERFORMANCE MULTI-NIVEAU ET PARTIONNEMENT D APPLICATION RADIO SUR UNE PLATEFORME MULTIPROCESSEUR UNIVERSITÉ DE MONTRÉAL ANALYSE DE PERFORMANCE MULTI-NIVEAU ET PARTIONNEMENT D APPLICATION RADIO SUR UNE PLATEFORME MULTIPROCESSEUR DÉPARTEMENT DE GÉNIE ÉLECTRIQUE ÉCOLE POLYTECHNIQUE DE MONTRÉAL MÉMOIRE

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 méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Les méthodes formelles dans le cycle de vie Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Plan Introduction Différentes utilisations possibles Différentes techniques pour différentes propriétés à différents

Plus en détail

AXES DE RECHERCHE - DOMAINE D'INTERET MAJEUR LOGICIELS ET SYSTEMES COMPLEXES

AXES DE RECHERCHE - DOMAINE D'INTERET MAJEUR LOGICIELS ET SYSTEMES COMPLEXES 1 AXES DE RECHERCHE - DOMAINE D'INTERET MAJEUR LOGICIELS ET SYSTEMES COMPLEXES 2 Axes de recherche L activité du DIM LSC concerne la méthodologie de la conception et le développement de systèmes à forte

Plus en détail

MOYENS DE TESTS & ÉQUIPEMENTS MÉCATRONIQUES. Partenaire de l ingénierie

MOYENS DE TESTS & ÉQUIPEMENTS MÉCATRONIQUES. Partenaire de l ingénierie MOYENS DE TESTS & ÉQUIPEMENTS MÉCATRONIQUES Partenaire de l ingénierie Une entreprise à taille humaine pour une prestation sur-mesure Vous êtes à la recherche de solutions pour tester vos produits ou simuler

Plus en détail

LIVRET PÉDAGOGIQUE Options (p.2) Programmes (p.9)

LIVRET PÉDAGOGIQUE Options (p.2) Programmes (p.9) LIVRET PÉDAGOGIQUE Options (p.2) Programmes (p.9) > Une formation de qualité intégrée sur 3 à 5 ans > Un enseignement modulaire ouvert sur le monde > Une place centrale pour la pratique professionnelle

Plus en détail