Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD

Frédéric Jouault 1 Ciprian Teodorov 2 Jérôme Delatour 1, 3 Luka Le Roux 2 Philippe Dhaussy 2
2 Lab-STICC_ENSTAB_ CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Résumé : La complexité des systèmes embarqués continue d'augmenter. Leur développement nécessite donc un processus de développement rigoureux pour répondre aux normes de certification très strictes. Dans ce contexte l'utilisation des méthodes formelles pour la vérification promet des gains importants en termes de fiabilité et temps de développement. En revanche, le fossé sémantique entre les langages utilisés par le domaine industriel et ceux pris en compte par les outils formels est une barrière réelle pour l'adoption de ces derniers. Dans cet article, nous introduisons une chaîne de transformation modulaire permettant l'obtention de modèles formels à partir d'un formalisme d'entrée basé sur UML. Les modèles ainsi obtenus permettent la vérification de propriétés.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01006656
Contributeur : Annick Billon-Coat <>
Soumis le : lundi 16 juin 2014 - 14:46:27
Dernière modification le : mercredi 24 juin 2020 - 16:19:56

Identifiants

  • HAL Id : hal-01006656, version 1

Citation

Frédéric Jouault, Ciprian Teodorov, Jérôme Delatour, Luka Le Roux, Philippe Dhaussy. Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD. Génie logiciel, C & S, 2014, 109. ⟨hal-01006656⟩

Partager

Métriques

Consultations de la notice

876