Skip to Main content Skip to Navigation
Conference papers

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

Cited literature [10 references]  Display  Hide  Download

https://hal-supelec.archives-ouvertes.fr/hal-01079973
Contributor : Christophe Jacquet <>
Submitted on : Tuesday, November 4, 2014 - 10:56:13 AM
Last modification on : Tuesday, August 21, 2018 - 11:40:02 AM
Long-term archiving on: : Thursday, February 5, 2015 - 10:31:07 AM

File

cafe2014ciel.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

438

Files downloads

152