Ferrous Systemsにとって、FerroceneはRustの技術的専門知識とRustコミュニティとの関係を活用し、Rustをミッションおよびセーフティクリティカルな組み込みソフトウェア開発における重要な位置づけへと変える機会となる。
AdaCoreにとっては、Ferroceneの開発への協力を通じて、同社による長年のAdaへの取り組みを補完し、安全を認定されたAdaツールチェーンの開発で培ってきた専門知識をRustコミュニティへ拡大する機会を提供する。
具体的には、Ferrocene Rustコンパイラをさまざまな安全基準に適合させることを目的とした取り組みを行い、最終的には動的／静的分析ツールの開発、およびそのツールがさまざまな安全基準からの認定を取得することを目指す。また、安全性が認定された言語サポート（libcore）やユーザーライブラリの開発も検討している。
からの記事と詳細 ( AdaCoreとFerrous Systems、Rustツールチェーン「Ferrocene」のさまざまな安全基準の認定に向けて協力 - CodeZine（コードジン） )
https://ift.tt/Q7wVfGUDO
No comments:
Post a Comment