誰も一人で地獄を越えない

同盟国が共に戦うためのソフトウェア運用基盤を構築する

01 製品

製品

AGELAIOS戦術インターフェースを表示する堅牢タブレット。

02 設計原則

現場から学んだこと。

01

分散が生存性を高める

一か所に集約された指揮所は、発見・識別され、攻撃される標的です。その機能を車両、ドローン、遠隔センサー、降車部隊など数十の移動ノードへ分散します。 各ノードは自律性を保ち、専門要員でなくても運用でき、通信が戻り次第すぐに部隊ネットワークへ復帰できなければなりません。

02

電磁スペクトルは常に争奪下にある

バルト海では、衛星信号への妨害やスプーフィングが民間の海上・航空交通にまで影響しています。前線では、主に電子戦により、ウクライナ軍が月に約1万機のドローンを失っていると信頼できる報告が示しています。 信号が常に利用できることを前提とするシステムは、戦闘システムではありません。

03

縮退運用が既定の状態

署名の期限切れ、ライセンスサーバーへの接続不能、更新の中断を理由に起動しない装備は、現場で放棄されます。2025年7月には、世界規模の衛星障害により、ウクライナ軍部隊が約2時間半にわたり通信を失いました。 ハードウェアは必ず起動し、サービスを拒否するのではなく、縮退したセキュリティ態勢を明示しなければなりません。

04

戦術と産業のサイクルは一致しない

対抗手段は2～3日で現れる一方、再認定には年単位を要します。需要の高い部品は調達に数週間かかり、数年で市場から姿を消します。 抽象化により、対象機器の変更は全面的な書き直しではなく統合作業になります。

03 ブログ

ニュースルーム

技術ノート、現地報告、刊行物。

すべての記事を見る
  • リーン生産統制。未準備の仕事は無駄とし、制約を解消して準備済みの仕事だけをフロンティアへ入れ、約束は割当でなく受諾される。エンジニアは要件とライン停止判断を担い、仕様・テスト・文書は1つの事実に一致する。

    エンジニアを工学に集中させるリーン生産統制

    方法論

    Penrose Tacticalは、基準を下げずに開発者の行動を増幅する社内生産システムを構築しました。準備済みの仕事だけをプルし、タスクを約束に置き換え、仕様・テスト・文書を同じ事実に保ちます。

  • SBOM、テストレポート、署名済み来歴マニフェスト、要件・メカニズム・証拠マトリクスから成るインスタンス証拠キットを生成するビルドパイプライン。

    ビルドごとに生成される証拠で認定を継続する

    AGELAIOS

    ドクトリン

    AGELAIOSは、SBOM、日付付きテストレポート、署名済み来歴、要件・メカニズム・証拠マトリクスを含むインスタンス証拠キットをリリースごとに生成し、認定資料をソフトウェアと同じ速度で更新します。

  • マニフェストから有効化までのProvider Packの5段階ライフサイクル。ソフトウェアフォールバックを強調。

    個別統合なしでシリコンをAGELAIOSノードへ届けるProvider Pack

    AGELAIOS

    エコシステム

    Provider Packは、再現可能な立会いセッション、フリート完全性統制、ハードウェア不在時も機能を維持する必須ソフトウェアフォールバックとともに、メーカーのシリコンを署名済みケイパビリティとしてAGELAIOSノードへ公開します。

  • 同じリビジョンから始まる2本の並行ビルドチェーンがビット単位の比較へ収束し、監査成果物を生成する図。

    監査担当者が歓迎するビット単位で再現可能なソフトウェアファクトリー

    AGELAIOS

    エンジニアリング

    AGELAIOSは同じリビジョンを2回ビルドし、結果をバイト単位で比較します。再現可能イメージ、署名付き来歴、継続生成される証拠が、ソフトウェア保証を立証しやすくする仕組みを解説します。

  • プロジェクト生成からエミュレートされたノードへのインストールまで、署名工程を強調したAGELAIOSモジュール開発の8段階。

    最初のAGELAIOSモジュールを1時間で作る

    AGELAIOS

    エコシステム

    検証済みテンプレートから、エミュレートされたノード上で動作する署名済みパッケージまで、AGELAIOSモジュール開発の8段階と、契約・分離方式の選択を解説します。

  • 4つの運用状態、トークン方式の送信予算、計画済み通信ウィンドウを示すAGELAIOSの通信放射管制モデル。

    送信のたびに位置が露見し得る戦場で

    AGELAIOS

    ドクトリン

    AGELAIOSは、明示的な運用状態、ベアラ別の送信予算、計画済み通信ウィンドウ、蓄積転送によって、通信放射管制を強制可能なプラットフォーム機能にします。

  • AGELAIOSの署名スイートと、ノード単位で従来暗号からハイブリッドなポスト量子保護へ移行するフリート。

    全ノード一斉移行を避けるポスト量子セキュリティへの現実的な道筋

    AGELAIOS

    エンジニアリング

    AGELAIOSは、ハイブリッドX25519MLKEM768鍵交換でメッシュ通信の機密性を保護し、成果物の署名をEd25519からML-DSA-65へ制御可能かつ検証可能な形で移行します。

  • 連続する分離境界の内側に障害モジュールを封じ込め、戦術ノードの他の機能が稼働を続ける様子。

    毎晩1,000回のクラッシュでAGELAIOSの障害封じ込めを検証する

    AGELAIOS

    エンジニアリング

    AGELAIOSは、決定論的な監視、毎晩1,000回のクラッシュサイクル、並行障害ストーム、ネガティブコントロールによって、障害波及防止を測定可能な証拠にします。

  • 戦術ソフトウェアの3層。ミッションアプリケーションとプログラム統合の下にある公開実行基盤を、共有層として強調している。

    なぜソフトウェア基盤を公開するのか

    AGELAIOS

    ドクトリン

    Penrose TacticalはAGELAIOS Standard EditionをApache 2.0で公開し、パートナーがプログラム開始前に戦術基盤を検査・移植・監査できるようにします。運用上の秘密は非公開のままです。購入対象は産業としての実装です。

04 すでに提供している成果

意図ではなく、成果を。

2,800+ 自動テストおよびエンドツーエンドテストスイート
235,022 行のコード。主にRustで、その半数がテスト。
774 件の製品構造仕様。
429 ページの図解入りユーザー文書。ASD S1000D準拠。
6–7 のTRL成熟度。エミュレータおよび市販ハードウェアで実証。

AGELAIOSは、監査可能で、仕様と文書が整備され、あらゆるプロジェクトやプログラムへ迅速に組み込める基盤として設計されています。

再現可能ビルドでは、第三者がソースからバイナリを再構築し、フィンガープリントを含めて完全に同一の結果を得られます。実行されているものが監査済みのものと同一であることを検証するための標準的な手法です。

05 エコシステム

新たな戦場標準を共に築く

標準の価値は、それを採用するプレイヤーによって決まります。私たちは以下の皆様と共に構築を進めています。

06 私たちについて

6人、ひとつのビジョン。

堅牢化ハードウェア

過酷環境向けの弾薬およびコンピューターを設計してきました。

プログラム遂行

大手プライムコントラクターの内部でプログラムを遂行してきました。

公共調達

フランスおよび欧州の公共調達への応札実務を熟知しています。

生成AI

仕様策定から検証まで、効果を発揮するすべての工程で活用を統制しています。

Penrose Tactical

私たちはフランスに本拠を置き、欧州とアジア太平洋地域で事業を展開する多国籍防衛企業です。防衛産業で培った経験を携え、情勢が求める時間軸で任務に応えるため、この分野に戻ってきました。

07 お問い合わせ

チームは準備できています。ぜひお試しください。

AGELAIOSを見る チームに問い合わせる