Christophe Jacquet: Research and Teaching

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

Download

• Authors' preprint (PDF) (506.6 KiB)

Abstract

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 inconvé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érationnelles 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.

Text Reference

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”. Actes de CIEL 2014, Troisième Conférence en Ingénierie du Logiciel, June 2014. pp. 93-96.

BibTeX Reference

@InProceedings{ cafe2014ciel,
    author = {Daniel Café and Filipe Santos and Cécile Hardebolle and Christophe Jacquet and Frédéric Boulanger},
    title = {{Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMS}},
    booktitle = {{Actes de CIEL 2014, Troisième Conférence en Ingénierie du Logiciel}},
    month = {June},
    year = {2014},
    pages = {93-96},
}