Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/hal-00953591
Contributor : Catherine Oriat <>
Submitted on : Friday, February 28, 2014 - 1:54:31 PM
Last modification on : Tuesday, December 8, 2020 - 10:18:09 AM
Long-term archiving on: : Wednesday, May 28, 2014 - 2:00:11 PM

File

safemodel09_vasco.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00953591⟩

Share

Metrics

Record views

673

Files downloads

169