Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.
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 to be annotated with their measurement units in such a way that they become intrinsic part of the data type. This enforces correct model assembly through strict interfaces and coherent formulas describing the analog behavior by means of dimensional analysis. A library of generic block diagram components has been developed to demonstrate how both requirements can be met using the Boost libraries together with SystemC-AMS. The demonstrated implementation techniques are the key to integrate new Models of Computation (MoCs) into SystemC-AMS to facilitate further the description of multi-domain systems.
Michael Lehning, Franziska Gerber
Martin Odersky, Nicolas Alexander Stucki
Francesco Regazzoni, Andrea Guerrieri, Andres Upegui