Quest-V: A Virtualized Multikernel for Safety-Critical Real-Time Systems.
Richard WestYe LiEric S. MissimerPublished in: CoRR (2013)
Keyphrases
- real time systems
- safety critical
- embedded systems
- nuclear power plant
- safety analysis
- fault tolerant
- data center
- real time
- cloud computing
- low cost
- distributed systems
- formal methods
- regulatory requirements
- software systems
- real time embedded
- agent architecture
- adaptive systems
- expert systems
- computational intelligence
- control system
- information systems