Isolating Real-Time Safety-Critical Embedded Systems via SGX-Based Lightweight Virtualization.
Luigi De SimoneGiovanni MazzeoPublished in: ISSRE Workshops (2019)
Keyphrases
- safety critical
- lightweight
- embedded systems
- low cost
- real time systems
- resource limited
- real time
- smart camera
- software systems
- formal methods
- wireless sensor networks
- field programmable gate array
- control system
- expert systems
- open source
- case study
- web services
- agent architecture
- smart home
- artificial intelligence
- machine learning