1. Introduction
2. Virtualization in Critical Systems
3. Virtualization Dimensions for Industry Needs
4. Virtualization Approaches and Solutions
4.1. Separation Kernels and Microkernels
4.2. General-purpose Hypervisors
4.3. ARM TrustZone-assisted Virtualization
4.4. Lightweight Virtualization
5. Discussion
6. Conclusion