Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMS
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.
Domaines
Génie logiciel [cs.SE]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...