Vers une prise en compte fine de la plate-forme cible dans la construction des systèmes temps réel embarquéscritiques par ingénierie des modèles

Olivier Gilles

Description

Invit?eth?seDirde::cteur´Ecole Nationale Superieure des T´el´ecommunications D´epartement Informatique & R´eseaux´D´epartement de formation doctorale en informatique Ecole doctorale de ParisVers une prise en compte fine de laplate-forme cible dans la constructiondes syst`emes temps r´eel embarqu´escritiques par ing´enierie des mod`eles`THESEpr´esent´ee et soutenue publiquement le 1er mars 2010pour l’obtention duDoctorat de l’Ecole Nationale Sup´erieure des T´el´ecommunications(sp´ecialit´e informatique et R´eseaux)parOlivier GILLESComposition du juryPr´esident : Isabelle Demeure Professeur `a Telecom ParisTechRapporteurs : Lionel Seinturier Professeur a` l’universit´e de LilleFranck Singhoff Professeur a` l’universit´e de Bretagne OccidentaleExaminateurs : Nicolas Navet Chercheur a` l’INRIA Nancy Grand EstPierre de Saqui-Sannes Professeur `a l’ISAEJ´erˆome Hugues Maˆıtre de conf´erence `a Telecom ParisTechJean-S´ebastien Cruz, MBDAGroupe S3 — Syst`emes Logiciels Servicespastel-00006222, version 1 - 4 Jul 2010laMisthloria.enclassepageavecpastel-00006222, version 1 - 4 Jul 2010BudokRemerciementtsoEnluipremierD'autreslieu,doncjeatiensaratedo?LaurenremercierIlsIsabrappellederniersDemeure,tLionelgagn?Seindoublaitturier,ens?eFbatturanktrainemenSingho,pPierresonges,deJeSaqui-Sannes,rNicolasaideNapar-voetlesetPlusJean-S?bastientCruzed'atvarderoirJean-Pierrebietend?

Sujets

• Télécommunications
• Ingénierie
• Modélisation
• Système
• Thèse
• Doctorat

Informations

• Publié par: MEMOTHEQUE
• Publié le: 15 mars 2012
• Nombre de lectures: 46
• Langue: Français
• Poids de l'ouvrage: 1 Mo

Extrait

´Ecole Nationale Superieure des T´el´ecommunications D´epartement Informatique & R´eseaux ´D´epartement de formation doctorale en informatique Ecole doctorale de Paris Vers une prise en compte fine de la plate-forme cible dans la construction des syst`emes temps r´eel embarqu´es critiques par ing´enierie des mod`eles `THESE pr´esent´ee et soutenue publiquement le 1er mars 2010 pour l’obtention du Doctorat de l’Ecole Nationale Sup´erieure des T´el´ecommunications (sp´ecialit´e informatique et R´eseaux) par Olivier GILLES Composition du jury Pr´esident : Isabelle Demeure Professeur a` Telecom ParisTech Rapporteurs : Lionel Seinturier Professeur `a l’universit´e de Lille Franck Singhoff Professeur a` l’universit´e de Bretagne Occidentale Examinateurs : Nicolas Navet Chercheur a` l’INRIA Nancy Grand Est Pierre de Saqui-Sannes Professeur `a l’ISAE J´erˆome Hugues Maˆıtre de conf´erence a` Telecom ParisTech Jean-S´ebastien Cruz, MBDA Groupe S3 — Syst`emes Logiciels Services th?secteurInvit?:edeDir: pastel-00006222, version 1 - 4 Jul 2010laMisthloria.enclassepageavec pastel-00006222, version 1 - 4 Jul 2010BudokRemerciementtsoEnluipremierD'autreslieu,doncjeatiensaratedo?LaurenremercierIlsIsabrappellederniersDemeure,tLionelgagn?Seindoublaitturier,ens?eFbatturanktrainemenSingho,pPierresonges,deJeSaqui-Sannes,rNicolasaideNapar-voetlesetPlusJean-S?bastientCruzed'atvarderoirJean-Pierrebietend?vG?rardoulurelirem'accorderphilosopheslaersitaire,conanceetn??ceusJesaireetpsourranc?trememmemtsbrestendendelemonranc?urs.jury?.aTs?rieuxroisgratitude,ann?esAussidematraMerci,vrecail?mauxquellesd?couvs'apjoutenensable,ttienscinqsenseimoisjeenHalami,tansoue.tjequequipmonermanenmetA:leslemactempsepass?n?ondanscompagnonscefortune,quiJeresteraeuxpcoourl'amoiens?el'ourENSTtaurapatience?t?correunedofa?onturierbiensinguli?re?et,leurppourJ'aitoutendire,s'ilsassezmed?raisonnablet.decourtesconclureseraitmesarriv?tudes.terme.Rien,mat?rielles,ensoneet,ecneraremequed?terminaity?respsuivrequ'ilscetteregardvjoiecesquand,Maisencoretrepriselyc?en,hejeautreformhe,ulaipremi?re.mesduv'?uxded'orien?quilibre,tationtrepaction.our?lesher,?tudeslesup13?rieurestrainaisaregrett?vaecsonlatrecertitudeetqu'ioudraislPnerecrut?,s'agissaithque?d'uneetformalit?l'amiti?administrativthe.osulamarqu?renvjoursiee??tait?tesailleurs.tIl?clair?ss'estblottanatvb?r?mauvaupartag?rencoursetdessuisneufvann?esdequinsuivirenunstjequ'elleais?taitune?galemenourtoudrais,ici...remercierLequigo?tleurdesleu?tudesoaortertoujourso?t??pt.ourLionelmoi?laSinghcons?quenceourdeetrenconlestres.pDesEnn,hommesseronetmesdesmesfemmes,?tremesdurma?tres,Qu'ilsmemesrenvtetl'honneurt,deeuvmeviesdtispourenserileurs?remensajamaisv?eoirsonetMalgr?leurdicult?senilthousiasme.assum?Ar?lemvaungrandeaussihonqu'inattendu.te,encorejeman'aiilretenaumonqueect.led?risoiresnomsoiendeauquelques-udensdette,d'enetreadresseeux.motsJeJ?r?me.memonconntendeteraihercdoncsedd'uneedremercierarccollectiv?quilibranemenlatMaleserteenseignanktsmdeal'univermisersit?gDenisunDiderot,indispdeenl'InstitutpUnivetersitaireJeetdoncTremercierecFischnologiquemond'Orsa,yclubetandeo?l'univm'enersit?,PierreleetJean-LucMariequiCurie.comJejusqu'?nedernierpuis,Enbleienj?s?r,l'?cole,oubliervtoutcitercetqueautet,jem'adoiset?Blancmeset,camaradesain?l'ensurtoutt?quimestd?butsdemaqui?se.rentous,t!deencorecettraderniersv:aildlelaconhinetrairecaf?,d'uneoasc?sed:restauranuneuniva?ruditsvd'unentremturet.jofurenymeseusedeetonnevivdeanaisete.etIlstsoncol?restoutrances.nommebreuxtrouvceuxaquieconplustpaccompagn?icestsann?es,mmetqdonetnejevgardecru.ungarderaisouvpenirp?meux.u.vQu'ilspsacnir,henmestorteursquesacri?renmodentempsamiti?defraternellerleurpestuaquise.appMeslesann?escti?tudianntesnalestrait?escedecumencesMerciquelques?lignes,Seinvetenons-enF?kmaoth?se.pJeleurtienspr?cieuse,?vi-mercidemmentoustautres?bresrenourdreparticipation.hommagemes?motsJ?r?metHourugues,parenmonetdirecteurs?urs.deputh?se,ingratquifois,asouvsut.r?penondret?excuses,mesledouteseulenabien,vqu'ilsecpardonnenunes'ilsdiscr?tionpquienluiNosfaitshonneur,nettropsansplequellescetteth?sene pastel-00006222, version 1 - 4 Jul 2010ii pastel-00006222, version 1 - 4 Jul 2010iii?HenriLouisetFGilles.errier pastel-00006222, version 1 - 4 Jul 2010iv pastel-00006222, version 1 - 4 Jul 2010.T.able.des.mati?res.P.artie.I.Probl?matiq.u2.1e153.Chapitre.1.In.tro.duction.G?n?ral.eProbl?matique1.1.D?nitions......co...Analyse.........description.............a.d?lisation...............15.................16....6.1.1.1.Syst?mes17Tctuemps-R?el.Em.barqu?s17.................Chapitre.?.de.et...............Mo6.1.1.2.Cycle.de.d?v.elopp.emen.t..G?n?ration...............16...................Plan..............7.1.2.UnLangagescashid'.?.tu.de.:.Generic.AD?nitionvionic.Platform..............v...............12.2.et.t.t9l'art1.3OptimisationProbl?matiquesmoli?es.?.l'optimisation........................2.1.1.d?lisation....................10.1.3.1.Principales.con.train.tes.p2.1.2ourdel'optimisationde.............................2.1.310.1.3.2.Cons?quences.des.con.train.tes.sur.le.pro.cessus.d'optimisation...........11.1.3.32.1.4Ob.jectifs....................................2.2.de.d'arc.te.re.......................2.2.111.1.3.4.Con.tributions............................17.. pastel-00006222, version 1 - 4 Jul 2010nT.able.des.mati?r.es32.2.2.UML/MAR.TE..33.33...................con.....o.......initial...............32........182.5.22.2.3.F.ractal/F.ractal3.1ADL..3.1.1...g?n?r?...su.....................de...Mo...dications...Asp...3.3.6...t....19.2.2.4.LwCCM..........p.....d'optimisation.......T.erformances.......comp.....Nature.......39.d?les.......du.......du..21.2.2.5.AADL?ration.........Pr?conditions.................yp.......olog.......tal.......propri.....P............22.2.2.6.EAST-ADL..ADL...................aluation.et.tes.......Pro.............34.des.Em.mo............24.2.3dicationApprotc.hes.p.our.l'optimisation37dirig?ecopar.les.mo.d?les........Op.les...............3.2.125.2.3.1.?l?men.ts.caract?ristiques......3.2.2.d.............3.3.v.................43........25.2.3.2.OSA.TE..3.3.2...............45.des.et...........3.3.4.la.e...........46.comp...............dications.s26.2.3.3.Arc.heOpterixvi.2.5.ositionnemen.....................................2.5.1......................27.2.3.4.SynDex..........33.?v.des.erformances.des.train...............2.5.3.cessus...........................Chapitre.Optimisation.syst?mes27emp-Re?l2.3.5barqu?sPhRelationysicald?le-pAssem.bly.Mapp.er....................37.Mo.du.ortemen.temp.rel.................3.1.228du2.3.6deAppro.c.hes.partielles......................3.2.?rations.r.mo............................29412.4StructureM?thoprobl?medes.d.e.v.?rication.des.co.n.train.tes........41.D?nition.mo.?le.........................41.Op29Mo2.4.1e?l?men.ts.caract?ristiques..............................3.3.1....................29.2.4.2.Ob.ject.Constrain.t.Language45.R?gles.nommage.............................3.3.3.dication.t.es.i.terfaces..30.2.4.3.Les.appro.c.hes.par.preuv.e46deMoth?or?mede.top.i.........................3.3.5.ect.ortemen..31.2.4.4.Les.appro.c.hes.par.sup.ervision.d'ex?cution......48.Mo.des.?t?.non-fonctionnelles.............48.. pastel-00006222, version 1 - 4 Jul 2010.3.3.7.Syn.th?sep.........d'?v.....................Algorithmes.Heuristic...sur...Dimensionnemen.4.3.3........................48.3.3.8.P.ostconditions........................Ev.......4.4.2.................d'?v............49Discussion3.4.Op.?ration.Merge..r.....71.......71.......4.3.......74...........................hitecture.......4.4.149ec3.4.1.Pr?conditions..aluation...............Dimensionnemen.......4.4.5.........P.....80.....................7050.3.4.2.R?gles.de.nommage........70.o.l'optimisation...........F...............Half-Greedy...............train50syst?mes3.4.3.Mo.dication.des.t.yp.esOrdonnancemenet.i.n.terfaces........74..............................51.3.4.4.Mo76dicationsunede.la.top.olog.i.e......calcul.a...........eau...............4.4.3..........51.3.4.5.Asp79ect.comp.ortemen.tal............................80.des...........Pip..........54.3.4.6.Propri?t?s4.5non.fonctionnelles................vii.......4.1.3......................61.3.4.7.Syn.th?se......4.2.p.u.diriger.......................4.2.1.ull-Greedy.............................4.2.263Heuristic3.4.8.P.ostconditions......................72.Con.tes.les.TRE.........................4.3.1.t....65.3.5.Autres.op.?ra.ti.o.n.s..........4.3.2.t.............................75.S?ret?......................66.3.5.1.Op.?ration.Split......4.4.aluer.arc...............................76.Le.des.erformances.v.AADL........66.3.6.Conclusion....77.Niv.d'?v.............................79.Ordonnan?abilit?...............................4.4.4.t68.Chapitre.4.?v.al.uation.des.mo.d?les.4.1.Optimisation.et.?v.aluation..80.S?ret?.....................................4.4.6.ond?ration.crit?res.aluation........69.4.1.1.Classication.du.probl?me..4.4.7.eline.aluation...........................81.Conclusion............69.4.1.2.Impl?men.tations.des.tec.hniques.d'optimisation..........82.. pastel-00006222, version 1 - 4 Jul 2010.T.able.des6.3.1mati?r.es.P.artie.I101I.Mise.en.?6.2.4uvr114e6.3.285.Chapitre.5.V?rication.des.con.trainenrictesWsur.les.mo.d?les.5.1.In.tro.duction..d'extension.REA...Implan...Ocarina...REAL...dule.........ec.6.2.2...6.2.3...........d?les...............la...99.pro..87.5.2etStructurecede.REAL..103.......103.......105.sfo.......Construction.......109.la.....d'enri.......du.....d?le.....11487.5.2.1.T.yp.escoh?rencedeREALbases.et.ensemibles.pr?-d?nis....................5.4.3.du.ADDL.....R?le.dans.d'optimisation87.5.2.2.Theorem.et.d?nition6dealuationladupsusort?e..........L'arc...............L'in..............88Le5.2.3raConstruction.des.ensem.bles.et.v.ariables..108.mo...............Analyse.et.a.........pro88hissemen5.2.4.Expressions.param?tr?es........la.d?le.........du.............Autres................90V?rier5.2.5mAppvel.de.sous-th?or?mes