Reflective Operating Systems

• Apertos (Sony Computer Science Lab)
• Merlin (University of Sao Paulo)
  An object-oriented, reflective operating system based on the Self programming language
• TUNES Group Members
  Tunes is a project to replace existing Operating Systems, Languages, and User Interfaces by a completely rethough Computing System, based on a correctness-proof-secure higher-order reflective self-extensible fine-grained distributed persistent fault-tolerant version-aware decentralized (no-kernel) object system. We want to implement such a system because we know all these are required for the computing industry to compete fairly, which is not currently possible. Even if Tunes itself does not become a world-wide OS, we hope the TUNES experience can speed up the appearance of such an OS that would fulfill our requirements.