XtratuM/PPC: a hypervisor for partitioned system on PowerPC processors

[1]  Miguel Masmano,et al.  IO Virtualisation in a Partitioned System , 2012 .

[2]  Bernhard Beckert,et al.  Formal Verification of a Microkernel Used in Dependable Software Systems , 2009, SAFECOMP.

[3]  Julien Delange,et al.  Validating Safety and Security Requirements for Partitioned Architectures , 2009, Ada-Europe.

[4]  S. Santos,et al.  A portable ARINC 653 standard interface , 2008, 2008 IEEE/AIAA 27th Digital Avionics Systems Conference.

[5]  Kuan-Ching Li,et al.  Performance-based parallel application toolkit for high-performance clusters , 2008, The Journal of Supercomputing.

[6]  Gordon Fischer,et al.  The Linux Kernel Primer: A Top-Down Approach for x86 and PowerPC Architectures , 2005 .

[7]  Yaw-Ling Lin,et al.  Performance issues of grid computing based on different architecture cluster computing platforms , 2005, 19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers).

[8]  Joyce L. Tokar.  Space & Time Partitioning with ARINC 653 and pragma profile , 2003, IRTAW.

[9]  Giorgio C. Buttazzo,et al.  Rate Monotonic vs. EDF: Judgment Day , 2003, Real-Time Systems.

[10]  A. Cook,et al.  ARINC 653 - Achieving software re-use , 1997, Microprocess. Microsystems.

[11]  A. Cook,et al.  ARINC 653 - Challenges of the present and future , 1995, Microprocess. Microsystems.

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

[13]  Scott A. Brandt,et al.  Workshop on Operating Systems Platforms for Embedded Real-Time applications , 2007 .

[14]  Yann-Hang Lee,et al.  Strongly partitioned system architecture for integration of real-time applications , 2001 .