Y a-t-il des systèmes d'exploitation FOSS disponibles conformes aux normes de codage JPL de la NASA? [fermé

Question

JE, comme beaucoup d'autres, ont été complètement amoureux du récent atterrissage réussi de la curiosité de Mar. Après avoir lu quelques articles et en suivant quelques liens, j'ai trouvé quelques normes de codage basées sur C que NASA JPL utilise pour formaliser leur code et la protéger de l'erreur. (Voir ici et ici.)

Cela m'a curieux. Y a-t-il des systèmes d'exploitation open source disponibles qui adhèrent à ces normes de codage disponibles pour une architecture commune, telle que x86, x64 ou éventuellement ARM?