Assert

Assert est un projet de recherche européen mené dans le cadre du 6^e programme cadre de recherche et développement de la Commission européenne. L’objectif est de développer une méthode de génie système basé sur l’utilisation de preuves et de méthodes formelles (Proof-based system engineering ou PBSE).

L’approche retenue est fondée sur la méthode TRDF de l’INRIA, qui définit plusieurs phases en amont du cycle de développement système : capture des exigences non-fonctionnelles (RC), conception et validation du système (SDV), dimensionnement et vérification de la faisabilité (FD).

Dans le cadre de ce projet AADL a été choisi comme langage de description d’architecture commun à tout le cycle de développement.

L’activité d’Axlog dans le projet Assert consiste à étudier la faisabilité du développement d’outils pour supporter les différentes phases du développement système (RC-tool, SDV-tool, FD-tool), et à définir des extensions au langage AADL pour supporter les informations spécifiques dans la description du système.

  Site web du projet Assert

Distribution optimisée de traitements temps-réel sous contraintes de ressources

Ce projet, mené avec l’Agence spatiale européenne, a consisté à étudier l’utilisation d’une approche par programmation par contraintes pour optimiser le placement de traitements embarqués sur une architecture multi-processeurs avec contraintes de ressources en en garantissant l’ordonnançabilité.

Il a abouti au développement d’un logiciel, distribution, mettant en œuvre cette technique et validant l’approche.

Une version de démonstration pour Linux de cet outil est disponible en téléchargement.