Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu
Article Dans Une Revue Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes Année : 2014

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

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.
Fichier non déposé

Dates et versions

hal-01006656 , version 1 (16-06-2014)

Identifiants

  • HAL Id : hal-01006656 , version 1

Citer

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 : le magazine de l'ingénierie du logiciel et des systèmes, 2014, 109. ⟨hal-01006656⟩
502 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More