Design and verification of secure systems
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Strongly partitioned system architecture for integration of real-time applications
Strongly partitioned system architecture for integration of real-time applications
Space & Time Partitioning with ARINC 653 and pragma profile
IRTAW '03 Proceedings of the 12th international workshop on Real-time Ada
Rate monotonic vs. EDF: judgment day
Real-Time Systems
Performance Issues of Grid Computing Based on Different Architecture Cluster Computing Platforms
AINA '05 Proceedings of the 19th International Conference on Advanced Information Networking and Applications - Volume 2
Understanding The Linux Kernel
Understanding The Linux Kernel
The Linux(R) Kernel Primer: A Top-Down Approach for x86 and PowerPC Architectures
The Linux(R) Kernel Primer: A Top-Down Approach for x86 and PowerPC Architectures
Performance-based parallel application toolkit for high-performance clusters
The Journal of Supercomputing
Validating Safety and Security Requirements for Partitioned Architectures
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Formal Verification of a Microkernel Used in Dependable Software Systems
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Hi-index | 0.00 |
High-performance processors give opportunities and challenges for development of real-time and embedded applications. New advances in hardware introduce new questions as alternatives to enable multiple applications to share a single processor and memory, so that the high-performance hardware that contains millions of transistors can be fully utilized, as also the way to keep system dependable and stable by making applications stay in spatial and temporal isolation inside same system. It is introduced in this paper XtratuM, a real-time hypervisor designed and implemented based on the concept of a partitioned system, by enabling partitions to execute simultaneously in spatial and temporal isolation without interfering with each other, but sharing the same hardware. Still in this paper, we provide a brief introduction on partitioned systems and its significance, also presenting the prototype implementation of XtratuM on PowerPC architecture including essential parts: hypercalls, timer, interrupt, and memory management implementations. Benchmark applications have been carried out to illustrate that the model implemented by XtratuM is suitable to offer the capability of spatial and temporal isolation under real-time requirements.