A method and system for protecting against failure of hardware elements (HEs) in a virtual machine system using an information model with virtualization support. Based on the information model, the method boots virtual machine monitors (VMMs), virtual machines (VMs) and operating systems (OSes). The information model includes a graph of objects representing configured relationships between the hardware elements (HEs), VMMs, VMs, and OSes through parent child relationships between the graph's objects. The graph of objects includes: a domain object, HE objects, VMM objects, VM objects, and OS objects. The VM objects of a migration-enabled type represent those of the VMs that may migrate between the VMMs. Based on the runtime associations between the VMM objects and the VM objects of the migration-enabled type, the method identifies which of the migration-enabled VMs are hosted by a same HE and are therefore vulnerable to hardware failure of the same HE.