Concurrency-aware eXecutable Domain-Specific Modeling Languages as Models of Concurrency

Autor: Latombe, Florent, Crégut, Xavier, Pantel, Marc

Publikováno v: EXE 2016: Executable Modeling-Proceedings of the 2nd International Workshop on Executable Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016)
2nd International Workshop on Executable Modeling (EXE 2016)
2nd International Workshop on Executable Modeling (EXE 2016), Oct 2016, Saint-Malo, France. pp.12-18

International audience; To deal with the increasing complexity of modern highly-concurrent systems, the GEMOC concurrency-aware eXecutable Domain-Specific Modeling Languages (xDSMLs) approach proposes to make explicit, in the operational semantics mo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7d4fd831609d958cedd063b006107bfe
https://hal.inria.fr/hal-01357001

High level modeling of heterogeneous systems, analog/digital interfacing

Autor: Cenni, Fabio

Publikováno v: Other. Université de Grenoble, 2012. English. ⟨NNT : 2012GRENT009⟩

The thesis objective is the modeling of heterogeneous systems. Such systems integrate different physical domains (mechanical, chemical, optical or magnetic) therefore integrate analog and mixed- signal (AMS) parts. The aim is to provide a methodology

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e0264692906630bbeac2b55589d1679e
https://tel.archives-ouvertes.fr/tel-00721972/file/24754_CENNI_2012_archivage.pdf

Supporting Dimensional Analysis in SystemC-AMS

Autor: Alain Vachoux, Torsten Maehne

Publikováno v: BMAS

This paper will introduce new modeling capabilities for SystemC-AMS to describe energy conserving multi-domain systems in a formal and consistent way at a high level of abstraction. To this end, all variables and parameters of the system model need t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d226f4db1d0689731b24f7ed216e9fca
https://infoscience.epfl.ch/record/140571

Efficient Modelling and Simulation Methodology for the Design of Heterogeneous Mixed-Signal Systems on Chip

Autor: Mähne, Torsten

Systems on Chip (SoCs) and Systems in Package (SiPs) are key parts of a continuously broadening range of products, from chip cards and mobile phones to cars. Besides an increasing amount of digital hardware and software for data processing and storag

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3f66f07f2a59afe7ae09b704d588baa7
https://infoscience.epfl.ch/record/163528

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.