29/09/14

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

École SITI
Département Informatique

pierre.paradinas@cnam.fr!
29/09/2014 CNAM-SITI-Dept INFO, SEMS 2014-2015 1

Bienvenue au Cnam !

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

1
 29/09/14

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_art
s_et_métiers
29/09/2014 CNAM-SITI-Dept INFO, SEMS 2014-2015 3

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/2014 CNAM-SITI-Dept INFO, SEMS 2014-2015 4

2
 29/09/14

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)

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

Le Master SEMS

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

3
 29/09/14

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)

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

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/2014 CNAM-SITI-Dept INFO, SEMS 2014-2015 8

4
 29/09/14

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.

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

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/2014 CNAM-SITI-Dept INFO, SEMS 2014-2015 10

5
 29/09/14

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…

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

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/2014 CNAM-SITI-Dept INFO, SEMS 2014-2015 12

6
 29/09/14

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

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

La nouvelle France
industrielle
(34 propositions)
•  Logiciels et systèmes •  Services sans contact
embarqués •  Cybersécurité
•  Objets connectés …

Sans compter les

domaines applicatifs
largement utilisateurs
des systèmes
embarqués (plus de 10)

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

7
 29/09/14

Le Master SEMS

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

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/2014 CNAM-SITI-Dept INFO, SEMS 2014-2015 16

8
 29/09/14

É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

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

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/2014 CNAM-SITI-Dept INFO, SEMS 2014-2015 18

9
 29/09/14

Vue Globale
S. Taktak, T. Crolard
SMB204
S. Boumerdassi
SMB205 S. Bouzefrane & P.
Paradinas SMB206
A. Wei SMB207
P. Paradinas
SMB208

F. Sailhan D. Delahaye
SMB209 SMB211
T. Crolard
SMB210
S. Rovedakis
SMB203

N. Levy
SMB212

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

Intitulé des UEs

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

10

 29/09/14

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

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

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)
29/09/2014
–  Méthode B CNAM-SITI-Dept INFO, SEMS 2014-2015 22

11

 29/09/14

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
–  …

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

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/2014 CNAM-SITI-Dept INFO, SEMS 2014-2015 24

12

 29/09/14

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,…
29/09/2014 CNAM-SITI-Dept INFO, SEMS 2014-2015 25

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/2014 CNAM-SITI-Dept INFO, SEMS 2014-2015 26

13



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)
29/09/2014 CNAM-SITI-Dept INFO, SEMS 2014-2015
•  Etc.
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). 
29/09/2014 CNAM-SITI-Dept INFO, SEMS 2014-2015
29/09/14
•  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)
27
•  Conception et création de
réseaux virtuels embarqués
par la programmation
•  Application mobile - parcours
interactif avec l'algorithme NN
adapté
•  Etc.
28
14
 29/09/14

Le stage

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

Exemples de stages
(2013)
Sujet Entreprise
Développement d’un contrôleur logiciel d’interfaces physiques Bouygues
des Gateways
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 PGA
environnement aéronautique et réalisation d’une passerelle
ARINC 429
Implémentation d’une stack DLNA sur une plateforme STB à STM
base d’un chip STMicro
Codage Réseau Cnam/Cedric
Développement d’un prototype Internet des Objets Trialog

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

15

 29/09/14

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 Gestion Ressources
librairies Alibi (Montréal)

Réalisation d’une application dédiée au câblage des plates-formes de PSA

validation électrique véhicule

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

Développement d'une application sur Android pour la collecte de Trialog
données privées sur la santé via la plateforme Universaal
Implémentation bi-cœur d’un ordonnanceur Temps Réel Sagem Défense

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

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/2014 CNAM-SITI-Dept INFO, SEMS 2014-2015 32

16

 29/09/14

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
29/09/2014 CNAM-SITI-Dept INFO, SEMS 2014-2015 33

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/2014 CNAM-SITI-Dept INFO, SEMS 2014-2015 34

17

 29/09/14

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

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

Candidature au
Master SEMS
•  Nombre de dossiers reçus :
–  2011-2012 : 58
–  2012-2013 : 70
–  2013-2014 : 133
–  2024-2015 : 134

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

18

 29/09/14

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é

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

Pratique
•  Mailing list :
–  promo2014-15.sems@cnam.fr
•  Secrétariat Pédagogique Mme Meriem
Bouabdellah :
–  secretariat.masterSEMS@cnam.fr
–  33.1.13A
•  Responsable Pr P. Paradinas & T. Crolard
–  pierre.paradinas@cnam.fr
–  tristan.crolard@cnam.fr

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

19

 29/09/14

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)

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

20