You should look at Ada 2005 (or Ada 2012). Ada is battle-proven and comes with plenty of reliability tools and inbuilt safety. It's also focused on embedded, di

You should look at Ada 2005 (or Ada 2012). Ada is battle-proven and comes with plenty of reliability tools and inbuilt safety. It's also focused on embedded, distributed and real-time systems. AdaCore provides high quality compilers and tools (GPLed) under http://libre.adacore.com/ http://libre.adacore.com/ Interested fellas might start with reading this article: http://www.adacore.com/adaanswers/gems/gem-30/ http://www.adacore.com/adaanswers/gems/gem-30/ EDIT: oops, that should be an answer to eckyptang... anyway, check out Ada. :)