Presentation SEMS 14 15.Ppt

7/25/2019 Presentation SEMS 14 15.Ppt

1/20

!"#$"#%&

%

Master SEMS

Systmes Embarqus, Mobile et Srs

cole SITI

Dpartement Informatique

[email protected]

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

Bienvenue au Cnam !

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


2/20

!"#$"#%&

!

Un peu dhistoire

1794 : Cration du

Conservatoire(dcret du 19vendmiaire an III)

Cr par Abb Grgoire le10 octobre 1794 pourperfectionner l'industrienationale

http://fr.wikipedia.org/wiki/Conservatoire_national_des_arts_et_mtiers

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

Ltablissement

Le conservatoire national des arts et mtiers(CNAM) est un grand tablissement dpendantdu MESR

Prsent dans toutes les rgions de France ltranger principalement au Liban, Maghreb,

Afrique francophone mais aussi en Asie et enAmrique



3/20

!"#$"#%&

(

Organisation

Deux coles : SITI (Sciences industrielles et technologies de

linformation) incluant lEICNAM(cole dingnieurs)

MS (Management et socit)

Le Muse des arts et mtiers

Votre carte tudiant donne accs au Muse (!)


Le Master SEMS

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


4/20

!"#$"#%&

&

Objectif du MasterSEMS

Former la conception, la ralisation et audploiement de Systmes Embarqus, Mobiles etSrs

Finalit professionnelle mais un stage fait enlaboratoire de recherche, peut permettre unepoursuite en thse

(Propos par le CNAM en co-habilitation aveclENSIIE)


Domaines dintrts

Le monde de linformatique embarque et mobilese retrouve dans la vie quotidienne :

dans lautomobile

dans lavionique

dans la tlphonie mobile

dans le transport ferroviaire

dans les petits objets scuriss (ex. carte puce, IoT)

dans le domaine du service la personne, etc.



5/20

!"#$"#%&

)

Master SEMS

Dfinition tentative

Les systmes embarqus doivent tenir comptedes contraintes en terme:

faible empreinte mmoire

consommation d'nergie rduite

contraintes de scurit

go-localisation, dconnexion dploiement

prix

Etc.


Lembarqu

Lembarqu est un des ples de croissance dunumrique

En 2020 : 50 milliards dobjet connects

1/3 du cot de fabrication dun avion est li au SE

Ligne 14 du Mtro = 1,3 millions dheures dedveloppement logiciel



6/20

!"#$"#%&

*

Lembarqu aspectconomique

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 delembarqu

March mondial 130 M, croissance 2% par an

Part de la France 10 M

Dans un avion: 35 % de leffort R&D

2/3 des acteurs en France sont en croissance en2012 dont 20% suprieure 20%



7/20

!"#$"#%&

+

Perspectives

tude OPIIEC (L'Observatoire Paritaire del'Informatique, de l'Ingnierie, des Etudes et duConseil (OPIIEC)) : http://www.fafiec.fr/81-l-observatoire-opiiec/

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


La nouvelle Franceindustrielle(34 propositions)

Logiciels et systmesembarqus

Objets connects

Sans compter lesdomaines applicatifslargement utilisateursdes systmesembarqus (plus de 10)

Services sans contact

Cyberscurit



8/20

!"#$"#%&

,

Le Master SEMS


Flux dtudiants

cosystme, diffrentes origines des tudiants:

Master M1 SEM du CNAM

D'coles d'ingnieurs (ENSIIE, ECE, ISEP) Autres universits franaises

tranger



9/20

!"#$"#%&

"

quipe pdagogique

Selma Boumerdassi MdC, HDR(REMO)

Samia Bouzefrane Matre deconfrences 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)

Stphane Rovedakis MdC(GDApIA)

Franoise Sailhan MdC (RECIA)

Nicolas Trves Professeur Associ(architecture et intgration des

systmes et des logiciels)

Xavier Urbain MdC, HDR (STAP,VERIF)

Anne Wei Professeur (SETMO)


Secrtariat : Meriem Bouabdellah

La formation SEMS

60 ECTS qui se rpartissent en : Tronc commun de 5 UE (30 ECTS)

Spcialisation de 2 UE (12 ECTS) : Systmes embarqus et intelligence ambiante

Systmes critiques

Stage ( 18 ECTS), Avril septembre (4 6mois)

Soutenance en septembresur 2 jours bloqus



10/20

!"#$"#%&

%$

Vue Globale

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

S. Taktak, T. CrolardSMB204

S. BoumerdassiSMB205 S. Bouzefrane & P.

Paradinas SMB206A. Wei SMB207

P. ParadinasSMB208

F. SailhanSMB209

S. RovedakisSMB203

D. DelahayeSMB211

N. Levy

SMB212

T. CrolardSMB210

29/09/2014

Intitul des UEs



11/20

!"#$"#%&

%%

ParcoursSystmes srs

Choisir 2 UE parmi : SECSdF2 : scurit et sret de fonctionnement pour

lembarqu mobile avanc(suite de SECSdF1 -commun au parcours SEMIA)

VERIF : Vrification de programmes

STAP : Smantique, Typage et Analyse deProgrammes


Vrification desprogrammes(SMB212/NFP209)

Intervenants : Nicole Levy, Nicolas Trves, Tristan Crolard

Organisation :

Cours du soir, le mercredi de 18h15 21h30 (commun NFP209)

Attention : premier cours Mercredi 1 octobre (salle21.1.05)

Contenu :

Test et validation

Preuve de programme (Spark Ada)

Model Checking (Lotos)

Mthode B CNAM-SITI-Dept INFO, SEMS 2014-2015 2229/09/2014


12/20

!"#$"#%&

%!

Smantique, Typage

et Analyse deProgrammes

Intervenants : Catherine Dubois, Olivier Pons, Pierre Courtieu, ...

Organisation : Projets tutors (TP encadrs ettravail personnel)

Thmatique : mthodes formelles (fondements etoutils)

Typage Smantique

Assistants de preuve


ParcoursSE IntelligenceAmbiante

Choisir 2 UE parmi : Rseaux de capteurs (RECIA)

Gestion de donnes et algorithmique pourlintelligence ambiante (GDApIA)

Scurit et Sret de fonctionnement 2



13/20

!"#$"#%&

%(

Complments laformation

Sminaires et confrences le jeudi

Intervenants d'entreprises : Gemalto (NFC &TSM), TRIALOG (MDE), Siemens/Clearsys(Mthode B), Smart Insight (Intelligenceconomique), Ratp, EDF

Sujet douverture

Gestion de projet (mthodes Agiles), gestion de projetinnovant et financement R&D, processus dinnovation

Logiciels Libres

Normes et standards

Processus dinnovation, NUMA,CNAM-SITI-Dept INFO, SEMS 2014-2015 2529/09/2014

Complments laformation : 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 dossiercomprenant:

le travail bibliographique

le rapport

limplmentation

la soutenance

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



14/20

!"#$"#%&

%&

Les projets/2014 Application muse mobile (Stphane/

Anne)

Analyseur de carte pour expositionla carte puce au MAM (Samia/Pierre)

Exploration des modes NFC (avecOpenNFC, Android et Blackberry)Samia

valuation d'un systme decompression sur des rseaux decapteurs (Franoise)

tude et implmentation duncompilateur pour un fragment dulangage Lustre vers C (Trristan)

tude et implmentation dunramasse-miette (garbage collector)temps-rel pour Ada (Tristan)

Etc.

Vrification et outil pour les rseauxsans fil (Sami + Anne)

Gestion de processus par mobiles(Sami + Anne)

Connexion directe dans les rseauxsans fil par mobiles (Anne)

Simulation de protocoles pour rseauxde capteurs (Anne/Stphane)

Gestion des capteurs d'un tlphoneAndroid par un MobiCloud (Samia)

Mthode B (David Delahaye)

Etude et implmentation des Runtime-Checks selon lapproche SPARK Ada(Tristan)


Les projets 2015

Dfinition de rseaux virtuelsembarqus laide dusimulateur ALEVIN

Analyseur de carte pourexposition la carte puce

au Muse

Principes de SDN (SoftwareDefined Network) et ses outils

Implmentation et valuationdun systme de hachage surprocesseur graphique (GPU).

Conception et cration derseaux virtuels embarquspar la programmation

Application mobile - parcoursinteractif avec l'algorithme NN

adapt

Etc.



15/20

!"#$"#%&

%)

Le stage


Exemples de stages(2013)


Sujet Entreprise

Dveloppement dun contrleur logiciel dinterfaces physiquesdes Gateways

Bouygues

Dveloppement doutils dans un environnement MDE Trialog

Dduction Automatique Modulo Inria/Deducteam

Bus de communication logiciel dans les systmes embarqus Bouygues

Installation et paramtrage dune solution de virtualisation enenvironnement aronautique et ralisation dune passerelleARINC 429

PGA

Implmentation dune stack DLNA sur une plateforme STB base dun chip STMicro

STM

Codage Rseau Cnam/Cedric

Dveloppement dun prototype Internet des Objets Trialog

29/09/2014


16/20

!"#$"#%&

%*

Exemples de stages(2014)


Sujet Entreprise

Conception et ralisation dun dmonstrateur Cloud priv de type IaaS Ooredoo (Alger)

tude et dveloppement dune solution base dur NFC-Siganture Orange

Dveloppement dune application Android lie une Box domotique Bouygues

Dveloppement Mobile Multi-Plateformes ETAI

Mise en place dune nouvelle version du logiciel de gestion deslibrairies Alibi

Gestion Ressources(Montral)

Ralisation dune application ddie au cblage des plates-formes devalidation lectrique vhicule

PSA

Dveloppement dun scanner partir dune carte RasBerry PI Eleet Technologies

Dveloppement d'une application sur Android pour la collecte dedonnes prives sur la sant via la plateforme Universaal

Trialog

Implmentation bi-cur dun ordonnanceur Temps Rel Sagem Dfense

29/09/2014

Stage

Commencez chercher ds demain !

Nous avons dj des propositions qui circulerontsur la mailing liste courant octobre

Le stage ne peut se faire que si les notes des UEssont suprieures 10 pour le tronc commun et 8pour les options



17/20

!"#$"#%&

%+

Obtention du Master

Le Master est obtenuavec une moyenne de 10 autotal et :

une note minimale de 10pour les 5UEs du tronccommun

une note minimale de 8pour les 2UEs au choix

une note de 10 au stage (3 Ues)

titre exceptionnel, des compensations pourronttre envisages par lquipe pdagogique en casde notes du tronc commun comprises entre 8 et10 avec une moyenne sur le tronc communsuprieure 12


Rsultats 2012-2013

2012-2013 16 tudiants rguliers

Soutenance des mmoires de stage de septembre

11 candidats

10 reus, dont 8 ont reu des propositions dembaucheavant la fin du stage

2 candidats en stage en 2014

2 abandons et 1 notes liminatoires



18/20

!"#$"#%&

%,

Rsultats 2013-2014

2013-2014 18 tudiants rguliers

Session de septembre et de Novembre

7 candidats : 6 reus + 1 ajourn

2 stage en cours

4 en recherche de stage

6 abandons


Candidature auMaster SEMS

Nombre de dossiers reus : 2011-2012: 58

2012-2013: 70

2013-2014 : 133

2024-2015 : 134



19/20

!"#$"#%&

%"

Inscription

To Do : Rcuprer le dossier sur un lien

Fournir une photo didentit au secrtariat (ASAP)

Dposer le dossier au secrtariat

Les dossiers sont transmis la scolarit avec (ma)signature

Vous recevrez une CONVOCATIONpour aller vous

inscrire la scolarit


Pratique

Mailing list: [email protected]

Secrtariat Pdagogique Mme Meriem

Bouabdellah : [email protected] 33.1.13A

Responsable Pr P. Paradinas & T. Crolard

[email protected]

[email protected]



20/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)


Documents

Presentation SEMS 14 15.Ppt