No abstract

This paper presents a tool for the virtual prototyping of analog and mixed-signal embedded (AMS) systems. The application and platform are modeled on a high (SysML-like) level, while the prototype is simulated on cycle-bit accurate level. In order to run software, we combine the AMS part with a multicore platform, which acts as initiator and controls the AMS part. The synchronization between these different Models of Computation (MoC) can be validated before the generation of the virtual prototype. We present a larger case study to illustrate our approach.

No abstract

Cyber Physical Systems (CPS) are built upon digital and analog circuits, making it necessary to handle different Models of Computation (MoC) during their design and verification (e.g. by simulation). When designing these systems, an important aspect to consider is the causality between the different domains. For this, we introduce a new model-driven framework able to identify causality problems and to suggest a valid schedule between the analog and digital domains. Once a valid schedule has been computed, our framework can generate cycle & bit accurate virtual prototypes (in SystemC/SystemC AMS) from high-level SysML models.