Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMS - CentraleSupélec
Communication Dans Un Congrès Année : 2014

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.
Fichier principal
Vignette du fichier
cafe2014ciel.pdf (506.59 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01079973 , version 1 (04-11-2014)

Identifiants

  • HAL Id : hal-01079973 , version 1

Citer

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. ⟨hal-01079973⟩
228 Consultations
267 Téléchargements

Partager

More