Christophe Jacquet: Research and Teaching

Publications >

Conference paper:

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

Daniel ChavesCafé, Cécile Hardebolle, Filipe Vincidos Santos, Christophe Jacquet, Frédéric Boulanger

Proceedings of the 8th Workshop on Multi-Paradigm Modeling (MPM 2014), Sep 2014. pp. 11-20.

Jump to: Download | Abstract | Text Reference | BibTeX Reference

Download

Abstract

Our research focuses on the simulation of heterogeneous systems modeled in SysML, in particular, systems that mix different engi- neering 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.

Text Reference

Daniel ChavesCafé, Cécile Hardebolle, Filipe Vincidos Santos, Christophe Jacquet, Frédéric Boulanger. “Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMS”. Proceedings of the 8th Workshop on Multi-Paradigm Modeling (MPM 2014), Sep 2014. pp. 11-20.

BibTeX Reference

@InProceedings{ cafe2014mpm,
    author = {Daniel Chaves and Cécile Hardebolle and Filipe Santos and Christophe Jacquet and Frédéric Boulanger},
    title = {{Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMS}},
    booktitle = {{Proceedings of the 8th Workshop on Multi-Paradigm Modeling (MPM 2014)}},
    year = {2014},
    month = {Sep},
    address = {Valencia, Spain},
    pages = {11-20},
}