水素タンク安全範囲(Hydrogen_Tanks_Safety_range)

Tool

概要

本リポジトリは、衛星搭載を想定した水素(およびアンモニア等の液体グリーン単推進薬)タンクの安全管理に関するソフト/ハード両面の資料とサンプルを収めています。AdaCoreベースのアルゴリズムやVHDL実装、MicroBlaze向けの例、タンクや配管のCADファイル、関連画像を含み、タンク充填、バルブ制御、輸送時の安全域評価や制御ロジックのプロトタイプが中心です。実機導入前の設計検討やFPGAによるハードウェア実装の参考になる内容です。

GitHub

リポジトリの統計情報

  • スター数: 1
  • フォーク数: 0
  • ウォッチャー数: 1
  • コミット数: 21
  • ファイル数: 9
  • メインの言語: Tcl

主な特徴

  • AdaCoreアルゴリズムとVHDLのサンプルコードを同梱し、ソフトウェア/ハードウェア共設計を想定
  • 衛星タンクの安全域(safety range)やバルブ制御、液体輸送を扱う設計資料とCADファイル
  • MicroBlaze向けの例やFPGA実装を想定したVHDLベースのテストベンチ類
  • 画像や図面を含み、設計レビューやドキュメント化に有用

技術的なポイント

READMEに記載されている通り、本リポジトリはAdaCore系のアルゴリズムとVHDL例を中心に、衛星用タンク制御のプロトタイプ実装を扱います。Ada言語やAdaCoreツールチェーンは安全性・信頼性の高い組込み系に適しており、形式的手法や強い型付けによる設計意図の明確化が期待できます。VHDLファイル群はFPGA上でのバルブ制御やセンサ取り込み、状態機械(state machine)実装に使える設計ブロックを想定しており、XilinxのMicroBlazeソフトコアと組み合わせることでハードウェア/ソフトウェア協調の試作が可能です。リポジトリ内にはタンクや配管のXenon/Hydrogen用CADデータも含まれており、機械設計側と電子制御側の連携資料としても機能します。Tclがメイン言語として使われている点は、EDAツールのスクリプト自動化(シミュレーションやフロー制御)やCADツールとの連携を想定した構成であることを示唆します。安全域(pressure/temperature/flowの許容範囲)のモデル化、バルブ開閉ロジック、フェールセーフやウォッチドッグ、冗長化・フェイルオーバー戦略など、安全クリティカルな要素の設計指針や検討例が含まれている可能性が高く、FPGA実装・シミュレーション(ModelSimやVivado等)と統合した実験へと繋げられるリポジトリです。(約700字)

プロジェクトの構成

主要なファイルとディレクトリ:

  • LICENSE: file
  • README.md: file
  • Xenon_Hydrogen_CAD_files: dir
  • adaCore: dir
  • images: dir

…他 4 ファイル

まとめ

衛星用水素タンクの制御・安全検討に役立つ試作向けリポジトリです(学習・プロトタイプ向け)。50字程度。

リポジトリ情報:

READMEの抜粋:

Hydrogen_Tanks_Safety_range

AdaCore algorithms & VHDL examples/microblaze for hydrogen spacecraft(satellite-tanks) liquid green monopropellants such ammonia, green Hydrogen, liquid transport, valvels… …