Projets-App
Projets
Editer un projet
Cadre de travail
Unité de recherche rattachée au CNRS
IRIF
LIPN
LMF
Information du ou de la responsable scientifique du projet :
Prénom
Nom
E-mail
Présentation du projet scientifique
Nom du project
Résumé publiable du projet (10 lignes max.)
CosyVerif est une plateforme pour la spécification et vérification des systèmes complexes. Elle permet de designer de modèles en utilisant une palette extensible de formalismes (e.g., réseaux de Petri, automates, etc) et d'appliquer des algorithmes de vérifications sur eux (e.g., vérification de propriétés LTL). L'interface graphique est implémentée complètement en JavaScript (framework Nuxtjs, Vuetify et jointjs). Cependant, elle n'a pas été mise à jour depuis plus d'un an.
Champs thématiques adressés (séparés par des virgules)
Type
proof-of-concept
prototype
maintenance/évolution logiciel existant
prématuration
Décrivez les innovations attendues à l'issue du projet (5 lignes max.)
- Mise à jour de la bibliothèque Vuejs (v3) - Mise à jour de la bibliothèque Nuxtjs (v4) - Mise à jour de la bibliothèque Vuetify (v3) - Mise à jour de la bibliothèque Jointjs (v4)
Argumentaire scientifique qui décrit le projet, l'état de l'art, les travaux antérieurs et les résultats attendus (20 lignes max.)
Le résultat attendu est d'avoir CosyDraw (GUI de CosyVerif) à jour et que le tests unitaires et E2E passent.
Description du besoin en ingénierie
Évaluez le temps ingénieur dont vous avez besoin pour votre projet:
Frequence
2 jour/semaine
3 jour/semaine
Durée
1 mois
2 mois
3 mois
4 mois
5 mois
6 mois
Quelles sont les compétences spécifiques d'ingénierie attendues ; notamment, langages ou frameworks qui seront utilisés dans le projet, outils existants, connaissances requises ?
- Programmation Web - Technologie Nodejs
Décrivez les activités qui seront confiées à·aux ingénieur·e·s (si possible, avec un planning de tâches attendues)
- Mise à jour de bibliothèques (Vuejs, Vuetify, Nuxtjs, Jointjs)
Commentaires
Mettre à jour