Modeling and specification methodologies for complex, HW-SW embedded systems; system-level modeling and simulation of multi- and many-core SoCs; system modeling and specification languages; model-driven engineering; metamodelling; executable specifications;  specification driven design and validation flows;  modeling of run-time adaptivity; models of computation; multi-criteria formal specifications and semantics.