VxWorks
データシート 

VxWorksは、数十億台のインテリジェントデバイスを動かしている、世界で最も広く利用されているリアルタイムオペレーティングシステム（RTOS）です。

VxWorksに関する質問/お見積り依頼
 

概要

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

優れた性能

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

カスタマーサポート

受賞歴のあるサポートチームが、グローバルにお客様のソフトウェア開発を支援します。

www.windriver.com/japan/services

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

CMMIレベル3の評価を受けているプロフェッショナルサービスチームが、BSP開発、セキュアブート、ソリューション評価サービスから、コンサルティング、設計、認証サービスまで、組込みソフトウェアの高い知識と専門性により、お客様の製品の市場投入を支援します。

www.windriver.com/japan/service

トレーニングサービス

VxWorksの開発に必要な技術トレーニングをご提供しています。

www.windriver.com/japan/studio/
services/education

主な特長

モダンなアプリケーション開発

  • C11 and C++17
  • Boost C++ ライブラリ
  • Rust
  • Python

クラウド統合

  • AWS IoT device SDK
  • Microsoft Azure IoT SDK

AIと機械学習

  • NumPy
  • TensorFlow Lite

仮想化に対応

  • VirtIO
  • KVMゲストをサポート

セキュリティ

  • セキュアブート（電子署名付きイメージ）
  • セキュアELFローダ（電子署名付きイメージ）
  • セキュアストレージ
    • 暗号化コンテナ
    • 暗号化ディスク
  • カーネルハードニング
    • 実行禁止ページ
    • スタック保護ページ
    • カーネルページテーブルアイソレーション（オプション）
    • コードの保護と読出専用データ（書込禁止データ）
    • SSP（Stack Smash Protection）
  • Address Sanitizer （ASAN）
  • Kernel Address Sanitizer （KASAN）
  • セキュリティイベント
  • 統合されたアクセス管理
  • 高度なユーザー管理
    • ログインポリシー
    • パスワードポリシー
  • AD（Active Directory）とLDAP（Lightweight Directory Access Protocol）をサポート
  • 暗号機能
    • OpenSSL 3.x
    • FIPS 140-2
  • 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 Requirements Guide（SRG）
  • NIST 800-53 mappings

ネットワーク

  • IPv4/IPv6対応のネットワークスタック
  • Time-Sensitive Networking（TSN）
    • IEEE 802.1Qbv
    • IEEE 802.1Qbu
    • IEEE 1588
    • IEEE 802.1AS

コネクテビティ

  • USB（ホスト、ターゲット、OTG）
  • SocketCAN
  • OPC UA （open62541）
  • IEEE 1394

ファイルシステム

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

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

  • OCI互換のコンテナエンジン（runCに準拠）
  • DockerレジストリHTTP API V2
    • Docker Hub
    • Amazon ECR
    • Harbor
  • Wind River® Studio Conductor blueprints

マルチメディア

  • OpenVG™、OpenGL®、OpenGL® ES、Vulkan®のソフトウェアおよびハードウェアをサポート
  • 画像ライブラリ（JPEG、PNG）
  • 各種入力デバイスをサポート（マウス、タッチスクリーン、キーボードなど）
  • PCMオーディオ
  • OpenCV
  • 安全認証
  • DO-178C DAL A

安全認証に対応

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

開発ツール

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

ハードウェアシミュレーションとエミュレーション

  • VxSIM（x86 のみ）
  • QEMU（全てのアーキテクチャ）
  • Wind River Simics®（オプション）