Implantation des Systèmes Embarqués Étude de cas - Projet

Slides:



Advertisements
Présentations similaires
Checkpoint et Rollback pour systèmes multi-core (1/2)
Advertisements

Eléments de Génie Logiciel
Processus d'expression du besoin
La Gestion de la Configuration
Présenté à Par. 2 3Termes et définitions 3.7 compétence aptitude à mettre en pratique des connaissances et un savoir-faire pour obtenir les résultats.
Les points ECVET Outil de communication conçu à partir des documents développés pour l’organisation des réunions du projet.
EXAMEN ET GESTION DE PROJET INDUSTRIEL
Pédagogie organisationnelle
GÉRER LES COMPÉTENCES.
La fonction « Méthodes d’usinage »
EN CHAUDRONNERIE INDUSTRIELLE
IUT d’Orsay, département informatique
Méthodologie d’élaboration d’un TP de SI
MANAGEMENT DES ORGANISATIONS
Flow de conception (4h)-demo
Le projet technique S9.
Forum Des Professeurs Agrégés Du Maroc
Les Ateliers de Génie Logiciel
La démarche pédagogique du MF1
™.
Si vous n’êtes pas sûr de l’endroit où vous voulez aller, vous risquez de vous retrouver ailleurs… et de ne pas le savoir ! (R.F. Mager) Master ISIF.
Baccalauréat général, série scientifique : épreuve de sciences de la vie et de la Terre à compter de la session 2013.
Pédagogie générale et « organisationnelle ».
Recherche d’un thème de projet Identification d’un besoin
Le projet en STI2D Initier le projet Délimiter les champs du possible
Epreuve de spécialité pour BAC CFE
Xavier Tannier Module de Programmation Web Introduction.
Afficheur industriel « AIW » MAT Électronique
[photo d'un système] Schéma ordonnancement XML Évaluation Code C Modélisation Solution GÉNÉRATEUR AUTOMATIQUE DE CODE pour OUTIL DE MODÉLISATION-IMPLANTATION.
Techniques de test Boulanger Jean-Louis.
Synthèse d’activités Présentation.
BTS SYSTÈMES NUMÉRIQUES
ELE792. Projet de fin d'études en. génie électrique GTS792
Séance d'information aux étudiants Présentation préparée par: Ghyslain Gagnon Professeur au département de génie électrique ELE792PROJET DE FIN D'ÉTUDES.
Cours de création d’entreprise assuré par : Mariem Ben Abid
Démarche Qualité Logicielle
Evaluation au baccalauréat
Mise en oeuvre et exploitation
Thème 5 Model-based adaptability management for autonomous mobile group communication Rencontre TOMPASSE/ROSACE - 20 Novembre 2008 Projet RTRA/ROSACE Groupes.
Module 8 : Surveillance des performances de SQL Server
Etude des systèmes Notion de système.
Le management de l'IVVQ Processus techniques IVVQ
Supports de formation au SQ Unifié
P30 -  Passerelle Bluetooth/X2D 
LE MİCROSCOPE Jérôme Roise (Fr) Handan Kesim (Bio)
LE PLAN QUALITE Utilité du plan qualité :
Réalisation technique
Epreuve d’évaluation des compétences expérimentales.
© Petko ValtchevUniversité de Montréal Février IFT 2251 Génie Logiciel Conception Hiver 2002 Petko Valtchev.
Les épreuves du BTS Systèmes photoniques
Noyau Linux et multi-processeur sur plateforme embarquée ST50 Vendredi 18 Mars 2005 – Thomas Petazzoni.
Steven Derrien Équipe R2D2
François CARCENAC,Frédéric BONIOL ONERA-DTIM Zoubir MAMMERI IRIT
Présentation AICHA REVEL INGENIEUR D’ÉTUDE STERIA DEPARTEMENT TRD
Introduction et Généralités sur l’Algorithmique
L’enseignement de spécialité SLAM
Ethnosim (Cr1) Projet encadré par : Mr David Crookall (17 juin 2004) Agostini Jean-Louis Dupouy Nicolas Giroussens Olivier Olivar Kevin Université de Nice.
Informatique et Sciences du Numérique
MP2P PROTOCOLE & SYSTÈME DE STOCKAGE SCALABLE PRÉSENTATION FINALE – 7 JUILLET 2015 Julien DUBIEL – Mathieu CORRE – Francis VISOIU MISTRIH.
Stage initial initiateur
Présentation Audit CTI – Février
Intégrer le Mind Mapping à mon enseignement
C’est ce que l’on veut obtenir la manière dont on va l’obtenir
BTS IRIS Étude du référentiel. RÉCAPITULATIF PAR ACTIVITÉ DES TÂCHES réalisées en autonomie. Installation, exploitation, optimisation et maintenance T6.8Suivi.
L’ ENGAGEMENT D’ UN SAVOIR FAIRE Depuis 1986 ,ESTELEC INDUSTRIE réalise des cartes électroniques
TPs d’Intégration des Systemes
1 Le Projet N Ordre du jour : Rappel d’une demande industrielle Présentation du projet technique Choix des blocs fonctionnels Quantification.
A. de Crombrugghe0 Intro-méthode1 FAITS ET DECISIONS ECONOMIQUES Prof. Alain de Crombrugghe Année Académique ECGE B170 UNIVERSITE DE NAMUR FACULTE.
LES ATELIERS PRODUCTION. 1.Qu’est-ce qu’un atelier «PRODUCTION » 2.Réactions et questions 3.Élaboration d’une séquence atelier PRODUCTION 4.Échanges et.
Élaboration d’un référentiel de compétences
Transcription de la présentation:

Implantation des Systèmes Embarqués Étude de cas - Projet Mounir Benabdenbi Régis Leveugle Stéphane Mancini Olivier Muller Frédéric Pétrot & Robin Rolland

Préliminaires … Objectif majeur : démontrer vos compétences personnelles Ce n'est pas juste un TP illustrant une matière Cela implique nécessairement la mise en œuvre globale et cohérente de notions abordées dans plusieurs autres enseignements (en fonction du sujet) Compétence => un ensemble de Savoirs (ou connaissances) : résultat (espéré) des enseignements antérieurs et de ceux qui se déroulent en parallèle … + recherches complémentaires si nécessaire Savoir-faire : identification des savoirs utiles, mise en pratique coordonnée, vue globale par rapport aux besoins "Savoir-être" : au sens du comportement, façon d'agir, initiative, implication, travail de groupe, autonomie, efficacité … L'objectif (et l'évaluation) du projet n'est pas strictement limité au résultat technique – mais la réalisation des objectifs techniques ("performance") fait partie de la démonstration des compétences

Objectifs généraux (12x4 = 48h X2 !!) Implantation matériel/logiciel Cible d'implantation : SoPC (FPGA, processeur soft/hard) Cahier des charges détaillé / Planning (< 3 semaines …) Développement / Intégration Validations Blocs / Assemblages / Intégration système !!! Plan de validation + validations/résultats Système de démonstration Documentation ATTENTION : Janvier, c'est demain !! Séances + semaines banalisées pour les projets

Aspects pratiques Binômes (monôme/trinôme exceptionnel) => feuille à remplir Sujets distincts, mêmes objectifs globaux 1 enseignant référent / sujet Répartition (fonction des besoins) sur 2 salles : OCAE + CIME Comptes CIME – xph3sle{500, …, 512} – mot de passe socsle1112 Utilisation POUR LE PROJET (connexion à distance à voir) Accès direct stations CIME (ssh) depuis OCAE Accès à distance par VPN PC et cartes sur OCAE (+ possibilité CIME)

Évaluation Développement réalisé Validations Documentations Comportement "ingénieur" (sérieux/autonomie/gestion planning …) Qualité des choix techniques Qualité de la réalisation et ré-utilisabilité (dont commentaires !!) Qualité du résultat global Validations Plan de validation (et justifications) Réalisation des validations Documentations Cahier des charges détaillé Etude architecturale, conception Caractéristiques techniques obtenues Manuel utilisateur / datasheet

Des étapes … 4ème semaine : Présentation de 5 minutes + 5 minutes de questions devant les enseignants + les autres binômes Titre / Contexte / Problème posé / Spécification détaillée de la solution (2 slides) / Planning Clarté + pertinence => Note (10% total), participation des autres binômes Fin de la première semaine "bloquée" : Deuxième présentation (10 minutes + 5 minutes) Titre / Rappel de ce qui était prévu, et évolutions / Etat des lieux / Problèmes / Ce qu'il reste à faire Clarté + pertinence + avancement => Note (20% total), participation des autres binômes Semaine d'exam (fin janvier) : Soutenance finale + démo (45 minutes au total, dont questions) devant les enseignants

Procédure de sélection du sujet Présentation globale des sujets Tirage au sort : choix 1 parmi 2 (tirage avec remise du 2ème) 1 semaine pour décider d'échanges éventuels => Liste définitive au début de la 2ème séance, et début du travail effectif !!!

Implantation des Systèmes Embarqués Sujets Mounir Benabdenbi Régis Leveugle Stéphane Mancini Olivier Muller Frédéric Pétrot

Système sécurisé à chiffrement RSA (1/2) Contexte Système pour application de sécurité Chiffrement asymétrique indispensable pour certaines phases des protocoles RSA = principal algorithme (cartes à puce, …) Nécessité d'un accélérateur matériel (complexité et longueur des calculs) Type d'implantation visé Implantation sur FPGA reconfigurable (configuration SRAM) Processeur = IP embarquée dans la plateforme reconfigurable (PPC) Processeur de chiffrement = IP synthétisable dans la logique programmable

Système sécurisé à chiffrement RSA (2/2) Virtex II v2P30 Bus système PPC Logique programmable Zone clé Zone copro RSA 1. Ré-utilisation / Optimisation d'une IP RSA (et validation niveau module) 2. Intégration avec le processeur + connexion PC (IHM) 3. Validation globale et évaluations de performances

Système sécurisé à chiffrement ECC (1/2) Contexte Système pour application de sécurité Chiffrement asymétrique indispensable pour certaines phases des protocoles ECC = concurrent du RSA, pour réduction de la longueur des clés Nécessité d'un accélérateur matériel Type d'implantation visé Implantation sur FPGA reconfigurable (configuration SRAM) Processeur = IP embarquée dans la plateforme reconfigurable (PPC) Processeur de chiffrement = IP synthétisable dans la logique programmable

Système sécurisé à chiffrement ECC (2/2) Virtex II v2P30 Bus système PPC Logique programmable Zone clé Zone copro ECC 1. Développement de l'IP ECC (et validation niveau module), interface prédéfinie, prise en compte de contraintes de robustesse 2. Intégration avec le processeur + connexion PC (IHM) 3. Validation globale et évaluations de performances

Cœur de système embarqué robuste (1/2) Contexte Système aéronautique (voire automobile, …) : perturbations environnementales Système sécurisé : attaques par fautes => Besoin de protections (surveillance/tolérance) Type de système et de surveillance Système mono-processeur Plateforme Altera – microprocesseur Nios2 Surveillance continue du comportement (validité d'exécution du programme d'application) Surveillance physiquement séparée du système initial (respect des normes de sûreté) => implantation d'un processeur de surveillance, exécutant son propre programme (dérivé du programme d'application exécuté par le processeur principal)

Cœur de système embarqué robuste (2/2) Appli C GCC Développement VHDL (RTL comportemental) TCM-I TCM-D Nios2 Mémoire centrale Application Traitement Watchdog Mémoire watchdog Alarmes 1. Adaptation d'une IP watchdog (IP VHDL synthétisable) disponible pour le processeur Leon3 et validation niveau module 2. Intégration avec le processeur + chaîne de développement GCC (++) 3. Validation globale (simulation, implantation sur carte)