Hierarchical Design of Cyber-Physical Systems
Abstract
Cyber-physical systems are based upon analog / digital hardware and software components. The splitting into functionalities and interaction between analog and digital parts should be considered as early as possible in the design phase, relying on formal verification or simulation. While many papers pretend to propose a modeling environment supporting them, only a few of them really address the different Models of Computation of these systems because they strongly differ. The paper explains how to generate a combined SystemC/SystemC AMS virtual prototype of the analog and mixed-signal parts of CPS directly from a SysML model featuring whole parts of CPS, thus reconciling near-circuit precision with more abstract analog and digital models.
Fichier principal
Hierarchical_Design_of_Cyber_Physical_Systems_preprint.pdf (532.46 Ko)
Télécharger le fichier
Origin | Files produced by the author(s) |
---|