Position type: Engineer Laboratory: LIPN Location: Université Paris 13 Research area: programming, software and architecture Duration: 4 months (starting asap) Contact: Laure Petrucci and Étienne André
CosyVerif (http://www.cosyverif.org/) is a software environment whose goal is the formal specification and verification of dynamic systems. It has been designed in order to: - support different formalisms with the ability to easily create new ones, - provide a graphical interface for every formalism, - include verification tools called via the interface as a web service, - offer the possibility for a developer to integrate his/her own tool, also allowing it to interact with the other tools. This environment consists of two software tools: Coloane, the graphical interface, and Alligator, an integration framework based web services. It is enlarged with the existing verification tools developed by the different partners. In particular, several tools were developed in the "spécification / vérification" research axis at LIPN (http://www-lipn.univ-paris13.fr/specif/), including Helena, IMITATOR, modgraph, modsog and MCsog. Mission He/she performs, within a team, the integration of the software developed at LIPN into the framework CosyVerif. Description The integration of several tools into the CosyVerif framework implies a modification of the current tools interfaces, as well as the platform itself. This implies in particular automated communication in both directions for passing models and results. This work will be done in contact with engineers at ENS Cachan and Université Paris 6, and will imply collaboration with several researchers. The following competences are required. - Knowledge of concepts, methods and tools related to SVN and Eclipse - Knowledge of Java - Knowledge of Linux - Ability to write technical documentation for users and developers - Able to read and write English - Knowledge of collaborative work - Ability to the dialogue and in particular those involving engineers and researchers - Organization and management capabilities The following competences would be a bonus for the position. - Knowledge of concepts, methods and tools related to UML, Maven - Knowledge of languages: XML, C++, OCaml Information: Working place: Laboratoire d'Informatique de Paris Nord Institut Galilée 99 avenue Jean-Baptiste Clément 93430 Villetaneuse France -- ---------------------------------------------------------------------- Laure Petrucci [email protected] LIPN, UMR CNRS 7030, Institut Galilée - Université Paris XIII 99 Avenue Jean-Baptiste Clément, F-93430 Villetaneuse, FRANCE tel:[+33 1]/[01] 49 40 28 61 (sec: 35 90) fax:[+33 1]/[01] 48 26 07 12 tel (IUT):[+33 1]/[01] 49 40 37 41 ----------------------------------------------------------------------
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
