ハイパーループ

HyperLoopは、高速なメインフレームモダナイゼーションエンジンです。レガシーメインフレームアプリケーションをクラウドネイティブなランタイムへと再構築します。数学的手法を用いて高い精度を確保することで、HyperLoopは証明可能な検証性を提供しつつ、移行期間を80%以上短縮します。

リーダーシップチームがHyperLoopを選ぶ理由。

対象範囲の全プログラムをモデル化し、安全性を検証・追跡します。統計的サンプリングやモジュールの除外は一切ありません。

各プログラムはDafnyでモデル化され、メモリ安全性、型の正確性、ランタイムエラーについて機械検証されます。証明なしでのリリースは行いません。

到達不可能と証明された分岐を含め、判定条件分岐レベルでカバレッジを追跡します。デッドロジックは引き継ぎません。

CICS、バッチ、IMS、アセンブラの全プログラムを対象に、ステータス、カバレッジ、完了予定を1つのビューで確認できます。

すべてのビジネスルールを抽出し、その元となるCOBOLパラグラフに紐付けます。変換によって暗黙知が失われることはありません。

すべてのビジネスルールを明示的に記録し、タイプ別に分類してソース段落に紐付けます。

各ルールは特定のCOBOL段落や条件分岐まで追跡可能です。クリックしてソース、推論の確認、モダナイゼーションに関するメモを参照できます。

各ルールはモダンビルドの特定の動作に反映され、保持、簡素化、または再構築された内容に関するメモが付属します。

カットオーバー前に2つのゲートを設けます。モダンビルドは、まず同型のメインフレームシミュレーションに対して、次にメインフレームのライブトラフィックに対してリプレイされます。両方のゲートを通過するまで、本番環境へのカットオーバーは行われません。

モダンビルドは、正しさが確認されている決定論的リファレンスである、同型のメインフレームシミュレーションに対して実行されます。生じた差異はすべて、具体的な入力データを伴う実際のバグです。不安定なテストやカバレッジのギャップはありません。

各サイクルでは、数日ではなく数分で数万件の比較をリプレイします。すべての差異にはそれを引き起こした入力データが伴うため、ローカルで修正を再現し、次のサイクルで検証できます。

すべての差異は、オープン、調査中、修正済み、検証済みというライフサイクルを通じて追跡されます。サイクルの完了に合わせてリストが更新されるため、何が進行を妨げているか、何がすでに修正されているかを正確に把握できます。

スタート