Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMS

Résumé : Dans le contexte de la modélisation de systèmes, SysML apparait comme un langage pivot de spécification et de documentation. Ses diagrammes permettent la définition de la structure et du comportement de systèmes. La flexibilité de SysML a pour incon-vénient qu'il n'existe pas de méthode standard pour définir leur sémantique. Ce problème est flagrant dans la conception de systèmes hétérogènes, où différentes sémantiques opéra-tionnelles peuvent être utilisées. Cet article présente une manière de donner une sémantique opérationnelle aux éléments de SysML sous la forme de transformations vers le langage SystemC-AMS, permettant ainsi la simulation de modèles SysML.
Type de document :
Communication dans un congrès
CIEL 2014, Jun 2014, Paris, France. pp.11-20, Actes de la 3ème Conférence en IngénieriE du Logiciel
Liste complète des métadonnées

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

https://hal-supelec.archives-ouvertes.fr/hal-01079973
Contributeur : Christophe Jacquet <>
Soumis le : mardi 4 novembre 2014 - 10:56:13
Dernière modification le : jeudi 29 mars 2018 - 11:06:06
Document(s) archivé(s) le : jeudi 5 février 2015 - 10:31:07

Fichier

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

Identifiants

  • HAL Id : hal-01079973, version 1

Collections

Citation

Daniel Chaves Café, Filipe Vinci dos Santos, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger. Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMS. CIEL 2014, Jun 2014, Paris, France. pp.11-20, Actes de la 3ème Conférence en IngénieriE du Logiciel. 〈hal-01079973〉

Partager

Métriques

Consultations de la notice

347

Téléchargements de fichiers

121