Page perso de Belgacem BEN HEDIA - Systeme temps reel embarque - EmploisAmpStages

09/07/2015 15:46 by 132.166.177.50 -

Changed lines 9-11 from:

* [Ingénieur/Master II 2014-2015] '''Définition d'un DSL (Langage dédié domaine) avionique dans BIP''' ([[Attach:BIP.pdf|PDF]])

* [Ingénieur/Master II 2014-2015] '''Génération de code d'une application temps réel embarquées à partir d'un langage de modélisation de haut niveau''' ([[Attach:sujet_GenCode_2015.pdf|PDF]])

to:

* {-[Ingénieur/Master II 2014-2015] '''Définition d'un DSL (Langage dédié domaine) avionique dans BIP''' ([[Attach:BIP.pdf|PDF]])-}

* {-[Ingénieur/Master II 2014-2015] '''Génération de code d'une application temps réel embarquées à partir d'un langage de modélisation de haut niveau''' ([[Attach:sujet_GenCode_2015.pdf|PDF]])-}

05/12/2014 11:18 by 132.166.177.50 -

05/12/2014 11:12 by 132.166.177.50 -

Changed line 11 from:

* [Ingénieur/Master II 2014-2015] '''Génération de code d'une application temps réel embarquées à partir d'un langage de modélisation de haut niveau'''([[Attach:sujet_GenCode_2015.pdf|PDF]])

to:

* [Ingénieur/Master II 2014-2015] '''Génération de code d'une application temps réel embarquées à partir d'un langage de modélisation de haut niveau''' ([[Attach:sujet_GenCode_2015.pdf|PDF]])

05/12/2014 11:11 by 132.166.177.50 -

Changed lines 9-11 from:

* [Ingénieur/Master II 2014-2015] '''Définition d'un DSL (Langage dédié domaine) avionique dans BIP''' ([[Attach:~~sujet_GenCode_2015~~.pdf|PDF]])

* [Ingénieur/Master II 2014-2015] '''Génération de code d'une application temps réel embarquées à partir d'un langage de modélisation de haut niveau''' ([[Attach:sujet_GenCode.pdf|PDF]])

to:

* [Ingénieur/Master II 2014-2015] '''Définition d'un DSL (Langage dédié domaine) avionique dans BIP''' ([[Attach:BIP.pdf|PDF]])

* [Ingénieur/Master II 2014-2015] '''Génération de code d'une application temps réel embarquées à partir d'un langage de modélisation de haut niveau'''([[Attach:sujet_GenCode_2015.pdf|PDF]])

05/12/2014 11:10 by 132.166.177.50 -

Changed line 5 from:

!!! ~~2014~~

to:

!!! 2015

Changed lines 7-9 from:

* [~~Ingénieur 2013-2014]~~ '''~~Génération de code~~ d'~~une application temps réel embarquées à partir d'un langage de modélisation de haut niveau'''~~ ([[~~Attach~~:~~sujet_GenCode~~.~~pdf~~|~~PDF~~]])

~~!!! 2012~~

to:

* [PhD octobre 2015] '''Exploration et optimisation d'architecture logicielle pour les applications temps-réel embarquées / Exploration and optimization of software architecture for real-time embedded applications''' ([[http://www-instn.cea.fr/spip.php?page=Publication_Sujet&idSujet=10943&lang=fr&langue=fr&id_rubrique=70|FR]],[[http://www-instn.cea.fr/spip.php?page=Publication_Sujetuk&idSujet=10943&lang=en&langue=uk&id_rubrique=140|EN]])

* [Ingénieur/Master II 2014-2015] '''Définition d'un DSL (Langage dédié domaine) avionique dans BIP''' ([[Attach:sujet_GenCode_2015.pdf|PDF]])

* [Ingénieur/Master II 2014-2015] '''Génération de code d'une application temps réel embarquées à partir d'un langage de modélisation de haut niveau''' ([[Attach:sujet_GenCode.pdf|PDF]])

!!! 2014

Added lines 15-18:

* {-[Ingénieur 2013-2014] '''Génération de code d'une application temps réel embarquées à partir d'un langage de modélisation de haut niveau''' ([[Attach:sujet_GenCode.pdf|PDF]])-}

!!! 2012
----

Changed line 21 from:

* [Master 2R 2011-2012] '''Test et généralisation du langage de description de sémantique du plateforme d’analyse statique du code pour supporter divers RTOS''' ([[Attach:sujet_SemDef.pdf|PDF]])

to:

* {-[Master 2R 2011-2012] '''Test et généralisation du langage de description de sémantique du plateforme d’analyse statique du code pour supporter divers RTOS''' ([[Attach:sujet_SemDef.pdf|PDF]])-}

31/01/2014 18:25 by 132.166.177.50 -

Changed line 7 from:

* * [Ingénieur 2013-2014] '''Génération de code d'une application temps réel embarquées à partir d'un langage de modélisation de haut niveau''' ([[Attach:sujet_GenCode.pdf|PDF]])

to:

* [Ingénieur 2013-2014] '''Génération de code d'une application temps réel embarquées à partir d'un langage de modélisation de haut niveau''' ([[Attach:sujet_GenCode.pdf|PDF]])

31/01/2014 17:24 by 132.166.177.50 -

Added lines 2-5:

\\

!!! 2014

Deleted lines 6-9:

!!! 2014
----

31/01/2014 17:23 by 132.166.177.50 -

Added lines 3-5:

!!! 2014

Deleted lines 6-8:

!!! 2014
----

31/01/2014 17:22 by 132.166.177.50 -

Deleted lines 2-3:

~~!!! 2014~~

Added lines 4-6:

!!! 2014
----

31/01/2014 17:21 by 132.166.177.50 -

Added lines 4-9:

!!! 2014
----
* * [Ingénieur 2013-2014] '''Génération de code d'une application temps réel embarquées à partir d'un langage de modélisation de haut niveau''' ([[Attach:sujet_GenCode.pdf|PDF]])

!!! 2012
----

31/01/2014 17:10 by 132.166.177.50 -

Changed line 11 from:

* [PhD octobre 2012] '''Validation des spécifications des applications temps-réel''' ([[http://www-instn.cea.fr/spip.php?page=Publication_Sujet&idSujet=7454&lang=fr&langue=fr&id_rubrique=70|sujet]])

to:

* {-[PhD octobre 2012] '''Validation des spécifications des applications temps-réel''' ([[http://www-instn.cea.fr/spip.php?page=Publication_Sujet&idSujet=7454&lang=fr&langue=fr&id_rubrique=70|sujet]])-}

05/06/2012 11:14 by 132.166.177.50 -

Changed lines 4-5 from:

* [Master 2R 2011-2012] '''Formalisation de la stratégie de génération de structure des tâches d’une application temps réel embarquée: une approche basée sur le modèle d’agents OASIS''' ([[Attach:sujet_MultiTasks.pdf|PDF]])

to:

* {-[Master 2R 2011-2012] '''Formalisation de la stratégie de génération de structure des tâches d’une application temps réel embarquée: une approche basée sur le modèle d’agents OASIS''' ([[Attach:sujet_MultiTasks.pdf|PDF]])-}

Changed lines 9-10 from:

* [PhD octobre 2012] '''Génération d'une application multitâche temps-réel à partir de spécifications de haut-niveau''' ([[http://www-instn.cea.fr/spip.php?page=Publication_Sujet&idSujet=7467&lang=fr&langue=fr&id_rubrique=70|sujet]])

to:

* {-[PhD octobre 2012] '''Génération d'une application multitâche temps-réel à partir de spécifications de haut-niveau''' ([[http://www-instn.cea.fr/spip.php?page=Publication_Sujet&idSujet=7467&lang=fr&langue=fr&id_rubrique=70|sujet]])-}

30/01/2012 20:11 by 81.249.17.48 -

Changed lines 9-11 from:

* [PhD octobre ~~21012~~] '''Génération d'une application multitâche temps-réel à partir de spécifications de haut-niveau''' ([[http://www-instn.cea.fr/spip.php?page=Publication_Sujet&idSujet=7467&lang=fr&langue=fr&id_rubrique=70|sujet]])

* [PhD octobre ~~21012~~] '''Validation des spécifications des applications temps-réel''' ([[http://www-instn.cea.fr/spip.php?page=Publication_Sujet&idSujet=7454&lang=fr&langue=fr&id_rubrique=70|sujet]])

to:

* [PhD octobre 2012] '''Génération d'une application multitâche temps-réel à partir de spécifications de haut-niveau''' ([[http://www-instn.cea.fr/spip.php?page=Publication_Sujet&idSujet=7467&lang=fr&langue=fr&id_rubrique=70|sujet]])

* [PhD octobre 2012] '''Validation des spécifications des applications temps-réel''' ([[http://www-instn.cea.fr/spip.php?page=Publication_Sujet&idSujet=7454&lang=fr&langue=fr&id_rubrique=70|sujet]])

30/01/2012 20:10 by 81.249.17.48 -

Added line 5:

Added line 8:

17/12/2011 19:58 by 90.84.144.233 -

Changed lines 5-9 from:

* [Master 2R 2011-2012] '''Test et généralisation du langage de description de sémantique du plateforme d’analyse statique du code pour supporter divers RTOS''' ([[Attach:sujet_SemDef.pdf|PDF]])

to:

* [Master 2R 2011-2012] '''Test et généralisation du langage de description de sémantique du plateforme d’analyse statique du code pour supporter divers RTOS''' ([[Attach:sujet_SemDef.pdf|PDF]])

* [PhD octobre 21012] '''Génération d'une application multitâche temps-réel à partir de spécifications de haut-niveau''' ([[http://www-instn.cea.fr/spip.php?page=Publication_Sujet&idSujet=7467&lang=fr&langue=fr&id_rubrique=70|sujet]])

* [PhD octobre 21012] '''Validation des spécifications des applications temps-réel''' ([[http://www-instn.cea.fr/spip.php?page=Publication_Sujet&idSujet=7454&lang=fr&langue=fr&id_rubrique=70|sujet]])

23/11/2011 10:48 by 132.166.177.50 -

Added lines 1-5:

!! Emplois & stages
----

* [Master 2R 2011-2012] '''Formalisation de la stratégie de génération de structure des tâches d’une application temps réel embarquée: une approche basée sur le modèle d’agents OASIS''' ([[Attach:sujet_MultiTasks.pdf|PDF]])
* [Master 2R 2011-2012] '''Test et généralisation du langage de description de sémantique du plateforme d’analyse statique du code pour supporter divers RTOS''' ([[Attach:sujet_SemDef.pdf|PDF]])

Main.EmploisAmpStages History