Model Based Design of Distributed Embedded Cyber Physical Systems

In this chapter, we propose a Model-Based Design (MBD) methodology that aims to deal with complexity due to the convergence of different domains and technologies in distributed embedded systems, enabling early design optimization and reduction of time-to-market. This methodology requires models for very different domains able to work together: Electronic System Level (ESL), network, radio propagation and quantities to be captured by the sensor systems. Using different simulators involves co-simulation and coupling overhead. We introduce a framework based exclusively in SystemC and its extensions for Transaction-Level Modeling (TLM) and Analog Mixed-Signal (AMS), and extensible with additional C/C++ code. The whole approach has been validated in a Cyber-Physical System for demand side energy management in buildings and environments, developed during the SmartCoDe Project.