Since the use of embedded systems is becoming more and more widespread (IoT, Smart cities, Transport, Smart Manufacturing Systems, etc.), the design and verification of these software dominated systems become a complex task. To tackle this complexity, there is an urgent need to review co-design flow and related performance evaluation and optimisation techniques. 
On the other hand, due to the heterogeneity of their components and their interdependencies, it is quasi impossible to guarantee they are failure-free permanently. Hence, developing advanced monitoring facilities and alternative solutions becomes essential. 
The aim of this session is to expose recent works on issues related to design, monitoring and verification of embedded systems used in IoT and smart cities, developing and using models for performance, security and safety purposes.