HyperLoop: メインフレームからクラウドへのモダナイゼーション
HyperLoopは、高速なAIメインフレームモダナイゼーションエンジンです。レガシーメインフレームアプリケーションをクラウドネイティブなランタイムへと再構築します。数学的手法を用いて高い精度を確保することで、HyperLoopは証明可能な検証性を提供しつつ、移行期間を80%以上短縮します。
デモを申し込むすべてのステップで証明されるモダナイゼーション
証明可能な安全性
対象範囲の全プログラムをモデル化し、安全性を検証・追跡します。統計的サンプリングやモジュールの除外は一切ありません。

機械検証による安全性
各プログラムはDafnyでモデル化され、メモリ安全性、型の正確性、ランタイムエラーについて機械検証されます。証明なしでのリリースは行いません。
判定条件分岐カバレッジ
到達不可能と証明された分岐を含め、判定条件分岐レベルでカバレッジを追跡します。デッドロジックは引き継ぎません。
単一画面のポートフォリオ
CICS、バッチ、IMS、アセンブラの全プログラムを対象に、ステータス、カバレッジ、完了予定を1つのビューで確認できます。
監査可能な来歴
すべてのビジネスルールを抽出し、その元となるCOBOLパラグラフに紐付けます。変換によって暗黙知が失われることはありません。

ルール抽出
すべてのビジネスルールを明示的に記録し、タイプ別に分類してソース段落に紐付けます。
ソースからルールへの来歴
各ルールは特定のCOBOL段落や条件分岐まで追跡可能です。クリックしてソース、推論の確認、モダナイゼーションに関するメモを参照できます。
ルールからモダンへの変換
各ルールはモダンビルドの特定の動作に反映され、保持、簡素化、または再構築された内容に関するメモが付属します。
検証済みカットオーバー
カットオーバー前に2つのゲートを設けます。モダンビルドは、まず同型のメインフレームシミュレーションに対して、次にメインフレームのライブトラフィックに対してリプレイされます。両方のゲートを通過するまで、本番環境へのカットオーバーは行われません。

クローズドループ検証
モダンビルドは、正しさが確認されている決定論的リファレンスである、同型のメインフレームシミュレーションに対して実行されます。生じた差異はすべて、具体的な入力データを伴う実際のバグです。不安定なテストやカバレッジのギャップはありません。
高速イテレーション
各サイクルでは、数日ではなく数分で数万件の比較をリプレイします。すべての差異にはそれを引き起こした入力データが伴うため、ローカルで修正を再現し、次のサイクルで検証できます。
ライブトリアージ
すべての差異は、オープン、調査中、修正済み、検証済みというライフサイクルを通じて追跡されます。サイクルの完了に合わせてリストが更新されるため、何が進行を妨げているか、何がすでに修正されているかを正確に把握できます。
既に使用しているクラウドへの近代化。

HyperLoopは、Hypercubicの検証主導型メインフレームモダナイゼーションエンジンです。レガシーアプリケーションを分析してビジネスロジックと依存関係を抽出し、モダンなアーキテクチャに変換した上で、新しいシステムが元の動作と一致するかを継続的に検証します。
大規模なモダナイゼーションチームや希少なメインフレーム専門家に依存するのではなく、HyperLoopは、レガシーアプリケーションを安全にモダナイズするために必要な分析、変換、検証作業を自動化します。これにより、プロジェクトに必要な人員を削減し、数年がかりのスケジュールを数か月に短縮できるほか、最終的な手動テストに頼るのではなく、プロセス全体を通じて継続的な検証を提供します。
HyperLoopは、CICS、バッチ、IMS、およびアセンブラプログラムにわたるCOBOLとJCLのワークロードをサポートします。HyperLoopは、対象となるすべてのプログラムをモデル化、安全性確認、および追跡し、単一のポートフォリオビューでステータス、カバレッジ、完了予定時間を表示します。HyperLoopはモジュールを一切スキップせず、統計的サンプリングも使用しません。
HyperLoopは、レガシーメインフレームアプリケーションをAWS、Azure、GCP、Oracle、IBMのクラウドプラットフォームへモダナイズします。お客様の組織がすでに利用しているクラウドを対象としています。
HyperLoopは、各プログラムを形式的に検証された言語でモデリングし、メモリ安全性、型の正確性、ランタイムエラーについて機械的にチェックすることで、正確性を確保します。カバレッジは到達不可能であることが証明された分岐を含め、条件分岐レベルで追跡されます。そのため、HyperLoopがモダンなビルドにデッドロジックを持ち越すことはありません。
HyperLoopはすべてのビジネスルールを明示的に抽出し、タイプ別に分類して、そのルールを生成したCOBOLパラグラフに紐付けます。各ルールは特定のCOBOLパラグラフや条件分岐まで遡って追跡されます。さらに、各ルールはモダンなビルドにおける特定の動作に反映され、HyperLoopが何を保持、簡素化、または再構築したかについての注釈が添えられます。
HyperLoopは、本番環境への切り替え前に2つのゲートを必須としています。モダンビルドはまず、正しいことが確認されている決定論的リファレンスである同型のメインフレームシミュレーションに対して実行され、次に実際のメインフレームトラフィックに対して実行されます。両方のゲートを通過するまで本番環境への切り替えは行われません。また、HyperLoopはすべての差異を、オープン、調査中、パッチ適用済み、検証済みの各ステージを通じて追跡します。
HyperLoopは、コード理解、ビジネスルールの抽出、変換、および検証を自動化することで、モダナイゼーションの期間を短縮するように設計されています。具体的な効果は、アプリケーションポートフォリオ、ターゲットアーキテクチャ、データ依存関係、およびテスト要件によって異なります。
大量の動作比較を自動的にリプレイし、再現可能な入力を用いて差異を明らかにすることで、HyperLoopは手作業による分析や検証作業を大幅に削減し、通常であれば数年を要するモダナイゼーションプログラムを数ヶ月に短縮することができます。
自信を持ってモダナイズ。
COBOLとメインフレーム環境の重要ワークロードを、検証、来歴、プロダクション品質の統制を備えてクラウドへ移行します。