Projects

Topcased

TOPCASED is an integrated System/Software engineering toolkit compliant with the requirements of critical and embedded applications. It covers the stages from requirements analysis to implementation, as well as some transversal activities like change management, version control, and requirements traceability.

Eclipse EMF Search

EMF Search provides the fundamental infrastructure and components for search queries on EMF based models. A particular focus will be made on integration with the Eclipse Core Search API for end user tight integration.

synthese-de-configurations-avioniques

Les configurations avioniques font intervenir des processeurs, des noeuds réseaux, des alimentations, des capteurs et des connexions entre ces éléments (bus). L'allocation de fonctionnalités (alarme incendie) sur de telles configurations doit obéir à des contraintes de placement comme par ... [More] exemple: entre deux fonctionnalités critiques, il doit exister au moins deux chemins ne passant pas par les mêmes noeuds du réseau. Dans le cadre d'une collaboration avec des industriels du domaine, nous expérimentons différentes méthodes de résolution de contraintes. Le projet a pour but de définir un mini langage d'expression de contraintes dédié aux configurations avioniques et de générer des entrées pour un outil de résolution. Ce projet se fera sous eclipse au sein de l'environnement TOPCASED (http://www.topcased.org/) en Java. [Less]

insaprojectplanning

Model driven development - Using Petri Tina to verify project Development of editor. Model transformation