Model-Based Designflow for the Construction of Cyber-Physical Systems: How to design Cyber-Physical Systems using a model-based approach

Cyber-Physical Systems are systems, which not only consist of a software, or a mechanical part, but are a combination of the two parts, together with the environment in which they are used. One example of such a system are Smart Cities, which use intelligent traffic routing systems to route the cars in an optimal way to their destination, while also avoiding traffic jams. In this example, intelligent traffic lights, intelligent transportation systems, sensors on the roads, and the cars form a big CPS. When creating such systems a design flow is used to help distributing the work to the different departments in an optimal way, and to find errors in the requirements as early as possible, or to avoid them altogether.