Programming Language Choices for High Integrity Systems-Collection of common programming errors

You may look for what you want, but you won’t get it.

Your requirements are not compatible with each other. They basically totally rule out any sort of library. You can say you can use C / C++ – but WITHOUT ANY INCLUDE FILES AND STANDARD LIBRARIES (for which the programmer would obviously not be responsible).

This leaves you pretty much in dry land – the requirement is unrealistic. Even with a large team, one would not want to reprogram most libraries.

Java is pretty good actually if you have the proper programming methods in place – and interesting enough your requirement (high integrity system) is much more an issue of programming methodology (unit tests, tons of internal tests, multiple instances in parallel comparing results – like space shuttle control computers – in case one malfunctions) than something the language decides.

Originally posted 2013-11-09 23:12:36.