Recrutement
Merci d'envoyer votre candidature à recrutement@clearsy.com
Stages 2008
ClearSy propose aux élèves ingénieurs de 2ème et
3ème année des sujets de stage liés à la modélisation mathématique
et au développement de logiciels :
Sujet
1 : génération de code sécuritaire
STAGE POURVU
L'Atelier B (www.atelierb.eu) est un
outil de modélisation formelle pour la production de logiciels sans défaut,
développé par ClearSy. Cet outil permet de construire des logiciels conformes à
leur spécification, par preuve mathématique.
Des fonctionnalités doivent
être ajoutées à l'outil :
- génération de code Ladder (automates programmables)
- évaluation du temps d'exécution (pire cas) d'un logiciel
Les connaissances souhaitées sont :
Localisation : Paris
Durée : 5 mois minimum
Sujet
2 : outils de modélisation formelle
STAGE POURVU
Composys(www.composys.fr) est un outil de modélisation
formelle de systèmes développé par ClearSy. Il permet de décrire des composants
et leurs interactions dans un système hybride. Brama (www.brama.fr) est un outil
d'animation de modèle formels B.
Des fonctionnalités
doivent être ajoutées aux outils :
- génération automatique d'animation flash pour un modèle Composys
- amélioration de la qualité des graphiques générés par Composys
- passerelle pour un interfaçage avec Visual Studio.
Le stage, orienté ingénierie
logicielle, consiste à collecter les besoins, rédiger la spécification
fonctionnelle, concevoir, développer, tester et intégrer ces nouvelles
fonctionnalités.
Les connaissances souhaitées sont :
-
langage de programmation C, C++, Java, flash
-
développement de plugins sous Eclipse 3
Localisation : Aix en Provence
Durée : 5 mois minimum
Sujet3 : parallélisation de l'Atelier B
STAGE POURVU
L'Atelier B (www.atelierb.eu) est un
outil de modélisation formelle pour la production de logiciels sans défaut,
développé par ClearSy. Cet outil permet de construire des logiciels conformes à
leur spécification, par preuve mathématique.
Des fonctionnalités
doivent être ajoutées aux outils :
- parallélisation des traitements afin de pouvoir exploiter un
pool de serveurs de calcul pour la vérification de type, la génération
d'obligations de preuve, la démonstration mathématique et la génération de
code.
Le stage, orienté ingénierie logicielle, consiste à collecter
les besoins, rédiger la spécification fonctionnelle, concevoir, développer,
tester et intégrer ces nouvelles fonctionnalités.
Les connaissances souhaitées sont :
Localisation : Aix en Provence
Durée : 5 mois minimum
Sujet4 : introduction du B événementiel dans TOPCASED
STAGE POURVU
TOPCASED (http://www.topcased.org/)
est un logiciel d'ingénierie assistée par ordinateur. Il contient un IDE basé
sur Eclipse, à laquelle il ajoute des fonctionnalités essentiellement liées à
la mise en ouvre de la première branche du cycle en V pour l'ingénierie du
logiciel et du matériel. Il s'appuie sur des langages pour la modélisation de
logiciel tels que UML, SysML, AADL, etc.
L'objectif du stage est d'ajouter le B événementiel à la liste
des langages supportés. Les travaux à réaliser incluent la définition du méta
modèle du B événementiel, le développement d'un éditeur dédié et la
construction d'une passerelle avec la plateforme de modélisation formelle Rodin
(http://sourceforge.net/projects/rodin-b-sharp).
Les connaissances souhaitées sont :
Localisation : Aix en Provence
Durée : 5 mois minimum
Sujet5 : s'adresse aux étudiants de deuxième année :
Selon les demandes, nous pouvons adapter certains de ces sujets à une durée de stage plus courte.
|
