Savoir-faire

Topcased


ATELIER LOGICIEL OPEN SOURCE INTÉGRÉ À L’IDE ECLIPSE

Projet Topcased


Partenaires


> DURÉE : 36 Mois
> PARTENAIRES : SAGEM (Leader),
– CLEARSY
– Le laboratoire PPS
(Preuves Programmes et Systèmes – Université Paris Diderot)
– Le laboratoire LIP6

Descriptif


CLEARSY participe au projet européen Topcased depuis Avril 2008 en collaboration avec le CNES. Topcased est un projet atelier logiciel open source intégré à l’IDE Eclipse. Le projet a débuté en 2004 et vise à fournir un ensemble d’outils de génie logiciel pour le développement de systèmes critiques temps réels. Son but est de proposer une solution pérenne à faible coût.

Topcased s’inscrit dans le processus MDE (Model Driven Engineering) qui consiste à baser le développement d’outils à partir de modèles. il contient nativement de nombreux éditeurs graphiques (UML2, SYSML, AADL, SAM, ECORE) mais offre aussi la possibilité de générer son propre éditeur de méta-modèle.

CLEARSY CONTRIBUE À PLUSIEURS TITRES SUR :

> Moyens de développement de modèles : Développement d’un éditeur B événementiel.

> Vérification, évaluation (co)simulation de modèles :
– Intégration d’outils de vérification basés sur des techniques de preuves mathématiques formelles
– Intégration d’outils d’animation de modèles formels (Brama)

> Interopérabilité des outils et gestion des données : couplage avec des outils B du commerce ou libres (Atelier B, Rodin, Brama).

Les travaux en cours réalisés par Clearsy


DÉVELOPPEMENT DE L’ÉDITEUR B ÉVÉNEMENTIEL (PROJET TOPCASE-EVENT B) :

> CLEARSY contribue actuellement au développement de la méthode formelle Event B. Notre projet consiste à intégrer à Topcased un éditeur graphique du langage B événementiel. La génération de l’éditeur a été réalisée avec le Framework de modélisation GMF d’Eclipse.

COUPLAGE AVEC DES OUTILS B :

> Cet éditeur propose par ailleurs un ensemble de fonctionnalités pour produire des modèles au format des outils Atelier B (À l’aide d’EVT2B, un traducteur B événementiel) et Rodin. Le logiciel open source Acceleo a été utilisé à ces fins. L’éditeur fournir aussi un outil pour générer des diagrammes à partir d’un modèle Rodin.

Participation au projet topcased event B


Le projet Topcased-EventB étant un projet Open Source, il vous est possible de participer et de contribuer à son développement. Le projet est stocké en ligne sur la plateforme GForge-Topcased et nécessite la création d’un compte. Dans le cas où vous souhaiteriez participer, il vous suffit de renseigner le formulaire de création de compte, puis, une fois inscrit, de soumettre votre participation aux administrateurs du projet.

VOICI UNE LISTE NON EXHAUSTIVE DES FONCTIONNALITÉS NON IMPLÉMENTÉES :
> Implémentation du copier/coller/glisser concernant les items des clauses
> Amélioration du design de l’éditeur : ajout d’icônes, modification des figures actuelles
> Implémentation d’un parseur/validateur pour la syntaxe des prédicats
> Amélioration des outils de conversion de format (Gestion de la clause IF, des witness…)
> Implémentation d’une nouvelle vue décrivant la hiérarchie d’un événement sélectionné.

LIENS ASSOCIÉS AU PROJET TOPCASED :
> Site officiel du projet Topcased (Lien cassé)
> Plateforme de travail GForge dédiée à Event B (Lien cassé)

OUTILS UTILISÉS : GMF + Acceleo