Eric MAES

Plate-forme d'innovation Temps-réel et embarqué
Validation amont de modèles par simulation.

Réseau d'excellence modélisation
Outil de modélisation pour les collaborations externes

Projet Usine Logicielle : plateforme de développement de systèmes temps-réel et embarqué.
- Modélisation UML d'un cas d'étude pour démontrer l'apport de l'utilisation du profil MARTE pour l'analyse de performance, le test et la simulation.
- Evaluation des outils de la plateforme à partir de ce même cas d'étude.
- Etudes sur les évolutions à apporter pour correspondre aux besoins des unités de THALES.
Eclipse, MARTE, UML, ATL, ...

Etude sur la conformité des programmes à leurs spécifications. Projet DANOCOPS en partenariat avec des laboratoires de recherche. Recherches et développement d’un prototype. Prolog, JML

Etude sur la conformité des programmes à leurs spécifications. Projet MUTATION en partenariat avec THALES Research & Technology, C.E.A. et INRIA.
Application de la méthode à un cas réel THALES. UML, OCL

Département des contre-mesures. Equipement du Mirage-2000. Développement Ada du Centralised Intelligent Process Unit.

Diagnostic automatique à base de modèles. Projet Européen CHEM en partenariat avec des industriels et laboratoires de recherche européens. Adaptation de la méthode au processus continus. Recherches et développement d’un prototype. Prolog, Java.

Génération automatique de cas de tests de logiciels. Projet InKA. Développement d’un analyseur C++. Prolog.