propostion de post-doc au CEDRIC (CNAM)

propostion de post-doc au CEDRIC (CNAM)

[catherine DUBOIS]

Chères et chers collègues,

Veuillez trouver ci-joint une annonce d'un poste de post doctorant  à
pourvoir, à partir de septembre 2006, sur le projet ARA SSIA REVE.  Merci
de diffuser l'annonce.
Cordialement,
Catherine Dubois

------------------------------------------------------------------------
VEUILLEZ EXCUSER LES RECEPTIONS MULTIPLES A PARTIR DE DIFFERENTES LISTES
------------------------------------------------------------------------

Spécification et certification de propriétés de qualité de
service liées aux changement  de contexte d'éxécution dans le
modèle à base composants du projet REVE


EQUIPE D'ACCUEIL :

Équipe CPR (Systèmes sûrs: Conception et Programmation Raisonnées)
Laboratoire CEDRIC (Centre d'Etude et De Recherche en Informatique du Cnam)
Conservatoire National des Arts et Métiers
292, rue St. Martin
FR-75141 Paris Cedex 03
Tel : +33 01 40 27 22 96
Fax : +33 01 40 27 22 96
url : http://cedric.cnam.fr/

CADRE DE LA PROPOSITION :

Le travail s'inscrit dans le cadre du projet REVE (safe Reuse of
Embedded components in heterogeneous enVironmEnts) (projet ARA
SSIA) http://reve.futurs.inria.fr/

Les applications modernes dans les domaines des middlewares, des
systèmes embarqués ou des systèmes d'information, sont de plus en plus
conçus en termes d'architectures logicielles et de composants.
Les composants peuvent êtres vus comme des  unités logicielles
connectables entre elles, offrant des ressources à la condition que
certaines autres lui soient fournies.
Un trait caractéristique des composants repose sur la nécessité de
configuration ou de reconfiguration dynamique dues par exemple à des
changements dans le contexte d'éxécution (réseau, niveau
de batterie, etc).

Les changemement de contexte d'éxécution visés par le projet
REVE concernent éssentiellement le niveau de disponibilité des
ressources critiques pour l'éxécution des composants embarqués:
niveau de batterie, quantité de CPU, activité du réseau, etc.

Le but du projet REVE est de construire un modèle de développement
 et un environnement d'exécution à base de composants pour des
 applications embarquées où les politiques de changement de  contexte
 peuvent être spécifiées, programmées et vérifiées. Afin de  valider
 la généralité de l'approche, ce modèle doit pouvoir  être projété
 vers des plateformes ou vers des modèles à  composants existants,
 dont principalement FRACTAL et ACCORD/UML.

Le travail demandé au post-doctorant consistera à définir, en
collaboration avec les membres de l'équipe CPR participant au projet,
un langage pour spécifier les composants et les politiques de
changement de contexte et d'adaptation au contexte, ainsi que les
propriétés de qualité de service souhaitées pour les composants dans
un certain contexte d'éxécution. Le modèle FRACTAL sera le point de
départ des travaux (http://fractal.objectweb.org/).


SUJET DU STAGE POST DOCTORAL

Axe 1 :
En partant des études de cas   fournies par le projet REVE, dégager
les besoins du langage de spécification pour l'expression des
propriétés fonctionnelles et des propriétes  de qualité de
service des composants (restreintes au contexte des logiciels embarqués :
ressources en batterie, CPU, mémoire ...).


Axe 2 :
Étude de la specification de  la reconfiguration dynamique d'un
système à base des composants et de ses conséquences en termes
de certification.


Axe 3 :
Étude comparative des différents langages de spécification outillés
existants (fondés sur la logique d'ordre supérieur ou la théorie
des ensembles) et proposition d'adaptation au modèle des composants
du projet REVE.  

Ce programme étant très vaste, il sera ciblé le cas échéant,
en fonction des compétences et des intérêts du candidat.


PROFIL REQUIS

Connaissances très solides en méthodes formelles. Très bonne
connaissance en sémantique des langages de programmation objets et/ou
modulaires et en typage. Une connaissane ou pratique des composants
est appréciable mais non nécessaire. En revanche l'envie d'aborder ce
domaine (où assez peu de formalisation et de certification  existe à
l'heure actuelle) est absolument nécessaire.


DUREE SOUHAITEE :
12 ou 18 mois. Début souhaité: septembre 2006.


COMPETENCES DE L'EQUIPE D'ACCUEIL CPR : http://cedric.cnam.fr

Nous nous intéressons à la certification de systèmes, notamment
par la preuve. Un des axes de recherche  est celui du développement
de l'atelier de programmation et certification FOCAL
(http://focal.inria.fr/site/index.php). Cet environnement est basé
sur un langage de programmation qui possèdedes traits fonctionnels,
objets et modulaires. Dans ce langage, le programmeur peut écrire
également des spécifications et preuves de son code, qui sont
ensuite vérifiées par un prouveur automatique. Actuellement, dans
le cadre du projet REVE, nous cherchons à aborder du point de vue de
la certification,  le paradigme de programmation et de conception à
base des composants.

CONTACT :

Si vous êtes intéressé, contactez :
Virginia Aponte (CNAM  - CEDRIC), E-mail: aponte@cnam.fr
Téléphone: 01 40 27 28 15

ou Catherine Dubois, E-mail : dubois@iie.cnam.fr
Téléphone : 01 69 36 73 40