リンクスソフトウェアテクノロジーズ

Lynx Software Technologies, Inc. (旧称LynuxWorks ) ^[1]は、 1988 年に設立されたカリフォルニア州サンノゼのソフトウェア会社です。 ^[2] Lynx は、安全な仮想化と、オープンで信頼性が高く、認定可能なリアルタイム オペレーティング システム ( RTOS ) を専門としています。 元々 Lynx Real-Time Systems として知られていた同社は、 Linux に強い背景を持つ組み込みシステム企業である ISDCorp (Integrated Software & Devices Corporation) を買収して合併した後、2000 年に LynuxWorks に社名を変更しました。 2014 年 5 月に、同社は Lynx Software Technologies に社名を変更しました。

30 年以上に及ぶプロセッサの進化を通じて、Lynx は安全性とセキュリティが重要なソフトウェア システムの構築者向けにプラットフォーム アーキテクチャを開発し、適応させてきました。Lynx は当初からオープン スタンダードを取り入れており、独自のRTOSであるLynxOS はUNIXライクなユーザー モデルと組み込み開発者向けの標準POSIXインターフェイスを備えています。LynxOS-178 は FAA DO-178C DAL A 安全規格に基づいて開発および認定されており、RTOS としては初で唯一の FAA 再利用可能ソフトウェア コンポーネント認定を取得しています。ARINC API および FACE 規格をサポートしています。

Lynx は、通信、工業、輸送、航空電子工学、航空宇宙/防衛、民生用電子機器の大手企業による何千もの設計と何百万もの製品に導入されている技術を生み出しました。1989 年には、同社の主力 RTOS であるLynxOSが、NASA/IBM のSpace Station Freedomプロジェクトで採用されました。^[3] Lynx Software Technologies のオペレーティング システムは、世界中の医療、工業、通信システムでも使用されています。^[4]

2020年初頭、Lynxは統合打撃戦闘機のTR3近代化プログラムにLynxのLYNX MOSA.icソフトウェア開発フレームワークが採用されたと発表しました。 F-35 Lightning IIプログラム（統合打撃戦闘機プログラムとも呼ばれる）は、手頃な価格の次世代攻撃航空機兵器システムを定義するための米国国防総省の中心であり、米国、英国、イタリア、カナダ、オーストラリア、オランダ、およびその同盟国の既存の戦闘機、打撃機、地上攻撃機の広範な代替を目的としています。 ボーイングX-32とロッキードマーティンX-35の競争の後、X-35をベースにした最終設計が選ばれました。これが、さまざまな戦術航空機を置き換えるF-35 Lightning IIです。

同社の技術は、エアバス、ボッシュ、デンソー、ゼネラル・ダイナミクス、ロッキード・マーティン、レイセオン、ローデ・シュワルツ、トヨタなどの企業によって、世界中で医療、産業、通信システムに使用されています。^[2]

LynxOSは同社のリアルタイム オペレーティング システムです。UNIX 互換でPOSIXに準拠しています。予測可能な最悪ケースの応答時間、プリエンプティブ スケジューリング、リアルタイムの優先順位、ROM 化可能なカーネル、メモリ ロックなどの機能を備えています。LynxOS 7.0 は「ミリタリー グレード」の汎用マルチコア ハード リアルタイム オペレーティング システムとして販売されており、開発者が開発後にセキュリティ機能を追加するのではなく、設計プロセス中にセキュリティ機能を組み込むことを目的としています。LynxOS と LynxOS-178 は、複数の軍事および航空宇宙システムを含む、世界中の何百万もの安全性が重要なアプリケーションに導入されています。

2003 年、同社は LynxOS-178リアルタイム オペレーティング システムを発表しました。これは、 DO-178Bなどの業界標準の認証を必要とする航空電子機器アプリケーション向けの LynxOS の特殊バージョンです。LynxOS-178 は、DO-178B レベル A 仕様の目的を完全に満たし、Integrated Modular Avionics (IMA) 開発者の要件を満たす商用オフザシェルフ (COTS) RTOS です。LynxOS-178 は、FAA DO-178B/C DAL A 安全標準に合わせて開発および認証されたネイティブ POSIX のハード リアルタイム パーティショニング オペレーティング システムです。これは、DO-178B/C 認証プロジェクトでの再利用性に対してFAAから再利用可能ソフトウェア コンポーネント (RSC) 証明書を授与された唯一の商用オフザシェルフ ( COTS ) OSです。 LynxOS-178 は、 LYNX MOSA.ic開発および統合フレームワーク内のリアルタイム POSIX および FACE アプリケーションの主なホストです。LynxOS-178 は、専用および多目的のリアルタイム アプリケーションとFACEアプリケーションの両方の PSE 53/54 プロファイルを満たしています。

LynxSecure Hypervisor (「ベア メタル」、タイプ 1) と分離カーネルは2005 年にリリースされました。LYNX MOSA.ic 開発フレームワーク内では、最新のマルチコア プロセッサのハードウェア仮想化機能を活用し てコンピューティング リソースを分離する、プログラム可能なプロセッサ パーティショニング システムとして機能します。

2019 年 2 月、Lynx は LYNX MOSA.ic (「モザイク」と発音) を発表しました。LYNX MOSA.ic は、独立したアプリケーション モジュールからセキュリティと安全性が重要なソフトウェア システムを迅速に構築するためのソフトウェア開発フレームワークです。モジュラー オープン システム アプローチ (MOSA) のビジョンを実現するように設計されており、開発者が既存の開発サイクルを縮小して、有人および無人の自律システム向けの堅牢で安全なプラットフォームを作成、認証、展開できるようにすることに重点を置いています。

Lynx Software Technologies の LynxOS 技術に関する特許には、1995 年 11 月 21 日の特許 #5,469,571「複数の優先度を持つ軽量カーネルのタスクベースの割り込み処理を使用するオペレーティング システム アーキテクチャ」と、1997 年 1 月 14 日の特許 #5,594,903「ファイル システムの名前空間で識別される予約済みメモリ空間常駐プログラム コードを備えたオペレーティング システム アーキテクチャ」が含まれます。^[5]

このフレームワークはモジュール型のソフトウェア開発フレームワークであり、開発者は航空電子工学、工業、自動車、UAV /衛星などの業界向けにマルチコアの安全性とセキュリティシステムを設計および統合することができます。 ^[6]

安全なアプリケーションの構築に使用されるLYNX MOSA.icバンドルは3つあります。^[7]これらのバンドルには、LYNX MOSA.ic for Avionics、^{[8] [9] [10]} LYNX MOSA.ic for Industrial、^{[11] [12] [13]} LYNX MOSA.ic for UAVs/Satellitesが含まれます。^[14]これらのバンドルは、セキュリティに重点を置いているため、「ミッションクリティカルエッジ」と呼ばれています。^[7]これらのバンドルの機能には違いがあり、たとえば、LYNX MOSA.ic for IndustrialはAzure IoT EdgeとWindows 10をサポートし、LYNX MOSA.ic for AvionicsはArmとx86プロセッサアーキテクチャをサポートしています。^[15]

LYNX MOSA.icは、Lynx Software TechnologiesのLynxSecure 分離カーネル ハイパーバイザー上に構築されており、アプリケーションの分離と重要なシステム資産の管理に役立ちます。^[16] LYNX MOSA.icは、LynxOS -178、Linux、Windows、およびサードパーティのOSシステムをサポートしています。^[17] LYNX MOSA.icは、Lynx Simple Applications（LSA）などのベアメタルアプリケーションもサポートしています。^[18]

LYNX MOSA.icはマルチコアプロセッサを使用してハードウェア仮想化をサポートします。^[19] LYNX MOSA.icのモジュール構造により、ユーザーはコンピューティングリソースを自己管理された独立した環境に分離できます。TRACE32は、 LYNX MOSA.icのモジュールに格納されている独立したアプリケーションに対してJTAGデバッグサポートを提供します。 ^[19]

LYNX MOSA.icは、2019年にLynx Software Technologiesによって初めて発表されました。^{[20] [21]このフレームワークは}、米国国防総省のMOSA（モジュラーオープンシステムアプローチ）との統合のために開発されました。^[10]

2020年から、LYNX MOSA.icはF-35統合打撃戦闘機プログラムオフィスによって、 F-35ライトニングII戦闘機のアップグレードされたミッションシステム航空電子機器の開発をサポートするために利用されています。 ^[22]

2021年8月、Lynx Software TechnologiesとAdvantechは、Lynx LYNX MOSA.ic for Industrialを通じてIT/OTコンバージェンスのためのミッションクリティカルエッジスターターキットを提供するための提携を発表しました。^[11] Lynxはまた、2021年8月にCODESYS Groupと提携し、同社の制御自動化技術をLYNX MOSA.ic for Industrial製品に統合しました。2021年7月、LynxはCollins Aerospaceとも提携し、Collins AerospaceのPerigonフライトコンピューターの基盤としてLYNX MOSA.ic for Avionicsを提供しました。^{[23] [24]} Lynx Software Technologiesは、2021年にMicrosoft AzureマーケットプレイスでLYNX MOSA.ic for Industrialをリリースしました。^[12]

• 公式サイト