Configuration and Scheduling Tools for TSP Systems Based on XtratuM

Hypervisor is a promising technology to build partitioned systems. However, it has to be adapted and customized to the requirements of the target application. Hypervisors are small software layers which can be designed to meet real-time and security properties. Its correctness can be sufficient to ensure the security of the system as a whole or, at least, the security of a set of trusted partitions. Hypervisor technology provides execution environments to build partitions which contain the applications. Several aspects arise from partitioned systems: the new roles and functions of the different teams involved in the development and the enviroments to develop the applications. In this paper we discuss the roles and functions when using XtratuM as virtualisation platform and the guest operating systems available to develop the applications. On the other hand, a critical point is the cost of the virtualisation in terms of overhead, memory and complexity to build a scheduling plan. This paper analysises these costs for partitioned systems built on XtratuM.

[1]  Sanjoy K. Baruah,et al.  Resource Sharing in EDF-Scheduled Systems: A Closer Look , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[2]  T. P. Baker,et al.  A tool for the deterministic scheduling of real-time programs implemented as periodic Ada tasks , 1994, SETA2.

[3]  Alan Burns,et al.  Hierarchical fixed priority pre-emptive scheduling , 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).

[4]  James Windsor,et al.  Time and Space Partitioning in Spacecraft Avionics , 2009, 2009 Third IEEE International Conference on Space Mission Challenges for Information Technology.

[5]  Alfons Crespo,et al.  TSP-Based Generic Payload On-Board Software , 2009 .

[6]  John M. Rushby,et al.  Design and verification of secure systems , 1981, SOSP.

[7]  Patricia Balbastre Betoret,et al.  Exact Response Time Analysis of Hierarchical Fixed-Priority Scheduling , 2009, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.