Xen and the art of virtualization
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Scheduling within temporal partitions: response-time analysis and server design
Proceedings of the 4th ACM international conference on Embedded software
Hierarchical Fixed Priority Pre-Emptive Scheduling
RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
Implementing the new Ada 2005 real-time features on a bare board kernel
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
Exact Response Time Analysis of Hierarchical Fixed-Priority Scheduling
RTCSA '09 Proceedings of the 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach
EDCC '10 Proceedings of the 2010 European Dependable Computing Conference
ORK+/XtratuM: an open partitioning platform for Ada
Ada-Europe'11 Proceedings of the 16th Ada-Europe international conference on Reliable software technologies
Hierarchical scheduling with ada 2005
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Hi-index | 0.00 |
Virtualization techniques have received increased attention in the field of embedded real-time systems. Such techniques provide a set of virtual machines that run on a single hardware platform, thus allowing several application programs to be executed as though they were running on separate machines, with isolated memory spaces and a fraction of the real processor time available to each of them. This papers deals with some problems that arise when implementing real-time systems written in Ada on a virtual machine. The effects of virtualization on the performance of the Ada real-time services are analysed, and requirements for the virtualization layer are derived. Virtual-machine time services are also defined in order to properly support Ada real-time applications. The implementation of the ORK+ kernel on the XtratuM supervisor is used as an example.