Office 2010 Microsoft's Windows operating system S
 

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 , 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 ,Office 2010, Microsoft can not guarantee the further development of SafeOS. <!--