Master SEMS Systèmes Embarqués, Mobile et Sûrs

29/09/14

1

Master SEMS Systèmes Embarqués, Mobile et Sûrs

École SITI Département Informatique

[email protected]!

29/09/2014 1 CNAM-SITI-Dept INFO, SEMS 2014-2015

Bienvenue au Cnam !

29/09/2014 2 CNAM-SITI-Dept INFO, SEMS 2014-2015

29/09/14

2

Un peu d’histoire

•  1794 : Création du Conservatoire (décret du 19 vendémiaire an III)

•  Créé par Abbé Grégoire le 10 octobre 1794 pour « perfectionner l'industrie nationale »

•  http://fr.wikipedia.org/wiki/Conservatoire_national_des_arts_et_métiers

CNAM-SITI-Dept INFO, SEMS 2014-2015 3 29/09/2014

L’établissement

•  Le conservatoire national des arts et métiers (CNAM) est un grand établissement dépendant du MESR

•  Présent dans toutes les régions de France •  À l’étranger principalement au Liban, Maghreb,

Afrique francophone mais aussi en Asie et en Amérique


29/09/14

3

Organisation

•  Deux écoles : –  SITI (Sciences industrielles et technologies de

l’information) incluant l’EICNAM (École d’ingénieurs) –  MS (Management et société)

•  Le Musée des arts et métiers –  Votre carte étudiant donne accès au Musée (J)


Le Master SEMS

29/09/2014 CNAM-SITI-Dept INFO, SEMS 2014-2015 6

29/09/14

4

Objectif du Master SEMS •  Former à la conception, à la réalisation et au

déploiement de Systèmes Embarqués, Mobiles et Sûrs

•  Finalité professionnelle mais un stage fait en laboratoire de recherche, peut permettre une poursuite en thèse

•  (Proposé par le CNAM en co-habilitation avec l’ENSIIE)


Domaines d’intérêts

•  Le monde de l’informatique embarquée et mobile se retrouve dans la vie quotidienne : –  dans l’automobile –  dans l’avionique –  dans la téléphonie mobile –  dans le transport ferroviaire –  dans les petits objets sécurisés (ex. carte à puce, IoT) –  dans le domaine du service à la personne, etc.


29/09/14

5

Master SEMS

•  Définition… tentative… •  Les systèmes embarqués doivent tenir compte

des contraintes en terme : –  faible empreinte mémoire –  consommation d'énergie réduite –  contraintes de sécurité –  géo-localisation, déconnexion –  déploiement –  prix –  Etc.


L’embarqué…

•  L’embarqué est un des pôles de croissance du numérique –  En 2020 : 50 milliards d’objet connectés –  1/3 du coût de fabrication d’un avion est lié au SE –  Ligne 14 du Métro = 1,3 millions d’heures de

développement logiciel


29/09/14

6

L’embarqué aspect économique •  Rapport pour la DGCIS sur le logiciel embarqué

–  http://www.dgcis.gouv.fr/files/directions_services/secteurs-professionnels/economie-numerique/rapport-sur-le-logiciel-embarque-2013.pdf

•  Nouvelle version en 2013 •  Quelques chiffres…


Le marché de l’embarqué •  Marché mondial 130 M€, croissance 2% par an •  Part de la France 10 M€ •  Dans un avion : 35 % de l’effort R&D •  2/3 des acteurs en France sont en croissance en

2012 dont 20% supérieure à 20%


29/09/14

7

Perspectives

•  Étude OPIIEC (L'Observatoire Paritaire de l'Informatique, de l'Ingénierie, des Etudes et du Conseil (OPIIEC)) : –  http://www.fafiec.fr/81-l-observatoire-opiiec/

etudes/metiers-de-l-ingenierie/211-evolution-metiers-besoins-systemes-embarques.html


La nouvelle France industrielle (34 propositions) •  Logiciels et systèmes

embarqués •  Objets connectés Sans compter les domaines applicatifs largement utilisateurs des systèmes embarqués (plus de 10)

•  Services sans contact •  Cybersécurité …


29/09/14

8

Le Master SEMS


Flux d’étudiants

•  Écosystème, différentes origines des étudiants: –  Master M1 SEM du CNAM –  D'écoles d'ingénieurs (ENSIIE, ECE, ISEP) –  Autres universités françaises –  Étranger


29/09/14

9

Équipe pédagogique

•  Selma Boumerdassi MdC, HDR (REMO)

•  Samia Bouzefrane Maître de conférences HDR (SEE, SMOS)

•  Pierre Courtieu MdC (VERIF) •  Tristan Crolard Pr (SEE) •  David Delahaye MdC HDR

(SECSdF 1 &2) •  Jean-Marc Farinone MdC •  Julien Forest MdC •  Eric Gressier-Soudan Professeur

(GDApIA) •  Nicole Levy Professeur (VERIF)

•  Pierre Paradinas Professeur (SecSdF et SMOS)

•  Nicolas Pioch Professeur Associé (SecSdF 1 & 2)

•  Olivier Pons MdC (STAP, VERIF) •  Stéphane Rovedakis MdC

(GDApIA) •  Françoise Sailhan MdC (RECIA) •  Nicolas Trèves Professeur Associé

(architecture et intégration des systèmes et des logiciels)

•  Xavier Urbain MdC, HDR (STAP, VERIF)

•  Anne Wei Professeur (SETMO)


Secrétariat : Meriem Bouabdellah

La formation SEMS

•  60 ECTS qui se répartissent en : –  Tronc commun de 5 UE (30 ECTS) –  Spécialisation de 2 UE (12 ECTS) :

•  Systèmes embarqués et intelligence ambiante •  Systèmes critiques

–  Stage ( 18 ECTS), •  Avril à septembre (4 à 6 mois)

•  Soutenance en septembre sur 2 jours bloqués


29/09/14

10

Vue Globale

CNAM-SITI-Dept INFO, SEMS 2014-2015 19

S. Taktak, T. Crolard SMB204

S. Boumerdassi SMB205 S. Bouzefrane & P.

Paradinas SMB206 A. Wei SMB207

P. Paradinas SMB208

F. Sailhan SMB209

S. Rovedakis SMB203

D. Delahaye SMB211

N. Levy

SMB212

T. Crolard SMB210

29/09/2014

Intitulé des UEs


29/09/14

11

Parcours Systèmes sûrs •  Choisir 2 UE parmi :

–  SECSdF2 : sécurité et sûreté de fonctionnement pour l’embarqué mobile avancé(suite de SECSdF1 - commun au parcours SEMIA)

–  VERIF : Vérification de programmes –  STAP : Sémantique, Typage et Analyse de

Programmes


Vérification des programmes (SMB212/NFP209) •  Intervenants :

–  Nicole Levy, Nicolas Trèves, Tristan Crolard

•  Organisation : –  Cours du soir, le mercredi de 18h15 à 21h30 (commun

à NFP209) –  Attention : premier cours Mercredi 1 octobre (salle

21.1.05)

•  Contenu : –  Test et validation –  Preuve de programme (Spark Ada) –  Model Checking (Lotos) –  Méthode B CNAM-SITI-Dept INFO, SEMS 2014-2015 22 29/09/2014

29/09/14

12

Sémantique, Typage et Analyse de Programmes •  Intervenants :

–  Catherine Dubois, Olivier Pons, Pierre Courtieu, ...

•  Organisation : Projets tutorés (TP encadrés et travail personnel)

•  Thématique : méthodes formelles (fondements et outils) –  Typage –  Sémantique –  Assistants de preuve –  …


Parcours SE Intelligence Ambiante •  Choisir 2 UE parmi :

–  Réseaux de capteurs (RECIA) –  Gestion de données et algorithmique pour

l’intelligence ambiante (GDApIA) –  Sécurité et Sûreté de fonctionnement 2


29/09/14

13

Compléments à la formation •  Séminaires et conférences le jeudi •  Intervenants d'entreprises : Gemalto (NFC &

TSM), TRIALOG (MDE), Siemens/Clearsys (Méthode B), Smart Insight (Intelligence économique), Ratp, EDF

•  Sujet d’ouverture –  Gestion de projet (méthodes Agiles), gestion de projet

innovant et financement R&D, processus d’innovation –  Logiciels Libres –  Normes et standards –  Processus d’innovation, NUMA,…


Compléments à la formation : le projet •  Le projet est fonction du parcours choisi :

–  Attribution le 20 octobre : •  Distribution des sujets (asap) •  Attribution par retour de mail (choix au 1er)

–  Restitution du travail fin mars sous forme de dossier comprenant :

•  le travail bibliographique •  le rapport •  l’implémentation •  la soutenance

–  1/3 de la note dans les UE du parcours optionnel


29/09/14

14

Les projets/2014

•  Application musée mobile (Stéphane/Anne)

•  Analyseur de « carte » pour exposition « la carte à puce » au MAM (Samia/Pierre)

•  Exploration des modes NFC (avec OpenNFC, Android et Blackberry) Samia

•  Évaluation d'un système de compression sur des réseaux de capteurs (Françoise)

•  Étude et implémentation d’un compilateur pour un fragment du langage Lustre vers C (Trristan)

•  Étude et implémentation d’un ramasse-miette (garbage collector) temps-réel pour Ada (Tristan)

•  Etc.

•  Vérification et outil pour les réseaux sans fil (Sami + Anne)

•  Gestion de processus par mobiles (Sami + Anne)

•  Connexion directe dans les réseaux sans fil par mobiles (Anne)

•  Simulation de protocoles pour réseaux de capteurs (Anne/Stéphane)

•  Gestion des capteurs d'un téléphone Android par un MobiCloud (Samia)

•  Méthode B (David Delahaye) •  Etude et implémentation des Runtime-

Checks selon l’approche SPARK Ada (Tristan)


Les projets 2015

•  Définition de réseaux virtuels embarqués à l’aide du simulateur ALEVIN

•  Analyseur de « carte » pour exposition « la carte à puce » au Musée

•  Principes de SDN (Software Defined Network) et ses outils

•  Implémentation et évaluation d’un système de hachage sur processeur graphique (GPU).

•  Conception et création de réseaux virtuels embarqués par la programmation

•  Application mobile - parcours interactif avec l'algorithme NN adapté

•  Etc.


29/09/14

15

Le stage


Exemples de stages (2013)


Sujet Entreprise Développement d’un contrôleur logiciel d’interfaces physiques des Gateways

Bouygues

Développement d’outils dans un environnement MDE Trialog Déduction Automatique Modulo Inria/Deducteam

Bus de communication logiciel dans les systèmes embarqués Bouygues Installation et paramétrage d’une solution de virtualisation en environnement aéronautique et réalisation d’une passerelle ARINC 429

PGA

Implémentation d’une stack DLNA sur une plateforme STB à base d’un chip STMicro

STM

Codage Réseau Cnam/Cedric Développement d’un prototype Internet des Objets Trialog

29/09/2014

29/09/14

16

Exemples de stages (2014)


Sujet Entreprise

Conception et réalisation d’un démonstrateur Cloud privé de type IaaS Ooredoo (Alger) Étude et développement d’une solution basée dur NFC-Siganture Orange

Développement d’une application Android liée à une Box domotique Bouygues

Développement Mobile Multi-Plateformes ETAI

Mise en place d’une nouvelle version du logiciel de gestion des librairies Alibi

Gestion Ressources (Montréal)

Réalisation d’une application dédiée au câblage des plates-formes de validation électrique véhicule

PSA

Développement d’un scanner à partir d’une carte RasBerry PI Eleet Technologies

Développement d'une application sur Android pour la collecte de données privées sur la santé via la plateforme Universaal

Trialog

Implémentation bi-cœur d’un ordonnanceur Temps Réel Sagem Défense

29/09/2014

Stage

•  Commencez à chercher dès demain ! •  Nous avons déjà des propositions qui circuleront

sur la mailing liste courant octobre •  Le stage ne peut se faire que si les notes des UEs

sont supérieures à 10 pour le tronc commun et 8 pour les options


29/09/14

17

Obtention du Master

•  Le Master est obtenu avec une moyenne de 10 au total et : –  une note minimale de 10 pour les 5 UEs du tronc

commun –  une note minimale de 8 pour les 2 UEs au choix –  une note de 10 au stage (3 Ues)

•  À titre exceptionnel, des compensations pourront être envisagées par l’équipe pédagogique en cas de notes du tronc commun comprises entre 8 et 10 avec une moyenne sur le tronc commun supérieure à 12


Résultats 2012-2013

•  2012-2013 –  16 étudiants réguliers –  Soutenance des mémoires de stage de septembre

•  11 candidats –  10 reçus, dont 8 ont reçu des propositions d’embauche

avant la fin du stage

•  2 candidats en stage en 2014 •  2 abandons et 1 notes éliminatoires


29/09/14

18

Résultats 2013-2014

•  2013-2014 –  18 étudiants réguliers –  Session de septembre et de Novembre

•  7 candidats : 6 reçus + 1 ajourné •  2 stage en cours •  4 en recherche de stage •  6 abandons


Candidature au Master SEMS •  Nombre de dossiers reçus :

–  2011-2012 : 58 –  2012-2013 : 70 –  2013-2014 : 133 –  2024-2015 : 134


29/09/14

19

Inscription

•  To Do : –  Récupérer le dossier sur un lien –  Fournir une photo d’identité au secrétariat (ASAP) –  Déposer le dossier au secrétariat –  Les dossiers sont transmis à la scolarité avec (ma)

signature –  Vous recevrez une CONVOCATION pour aller vous

inscrire à la scolarité


Pratique

•  Mailing list : –  [email protected]

•  Secrétariat Pédagogique Mme Meriem Bouabdellah : –  [email protected] –  33.1.13A

•  Responsable Pr P. Paradinas & T. Crolard –  [email protected] –  [email protected]


29/09/14

20

Pratique

•  Emploi du temps des enseignements: –  http://deptinfo.cnam.fr/new/spip.php?rubrique652

•  Emploi du temps des salles –  http://emploi-du-temps.cnam.fr/emploidutemps2 –  Plus le code des UEs (ex : SMB204)


Master SEMS Systèmes Embarqués, Mobile et Sûrs

Documents

Transcript of Master SEMS Systèmes Embarqués, Mobile et Sûrs