Virtualization for safety-critical, deeply-embedded devices.

Felix Bruns Dirk Kuschnerus Attila Bilgic

Published in: SAC (2013)

Keyphrases

embedded devices
safety critical
embedded systems
operating system
low cost
cloud computing
fault tolerant
software systems
flash memory
formal methods
expert systems
mobile devices
open source
real time
cooperative
smart home
adaptive systems
data structure
artificial intelligence