Authors are invited to submit manuscripts on topics including, but not limited to: Formalisms & Languages for … Requirements and Property specification (RSLs, PSLs, SVA, …) Multi-physics specification (timing, power, temperature, aging, …) Multi-domain parallel applications in dynamic real-time environments Models of computation Automata (xFSM, …) Networks (Process Networks, Petri Nets, Task Networks, …) Platform modelling and abstraction Transaction level modelling Run-time system and middleware abstraction Model and component-based design (UML, SysML, MARTE, …) Advanced language extensions for SLDLs (SystemC(-AMS), Modelica, …) Tools & Techniques for efficient … Formal property checking Simulation of functional and extra-functional properties Parallel simulation High-level hardware and software synthesis Testbench automation and cCoverage monitoring Design space exploration and virtual prototyping Scheduling & real-time analysis Design Flows & Methodologies covering … Horizontal and vertical virtual integration testing Requirements engineering and traceability Mixed critical embedded applications on multi-core multi-CPU SoCs Power and performance Safety and security Heterogeneous component integration Multi-objective optimisation