Os próprios programadores de C respondem a esta questão.
A organização MISRA (The Motor Industry Software Reliability Association) editou o seguinte documento:
"Guidelines for the Use of the C Language in Vehicle Based Software", ISBN 0 9524156 9 0, April 1998.
Este documento informa sobre como se deve programar em C em sistemas embebidos para funções relacionadas com segurança dos automóveis. Um dos aspectos mais interessantes deste documento é que diz (tradução):
No caso de ser possível a utilização da linguagem Ada, esta deve ser utilizada em detrimento da linguagem C.
Como vêm não é preciso dizer mais nada :)
Esta página ainda se encontra em construção. No entanto já estão disponíveis os seguintes documentos (em inglês):
Nos computadores alvega, hobbes, asterix, ideafix e picasso já se encontra disponível o compilador gnat 3.11p (3.10p no picasso). Para compilar em Ada é necessário criar umas variáveis de ambiente, o que se pode fazer correndo (em qualquer máquina):
Se a shell for sh/bash:
> source
/usr/local/gnat/env-vals.sh
Se a shell for csh/tcsh:
> source /usr/local/gnat/env-vals.csh
Depois para compilar:
> gnatmake
ficheiro[.adb]
Para mais informações aqui estão alguns links:
Home of the Brave Ada Programmers
(Desactualizado) (The Home of the Brave Ada Programmers
(HBAP)