NASAのJPLコーディング標準に準拠したFOSSオペレーティングシステムはありますか？
私、 他の多くの人と同じように 、マールのキュリオシティローバーの最近の着陸の成功に完全に夢中になっています。いくつかの記事を読み、いくつかのリンクをたどると、NASA JPLがコードを形式化してエラーから保護するために使用するCベースのコーディング標準がいくつか見つかりました。 （ ここ および ここ を参照してください。）
これには興味があります。 x86、x64、またはおそらくARMなどの一般的なアーキテクチャで利用可能なこれらのコーディング標準に準拠した利用可能なオープンソースのオペレーティングシステムはありますか？
私は明示的に言及されたルールを使用して明示的に開発されたオペレーティングシステムを知りませんが、 Wind Riverによるプレスリリース によると、VxWorksは組み込みオペレーティングシステムとして使用されます。
これらのコーディング規則の大きな利点は、コードレビュープロセスを簡素化し、環境を形式化することです。 Linuxのような一部のオペレーティングシステムにはコーディングスタイルのガイドラインがありますが、通常は構文のみを対象としており、そのような厳格なルールはなく、NASAのコードほど厳密にはレビューされていない可能性があります。
一部のルールは、初期化後に動的メモリがないなどの組み込みシステムにのみ関連するか、関数ポインタの代わりにIPCが必要になるなどの問題を引き起こす可能性があります（これは特にオペレーティングシステムに当てはまります）。
興味深いオープンソースオペレーティングシステムは eCos です。これは、OSの一部を構成できるためです。システムに含めるパーツ、POSIX互換性、BSDソケット、TCP/IPスタックを明示的に選択できます...