Master 2013 2014
Stages de la spécialité SAR
Formalism & Model Repository in CosyVerif


Site :Formalism & Model Repository in CosyVerif
Lieu :LIP6, LIPN and/or LSV, ENS Cachan
Encadrant : Lom Messan Hillah, Alban Linard, Laure Petrucci
Dates :du 01/04/2014 au 15/09/2014
Rémunération :indemnité de stage standard
Mots-clés : Parcours SAR autre qu’ATIAM, professionnel, Parcours SAR, aussi pour STL


Description

The goal of this internship is to design and develop a repository for models and formalisms in the C osyV erif (http://www.cosyverif.org/) [AHHH+ 13] veri-cation platform.

C osyV erif is a software veri-cation platform dedicated to formal veri-cation, that includes tools developed by researchers of several laboratories. It allows to de-fine formalisms, such as variants of automata and Petri nets. Tools are run on models that are instances of these formalisms.

The platform is built around a client/server architecture. Communications are handled through webservices. The goal of this internship is to design and implement a server that acts as a repository of formalisms and models.

More speci-cally, the repository should : • allow searching of formalisms and models given some criteria ; • allow insertion of new formalisms and models ; • handle versions of the stored data ; • show a small website as interface.

Student Capabilities : The student should have good skills in architecture and development in Java.

Bibliographie

[ABD+ 13] Étienne André, Benoît Barbot, Clément Démoulins, Lom Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, and Laure Petrucci. A Modular Approach for Reusing Formalisms in Veri-cation Tools of Concurrent Systems. In ICFEM’13) : 15th International Conference on Formal Engineering Methods, volume to be published of Lecture Notes in Computer Science, page to be published. Springer, October 2013.

[AHHH+ 13] Étienne André, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Yousra Lembachar, Alban Linard, and Laure Petrucci. CosyVerif : An Open Source Extensi- ble Veri-cation Environment. In Yang Liu and Andrew Martin, editors, ICECCS’13 : 18th IEEE International Conference on Engineering of Complex Computer Systems, pages 33-36. IEEE Computer Society, July 2013.