Abstract
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.
- L. Almeida and P. Pedreiras. Scheduling within temporal partitions: response-time analysis and server design. In EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software, pages 95--103, New York, NY, USA, 2004. ACM Press. Google Scholar
Digital Library
- ISO/IEC 8652:1995:AMD2(2007): Information Technology --- Programming Languages --- Ada --- Amendment 2, draft 11, 2011. Available on http://www.ada-auth.org/amendment2.html.Google Scholar
- ARINC. Avionics Application Software Standard Interface --- ARINC Specification 653-1, October 2003.Google Scholar
- ISO/IEC 8652:1995(E)/TC1(2000)/AMD1(2007): Information Technology --- Programming Languages --- Ada.Google Scholar
- P. Balbastre, I. Ripoll, and A. Crespo. Exact response time analysis of hierarchical fixed-priority scheduling. In 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications --- RTCSA 2009, pages 315--320, 2009. Google Scholar
Digital Library
- P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield. Xen and the art of virtualization. SIGOPS Oper. Syst. Rev., 37:164--177, October 2003. Google Scholar
Digital Library
- A. Crespo, I. Ripoll, and M. Masmano. Partitioned embedded architecture based on hypervisor: The XtratuM approach. In Dependable Computing Conference (EDCC), 2010 European, pages 67--72, april 2010. Google Scholar
Digital Library
- R. Davis and A. Burns. Hierarchical fixed priority preemptive scheduling. In Proceedings of the 26th IEEE International Real-Time Systems Symposium --- RTSS 2005, 2005. Google Scholar
Digital Library
- A. Esquinas, J. Zamorano, J. A. de la Puente, M. Masmano, I. Ripoll, and A. Crespo. ORK+/XtratuM: An open partitioning platform for Ada. In A. Romanovsky and T. Vardanega, editors, Reliable Software Technologies --- Ada-Europe 2011, number 6652 in LNCS, pages 160--173. Springer-Verlag, 2011. Google Scholar
Digital Library
- Gaisler Research. LEON2 Processor User's Manual, 2005.Google Scholar
- M. Masmano, I. Ripoll, A. Crespo, and J.-J. Metge. XtratuM: a hypervisor for safety critical embedded systems. In 11th Real-Time Linux Workshop, Dresden. Germany., 2009.Google Scholar
- J. A. Pulido, S. Urueña, J. Zamorano, T. Vardanega, and J. A. de la Puente. Hierarchical scheduling with Ada 2005. In L. M. Pinho and M. González-Harbour, editors, Reliable Software Technologies --- Ada-Europe 2006, volume 4006 of LNCS. Springer Berlin/Heidelberg, 2006. Google Scholar
Digital Library
- M. Rosenblum and T. Garfinkel. Virtual machine monitors: current technology and future trends. Computer, 38(5):39--47, may 2005. Google Scholar
Digital Library
- S. Urueña, J. A. Pulido, J. Redondo, and J. Zamorano. Implementing the new Ada 2005 real-time features on a bare board kernel. Ada Letters, XXVII(2):61--66, August 2007. Proceedings of the 13th International Real- Time Ada Workshop (IRTAW 2007). Google Scholar
Digital Library
Index Terms
Ada real-time services and virtualization
Recommendations
Improving GPOS Real-Time Responsiveness Using vCPU Migration in an Embedded Multicore Virtualization Platform
CSE '13: Proceedings of the 2013 IEEE 16th International Conference on Computational Science and EngineeringIn this paper, a vCPU (virtual CPU) migration mechanism in order to improve real-time responsiveness in a GPOS (General Purpose Operating System) is presented in the embedded multicore virtualization platform and can also be applied to CPS environment. ...
Responsive and Enforced Interrupt Handling for Real-Time System Virtualization
RTCSA '15: Proceedings of the 2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and ApplicationsThe increasing performance of modern processors makes virtualization a viable solution for consolidating real-time systems into a single hardware platform. Although real-time task scheduling in a virtual machine can benefit from hierarchical scheduling, ...






Comments