---

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.

---

Petschina, Bernhard
Bernhard Petschina, born on 01 May 1990, works as an embedded-systems engineer. He studied computer engineering at the TU Wien (Technical University in Vienna). This work is based on his master´s thesis.

---