From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 7576DBB83 for ; Fri, 12 May 2006 12:03:28 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k4CA3RYQ022616 for ; Fri, 12 May 2006 12:03:28 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA22024; Fri, 12 May 2006 12:03:27 +0200 (MET DST) Received: from smtp2.iie.cnam.fr (smtp2.iie.cnam.fr [193.54.195.27]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k4CA3QXY022607 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Fri, 12 May 2006 12:03:27 +0200 Received: from [192.168.4.153] (pcens-2.iie.cnam.fr [192.168.4.153]) by smtp2.iie.cnam.fr (8.12.11/8.12.11) with ESMTP id k4CA3Ik0026217; Fri, 12 May 2006 12:03:18 +0200 (CEST) Message-ID: <44645CBE.8090503@iie.cnam.fr> Date: Fri, 12 May 2006 12:00:30 +0200 From: catherine DUBOIS User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.8) Gecko/20050927 Debian/1.7.8-1sarge3 X-Accept-Language: en MIME-Version: 1.0 To: caml-list@inria.fr, coq-club@pauillac.inria.fr, afadl-alp@imag.fr Subject: propostion de post-doc au CEDRIC (CNAM) Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Miltered: at nez-perce with ID 44645D6F.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 44645D6E.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; post-doc:01 cheres:01 doctorant:01 pourvoir:01 l'annonce:01 d'execution:01 reuse:01 concus:01 d'execution:01 l'execution:01 specifier:01 partant:01 ensembles:01 solides:01 semantique:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 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