EAMS 1: Simulation and design of cyber-physical systems

In Cyber-Physical Systems, physical parts with a continuous time model, and software or even information systems with logic time are strongly interwoven. This leads to new challenges for design and modeling/simulation. The first paper in this session describes the benefits of considering properties of an application during the design process. The second and the third paper describe frameworks for modeling and simulation. The second is focused on modeling the networking aspect; the third one deals with implementation of the computing systems.