Le projet SMART

Appel à projet PME pôles de compétitivité Images et Réseaux.
Financement par avance remboursable BPI.
Ce projet a remporté le trophée « Loading the future » 2015 du pôle Images & Réseaux dans la catégorie internationale.

Ellidiss Technologies a mis sur le marché l'outil AADL Inspector. Cet outil de vérification de modèles d’architectures de logiciels temps-réel s’appuie sur le standard international SAE AS5506A (AADL) et intègre plusieurs composants dont Cheddar, développé par l’UBO, et Marzhin, développé en collaboration par Virtualys et Ellidiss Technologies.

Marzhin est un simulateur d’exécution de modèles AADL permettant de visualiser le comportement de systèmes selon les caractéristiques temporelles spécifiées et contribue ainsi aux tâches de « vérification en amont » des processus de développement desapplications temps-réel et souvent embarquées.

Le projet SMART vise à améliorer l’apport de Marzhin pour les tâches de vérifications de modèles d’architectures temps-réel et à initier la mise en place d’une solution plus globale permettant d’y associer des animations en réalité virtuelle.

Partenariat :

2 entreprises :

• Ellidiss Technologie
• Virtualys

1 laboratoires de recherche :

• UBO / LABSTICC