概要

VxWorks®は、圧倒的なデターミニスティック性能を実現し、最高水準が求められるミッションクリティカルなコンピューティングシステムに対し、拡張性、将来性、安全性、セキュリティ、信頼性を提供する、リアルタイムオペレーティングシステム(RTOS)です。約40年にわたり、世界中の業界をリードする企業がVxWorksを活用し、決して止まることの許されない航空宇宙・防衛、鉄道、自動車、医療機器、製造プラント、通信ネットワークといった分野において革新的な製品を生み出しています。

優れた性能

  • 信頼性とパフォーマンス:VxWorksは信頼性が不可欠な分野において、そのシステムが求める最高水準のパフォーマンスを提供します。地球上での活躍はもちろんのこと、VxWorksは火星において初めて稼働したRTOSです。
  • セキュリティ:VxWorksは接続された世界において、デバイス、データ、知的財産を効果的かつ効率的に保護することができます。VxWorksと、Wind River Security Services、当社の開発プロセスとの組み合わせにより、あらゆる業界で定められている厳しいセキュリティ要件に対応する包括的な組込みセキュリティ機能を提供します。
  • 安全性:VxWorksは安全性を考慮して開発されています。厳密なテストにより、特定業界で求められる厳しい安全認証基準を満たしています。

カスタマーサポート

VxWorksは、受賞歴のあるサポート体制をグローバルに有し、複数のタイムゾーンでのお客様のソフトウェア開発を支援します。

詳細は以下をご参照ください。www.windriver.com/japan/services

プロフェッショナルサービス(受託開発)

ウインドリバーのプロフェッショナルサービス部門は、CMMIレベル3の評価を受けています。 BSP開発サービス、セキュアブートサービス、ソリューションの評価サービスから、コンサルティング、設計サービス、認証サービスまで、組込みソフトウェア業界をリードしてきた経験から培われた知識や専門性、リソースを提供し、お客様の製品の市場投入を支援します。

詳細は以下をご参照ください。www.windriver.com/japan/services

トレーニングサービス

VxWorksの開発に必要な技術に関するオンサイトまたはリモートのプライベートクラスやオンデマンドラーニングを提供しています。

詳細は以下をご参照ください。www.windriver.com/education

主な特長

業界をリードするRTOS

  • シングルコアおよび非対称型マルチプロセッシング(AMP)および対称型マルチプロセッシング(SMP)に対応したマルチコアプロセッサをサポート。オプションでバウンド・マルチプロセッシング(BMP)のCPU予約に対応可能
  • 各種スケジューリングをサポート
    • 優先度ベースのプリエンプションを備えたラウンドロビン方式
    • タイム/スペース パーティションニング
    • フォアグラウンド・バックグラウンドのスレッドに則したアダプティブスケジューリング
    • POSIX®スレッドスケジューリングを拡張
      • FIFOスケジューリング、散発的スケジューリング(Sporadic Scheduling)
  • 幅広いプロセッサとボードをサポート
    • 32-bit CPUおよび64-bit CPU
    • Arm®、Power Architecture®、Intel®、RISC-Vなど、幅広いシリコン・アーキテクチャに対応
    • 100種類を超えるボード
  • カーネルとユーザー空間が分離された環境
  • POSIX® PSE52認証サブセットを含む広範なPOSIX APIをサポート
  • C11 / C++17
  • Boost C++ライブラリ
  • Rust
  • Python3.9
  • スケーラビリティ、モジュラリティと高性能
  • 最先端のメモリ保護とメモリ管理
  • 仮想化に対応
    • virtio
    • QEMU 6.x
    • KVMゲストをサポート
  • マルチOSメッセージング
  • VxWorks 6.xとの後方互換性

セキュリティ

  • セキュアブート(電子署名付きイメージ)
  • セキュアELFローダ(電子署名付きイメージ)
  • セキュアストレージ
    • 暗号化コンテナ
    • 暗号化ディスク
  • カーネルハードニング
    • 実行禁止ページ
    • スタック保護ページ
    • カーネルページテーブルアイソレーション(オプション)
    • コードの保護と読出専用データ(書込禁止データ)
    • SSP(Stack Smash Protection)
  • メモリバグを検出するAddress Sanitizer(Asan)
  • セキュリティイベント
  • 統合されたアクセス管理
  • 高度なユーザー管理
    • ログインポリシー
    • パスワードポリシー
  • AD(Active Directory)とLDAP(Lightweight Directory Access Protocol)をサポート
  • 暗号機能
    • OpenSSL 1.1.1
    • FIPS 140-2 / FIPS 140-3 Arm® TrustZone による OP-TEEをサポート
  • TPM 2.0 / TSSをサポート
  • セキュリティネットワークプロトコルをサポート
    • SSL、TLS、SSH、IPsec、IKE、GDOI、SCEPなど
  • ファイアウォール
  • IEC 62443 Part 4-2(IEC 62443-4-2)に準拠したGE Digital® Achilles Level IIに認定
  • NIST conformant Security Configuration Guide(SCG)
  • NIST 800-53 Mappings

サービス

  • 機能安全サービス - 業界をリードする認証規格に準拠したBSPとソフトウェアスタック
    • アビオニクス(DO-178C)
    • インダストリアル(IEC 61508)
    • メディカル(IEC 62304)
    • オートモーティブ(ISO 26262)
  • セキュリティ
    • ソリューションの評価
    • システムとソフトウェアアーキテクチャ
  • サポートするすべてのアーキテクチャに対するBSPを開発
  • IP作成 - 仕様に基づいたカスタムコードの開発
  • 長期サポートとメンテナンス - VxWorksにデプロイされたコードを数十年にわたりサポート

ネットワーク

  • IPv4/IPv6対応のネットワークスタック
  • PTP
    • IEEE 1588-2008
    • IEEE 802.1AS-2011
  • Time-Sensitive Networking (TSN)
    • IEEE 802.1AS-rev
    • IEEE 802.1Qbv
    • IEEE 802.1Qbu

コネクテビティ

  • USB(ホスト、ターゲット、OTG)
  • SocketCAN
  • OPC-UA(open62541)
  • IEEE1394

ファイルシステム

  • dosFS(FAT互換)
  • コミット設定可能なフォールトトレラントで認証可能なHighly reliable file system(HRFS)
  • 読込専用ROMファイルシステム
  • NFS

ライフサイクルマネジメント

  • OCI互換のコンテナエンジン(runCに準拠)
  • DockerレジストリHTTP API V2
    • DockerHub
    • Amazon ECR
    • Harbor
  • Wind River Conductor blueprints

マルチメディア

  • OpenVG™, OpenGL®, OpenGL® ES, Vulkan®のソフトウェアおよびハードウェアをサポート
  • 画像ライブラリ(JPEG、PNG)
  • 各種入力デバイスをサポート(マウス、タッチスクリーン、キーボードなど)
  • PCMオーディオ
  • OpenCV

クラウド統合

  • AWS IoT Device SDK
  • Microsoft Azure IoT SDK

AIと機械学習

  • NumPy
  • pandas
  • TensorFlow Lite

安全認証

  • DO-178C DAL A
  • IEC 61508 SIL 3
  • ISO 26262 ASIL D
  • IEC 62304

開発ツール

  • 代表的なツールチェインをサポート(LLVM、CMake)
  • Eclipseベースの統合開発環境(IDE)
  • Visual Studio Code(デスクトップおよびクラウドネイティブ)
  • 高度なデバッガ
  • リアルタイムシステムアナライザ
  • システムモニタ
  • シミュレータ(OSおよびシステム)