Informatique des systèmes embarqués

Transcription

1 1 Iformaqu ds sysèms mbarqués Objcf Formr ds géurs capabls d appréhdr la programmao l égrao d sysèms complxs pouva êr mbarqués, égrés, racfs commucas. Cla écss d maîrsr ls aspcs maérls (archcur) logcls (programmao mbarqué) d cs sysèms. A l ssu d so cursus, l géur formac spécalsé das c flèr aura as ros compécs majurs : la cocpo, la programmao l ulsao ds sysèms mbarqués. D ombrux applcafs roboqu réalé vrull so proposés aux éudas. La formao rpos prcpalm sur ls hèms suvas : l archcur formaqu, la commucao, la programmao ls applcaos. E ff, c formao couvr l smbl ds domas écssars à la compréhso ds sysèms complxs mbarqués ou égrés. Au vau applcaf, u acc parculr a éé ms drèrm sur dux applcaos phars : la réalé vrull la roboqu. L proj d réalé vrull, souu par l cr d réalé vrull, s appu sur ds maérls haus prformacs ulsés à la fos das l mod dusrl d la rchrch. L applcao roboqu abord ls problèms cocrs d la programmao d sysèms mbarqués prm égalm u l avc l mod d la rchrch parculr das l doma d la roboqu mobl sur ls oos d prcpo (ram d mag ) d localsao (modélsao ). Maérls ouls Ouls d programmao ou d modélsao : VHDL, LabVIEW, Uy Procssurs : ARM, PIC, DSP Réalé Vrull : Ga + lu, rfac hapqu, cub mmrsf, Kc Roboqu : Bras mapulaur, Wfbo Ds dzas d mllards d sysèms mbarqués so coçus ulsés par d ombrux scurs dusrls comm : Aéroauqu, spaal, défs Traspor : auomobl, frrovar Résaux élécommucaos mobls Idusr ds sm-coducurs Domoqu, médcal Ls parars so ds socéés d cocpo d sysèms mbarqués das ls domas ds raspors d la défs (EADS, MBDA, Arbus, Raul ), das l doma ds élécommucaos (Thals ), ds socéés d cocpo d SoC (Sysm o Chp) pour ls applcaos dvrss (ST Mcrolcrocs ), ls socéés du scur ds NTIC ou cor ls socéés d srvc (ALTRAN, SO- PRA, VIVERIS ). Sysèms mbarqués mps rél : 190 h Sysèms llgs auooms : 170 h Sysèms égrés umérqus : 150 h Trasmsso résaux : 100 h U for po l sc l sc f q fq fqu!

2 2 Gé logcl & sysèms formaqus Objcf L objcf s d formr ds géurs capabls d maîrsr ls procssus d dévloppm logcl s appuya sur ds chqus d modélsao, d cocpo, d dévloppm d gso d proj formaqu. Cs chqus dov prmr la cocpo d applcaos modrs, écssa l égrao d composas héérogès (coxo à u bas d doés, commucao résau rfac graphqu par xmpl). La formao, cré sur l dévloppm d logcls, por sur ls chqus d modélsao d dévloppm das l cadr d projs formaqus. L acc s égalm ms sur la rprs la régér d applcaos, sur l gér ds modèls, d maèr plus gééral, sur la modélsao l aalys d hau vau pour la gso d projs formaqus. Sysèms résaux : 150 h Gé logcl dévloppm : 185 h Modélsao calcul : 150 h Iformaqu pour l'rprs : 140 h Méhods ouls Lagags d programmao : C++ (GNU), C# (.N), Java (J2EE) Bass d doés : Oracl 12c (+ JDBC/ODBC) Modèls d dévloppm : xrm programmg, agl programmg Archcurs -rs, rfacs graphqus, couchs mérs Wb srvcs, applcao Wb sécuré Parallélsm, sysèms répars, grll d calcul cloud Dévloppm d'applcaos mobls Ls évoluos récs déplac d plus plus ls acvés d dévloppm vrs l égrao d composas rès héérogès vu d obr ds produs rposa sur u archcur répar ( parculr Ir ou ls ras d rprs). Ls coassacs dspsés das la flèr so d aur à prmr aux fuurs géurs d accédr rapdm aux focos d rsposabl d équp d dévloppm ou d cosula dévloppm logcl. L bass d mplo s clu ds SSII, ds déparms d formaqu ds grads rprss, ds baqus assuracs, ds socéés spécalsés das Ir l -commrc, l dusr du ju as qu ds crs d rchrch dévloppm. Il xs ds pararas fors r l opo Gé Logcl Sysèms Iformaqus d ombrux crs d rchrch prvés publcs (Joh Huo Isu, INRA, Hwl Packard, Thals, Mchl par xmpl). Ls SSII lls qu Logca, Cap Gm, Aos, SopraGroup rcru régulèrm parm os éudas. U for pol scf qu!

3 3 Sysèms d formao & ad à la décso Objcf L objcf d la flèr s d apporr ls méhods ouls pour la cocpo, la ms ouvr, l xploao l égrao d sysèms d produco, sysèms d formao sysèms décsols af d opmsr la prs d décso au s d l rprs. L cursus d la flèr s srucuré ros blocs, qu complè l roc commu cré sur ls lagus, la commucao, l dro la gso ds rprss, l gé logcl, ls sysèms d xploao ls résaux. L bloc "Igér ds sysèms d formao" propos dfférs moduls : fodms dévloppms ds bass d doés, roduco aux sysèms d formao, admsrao ds bass d doés, formaqu décsoll, daa mg L bloc "Modélsao pour l ad à la décso" s cré sur la rchrch opéraoll, la modélsao ds procssus aléaors, la smulao à flux dscrs, ls prévsos écoomqus Ef, l bloc "Iégrao focoll ds rprss" prés ls ERP, la gso d la chaî logsqu, l égrao d applcaos, ls Wb srvcs, ls chologs Java Coassac modélsao d l'rprs : 150 h Igér ds sysèms d'formao : 160 h Ad à la décso : 180 h Rchrch opéraoll : 100 h Méhods ouls Su Oracl (Oracl 11g, ERP Oracl Applcaos) SQL Srvur (Mcrosof) Su SAS BI, SAS Erprs Mr Tald, Busss Objcs, WEKA CPLEX, GLPK ERP QUALIAC QNAP2 Quug Nwork Aalyss Packag Java EE, Eclps, Nbas Ls mplos vsés par c flèr cocr ls socéés d BI (Umas, B&D, POLARYS, Axg ), ls SSII (Cap Gm, Sopra, Logca ), ls édurs formaqus (Oracl, Qualac, SAS ), ous ls ulsaurs d grads sysèms d Iformao : maufacurs, baqus, assuracs, logsqu, raspor (Mchl, Ar Frac, Frac Tlcom ) ls crs d rchrch (CEA, CNRS, INRA ). U for pol scf qu!

4 FIL IÈRE 4 Objcf L po d vu adopé c s clu qu coss à cosdérr l ordaur plus comm u oul qu comm u moy d sockag d l formao. L rm modélsao do doc êr prs c au ss ds mahémaqus ds ouls d calcul. Il s ag d formr ds géurs maîrsa l arculao r sysèms réls modèls umérqus, aps à dévloppr sr ds logcls complxs. L géur formac qu ous souhaos formr c do pouvor : Parcpr, au s d équps plurdscplars, à la modélsao mahémaqu formaqu d sysèms cous ou dscrs. Proposr, d faço pr, pour ls modèls as obus, u ram algorhmqu spécfqu ou b l ulsao d ouls logcls xsa sur l marché. Évalur l comporm d sysèms physqus, d procédés d fabrcao ou d méhods formaqus, suggérr ls améloraos qu puv découlr ds ss. Il do doc, plus qu d aurs, ragr avc ls aurs domas ravallr d faço collcv. Calcul & modélsao scfqus Modélsao aléaor sasqu : 100 h Calcul Scfqu : 150 h Programmao mahémaqu rchrch opéraoll : 170 h Applcaos mécaqu, magr, CAO.. : 215 h Acqus ouls Calcul umérqu : Malab Opmsao : CPLEX, AMPL Calcul parallèl : MPI CAO : Caa O rouv ls grads scurs dusrls cosommaurs d calcul (Mchl, Valéo, PSA ), ls cosrucurs ou opéraurs élécoms (Frac Tlcom, Alcal), ls rasporurs (Ar Frac, SNCF), ls socéés d srvc gér formaqu mplqués das ds projs d ovao dusrll, ls crs d rchrch dévloppm (CEA, CNES, Orag Labs, INSEE). Ls géurs d la flèr rjodro ls équps d cocpo, dévloppm, modélsao, rchrch das l cadr d projs plurdscplars à for pol ova. L formaqu s abordé comm u oul d calcul, d modélsao, d ram ds mags ds doés. Ls méhods éudés s appu sur ls mahémaqus applqués, la rchrch opéraoll, l aalys d doés l calcul parallèl. Ls applcaos raés cocr r aurs la mécaqu, la physqu, l écoom, l magr, ls élécommucaos.! u fiq c s l po r o f U

5 5 Résaux & sécuré formaqu Objcf L objcf d la flèr s d formr ds géurs appréhda l smbl ds oos écssars au dévloppm, à l admsrao à la sécursao ds éléms cosua ls sysèms d formaos modrs. L résau ls éléms mobls éa au cœur d c problémaqu, l programm ds sgms abord ous ls cocps écssars au focom d'u résau d'rprs, d la cocpo (coras, spécfcaos) jusqu aux domas applcafs (Wb, applcao sur Smarpho, VoIP) aya comm objcf rasvrs la compréhso ds jux lés à la sécuré aux prformacs. Ls maèrs éudés rcouvr l archcur résau, la sécuré, l dévloppm d applcao, la vrualsao, l admsrao la mérolog ds résaux ds sysèms. Ls aspcs lés à la sécursao à la moblé so parculèrm éudés das l bu d prmr d appréhdr ous ls soluos ls mss œuvr possbls. L cursus d la flèr prm l apprssag ds dfférs éléms cosua u sysèm d formao so ulsao, sas églgr ls aspcs sécurars ds dfférs soluos pouva êr mss plac : cla cocr auss b ls soluos aculls d sockag (cloud, vrualsao), ls logcls d admsrao d Daacr d résau, as qu ls dsposfs à mr œuvr pour la commucao ds doés (vox ou daa) ou ds ouls prma d évalur, d opmsr ou d survllr ls résaux. U par o églgabl d la formao s basé sur l dévloppm d applcaos égra ls dvrss facs d l Ir la ms plac d procédur d sécursao logcl : auhfcao, crypag... Ls proocols d commucao ulsés par ls opéraurs ou ls rprss so auss éudés ms œuvr au ravrs d xrccs praqus réalsés sur dfférs maérls. Résaux sysèm : 200 h Sécuré formaqu : 130 h Iformaqu programmao ds sysèms d formao : 120 h Théor ds élécommucaos ds résaux (codag, sgal, couch physqu) : 100 h Acqus ouls Maérl acf d résaux (Csco crfcao CCNA possbl) Sécuré suré (EBIOS, Frwall, VPN, Radus, PRA, PCA, Ps, ITIL) Plaform d dévloppm (Eclps, Vsual sudo) lagags (Java, C++, C#, php ) Sysèms d xploao éudés : Mcrosof, Lux, MacOS, Solars Srvurs VoIP : Asrsk, Csco Uy xprss Ls grads groups dusrls (Mchl, Thals, Arbus), ls grads opéraurs d frasrucurs d élécommucaos (Orag, SFR), ls socéés proposa ds logcls srvcs sur Ir (SSII, édur d progcls), ls rprss do ls acvés so géographqum édus (baqus, raspor ), ls cosrucurs d dsposfs (Alcal- Luc, Sms ), ls créaurs d applcao mobl (Opum) U for pol scf qu!

6 FIL IÈRE raoal INITIALEMENT cosru das l cadr du parara avc l Uvrsé chos d Harb, la flèr raoal d l ISIMA accull maa das l cadr d u cursus oalm lagu aglas ls éudas moblé raoal. L objcf d la flèr s d formr ds géurs d hau vau, polyvals, à l raoal, capabls d appréhdr ls dffércs culurlls as qu ls ouvlls chologs lls qu l r ds objs, ls wb srvcs l ad à la décso. Ouls Lagags d programmao : C, C++ (GNU), Java (J2EE) Bass d doés : Oracl 11g Wb srvcs, applcao Wb Nwork smulaor : NS3 Opmsao : CPLEX La flèr raoal propos u spcr rès larg d moduls d formao, alla d la rchrch opéraoll aux résaux sas fl, passa par l'opmsao,l'apprssag la foull d doés ou la programmao d'applcaos mobls. L ou combé à ds moduls d lagu à u proj d f d'éud réalsé das u cadr raoal. Cocpur d applcaos mobls Cocpur d ouls d ad à la décso Igéur d affars Cocpur d logcls pour l wb srvc Rchrch dévloppm! u fiq c s l po r o f U