Re: Je ne veux pas être rabat-joie mais...

Autant pour moi, c'est du C temps réel généré automatiquement par des outils qui "prouvent le code"

Un truc qu'ils appellent la technologie SCADE :
http://www.esterel-technologies.com/technology/first-flight/first-f(...)
http://www.tttech.com/dasc.htm#model(...)

Je n'y connais rien en temps réel, mais vu les degrés de fiabilité demandés, je ne verrais pas l'intéret de mettre Linux dessous sachant que Linux n'est pas "prouvé".