LynxSecure

Form Factor:
Category: RTOS (Real Time Operating System)
Supplier: Lynx Software Technologies
Application(s):

LYNXSECURE: SEPARATION KERNEL HYPERVISOR

LynxSecure は、直感的な情報フロー モデリング言語に従ってハードウェア リソースを制御する、シンプルで洗練されたプラットフォーム テクノロジです。 これは LYNX MOSA.ic™ フレームワークの基盤であり、NIST、NSA Common Criteria、NERC CIP などの軍事および産業用コンピューティング環境を規制するために使用されるリアルタイムの高保証コンピューティング要件を満たすように設計されました。

リンクセキュアの利点


私たちは、プログラムのリスク、開発、コスト、スケジュールを削減することに重点を置いています。 LynxSecure:

  • 混合重要度アーキテクチャ向けの DO178C DAL 認定への最も簡単なパスを提供します
  • マルチコア プロセッサを利用する安全なプラットフォームを作成するための強力な基礎要素です
  • 各パーティションに対する最小限のリソースの変更不可能な割り当て (「最小特権」) により、サイバー攻撃に対する回復力を備えています。

将来性があり、サイバー回復力があり、決定論的なソフトウェア プラットフォーム
軍事および航空宇宙分野は、開発サイクルとプログラムコストを改善する必要性という課題に引き続き直面しています。 システムの接続が進むにつれて、サイバーテロの脅威が増大し、システムの複雑さが段階的に増加しています。 これらのシステムには、機能が意図したとおりに正確に実行されることを保証するために、ソフトウェア アプリケーションを相互に分離するソフトウェア基盤が必要です。 また、最新のサイバー脅威に対抗するために、新しい機能や緩和技術を使用してこれらのプラットフォームを安全に更新できる必要もあります。

LynxSecure は、最新のマルチコア プロセッサのハードウェア仮想化機能を利用する、シンプルで洗練されたプラットフォーム テクノロジです。 NIST、NSA Common Criteria、NERC CIP、DO178C など、軍事および航空宇宙コンピューティング環境の規制に使用される最も厳格なリアルタイム、高保証コンピューティング要件を満たすように設計されています。
 
根本的な設計により、アプリケーションはタスクの実行に必要な最小限のリソース (「最小特権」) を不変に割り当てられ、システム攻撃に対する最も強力な耐性が提供されます。 代替アプローチとは異なり、単一障害点がなく、分離カーネルはシステムのデータ プレーンの外に留まり、アプリケーションを相互に分離し、ハッカーの焦点の 1 つとして特定されているオペレーティング システム サービス インターフェイスを含める必要がなくなります。 システムに入る)。

 

データシート: LynxSecure - Data Sheet.pdf
メーカーページ: ここをクリック.