Microsoft is developing a different operating system and Windows , currently known projects include Midori and Singularity. Recently, a new operating system called SafeOS appear different from the previous two projects , Microsoft has not publicly SafeOS news.
SafeOS this product or development projects is not the code , just a simple title. Microsoft is in a patent application mentioned SafeOS, the patent is mainly concerned with a secure operating system , which uses assembly language (TAL) and the Hoare logic and memory technology for the security type to provide highly automated ,
Microsoft Office Professional 2007, static verification.
In fact, this new platform concept involves a completely different operating system architecture , beyond the current address -based memory protection mechanisms. In the patent , Microsoft described the road : ' Kernel -based applications to run . Kernel is using C # or other languages , created in the Nucleus on preemptive multitasking threads and other high level of service .
Microsoft patents stressed , SafeOS is only a concept design, to illustrate the automated verification of the Principle of static security , Microsoft can not guarantee the further development of SafeOS. <!--