Isolating Real-Time Safety-Critical Embedded Systems via SGX-based Lightweight Virtualization.
Luigi De SimoneGiovanni MazzeoPublished in: CoRR (2019)
Keyphrases
- safety critical
- lightweight
- embedded systems
- low cost
- real time
- real time systems
- resource limited
- smart camera
- fault tolerant
- formal methods
- wireless sensor networks
- software systems
- smart home
- field programmable gate array
- information systems
- agent architecture
- adaptive systems
- rfid tags
- intelligent systems
- machine learning