【大紀元2010年11月17日訊】近日，來自資訊網站Softpedia的消息，軟件巨頭微軟公司正在開發一種與Windows不同的操作系統產品SafeOS，它將與Modori和Singularity一起，作為微軟未來操作系統的組成部分。
據稱，「SafeOS」並不是它的最終代號。不過從名字上可以看出，它是微軟試圖打造安全操作系統的作品。SafeOS使用自動的、靜態安全認證技術，比如TAL彙編語言和霍爾邏輯算法，超越目前Windows基於地址的內存保護方案。
系統的基礎架構是「Nucleus」，可提供在硬件和內存間的訪問；而核心「Kernel」建立在Nucleus之上，終端應用程序在Kernel的頂端運行。
Nucleus採用驗證彙編語言編寫，實現任務調度、多個堆棧、終端處理、設備訪問等功能。Kernel則採用C#或其他語種編寫，建立高水平的服務。
按照目前比較可靠的說法，Modori是一個以互聯網為中心的操作系統，其開發理念是「可連接的系統」。這種操作系統將會顯著減少本地應用軟件之間，以及軟件和硬件平台之間的依賴性。 它是微軟研究院的「單一OS」的項目，而Modori可以說是這個項目的一個分支。
早在2008年3月，微軟就向外界推出了未來操作系統Singularity模型的開發包 Singularity Research Development Kit (RDK) 1.1，屬於概念型操作系統，目前還出於研究階段。該系統主要由基於C#的擴展語言Sing#構建。包括軟件獨立進程（SIP）、基於契約（Contract）的信道、基於清單（Manifest）的應用程序。
上述就是微軟操作系統實驗室正在研發的項目，官方只是證實前面二者的存在，沒有明確表示它們的最終用途。在Windows 7上市一年後，陸續傳出Windows 8的研發消息。據估計，Win8將在Win7的基礎之上，提供一系列新功能，不會出現太大的跳躍。
