Barrapunto

El motivo principal de usar Ada no es que dé poco margen de error a la programación, sino que es uno de los mejores lenguages de programación en tiempo real.

Aunque al principio cuesta un poco acostumbrarse a él, en cuanto se le pilla el truco se vuelve muy cómodo. Y al ser fuertemente tipado (al estilo de Pascal, mucho más que C) el más complicado que se cuele un error en tiempo de compilación.

En cuanto a los sistemas operativos, uno de los que se usa para cosas serias de tiempo real (p.ej. aviones) es QNX.

Y aunque WinCE (o Windows Embedded, o como lo quieran llamar) no hubiera tenido ningún bug hasta el momento (no es el caso: los tiene), viniendo de Microsoft y teniendo MS el palmarés que tiene, no me fiaría un pelo.