Widely used solution for addressing the independence among different virtual machines is the usage of qualified hypervisor. Currently ISO26262 does not provide enough recommendations and information about how to address this topic and to perform the WCET analysis.
The incoming AMPERE project (EU funded project) is presented. AMPERE (an incoming EU funded project aims at addressing these topics.