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.
