Master 2013 2014
psar
Interface Shell pour les services dans CosyVerif


Site :Trac-Interface Shell pour les services dans CosyVerif
Lieu :LIP6, UPMC
Encadrant : Fabrice Kordon, Alban Linard et Francis Hulin-Hubard

Description

Introduction

Cosyverif est un environnement open source pour la vérification formelle de logiciels complexes (répartis, temps-réel, etc.) qui est conçu comme une plate-forme d’intégration de composants logiciels hébergés dans une machine virtuelle ou sur une machine physique. Le projet est développé conjointement par trois laboratoires d’Île de France : le LIP6 (UPMC), le LIPN et le LSV (ENS de Cachan).

Basé sur une approche client/serveur, Cosyverif est composé d’une interface utilisateur, Coloane, et du serveur, qui est constitué de la plateforme d’intégration (alligator) interfaçant des outils (programmes de vérification, etc) développés et intégrés par les laboratoires contributeurs. Le projet présenté se situe dans ce cadre.

Vous serez encadrés par les ingénieurs de développement du projet, en association avec un enseignant travaillant au LIP6. Le résultat de votre travail devra respecter des critères de qualité précis en vue de son intégration dans la plateforme Cosyverif dont vous deviendrez ainsi un contributeur.

Travail à effectuer

Actuellement, chaque outil (binaire obtenu à partir de programmes C, C++ OCaml, ou bien scripts Python par exemple) est enrobé par une classe Java permettant de l’intégrer dans la plateforme. L’écriture de cette classe peut rebuter certains développeurs. Le but de ce stage est de mettre en place une interface en shell pur pour les services de la plateforme CosyVerif. Il faudra pour cela définir une interface pour le script shell d’enrobage, et implémenter sa liaison avec le langage Java.