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.
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, January 12, 2021 - 10:42:03 AM Long-term archiving on: : Thursday, February 5, 2015 - 10:31:07 AM
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⟩