[English Text Below]
Bonjour,
J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée:
"Managing Resource Sharing Conflicts in an Open Embedded Software Environment".
La soutenance se déroulera le Vendredi 11 Juillet 2014 à 10h30, Tour
25-26, 1er étage, salle 105 du Laboratoire d'Informatique de Paris 6
(LIP6) situé à:
4, Place Jussieu, 75005 Paris, France.
Accès par métro M7 ou M10, station Jussieu.
Membres de Jury:
- [Rapporteur] Didier Donsez: Professeur (HDR) de l'Université de Grenoble 1.
- [Rapporteur] Laurence Duchien: Professeur (HDR) de l'Université de Lille 1.
- [Examinateur] Béatrice Berard: Professeur (HDR) de l'Université de
Pierre et Marie Curie, Paris 6.
- [Examinateur] Jean-Philippe Fassino: Architecte en Cyber-Securité,
Schneider Electric.
- [Examinateur] Johann Bourcier: Maitre de Conférences de l'Université
de Rennes 1.
- [Directeur de thèse] Gilles Muller: Scientifique Chercheur Senior
(HDR), Inria.
- [Encadrant académique] Gaël Thomas: Professeur (HDR) de l'Université
de Pierre et Marie Curie, Paris 6.
- [Encadrant industriel] André Bottaro: Directeur de Programme de
Recherche, Orange Labs.
Résumé:
Nos maisons deviennent de plus en plus intelligentes grâce aux
nombreux appareils, capteurs,
et actionneurs disponibles, et fournissant des services, tels que le
divertissement, la sécurité,
l'efficacité énergétique et le maintien à domicile. Divers
fournisseurs de services veulent
profiter de l'opportunité de la maison intelligente en développant
rapidement des services
à héberger dans une passerelle domotique embarquée. La passerelle est
ouverte à des
applications développées par des fournisseurs de services non fiables,
contrôlant de nombreux
appareils, et pouvant contenir des bugs ou des codes malicieux. Par
conséquent, la passerelle
doit maintenir une haute disponibilité et suffisamment de robustesse
pour tolérer les
problèmes logiciels sans avoir à redémarrer brutalement. Partager les
ressources, même
restreintes, de la passerelle entre les fournisseurs de services leur
permet de fournir des
services plus riches. Cependant, des conflits de partage des
ressources se produisent quand
une application utilise les ressources «déraisonnablement» ou
abusivement. Cette thèse
aborde le problème des conflits de partage des ressources dans la
passerelle domotique,
investiguant des approches de prévention autant que possible, et
envisageant des approches
de détection et de résolution quand la prévention est hors de portée.
Notre première contribution «Jasmin» vise à prévenir les conflits de
partage des ressources
en isolant les applications. Jasmin est un intergiciel pour le
développement, le déploiement
et l'isolation des applications natives, à base de composants et
orientées services prévues
pour des systèmes embarqués. Jasmin permet une communication rapide et
facile entre
applications, et utilise les conteneurs Linux pour une isolation à
faible coût. Notre seconde
contribution «Incinerator» est un système dans la machine virtuelle
Java (JVM) qui résout
le problème des références obsolètes en Java, c.-à-d., des références
à des objets à ne plus
utiliser. Les références obsolètes peuvent causer des fuites mémoire
importantes dans une
passerelle domotique basée sur OSGi, diminuant ainsi la quantité de
mémoire disponible,
ce qui augmente les risques de conflits de partage de mémoire. Avec un
coût inférieur à
4%, Incinerator non seulement détecte les références obsolètes, les
rendant visibles aux
développeurs, mais aussi les élimine, diminuant ainsi les risques de
conflits de partage
de ressources. Même en Java, les conflits de partage de mémoire se
produisent. Afin de
les détecter, nous présentons notre troisième contribution : un
système de surveillance de
mémoire intégré à la JVM. Notre système est pratiquement transparent
aux développeurs
d'applications et conscient du modèle à composants formant les
applications domotiques.
Le système compte précisément les ressources consommées pendant les
interactions entre
applications, et fournit, à la demande, des statistiques instantanées
d'utilisation de mémoire
pour les différents fournisseurs de services partageant la passerelle.
Au plaisir de vous voir.
Amicalement.
Koutheir Attouchi.
==== ENGLISH ====
Hello,
I'm glad to invite you to my PhD defense, about the subject:
"Managing Resource Sharing Conflicts in an Open Embedded Software Environment".
The PhD defense is going to be held on Friday the 11th of July 2014 at
10h30, Tour 25-26, First floor, room 105 of the "Laboratoire
d'Informatique de Paris 6" (LIP6) at the address:
4, Place Jussieu, 75005 Paris, France.
Access via the metro M7 or M10, station Jussieu.
Jury members:
- [Reviewer] Didier Donsez: Professor (HDR) of the University of Grenoble 1.
- [Reviewer] Laurence Duchien: Professor (HDR) of the University of Lille 1.
- [Examiner] Béatrice Berard: Professor (HDR) of the University of
Pierre et Marie Curie, Paris 6.
- [Examiner] Jean-Philippe Fassino: Cyber-Security Architect,
Schneider Electric.
- [Examiner] Johann Bourcier: Lecturer of the University of Rennes 1.
- [PhD director] Gilles Muller: Senior Research Scientist (HDR), Inria.
- [Academic supervisor] Gaël Thomas: Professor (HDR) of the University
of Pierre et Marie Curie, Paris 6.
- [Industrial supervisor] André Bottaro: Research Program Director, Orange Labs.
Abstract:
Our homes are becoming smart thanks to the numerous devices, sensors
and actuators
available in it, providing services, e.g., entertainment, home
security, energy efficiency and
health care. Various service providers want to take advantage of the
smart home opportunity by
rapidly developing services to be hosted by an embedded smart home
gateway. The gateway is
open to applications developed by untrusted service providers,
controlling numerous devices,
and possibly containing bugs or malicious code. Thus, the gateway
should be highly-available
and robust enough to handle software problems without restarting
abruptly. Sharing the
constrained resources of the gateway between service providers allows
them to provide richer
services. However, resource sharing conflicts happen when an
application uses resources
"unreasonably" or abusively. This thesis addresses the problem of
resource sharing conflicts in
the smart home gateway, investigating prevention approaches when
possible, and considering
detection and resolving approaches when prevention is out of reach.
Our first contribution, called Jasmin, aims at preventing resource
sharing conflicts by
isolating applications. Jasmin is a middleware for development,
deployment and isolation of
native, component-based and service-oriented applications targeted at
embedded systems.
Jasmin enables fast and easy cross-application communication, and uses
Linux containers for
lightweight isolation. Our second contribution, called Incinerator, is
a subsystem in the Java
Virtual Machine (JVM) aiming to resolve the problem of Java stale
references, i.e., references
to objects that should no more be used. Stale references can cause
significant memory
leaks in an OSGi-based smart home gateway, hence decreasing the amount
of available
memory, which increases the risks of memory sharing conflicts. With
less than 4% overhead,
Incinerator not only detects stale references, making them visible to
developers, but also
eliminates them, hence lowering the risks of resource sharing
conflicts. Even in Java, memory
sharing conflicts happen. Thus, in order to detect them, we propose
our third contribution: a
memory monitoring subsystem integrated into the JVM. Our subsystem is
mostly transparent
to application developers and also aware of the component model
composing smart home
applications. The system accurately accounts for resources consumed
during cross-application
interactions, and provides on-demand snapshots of memory usage
statistics for the different
service providers sharing the gateway.
I will be pleased to meet you then.
Kind Regards.
Koutheir Attouchi.
mardi 24 juin 2014
lundi 23 juin 2014
[Invitation] Soutenance de thèse de Rima Hatoum
Bonjour,
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée:
"Algorithmes d'Ordonnancement Inter-Couches avec Adaptation de
Modulation et de Codage dans les Réseaux Hétérogènes LTE" et au pot
qui suivra.
La soutenance se déroulera le jeudi 26 juin à 15h, Tour 25-26, 1er
étage, salle 105 du Laboratoire d'Informatique de Paris 6 (LIP6) situé
au:
4, Place Jussieu
75005 Paris (station Jussieu métro 7 et 10)
Membres de Jury:
- ACHIR Nadjib: Maître de conférence-HDR, Université Paris Nord (rapporteur)
- AL-AGHA Khaldoun: Professeur, Université Paris Sud (examinateur)
- ELAYOUBI Salah Eddine: Ingénieur de recherche-HDR, Orange Labs (rapporteur)
- FLADENMULLER Anne: Maître de conférence-HDR, Université Pierre et
Marie Curie (examinatrice)
- GHAITH Alaa: Maître de Conférence, Université Libanaise
(encadrant de thèse)
- NGUYEN Thi-Mai-Trang: Maître de Conférence-HDR, Université Pierre
et Marie Curie (examinatrice)
- PUJOLLE Guy: Professeur, Université Pierre et Marie Curie
(directeur de thèse)
Abstract:
Responding to the huge demand for high data rates and satisfying
Quality of Service (QoS) requirements are the main objectives of the
wireless mobile operators. LTE-based small cell system is a promising
technology offering the required services, enhanced indoor coverage
and increased system capacity. However, many challenges face the
constructors and the operators for an effective deployment of these
systems. In this thesis, in order to evolve such systems and adduce
significant enhancement in terms of QoS and throughput, we adopt a
complementary strategy based on both data link layer and physical layer.
First, we propose, on the link layer level, two scheduling and joint
resource allocation algorithm based on the Adaptive Modulation and
Coding (AMC) and the power control mechanism for OFDMA-Downlink and
SC-FDMA-Uplink connections respectively. Namely, they refer to:
"Downlink AMC-QRAP" and "Uplink AMC-QRAP". The joint adaptation of the
transmission power and the Modulation and Coding Scheme reliably
interacts with the link quality on each allocated sub-channel. Two
distinct user categories are considered to differentiate between
different QoS levels required. Accordingly, a linear optimization
model is performed for the problem resolution. A clustering approach
proposed in the literature has been used as a tradeoff between
centralized and distributed schemes. Particularly, we used the
spectrum sensing technique as proposed on the physical layer to detect
surrounding transmissions.
After that, we tackle the physical layer "signal processing"
techniques as an LTE enhancement approach. Thus, two contributions
based on the "wavelet transform" (WT) are proposed.
The "wavelet-based OFDM" technique is firstly proposed as an
alternative transmission mode for both downlink and uplink of the LTE
and beyond wireless systems. In fact, the
OFDM suffers from several limitations in terms of PAPR, spectral
efficiency, synchronization cost and the inter-carrier interference.
We proved that with substituting the Fourier transform by the wavelet
transform in the OFDM technique, the different OFDM limitations can be
significantly overcame. Second, we proposed an enhanced spectrum
sensing approach based on WT tool that accurately delimits the
occupied resource blocks in the whole spectrum. These physical layer
enhancements help improving the scheduling algorithm for the uplink
proposed in our second contribution.
Extensive network simulations with different network densities have
been conducted, using several metrics such as spectral efficiency,
throughput satisfaction rate, user outage and transmission power. We
have compared our methods to several existing works in the literature
and proved the outperformance for the different considered metrics.
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée:
"Algorithmes d'Ordonnancement Inter-Couches avec Adaptation de
Modulation et de Codage dans les Réseaux Hétérogènes LTE" et au pot
qui suivra.
La soutenance se déroulera le jeudi 26 juin à 15h, Tour 25-26, 1er
étage, salle 105 du Laboratoire d'Informatique de Paris 6 (LIP6) situé
au:
4, Place Jussieu
75005 Paris (station Jussieu métro 7 et 10)
Membres de Jury:
- ACHIR Nadjib: Maître de conférence-HDR, Université Paris Nord (rapporteur)
- AL-AGHA Khaldoun: Professeur, Université Paris Sud (examinateur)
- ELAYOUBI Salah Eddine: Ingénieur de recherche-HDR, Orange Labs (rapporteur)
- FLADENMULLER Anne: Maître de conférence-HDR, Université Pierre et
Marie Curie (examinatrice)
- GHAITH Alaa: Maître de Conférence, Université Libanaise
(encadrant de thèse)
- NGUYEN Thi-Mai-Trang: Maître de Conférence-HDR, Université Pierre
et Marie Curie (examinatrice)
- PUJOLLE Guy: Professeur, Université Pierre et Marie Curie
(directeur de thèse)
Abstract:
Responding to the huge demand for high data rates and satisfying
Quality of Service (QoS) requirements are the main objectives of the
wireless mobile operators. LTE-based small cell system is a promising
technology offering the required services, enhanced indoor coverage
and increased system capacity. However, many challenges face the
constructors and the operators for an effective deployment of these
systems. In this thesis, in order to evolve such systems and adduce
significant enhancement in terms of QoS and throughput, we adopt a
complementary strategy based on both data link layer and physical layer.
First, we propose, on the link layer level, two scheduling and joint
resource allocation algorithm based on the Adaptive Modulation and
Coding (AMC) and the power control mechanism for OFDMA-Downlink and
SC-FDMA-Uplink connections respectively. Namely, they refer to:
"Downlink AMC-QRAP" and "Uplink AMC-QRAP". The joint adaptation of the
transmission power and the Modulation and Coding Scheme reliably
interacts with the link quality on each allocated sub-channel. Two
distinct user categories are considered to differentiate between
different QoS levels required. Accordingly, a linear optimization
model is performed for the problem resolution. A clustering approach
proposed in the literature has been used as a tradeoff between
centralized and distributed schemes. Particularly, we used the
spectrum sensing technique as proposed on the physical layer to detect
surrounding transmissions.
After that, we tackle the physical layer "signal processing"
techniques as an LTE enhancement approach. Thus, two contributions
based on the "wavelet transform" (WT) are proposed.
The "wavelet-based OFDM" technique is firstly proposed as an
alternative transmission mode for both downlink and uplink of the LTE
and beyond wireless systems. In fact, the
OFDM suffers from several limitations in terms of PAPR, spectral
efficiency, synchronization cost and the inter-carrier interference.
We proved that with substituting the Fourier transform by the wavelet
transform in the OFDM technique, the different OFDM limitations can be
significantly overcame. Second, we proposed an enhanced spectrum
sensing approach based on WT tool that accurately delimits the
occupied resource blocks in the whole spectrum. These physical layer
enhancements help improving the scheduling algorithm for the uplink
proposed in our second contribution.
Extensive network simulations with different network densities have
been conducted, using several metrics such as spectral efficiency,
throughput satisfaction rate, user outage and transmission power. We
have compared our methods to several existing works in the literature
and proved the outperformance for the different considered metrics.
Soutenance de thèse de Selma Kchir
Bonjour,
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Faciliter le développement des applications de robotique" ainsi qu'au
pot qui suivra.
Le jury est composé de:
M.Xavier Blanc, Professeur à l'Université Bordeaux 1, Examinateur
M.Noury Bouraqadi, Maître de conférences HDR à l'Ecole des mînes de
Douai, Rapporteur
M.Jacques Malenfant, Professeur à l'Université Pierre et Marie Curie,
Examinateur
M.Bernard Pottier, Professeur à l'Université de Bretagne Occidentale,
Examinateur
M.Amar Ramdane-Chérif, Professeur à l'Université de Versailles Saint
Quentin en Yvelines, Rapporteur
M.Serge Stinckwich, Maître de conférences à l'Université Caen,
Co-Encadrant
M.Tewfik Ziadi, Maître de conférences à l'Université Pierre et Marie
Curie, Co-Encadrant
M.Mikal Ziane, Maître de conférences HDR à l'Université Paris
Descartes, Directeur
La soutenance aura lieu le jeudi 26 juin à 14h à l'Université Pierre et
Marie Curie:
Laboratoire d'Informatique de Paris 6, Salle Laurière 25/26 - 101.
Accès en Métro par la station Jussieu, lignes 7 et 10.
*******************
Résumé de la thèse
*******************
L'un des challenges des roboticiens consiste à gérer un grand nombre de
variabilités. Ces dernières concernent les concepts liés au matériel et
aux logiciels du domaine de la robotique. Par conséquent, le
développement des applications de robotique est une tâche complexe. Non
seulement, elle requiert la maîtrise des
détails de bas niveau du matériel et du logiciel mais aussi le
changement du matériel utilisé dans une application entraînerait la
réécriture du code de
celle-ci. L'utilisation de l'ingénierie dirigée par les modèles dans ce
contexte est une voie prometteuse pour (1) gérer les problèmes de
dépendance des applications des détails de bas niveau à travers des
modèles stables et (2) faciliter le développement des applications à
travers une génération automatique de code vers des plateformes cibles.
Les langages de modélisation spécifiques aux domaines mettent en oeuvre
les techniques de l'ingénierie dirigée par les modèles afin de
représenter les concepts du domaine et permettre aux experts de celui-ci
de manipuler des concepts qu'ils ont l'habitude d'utiliser. Cependant,
ces concepts ne sont pas suffisants pour représenter tous les aspects
d'une application car ils sont très généraux. Il faudrait alors
s'appuyer sur une démarche pour extraire des abstractions à partir de
cas d'utilisations concrets et ainsi définir des abstractions ayant une
sémantique opérationnelle.
Le travail de cette thèse s'articule autour de deux axes principaux. Le
premier axe concerne la contribution à la conception d'un langage de
modélisation spécifique au domaine de la robotique mobile (RobotML).
Nous extrayons à partir d'une ontologie du domaine les concepts que les
roboticiens ont l'habitude d'utiliser pour la définition de leurs
applications. Ces concepts sont ensuite représentés à travers une
interface graphique permettant la représentation de modèles afin
d'assurer une facilité d'utilisation pour les utilisateurs de RobotML.
On offre ainsi la possibilité aux roboticiens de représenter leurs
scénarios dans des modèles stables et indépendants des plateformes
cibles à travers des concepts qu'ils ont l'habitude de manipuler. Une
génération de code automatique à partir de ces modèles est ensuite
possible vers une ou plusieurs plateformes cibles. Cette contribution
est validée par la mise en oeuvre d'un scénario aérien dans un
environnement inconnu proposé par l'ONERA. Le deuxième axe de cette
thèse tente de définir une approche pour rendre les algorithmes
résistants aux changements des détails de bas niveau. Notre approche
prend en entrée la description d'une tâche de robotique et produit :
– un ensemble d'abstractions non algorithmiques représentant des
requêtes sur l'environnment y compris le robot ou des actions de haut
niveau ;
– un ensemble d'abstractions algorithmiques encapsulant un ensemble
d'instructions permettant de réaliser une sous-tâche de la tâche étudiée
;
– un algorithme générique configurable défini en fonction de ces
abstractions.
Ainsi, l'impact du changement du matériel et des stratégies définies
dans les sous-tâches n'est pas très important. Il suffit d'adapter
l'implantation de ces abstractions sans avoir à modifier l'algorithme
générique. Cette approche est validée sur six variantes d'une famille
d'algorithmes de navigation appelée Bug.
Cordialement,
Selma Kchir
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Faciliter le développement des applications de robotique" ainsi qu'au
pot qui suivra.
Le jury est composé de:
M.Xavier Blanc, Professeur à l'Université Bordeaux 1, Examinateur
M.Noury Bouraqadi, Maître de conférences HDR à l'Ecole des mînes de
Douai, Rapporteur
M.Jacques Malenfant, Professeur à l'Université Pierre et Marie Curie,
Examinateur
M.Bernard Pottier, Professeur à l'Université de Bretagne Occidentale,
Examinateur
M.Amar Ramdane-Chérif, Professeur à l'Université de Versailles Saint
Quentin en Yvelines, Rapporteur
M.Serge Stinckwich, Maître de conférences à l'Université Caen,
Co-Encadrant
M.Tewfik Ziadi, Maître de conférences à l'Université Pierre et Marie
Curie, Co-Encadrant
M.Mikal Ziane, Maître de conférences HDR à l'Université Paris
Descartes, Directeur
La soutenance aura lieu le jeudi 26 juin à 14h à l'Université Pierre et
Marie Curie:
Laboratoire d'Informatique de Paris 6, Salle Laurière 25/26 - 101.
Accès en Métro par la station Jussieu, lignes 7 et 10.
*******************
Résumé de la thèse
*******************
L'un des challenges des roboticiens consiste à gérer un grand nombre de
variabilités. Ces dernières concernent les concepts liés au matériel et
aux logiciels du domaine de la robotique. Par conséquent, le
développement des applications de robotique est une tâche complexe. Non
seulement, elle requiert la maîtrise des
détails de bas niveau du matériel et du logiciel mais aussi le
changement du matériel utilisé dans une application entraînerait la
réécriture du code de
celle-ci. L'utilisation de l'ingénierie dirigée par les modèles dans ce
contexte est une voie prometteuse pour (1) gérer les problèmes de
dépendance des applications des détails de bas niveau à travers des
modèles stables et (2) faciliter le développement des applications à
travers une génération automatique de code vers des plateformes cibles.
Les langages de modélisation spécifiques aux domaines mettent en oeuvre
les techniques de l'ingénierie dirigée par les modèles afin de
représenter les concepts du domaine et permettre aux experts de celui-ci
de manipuler des concepts qu'ils ont l'habitude d'utiliser. Cependant,
ces concepts ne sont pas suffisants pour représenter tous les aspects
d'une application car ils sont très généraux. Il faudrait alors
s'appuyer sur une démarche pour extraire des abstractions à partir de
cas d'utilisations concrets et ainsi définir des abstractions ayant une
sémantique opérationnelle.
Le travail de cette thèse s'articule autour de deux axes principaux. Le
premier axe concerne la contribution à la conception d'un langage de
modélisation spécifique au domaine de la robotique mobile (RobotML).
Nous extrayons à partir d'une ontologie du domaine les concepts que les
roboticiens ont l'habitude d'utiliser pour la définition de leurs
applications. Ces concepts sont ensuite représentés à travers une
interface graphique permettant la représentation de modèles afin
d'assurer une facilité d'utilisation pour les utilisateurs de RobotML.
On offre ainsi la possibilité aux roboticiens de représenter leurs
scénarios dans des modèles stables et indépendants des plateformes
cibles à travers des concepts qu'ils ont l'habitude de manipuler. Une
génération de code automatique à partir de ces modèles est ensuite
possible vers une ou plusieurs plateformes cibles. Cette contribution
est validée par la mise en oeuvre d'un scénario aérien dans un
environnement inconnu proposé par l'ONERA. Le deuxième axe de cette
thèse tente de définir une approche pour rendre les algorithmes
résistants aux changements des détails de bas niveau. Notre approche
prend en entrée la description d'une tâche de robotique et produit :
– un ensemble d'abstractions non algorithmiques représentant des
requêtes sur l'environnment y compris le robot ou des actions de haut
niveau ;
– un ensemble d'abstractions algorithmiques encapsulant un ensemble
d'instructions permettant de réaliser une sous-tâche de la tâche étudiée
;
– un algorithme générique configurable défini en fonction de ces
abstractions.
Ainsi, l'impact du changement du matériel et des stratégies définies
dans les sous-tâches n'est pas très important. Il suffit d'adapter
l'implantation de ces abstractions sans avoir à modifier l'algorithme
générique. Cette approche est validée sur six variantes d'une famille
d'algorithmes de navigation appelée Bug.
Cordialement,
Selma Kchir
vendredi 20 juin 2014
Soutenance de thèse de Bertrand Marne
Bonjour à tous,
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Modèles et outils pour la conception de jeux sérieux : une approche
meta-design" devant le jury composé de:
- Mme Amal El Fallah Seghrouchni (Université Pierre et Maris Curie),
Présidente du Jury
- M. Sébastien George (Université du Maine), Rapporteur
- M. Jean-Marc Labat (Université Pierre et Maris Curie), Directeur de thèse
- Mme Domitile Lourdeaux (Université de technologie de Compiègne), Examinatrice
- M. Jean-Charles Marty (Université de Savoie), Rapporteur
- M. Stéphane Natkin (Conservatoire national des arts et métiers), Examinateur
La soutenance aura lieu le *jeudi 10 juillet 2014* à *13h45* sur le
campus de Jussieu de l'Université Pierre et Marie Curie:
Salle des thèses de l'Atrium (grande salle de Visioconférence),
RDC du bâtiment Atrium (couloir jaune Porte "Entrée 2")
4 place Jussieu
75005 Paris
Accès: http://www.locations.espaces.upmc.fr/fr/campus.html
Accès en Métro par la station Jussieu, lignes 7 et 10.
Comme de coutume, la soutenance sera suivie d'un pot auquel vous êtes
chaleureusement invités.
================
Résumé de la thèse:
================
Cette thèse en informatique se situe dans le domaine des jeux sérieux
destinés à l'apprentissage et s'intéresse à leur conception et aux
outils auteurs d'adaptation.
Les jeux sérieux sont des Environnements Informatiques Pour
l'Apprentissage Humain dont la conception nécessite la collaboration
d'experts variés parmi lesquels les enseignants.
Pour faciliter la conception multi-expertise initiale des jeux sérieux
métissant motivation et apprentissage, nous proposons un cadre
conceptuel, les 6 facettes de la conception des jeux sérieux, qui aide
les parties prenantes à collaborer à chaque étape de conception. Les 6
facettes sont enrichies par la bibliothèque de patrons de conception
que nous proposons, et qui construit un vocabulaire favorisant la
conception participative.
Pour permettre la co-conception des jeux sérieux dans l'usage par les
enseignants, nous avons prolongé l'approche de la conception
participative à celle du meta-design. Nous proposons un modèle et un
outil auteur permettant aux enseignants d'adapter les jeux sérieux à
leurs contextes spécifiques d'enseignement.
MoPPLiq est un modèle à la fois formel et graphique qui représente la
scénarisation des jeux sérieux à étapes, de façon à la rendre
compréhensible et manipulable. APPLiq est un outil auteur permettant
de manipuler des modèles MoPPLiq, en maintenant leur cohérence grâce à
une vérification et une compensation automatique de la planification.
Nos outils conceptuels (6 facettes et patrons de conception) et
logiciels (MoPPLiq et APPLiq) ont été mis à l'épreuve lors de travaux
de conception de jeux sérieux avec des partenaires publics et privés
et avec des jeux sérieux utilisés par des enseignants.
Mots-clés : jeux sérieux, modèles, méta-modèles, outil auteur, cadre
conceptuel, meta-design, conception participative.
Bien cordialement;
--
Bertrand Marne
PhD Student in MOCAH team
LIP6 - UPMC/Paris - France
Tél. : 06 66 89 95 16 -- 01 44 27 88 30
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Modèles et outils pour la conception de jeux sérieux : une approche
meta-design" devant le jury composé de:
- Mme Amal El Fallah Seghrouchni (Université Pierre et Maris Curie),
Présidente du Jury
- M. Sébastien George (Université du Maine), Rapporteur
- M. Jean-Marc Labat (Université Pierre et Maris Curie), Directeur de thèse
- Mme Domitile Lourdeaux (Université de technologie de Compiègne), Examinatrice
- M. Jean-Charles Marty (Université de Savoie), Rapporteur
- M. Stéphane Natkin (Conservatoire national des arts et métiers), Examinateur
La soutenance aura lieu le *jeudi 10 juillet 2014* à *13h45* sur le
campus de Jussieu de l'Université Pierre et Marie Curie:
Salle des thèses de l'Atrium (grande salle de Visioconférence),
RDC du bâtiment Atrium (couloir jaune Porte "Entrée 2")
4 place Jussieu
75005 Paris
Accès: http://www.locations.espaces.upmc.fr/fr/campus.html
Accès en Métro par la station Jussieu, lignes 7 et 10.
Comme de coutume, la soutenance sera suivie d'un pot auquel vous êtes
chaleureusement invités.
================
Résumé de la thèse:
================
Cette thèse en informatique se situe dans le domaine des jeux sérieux
destinés à l'apprentissage et s'intéresse à leur conception et aux
outils auteurs d'adaptation.
Les jeux sérieux sont des Environnements Informatiques Pour
l'Apprentissage Humain dont la conception nécessite la collaboration
d'experts variés parmi lesquels les enseignants.
Pour faciliter la conception multi-expertise initiale des jeux sérieux
métissant motivation et apprentissage, nous proposons un cadre
conceptuel, les 6 facettes de la conception des jeux sérieux, qui aide
les parties prenantes à collaborer à chaque étape de conception. Les 6
facettes sont enrichies par la bibliothèque de patrons de conception
que nous proposons, et qui construit un vocabulaire favorisant la
conception participative.
Pour permettre la co-conception des jeux sérieux dans l'usage par les
enseignants, nous avons prolongé l'approche de la conception
participative à celle du meta-design. Nous proposons un modèle et un
outil auteur permettant aux enseignants d'adapter les jeux sérieux à
leurs contextes spécifiques d'enseignement.
MoPPLiq est un modèle à la fois formel et graphique qui représente la
scénarisation des jeux sérieux à étapes, de façon à la rendre
compréhensible et manipulable. APPLiq est un outil auteur permettant
de manipuler des modèles MoPPLiq, en maintenant leur cohérence grâce à
une vérification et une compensation automatique de la planification.
Nos outils conceptuels (6 facettes et patrons de conception) et
logiciels (MoPPLiq et APPLiq) ont été mis à l'épreuve lors de travaux
de conception de jeux sérieux avec des partenaires publics et privés
et avec des jeux sérieux utilisés par des enseignants.
Mots-clés : jeux sérieux, modèles, méta-modèles, outil auteur, cadre
conceptuel, meta-design, conception participative.
Bien cordialement;
--
Bertrand Marne
PhD Student in MOCAH team
LIP6 - UPMC/Paris - France
Tél. : 06 66 89 95 16 -- 01 44 27 88 30
Soutenance de Thèse de Mme Manel Djemal
Chers collègues,
Ci-joint l'invitation à la soutenance de thèse de Mme Manel Djemal.
Bien cordialement
Alix Munier Kordon
Bonjour,
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Réconcilier performance et prédictibilité sur un many-coeur en
utilisant des techniques d'ordonnancement hors-ligne".
La soutenance aura lieu le vendredi 27 juin à 14h à l'université
Pierre et Marie Curie (adresse : 4 place Jussieu, 75005 Paris 6) dans
la salle 211(salle de conseils de l'UFR, couloir 55-65, 2ème étage).
La station de métro la plus proche est Jussieu (Métro 7 et 10).
Le jury est composé de :
- Mme. Florence Maraninchi, Verimag, Grenoble, Rapporteur de thèse
- M. Renaud Sirdey, CEA, Saclay, Rapporteur de thèse
- M. Bertrand Granado, LIP6, Paris, Examinateur
- M. François Irigoin, CRI - MINES ParisTech, Examinateur
- M. François Pêcheux, LIP6, Paris, Examinateur
- M. Louis Mandel, Collège de France, Paris, Examinateur
- Mme. Alix Munier, LIP6, Paris, Directeur de thèse
- M. Dumitru Potop-Butucaru, INRIA, Recquencourt, Encadrant de thèse
Vous êtes également conviés au pot qui suivra la soutenance.
Veuillez trouver le résumé (anglais et français) de la thèse en pièce jointe.
Bien cordialement
Manel Djemal
-------------------------------------------------------------------------------
<logo_INRIA.png>
Paris – Rocquencourt Research Center
Manel DJEMAL FAKHFAKH
PhD student INRIA Rocquencourt - AOSTE team
Domaine de Voluceau, BP 105, 78153 Le Chesnay, France
Tel: (+33) 06 46 85 40 30
(+33) 01 39 63 56 62
--------------------------------------------------------------------------------
Ci-joint l'invitation à la soutenance de thèse de Mme Manel Djemal.
Bien cordialement
Alix Munier Kordon
Bonjour,
J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée
"Réconcilier performance et prédictibilité sur un many-coeur en
utilisant des techniques d'ordonnancement hors-ligne".
La soutenance aura lieu le vendredi 27 juin à 14h à l'université
Pierre et Marie Curie (adresse : 4 place Jussieu, 75005 Paris 6) dans
la salle 211(salle de conseils de l'UFR, couloir 55-65, 2ème étage).
La station de métro la plus proche est Jussieu (Métro 7 et 10).
Le jury est composé de :
- Mme. Florence Maraninchi, Verimag, Grenoble, Rapporteur de thèse
- M. Renaud Sirdey, CEA, Saclay, Rapporteur de thèse
- M. Bertrand Granado, LIP6, Paris, Examinateur
- M. François Irigoin, CRI - MINES ParisTech, Examinateur
- M. François Pêcheux, LIP6, Paris, Examinateur
- M. Louis Mandel, Collège de France, Paris, Examinateur
- Mme. Alix Munier, LIP6, Paris, Directeur de thèse
- M. Dumitru Potop-Butucaru, INRIA, Recquencourt, Encadrant de thèse
Vous êtes également conviés au pot qui suivra la soutenance.
Veuillez trouver le résumé (anglais et français) de la thèse en pièce jointe.
Bien cordialement
Manel Djemal
-------------------------------------------------------------------------------
<logo_INRIA.png>
Paris – Rocquencourt Research Center
Manel DJEMAL FAKHFAKH
PhD student INRIA Rocquencourt - AOSTE team
Domaine de Voluceau, BP 105, 78153 Le Chesnay, France
Tel: (+33) 06 46 85 40 30
(+33) 01 39 63 56 62
--------------------------------------------------------------------------------
Inscription à :
Articles (Atom)