Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMS

Daniel Chaves Café 1, 2 Cécile Hardebolle 2 Christophe Jacquet 2 Filipe Vinci dos Santos 1 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]
Abstract : Our research focuses on the simulation of heterogeneous systems modeled in SysML, in particular, systems that mix different engineering domains such as mechanics, analog and digital circuits. Because of their nature, expressing multi-paradigm behavior in heterogeneous systems is a cumbersome endeavor. SysML does not provide a standard method for defining the operational semantics of individual blocks nor any intrinsic adaptation mechanism when coupling blocks of different domains. We present in this paper a way to address these obstacles. We give well-defined operational semantics to SysML blocks by using profile extensions, together with a language for the description of adaptors. We apply our approach to a test case, using a toolset for SysML to VHDL-AMS transformation, capable of automated generation of VHDL-AMS code for system verification by simulation.
Type de document :
Communication dans un congrès
Daniel Balasubramanian; Christophe Jacquet; Pieter Van Gorp; Sahar Kokaly; Tamás Mészáros. MPM 2014, Sep 2014, Valencia, Spain. Proceedings of the 8th Workshop on Multi-Paradigm Modeling, 1237, pp.11-20, 2014, CEUR-WS. 〈http://ceur-ws.org/Vol-1237/〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger
https://hal-supelec.archives-ouvertes.fr/hal-01076425
Contributeur : Frédéric Boulanger <>
Soumis le : mercredi 22 octobre 2014 - 10:21:15
Dernière modification le : jeudi 29 mars 2018 - 11:06:06
Document(s) archivé(s) le : vendredi 23 janvier 2015 - 10:26:13

Fichier

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

Identifiants

  • HAL Id : hal-01076425, version 1

Collections

SUPELEC | SUP_INFO | SUP_CHAIRE-CAA | SUP_E3S | TDS-MACS

Citation

Daniel Chaves Café, Cécile Hardebolle, Christophe Jacquet, Filipe Vinci dos Santos, Frédéric Boulanger. Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMS. Daniel Balasubramanian; Christophe Jacquet; Pieter Van Gorp; Sahar Kokaly; Tamás Mészáros. MPM 2014, Sep 2014, Valencia, Spain. Proceedings of the 8th Workshop on Multi-Paradigm Modeling, 1237, pp.11-20, 2014, CEUR-WS. 〈http://ceur-ws.org/Vol-1237/〉. 〈hal-01076425〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

253

Téléchargements de fichiers

527

Contact

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