|
Les Projets de l'équipe IDM
| Projets en cours |
| Mopcom-Ing Modélisation de processus avec intégration de la vérification formelle |
| VerifMe projet OSEO : concerne les techniques de validation de modèles logiciels embarqués. |
IFest projet ARTEMIS : Développement d'un framework d’intégration des outils dédiés au co-design pour les systèmes embarqués
|
  OBP/CDL : Développement d'un outil d'aide à la vérification formelles d'exigences basé sur l'exploitation de modèles de contextes |
| Observatoire fond de mer : Développement d'un langage spécialisé pour les réseaux de capteurs intelligents (Smart Sensors). |
| Medon projet Européen : Développement d'un observatoire opérationnel en mer d’Iroise |
Medusa : Methodologie dirigée par les modèles pour les Interfaces Homme-Machine (IHM) embarquées. Projet labellisé par le Pôle Mer Bretagne
|
| Projets terminés |
| Mopcom-soc/SoPC regroupe les laboratoires et industriels de la région Bretagne investis dans le domaine de l'IDM. Ce projet est labellisé par le pôle de compétitivité Images et Réseaux. |
Domino projet RNTL :Techniques de conception et de validation des transformations de modèles au sein des processus de développement
TopCased est un projet labellisé par le pôle de compétitivité Aéronautique et Espace
|
|
|
|
Ingénierie dirigées par les modèles 
