Conception et Intégration de Systèmes Critiques



Documents pareils
Présentation formations SPI/EEA

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

INSTITUT INTERDISCIPLINAIRE D INNOVATION TECHNOLOGIQUE (3IT)

Métiers d études, recherche & développement dans l industrie

Master of Science in Engineering

Formation et diplômes en Electronique et en Informatique

Master Informatique Aix-Marseille Université

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

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

Les lières. MSc in Electronics and Information Technology Engineering. Ingénieur civil. en informatique. MSc in Architectural Engineering

SUPPLEMENT AU DIPLOME

Formation L.M.D. en instrumentation biomédicale. Mise en œuvre dans une université scientifique et médicale : Claude Bernard Lyon I

Les formations en cycle ingénieur

Contribution à la conception par la simulation en électronique de puissance : application à l onduleur basse tension

Formations MASTERS dans les UT ouvertes aux étudiants de l UTSEUS UTBM

Vers plus de responsabilités

Présentation du Programme Régional de Formations Qualifiantes

QUELLE FIBRE UTILISER EN FONCTION DE MES APPLICATIONS. OM1, OM2 ou OM3, QUELLE EST LA FIBRE QU IL ME FAUT POUR MON INSTALLATION?

Mastère spécialisé. «Ingénierie de l innovation et du produit nouveau De l idée à la mise en marché»

ECTS CM TD TP. 1er semestre (S3)

SYLLABUS MASTER 1 SMI OPTION SME

29 écoles d Ingénieurs publiques post bac

Une technologie ludique

Licence et Master E.E.A.

:SPECIMEN SPECIMEN SUPPLÉMENT AU DIPLÔME (ANNEXE DESCRIPTIVE AU DIPLÔME)

Mastère spécialisé MS : «Ingénierie de l innovation et du produit nouveau

La Commission des Titres d ingénieur a adopté le présent avis

Majeures et mineures

RÉSUMÉ DESCRIPTIF DE LA CERTIFICATION (FICHE RÉPERTOIRE)

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

Identification du module

GPC Computer Science

MANAGEMENT DES SYSTEMES D INFORMATION ET DE PRODUCTION MSIP

Extrait des Exploitations Pédagogiques

Microélectronique Les technologies 3D au CEA-Leti mai 2011

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS)

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

INGENIERIE DES SYSTEMES INFORMATIQUES - PARCOURS : MOBILITE ET CLOUD COMPUTING

Nos Solutions PME VIPDev sont les Atouts Business de votre entreprise.

Université Libre de Tunis

IMO - Informatique, modélisation et optimisation

D ETECTEURS L UXMETRE SUR TIGE C OMPTEUR DE FRANGES A FIBRE OPTIQUE. Détecteurs

H Management et ingénierie Hygiène Sécurité Environnement -HSE- industriels

Master Energie spécialité Energie électrique

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

Jeunes en Apprentissage pour la réalisation de Nanosatellites au sein des Universités et des écoles de l enseignement Supérieur

UE 8 Systèmes d information de gestion Le programme

Formations Bachelor / Master 2014

Diplôme de Comptabilité et de Gestion. D é c r e t N d u 2 2 d é c e m b r e A r r ê t é d u 8 m a r s

Programme Pédagogique National du DUT «Génie mécanique et productique» Présentation de la formation

Accompagner la transformation vers l excellence opérationnelle. Olivier Gatti olivier.gatti@adis-innovation.com

Profil d études détaillé. Section : Informatique et systèmes Finalité : Technologie de l informatique

Formation des enseignants. Le tensiomètre. Objet technique modélisable issu de l environnement des élèves

MULTITEL, votre partenaire en R&D et innovation

Synergies entre Artisan Studio et outils PLM

De la micro à la nano-électronique

Dossier justificatif des travaux de R&D déclarés au titre du CIR

ECTS INFORMATIQUE ET RESEAUX POUR L INDUSTRIE ET LES SERVICES TECHNIQUES

PROGRAMME DU CONCOURS DE RÉDACTEUR INFORMATICIEN

ÉCOLE POLYTECHNIQUE UNIVERSITAIRE

H Conception et dessin produits mécaniques

DATE DU CONCOURS: SAMEDI 18 OCTOBRE

Cette première partie pose les enjeux de la BI 2.0 et son intégration dans le SI de l entreprise. De manière progressive, notre approche situera le

LICENCE : INFORMATIQUE GENERALE

GENIE DES SYSTEMES INDUSTRIELS

et dépannage de PC Configuration Sophie Lange Guide de formation avec exercices pratiques Préparation à la certification A+

FICHE 13 RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE REPERTOIRE)

CQP ADMINISTRATEUR DE BASES DE DONNÉES (ABD)

Ingénierie des réseaux

Systèmes et réseaux d information et de communication

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

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

MULTITEL, votre partenaire de recherche et d innovation

Cahier des charges pour la mise en place de l infrastructure informatique

2009/2010 DESCRIPTIF DES UNITES D ENSEIGNEMENT OPTIONNELLES SPECIALITE RIM

Fiche Industrie La fabrication d équipements électriques 04 et électroniques en Indre et Loire

ÉCOLE SCIENCES INDUSTRIELLES ET TECHNOLOGIES DE L INFORMATION

SOMMAIRE Thématique : Matériaux

PHYSIQUE Discipline fondamentale

UFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE

Les Rencontres ANR du numérique 2013

ANTICIPEZ ET PRENEZ LES BONNES DÉCISIONS POUR VOTRE ENTREPRISE

DEPARTEMENT DES SCIENCES PHYSIQUES

Physique et technologies des rayonnements pour l'industrie et la physique médicale

MASTER 2 PROFESSIONNEL. Génie Logiciel, Logiciels Répartis et Embarqués

ÉLECTROMÉCANIQUE. Électricité 4 4 Mécanique 4 4 T.P. Électricité 4 - T.P. Mécanique 4 - T.P. Électromécanique - 8 Total 16 16

Contribution d Allistene et des Pôles de compétitivité à la Stratégie Nationale de Recherche Sciences et Technologie du Numérique

Modelio by Modeliosoft

MODALITES DE SUIVI DU PROJET ANNUEL DU MASTER 2 SOLUTIONS INFORMATIQUES LIBRES

Institut Supérieur Industriel de Bruxelles

Les parcours S4 traditionnels : Robotique, Radio Communication Numérique, Traitement de l information. Informatique Industrielle

Conception graphique : Nicolas Piroux - Photos : Campus communication - Camille Boulycault ; UPS mission Campus ; Florent Delaigue ; Gwenaël Le Garff

Faculté des Sciences d ORSAY

Les Réseaux Informatiques

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

Méthodologies de développement de logiciels de gestion

Les sciences de l ingénieur appliquées à la prise en charge du

ChairE Systèmes Embarqués Critiques (CESEC)

PROFIL DE POSTE AFFECTATION. SERIA (service informatique académique) DESCRIPTION DU POSTE

Transcription:

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 : Modélisation de contraintes temporelles et gestion des incertitudes Développement agile : Manifeste des méthodes agiles, méthode SCRUM et adaptation au PGE Conception hétérogène (matériel/logiciel) à l aide de SysML Méthode de conception à l aide de langage d architecture type AADL Deux contrôles pour 3 ECTS Langage UML Giard V., Gestion de projets, Ed. Economica, 1991 Claude Aubry, SCRUM: le guide pratique de la méthode agile la plus populaire, Ed. Dunod, 2010 Marc Bouissou, Gestion de la complexité dans les études quantitatives de sûreté de fonctionnement de systèmes, Paris : Éd. Tec & doc, DL 2008

Processus d Ingénierie Systèmes 20 15 10 Non 90 Présenter les différents processus de l'ingénierie Système en insistant sur les processus de sûreté de fonctionnement, de Validation et Vérification. - Ingénierie système : Processus de validation Analyser le besoin Client & Préparer la validation du système Définir & Préparer la vérification du système Organiser la mise en oeuvre & Intégrer, Vérifier et Valider le système Etude de cas - Processus de la sûreté de fonctionnement Faire connaître les bases de la sûreté de fonctionnement en tant que science des défaillances, et étudier les différentes approches pour la prise en compte de la sûreté de fonctionnement d'un système tout en long de son cycle de vie. Introduction à la sûreté de fonctionnement Les arbres de défaillances L'approche markovienne Ingénierie Système et sûreté de fonctionnement - Validation et test Validation des propriétés système par les tests Contrôles pour 3 ECTS Ingénierie Système : Ingénierie des exigences, processus de conception.

Architecture des logiciels intégrés et conception conjointe 20 15 10 Non 90 Présenter les concepts, méthodes et langages permettant de mener à bien un projet de conception de système embarqué. - Méthodologie de développement des logiciels embarqués dans l'industrie aéronautique. Impacts de la prise en compte d'une norme (DO178B) lors du développement de ces logiciels en vue de leur certification. - Simulation et prototypage virtuel Concepts et méthodes de simulation et co-simulation Validité de la simulation La simulation comme complément aux méthodes de vérification formelles. Contrôles pour 3 ECTS

Architecture de l électronique intégrée et conception conjointe 15 12 18 Non 90 Comprendre et concevoir des architectures électroniques en relation étroite avec les architectures et exigences logicielles grâce notamment à un langage (VHDL-AMS). Etre capable d effectuer la synthèse d un système multifonctions (co-design), de faire de la CAO système et du routage rapide, de concevoir des systèmes sur puce (SOC) et de maîtriser la sûreté de fonctionnement des systèmes électroniques. Du cahier des charges au système (approche globale, approche technique). Synthèse hiérarchisée VHDL. VHDL-AMS. Synthèse d un système multifonctions - Systèmes sur puce (SoC) Langage C orienté systèmes Simulation de fautes et de défaillances Contrôles pour 3 ECTS Électronique analogique Électronique numérique

Synthèse et Mise en œuvre des systèmes et microsystèmes 42 20 28 Non 90 Etude de systèmes et microsystèmes industriels issus du milieu socioéconomique dans les quatre domaines suivants : Automobile, biomédical, aéronautique et grand public. Avec l apparition des SOC (Systems On Chip) et SOPC (Systems On Programmable Chip), l industrie électronique vit une mutation profonde accélérée par les niveaux d intégration dans les composants ASIC (Application Specific Integrated Circuit) et FPGA (Field Programmable Gate Array). Ceux-ci permettent aujourd hui de concevoir et réaliser des systèmes complexes (pouvant posséder plusieurs cœurs de processeurs, réseaux, mémoire, ), très intégrés, évolutifs et contraints par des considérations telles que le «temps réel», la consommation énergétique ou la sureté de fonctionnement. Le développement de tels systèmes implique : La mise en œuvre de méthodologies de conception appropriées et des langages associés issus de l ingénierie système La mise en œuvre de méthodologies de vérification La maîtrise de la co-conception (partitionnement matériel/logiciel) et co-vérification La capitalisation d un savoir faire, avec la notion de «re-use» et le développement d «IP», qui permet de réduire les délais de mise sur le marché (Time to market) L objectif du module est : de mettre en pratique la démarche de conception et de vérification sur tout ou parties d objets réels issus du monde socioéconomique. de concevoir, valider par la simulation et l implémentation à partir d outils appropriés tout ou partie des fonctions identifiées lors de la phase précédente. Deux contrôles pour 3 ECTS

Microsystèmes et nanotechnologies 15 10 20 Non 50 Étude des systèmes modernes de type MEMS et MOEMS et sensibilisation à la Nanoélectronique (CMOS ultime, ) à l aide de la CAO, de la réalisation technologique et de tests en salle blanche. Micro et nanotechnologies pour les capteurs : Développement industriel des capteurs. Utilisation des micro et nanotechnologies pour l'intégration des microcapteurs (adaptation des outils de la microélectronique, nouveaux développements technologiques). Exemples d'applications : les microcapteurs chimiques. Adaptation des microcapteurs chimiques en fonction de l'application. Nanotechnologie : logique CMOS, nouveaux matériaux et procédés pour le MOS ultime. Définition des problèmes physiques associés et solutions technologiques correspondantes. Exemples d architectures non conventionnelles pour la miniaturisation ultime. Micro et nanotechnologies pour les sciences du vivant : Définitions et applications des Nanobiotechnologies. Biodétection. Chemodétection. Concepts d'interaction protéines-surfaces. Logique de décroissance dimensionnelle à partir d'un exemple de biocapteur macroscopique (microbalance à quartz). Systèmes de type MEMS (microsystèmes électromécaniques) et NEMS (nanosystèmes électromécaniques). Deux contrôles pour 3 ECTS Physique du semi-conducteur - Technologies de la micro-électronique - Bases en physique et chimie

Systèmes Optroniques 23 10 12 Non 45 Comprendre le fonctionnement de dispositifs photoniques élémentaires pour les mettre en œuvre dans des systèmes optroniques aux applications diverses (communications, mesures, analyses, ) Rappels d éléments fondamentaux d optique Matériaux pour la photonique (structure de bandes d énergie, alliages, jonction PN, ) Dispositifs émetteurs de lumière (diode électroluminescente, diode laser) Photorécepteurs (les différentes structures de photodiodes) Fibres optiques (ouverture numérique, longueur d onde de coupure, atténuation, dispersion, profils d indice, connecteurs, ) Amplificateurs optiques (amplificateur à semi-conducteur, amplificateur à fibre optique dopée) Systèmes de communication optique (modulation, multiplexage, bilan de liaison, ) Systèmes de télémétrie, vélocimétrie, analyse chimique, stockage de données, Microsystèmes optiques (intégration photonique, principes de quelques microsystèmes optiques) Nouvelles structures pour l intégration photonique (éléments diffractants, cristaux photoniques, ) Deux contrôles pour 3 ECTS Des notions d optiques sont nécessaires à la compréhension de ce cours. La provenance des étudiants étant diverse, l enseignement débute donc par des rappels sur des éléments fondamentaux d optique. De même, des pré-requis en physique des semi-conducteurs sont nécessaires, mais les étudiants auront déjà suivi un enseignement complet dans ce domaine.

Projet industriel 150 100 Code : Crédits ECTS : 9 L'objectif de ce module est la conception et mise en œuvre d'un système "complexe" nécessitant l ensemble de compétences vues au cours des trois années de formation en réponse à un cahier des charges d un client industriel. Le mois d octobre et les 50h du S9 permettent de réaliser les étapes de spécifications et de début de conception. Les mois de janvier et février du S10 sont intégralement consacrés au développement et la réalisation du projet avec une recette en fin de mois avant le départ en stage. La totalité de la promotion est impliquée sur le projet : - Création de groupes de travail Analyse d existant Préparation de revue Tâches transversales (Communication, Qualité, Planning, ) - Existence permanente d une équipe gestion de projet chargée d animer le projet et les réunions de créer les groupes de travail selon les besoins de gérer l affectation des ressources de travail (hommes et matériels) Contrôle des enseignants (UPS et industriels) qui ont un rôle de Conseiller/ Experts / Évaluateurs Evaluation régulière avec le client lors des phases de recette intermédiaire (septembre janvier) Remise du prototype et recette finale avec le client (fin février). Une note globale sur le projet, une note par équipe de conception/validation et une note individuelle pour 9 ECTS