DAeDaLus (Debugging Architecture Description Languages) est un projet de recherche amont soutenu par le RTRA STAE.

Le projet Daedalus s’inscrit dans le domaine de l’ingénierie formelles des systèmes embarqués. Nous portons notre attention sur des techniques basées sur l’utilisation de modèles et de langages d’architecture (plus particulièrement AADL).

L’objectif du projet est de fournir de nouveaux outils, et méthodes, permettant de faire collaborer:

• des approches empiriques, basées sur la simulation;
• des approches formelles, basées sur la vérification automatique de modèles (model-checking);
• des traducteurs de codes automatiques.

« Dans un monde idéal, les modèles seraient toujours corrects et les outils de vérification répondraient à toutes nos questions. Nous nous préparons pour un monde imparfait. »

Daedalus