Abstract As embedded applications are subject to non-functional requirements (latency, safety, reliability, etc.) they require special care when it comes providing assurances. Traditionally, these systems quite static in their software and hardware composition. However, there is an increasing interest enabling adaptivity autonomy that cannot be satisfied with preprogrammed adaptations any more....