Googleのオープンソースチームは、「KataOSはほぼ完全にRustで実装されており、Off-by-oneエラー(OBOE)やバッファオーバフローのようなバグのクラス全体を除去することで、ソフトウェアセキュリティの強力な出発点になる」と説明している。同チームは、インテリジェントなアンビエント機械学習(AmbiML)システムの構築を進めている。 プロジェクトのGitHubページでは、KataOSとそれを包含するプロジェクト「Sparrow」について「あくまで進行中の作業」であることを強調している。SparrowはKataOSのリファレンス実装だ。 Googleは次のように述べている。「われわれGoogle Researchチームは、MLアプリケーションを実行する組み込みデバイス向けに最適化された、安全性が証明可能なプラットフォームを構築することで、この問題を解決しようと取り組んでいる。進

