MikeOS
[http://mikeos.sourceforge.net/] - - public:megatux
ing language designed for building highly parallel, distributed, fault-tolerant systems. It has been used commercially for many years to build massive fault-tolerant systems which run fo