Les méthodes formelles sont au stade expérimental seulement. Et ce n'est pas des expert qui codent mais (en partie) des petits jeunes qui sortent de l'école.
Pour ton info, rtems est préconniser par l'ESA et linux est entrain de le devenir. Or, les normes informatiques dans le spatial sont les plus contraigantes qui soient. Certe, il n'y a pas de vie humaine en jeu juste 200 M¤ sur 10 ans... donc ton client ne veut pas perdre son satélite.
[^] # Re: Mouarf
Posté par Nicolas Boulay (site web personnel) . En réponse au journal Dassault / Microsoft. Évalué à 2.
Les méthodes formelles sont au stade expérimental seulement. Et ce n'est pas des expert qui codent mais (en partie) des petits jeunes qui sortent de l'école.
Pour ton info, rtems est préconniser par l'ESA et linux est entrain de le devenir. Or, les normes informatiques dans le spatial sont les plus contraigantes qui soient. Certe, il n'y a pas de vie humaine en jeu juste 200 M¤ sur 10 ans... donc ton client ne veut pas perdre son satélite.
"La première sécurité est la liberté"