Quest-V: A Virtualized Multikernel for Safety-Critical Real-Time Systems

by   Richard West, et al.

Modern processors are increasingly featuring multiple cores, as well as support for hardware virtualization. While these processors are common in desktop and server-class computing, they are less prevalent in embedded and real-time systems. However, smartphones and tablet PCs are starting to feature multicore processors with hardware virtualization. If the trend continues, it is possible that future real-time systems will feature more sophisticated processor architectures. Future automotive or avionics systems, for example, could replace complex networks of uniprocessors with consolidated services on a smaller number of multicore processors. Likewise, virtualization could be used to isolate services and increase the availability of a system even when failures occur. This paper investigates whether advances in modern processor technologies offer new opportunities to rethink the design of real-time operating systems. We describe some of the design principles behind Quest-V, which is being used as an exploratory vehicle for real-time system design on multicore processors with hardware virtualization capabilities. While not all embedded systems should assume such features, a case can be made that more robust, safety-critical systems can be built to use hardware virtualization without incurring significant overheads.



There are no comments yet.


page 8


The Quest-V Separation Kernel for Mixed Criticality Systems

Multi- and many-core processors are becoming increasingly popular in emb...

Isolating Real-Time Safety-Critical Embedded Systems via SGX-based Lightweight Virtualization

A promising approach for designing critical embedded systems is based on...

Research on Scalability of Operating Systems on Multicore Processors

Large number of cores and hardware resource sharing are two characterist...

3D Real-Time Supercomputer Monitoring

Supercomputers are complex systems producing vast quantities of performa...

Parallel Statistical Computing with R: An Illustration on Two Architectures

To harness the full benefit of new computing platforms, it is necessary ...

VOSySmonitoRV: a mixed-criticality solution on Linux-capable RISC-V platforms

Embedded systems are pervasively used in many fields nowadays. In mixed-...

A Survey: Embedded Systems Supporting By Different Operating Systems

In these days embedded system have an important role in different Fields...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.