Singularity is an experimental operating system (OS) which was built by Microsoft Research between 2003 and 2010. It was designed as a high dependability OS in which the kernel, device drivers, and application software were all written in managed code. Internal security uses type safety instead of hardware memory protection.
Singularity was designed my Microsoft and designed to have a high level of security but was never universally adopted.
( z1 contrast :ARG1 ( z2 and :op ( z3 design :ARG0 ( z4 company :name ( z5 name :op "Microsoft" ) :poss ( z6 i ) ) :ARG1 ( z7 product :name ( z8 name :op "Singularity" ) ) ) :op ( z9 design :ARG1 z7 :ARG3 ( z10 have :ARG0 z7 :ARG1 ( z11 security :mod ( z12 level :ARG1-of ( z13 high ) ) ) ) ) ) )