Automatismo y lenguajes

En procesos industriales 'críticos y cumplejos' solo hay una premisa más en el 'sistema operativo' o entorno que en el lenguaje... y es lo que se denomina RTOS ( Real Time Operating System ), o lo que es lo mismo, un 'kernel' o capa inferior que rodea a los procesos es los que se establece un control total de tiempos de realización de tareas, prioridades, comunicaciones entre tareas, etc.
Uno de los sistemas operativos que tienen estas características es el QNX... puedes echar un vistazo a su página web http://www.qnx.com... se puede programar en diversos lenguajes, pero sea como sea las consideraciones cruciales es que hay un 'microkernel' muy robusto que tiene un control total sobre tiempos, tares, mensajes, etc. échale un vistazo, es muy instructivo... en linux también se están haciendo cosillas con rtlinux ( real-time linux ), etc.
Si hablamos de microprocesadores o de autómatas haciendo tareas únicas ( no multitarea ) con una serie de entradas salidas, las comparaciones entre lenguajes son más de comodidad o de optimización de compilación que de otro tipo.
No te voy a descubrir nada si te digo que con ensamblador lo tienes todo controlado y que es más pesado... o si te digo que en C o C++ es más cómodo pero que tienes que tener en cuenta las tareas más criticas a la hora de compilar o hacerlas directamente en ensamblador...
También hay muchos casos en que el hardware condiciona al software y no hay nada que hacer ( muchos autómatas programables )...
Te he dado una opinión general del tema... si quieres aclaraciones de algo concreto pídemelas sin dudarlo...