Approche formelle pour une Ingénierie des Modèles sûre

Résumé : Aujourd'hui les outils IDM ont atteint un bon niveau de maturité et sont de plus en plus adoptés dans le cadre d'applications complexes et critiques. Toutefois, des questions liées à la sûreté des systèmes qui en découlent restent encore ouvertes. Pour répondre à ces questions, nous proposons de ramener l'IDM dans le monde rigoureux des méthodes formelles. Nos principaux objectifs sont : (1) garantir la cohérence des correspondances entre méta-modèles au moyen d'un outil de preuve, en l'occurrence le prouveur de l'atelier B ; (2) être capable de certifier qu'une transformation de modèles préserve la sémantique des modèles source et cible ; et (3) utiliser des outils d'animation de spécifications pour simuler le comportement des différents modèles mis en jeu dans un cadre IDM.
Type de document :
Communication dans un congrès
Atelier LMO/SafeModel, 2009, Nancy, 2009
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00953591
Contributeur : Catherine Oriat <>
Soumis le : vendredi 28 février 2014 - 13:54:31
Dernière modification le : jeudi 11 janvier 2018 - 06:26:40
Document(s) archivé(s) le : mercredi 28 mai 2014 - 14:00:11

Fichier

safemodel09_vasco.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00953591, version 1

Collections

Citation

Akram Idani, Yves Ledru, Pierre-Yves Schobbens. Approche formelle pour une Ingénierie des Modèles sûre. Atelier LMO/SafeModel, 2009, Nancy, 2009. 〈hal-00953591〉

Partager

Métriques

Consultations de la notice

625

Téléchargements de fichiers

123