collaborations_recherche:univ_corte
Différences
Ci-dessous, les différences entre deux révisions de la page.
Prochaine révision | Révision précédente | ||
collaborations_recherche:univ_corte [2014/11/07 10:28] – créée tigli | collaborations_recherche:univ_corte [2014/11/13 08:36] (Version actuelle) – [Minutes des Meeting] capocchi | ||
---|---|---|---|
Ligne 18: | Ligne 18: | ||
[[: | [[: | ||
- | + | [[:collaborations_recherche:univ_corte:minutes_071114|Minutes071114 | |
- | TODO : | + | |
- | - Version 4 SharpDevelop | + | |
- | - Master Ines | + | |
- | + | ||
- | + | ||
- | + | ||
- | Stratégie générée en Python ... | + | |
- | + | ||
- | + | ||
- | -- iron python | + | |
- | -- dans la class Bean en créant un instance de la classe et méthodes python | + | |
- | + | ||
- | les stratégies ... | + | |
- | Second papier pour une conf SimulTech " | + | |
- | + | ||
- | Voir PLAN !!! | + | |
- | + | ||
- | + | ||
- | Envoyer le Master d' | + | |
- | + | ||
- | + | ||
- | VOIR SI OK pour la Roadmap ... | + | |
- | VOIR UbiComm ... Nice deadline Février 2015 ... | + | |
- | + | ||
- | + | ||
- | + | ||
- | ==== | + | |
- | + | ||
- | Architecturalement parlant on a trois Beans ... dont un Bean central | + | |
- | + | ||
- | Pb 1 : | + | |
- | + | ||
- | Conformité | + | |
- | la machine d' | + | |
- | sans notions sméanitques lié à l' | + | |
- | + | ||
- | => permet en rajoutant des propriétés à vérifier au delà de celles | + | |
- | vérfiier dans le model checking de l' | + | |
- | parler de " | + | |
- | + | ||
- | Pb 2: | + | |
- | + | ||
- | Qui intègre les contraintes de la compositikon ? | + | |
- | + | ||
- | A > c'est l' | + | |
- | avec l' | + | |
- | + | ||
- | mes entrées sont on1 / on2 / off 1 / offé pour 2 accès | + | |
- | + | ||
- | ces mon produit d' | + | |
- | => on et on2-oof1 => on | + | |
- | qui va résoudre la compostion | + | |
- | validatation par model checking sur l' | + | |
- | + | ||
- | + | ||
- | B> résoudre les contraintes de la coposition liées aux accés concurrents | + | |
- | dans la mahcine d' | + | |
- | + | ||
- | Je dépose dans la stratégie de la machine d' | + | |
- | asppects génréqes (ex. DT entre deux décleanchment ... , donc tout | + | |
- | quelque soit le dispotif), des contraintes sur la génération des | + | |
- | événmrents d' | + | |
- | : on1 - off2 => on | + | |
- | on2 - off1 => on | + |
collaborations_recherche/univ_corte.1415356114.txt.gz · Dernière modification : 2014/11/07 10:28 de tigli