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

Daniel Chaves Café 1, 2 Filipe Vinci dos Santos 1 Cécile Hardebolle 2 Christophe Jacquet 2 Frédéric Boulanger 2
1 Chaire Conception Analogique Avancée Thales/Supélec
Thales Communications [Colombes], E3S - Supélec Sciences des Systèmes [Gif-sur-Yvette]
2 E3S - Supélec Sciences des Systèmes [Gif-sur-Yvette]
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 : mardi 21 août 2018 - 11:40:02
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

SUPELEC | SUP_E3S | SUP_CHAIRE-CAA

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

374

Téléchargements de fichiers

123

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD