Merci de diffuser cette annonce a toute personne susceptible d'etre
interessee. Toutes nos excuses pour les receptions multiples.
RECHERCHE DE THESARD SUR CONTRAT CIFRE A l'ENS DE CACHAN
========================================================
La société Alcatel Alsthom Recherche (AAR) et le Laboratoire
Spécification et Vérification (LSV), URA 2236 CNRS de l'Ecole Normale
Supérieure de Cachan, recherchent un thesard sur convention CIFRE pour
la période septembre 1998 - septembre 2001.
Cette convention s'inscrit dans le cadre du projet VULCAIN (Validation
par l'Utilisateur de Logiciels de Commande d'Automatismes Industriels)
commun à Alcatel Alsthom Recherche et l'ENS de Cachan.
* Thème :
---------
Les automates programmables industriels sont utilisés dans de nombreux
dispositifs de contrôle/commande, en particulier dans le cadre
d'applications ferroviaires. Les automates participent, entre autre, à
l'exécution de fonctionnalités liées à la sécurité. Les logiciels
s'exécutant sur ces automates sont écrits dans un ensemble normalisé
(norme IEC 1131-3) de cinq langages. Ceux-ci peuvent être considérés
comme étantde trois types différents :
. un langage spécialisé pour les séquences de commande :
Sequentiel Function Chart (SFC)
. deux langages graphiques :
Ladder Diagram (LD) et Function Block Diagram (FBD)
. deux langages textuels :
Instruction List (IL) et Structured Text(ST)
Un langage de chaque type a été choisi pour le projet VULCAIN:
. Sequentiel Function Chart (SFC)
. Ladder Diagram (LD)
. Structured Text (ST)
L'objectif du projet VULCAIN est de définir une méthode pour valider un
programme utilisant ces trois langages et les algorithmes associés.
Le travail attendu dans le cadre de cette these sur convention CIFRE
porte sur la validation des programmes écrits en Structured Text,
langage textuel de type procédural.
* Profil attendu :
------------------
Le candidat devra être titulaire d'un DEA d'Informatique, si possible
avec mention, et bien entendu ne pas avoir commencé de travail de thèse.
Un cursus universitaire (ou d'école d'ingénieur) avec une part
significative de génie logiciel (méthodes de conception, validation,
vérification...) sera particulièrement apprécié.
* Candidature :
---------------
Tout étudiant intéressé par cette offre doit prendre contact avec
Antoine PETIT
ENS de Cachan
LSV, URA 2236 - CNRS
61 av. President Wilson F-94235 Cachan Cedex
tel: 01 47 40 27 24 sec: 01 47 40 24 04
fax: 01 47 40 24 64 email: Antoine.Petit@lsv.ens-cachan.fr
--------------C0C3983F5AD942DFAC09E775
Content-Type: message/rfc822
Content-Transfer-Encoding: 8bit
Content-Disposition: inline
Return-Path: <Antoine.PETIT@lsv.ens-cachan.fr>
Received: from banane.lsv.ens-cachan.fr (banane [138.231.81.94])
by chataigne.lsv.ens-cachan.fr (8.8.4/jtpda-5.2) with ESMTP id OAA25894
; Sat, 25 Apr 1998 14:13:56 +0200 (MET DST)
Received: from lsv.ens-cachan.fr (localhost [127.0.0.1]) by banane.lsv.ens-cachan.fr (8.8.4/jb-1.1)
id OAA13358 ; Sat, 25 Apr 1998 14:12:39 +0200 (MET DST)
Sender: Antoine.PETIT
Message-ID: <3541D336.DD37B43F@lsv.ens-cachan.fr>
Date: Sat, 25 Apr 1998 14:12:38 +0200
From: Antoine Petit <Antoine.PETIT@lsv.ens-cachan.fr>
X-Mailer: Mozilla 4.04 [en] (X11; I; SunOS 5.5.1 sun4u)
MIME-Version: 1.0
To: petit@grenade.lsv.ens-cachan.fr
Subject: RECHERCHE DE THESARD SUR CONTRAT CIFRE
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Merci de diffuser cette annonce a toute personne susceptible d'etre
interessee. Toutes nos excuses pour les receptions multiples.
RECHERCHE DE THESARD SUR CONTRAT CIFRE A l'ENS DE CACHAN
========================================================
La société Alcatel Alsthom Recherche (AAR) et le Laboratoire
Spécification et Vérification (LSV), URA 2236 CNRS de l'Ecole Normale
Supérieure de Cachan, recherchent un thesard sur convention CIFRE pour
la période septembre 1998 - septembre 2001.
Cette convention s'inscrit dans le cadre du projet VULCAIN (Validation
par l'Utilisateur de Logiciels de Commande d'Automatismes Industriels)
commun à Alcatel Alsthom Recherche et l'ENS de Cachan.
* Thème :
---------
Les automates programmables industriels sont utilisés dans de nombreux
dispositifs de contrôle/commande, en particulier dans le cadre
d'applications ferroviaires. Les automates participent, entre autre, à
l'exécution de fonctionnalités liées à la sécurité. Les logiciels
s'exécutant sur ces automates sont écrits dans un ensemble normalisé
(norme IEC 1131-3) de cinq langages. Ceux-ci peuvent être considérés
comme étantde trois types différents :
. un langage spécialisé pour les séquences de commande :
Sequentiel Function Chart (SFC)
. deux langages graphiques :
Ladder Diagram (LD) et Function Block Diagram (FBD)
. deux langages textuels :
Instruction List (IL) et Structured Text(ST)
Un langage de chaque type a été choisi pour le projet VULCAIN:
. Sequentiel Function Chart (SFC)
. Ladder Diagram (LD)
. Structured Text (ST)
L'objectif du projet VULCAIN est de définir une méthode pour valider un
programme utilisant ces trois langages et les algorithmes associés.
Le travail attendu dans le cadre de cette these sur convention CIFRE
porte sur la validation des programmes écrits en Structured Text,
langage textuel de type procédural.
* Profil attendu :
------------------
Le candidat devra être titulaire d'un DEA d'Informatique, si possible
avec mention, et bien entendu ne pas avoir commencé de travail de thèse.
Un cursus universitaire (ou d'école d'ingénieur) avec une part
significative de génie logiciel (méthodes de conception, validation,
vérification...) sera particulièrement apprécié.
* Candidature :
---------------
Tout étudiant intéressé par cette offre doit prendre contact avec
Antoine PETIT
ENS de Cachan
LSV, URA 2236 - CNRS
61 av. President Wilson F-94235 Cachan Cedex
tel: 01 47 40 27 24 sec: 01 47 40 24 04
fax: 01 47 40 24 64 email: Antoine.Petit@lsv.ens-cachan.fr
--------------C0C3983F5AD942DFAC09E775--