A Comprehensive Survey on the Use of Hypervisors in Safety-Critical Systems.

Santiago Lozano Tamara Lugo Jesús Carretero

Published in: IEEE Access (2023)

Keyphrases

safety critical
embedded systems
agent architecture
formal methods
support systems
safety analysis
fault tolerant
nuclear power plant
regulatory requirements
learning process
control system
computational intelligence
intelligent systems