业界首个支持容器的RTOS VxWorks7与确保最高水准安全性的虚拟环境Helix虚拟化平台

業界初のコンテナをサポートしたRTOS VxWorks7と最高水準の安全性を確保した仮想環境Helix Virtualization Platform ウインドリバー株式会社営業技術本部シニアフィールドアプリケーションエンジニア大石茂幸 VxWorks7新機能 アジェンダ 安全認証に対応したHelixVirtualization Platform Demoブースのご案内 Wind River Portfolio CLOUD-NATIVE MIDDLEWARE AND END-TO-END DEVOPS PLATFORM TO ENABLE SOFTWARE-DEFINED FUTURE OPERATOR DEVELOPER Wind River StudioConductor Wind River Linux System Simulation VxWorks7新機能 インテリジェントエッジでのリアルタイムOSに求められる機能 ▪AI・機械学習機能▪デジタル・フィードバック・ループ▪安全認証▪セキュリティ▪長期間のサポート＆メンテナンス▪SBOM(Software bill of materials)の提供▪大規模なテスト▪幅広いハードウェアのサポート▪運用の簡素化 VxWorks7製品群 −クリティカルシステムの基盤として採用実績No.1の、最も信頼されモダナイズされているリアルタイムOS ▪VxWorks Cert Edition −アビオニクス、産業機器、医療機器、オートモーティブ分野でDO-178C、IEC 61508、IEC 62304、ISO 26262の認証取得用ドキュメントが必要な、セーフティクリティカルなアプリケーション向けプラットフォーム ▪VxWorks 653 −安全性が要求されるアプリケーションと非安全アプリケーションのワークロードを単一のコンピューティングプラットフォームに統合可能な、統合化アビオニクス（IMA）システムプラットフォーム VxWorks7概要 主な特長 主な採用分野・製品 ▪世界＃1のリアルタイムOS 医療機器・産業機器・ロボット・鉄道・航空機・宇宙・防衛など、ミッションクリティカルな分野で数多くの採用実績 ‒35年以上に及ぶ20億台を超える出荷実績‒高いスケーラビリティのリアルタイムOS‒32/64ビットCPUに柔軟に対応‒マルチコアのサポート（AMP/SMP対応）‒各種CPUに対応（ARM, Intel, PPC等）‒各種安全認証対応: IEC61508, IEC62304, ISO26262,DO-178C（SAFETY MANUAL, EVIDENCE) ▪高品質のコンサルティングサービス ‒数々の実績を持つ安全認証のプロフェッショナル‒グローバルのサポート体制‒日本語でのトレーニングサービス ▪強力な日本国内サポート体制‒テクニカルサポートチームによる国内サポートの提供‒高い技術力を持つ認定代理店による販売を確立 ▪グローバルなパートナーエコシステム‒主要半導体、各種ミドルウェア、商用ボード VxWorksの歴史 Wind River introduces VxWorks1987VxWorks 5andTornadoIDE(integrated developmentenvironment)1995VxWorks used for NASA’s Pathfindermission to Mars1997Wind River acquiresIntegrated System Inc.(pSOS)1999Wind River acquiresEonic Systems,Virtuosos RTOS which later becomesbasis of Zephyr RTOS2001VxWorks 6with real-time processes,WorkbenchEclipse IDE2004Interpeak network stack integratedwith VxWorks, symmetricmultiprocessing (SMP) multi-coresupport added2007 VxWorks7がサポートするOSモデル VxWorks7：機能追加 ▪New features: ‒OCI container signing support‒VxWorks K8 orchestration‒AUTOSAR integration and MCALlayer‒LLVM 16 upgrade‒C++ Boost library upgrade‒AI/ML digital feedback loop ▪New features: ‒Cloud AWS IoT Device SDK,‒AWS Graviton2EC2support‒OCI container enhancements‒AI/ML Python and TensorFlow Liteupgrade‒Harmonized LLVM/Clang13.0.1forall processor architecture support‒New hardware enablement(NXP, TI, Xilinx, TI, Intel, andSiFive)‒U.S. DoD Iron Bank–approvedbuilder ▪New features: ▪Performance improvements ‒Containers (OCI compliant)‒Microsoft Azure IoT embeddedSDK‒AI/ML frameworks: Python 3.9Pandas, TensorFlow Lite‒LLVM/Clang 12.0.0 upgrade ‒File system updates‒TSN profile, config, andadvancements‒OPC-UA enhancements ▪New features: ‒Deterministic build support‒RISC-V architecture support‒Python NumPy▪Performance improvements:‒TSN 802.1Qbu and expandedhardware: Intel, NXP, and Renesas▪Safety and security improvements:‒802.1X support‒Address year 2038 problem ‒DO-178C DAL-A Cert (Armv8 & Intel64)‒ISO 26262 ASIL-D certification‒OpenSSL 3.1 upgrade and FIPSmodule‒SBOM enhancements ‒OS kernel performanceimprovement‒OPC-UA open62541 over VxWorksTSN ‒Gigabit network throughputimprovement‒TSN hardware enablement‒OPC-UA open62541version1.3.1 ▪Safety and security improvements:‒OpenSSL3.0.5 Current Investments 2020 OCI準拠のコンテナサポート ▪OCIのスペックに準拠 -イメージスペック-ランタイムスペック(コンテナライフサイクル)-ディストリビューションスペック(レジストリpush/pull) •OCI互換のコンテナエンジン（runCに準拠） -非常に小さなコンテナエンジン：353KB(注：構成に依存)-シェルコマンドpull, create, killなどサポート ▪イメージファイル作成にDockerfileサポート VxWorks7新機能 ▪ネットワークとコネクティビティ ▪Modern Software Frameworks •POSIX•AUTOSAR•OpenMP•Azure embedded及びAWS IoT SDK•ROS2 •IPv4/v6 Dual Stack•Time-sensitive networking (TSN)•PTP (IEEE 1588-2008& IEEE 802.1AS-2011)•USB3.2•OPC-UA ▪Modern Development Languages ▪AI・機械学習機能•Python AI/MLライブラリ–Pandas, NumPy•TensorFlow Lite •Rust•Pythson•C11 & C++17•Boost C++ライブラリ ▪マルチメディア•OpenCV•OpenVG, OpenGL, OpenGL ES, Vulkan ▪セキュリティ •セキュアブート&セキュアELFローダ•CVEモニタリングと修正•ASAN & KASAN•SBOM作成ツールサポート ▪最新ハードウェアサポート•NXP, TI, AMD Xilinx, Intel & RISC-V Modern Software Frameworks 異なるプロジェクトにて利用可能な共通フレームワークをサポート 最新フレームワークのサポート ▪クラウドとの連携を強化▪最新技術の習得時間や開発期間の短縮▪検証テスト結果の共有の簡素化▪ソフトウェアの再利用を容易に▪組込みエンジニア採用の選択肢を拡大し、組込みソフトウェア開発者の人材不足への対応を支援 OpenMP Modern Development Languages ソフトウェア開発者が最もポピュラーな開発言語を用いて開発の効率化を向上 最新開発言語のサポート •オープンソースやその他のソフトウェア・パッケージの移植性が向上•オープンソース・パッケージを活用して、デバイス・ソフトウェアの機能を拡張•他の言語で書かれた新しいアプリケーションを追加しながら、既存のアプリケーションを引き続き再利用可能 C11and C++17standards &BoostC++ライブラリ Python •コードが読みやすいため非常に人気が高い•AIとデータ分析のための多数の関連ライブラリ•ほとんどの新規開発者に共通のスキルセット •数多くの組込みエンジニアはC/C++を使用•最新の標準ライブラリをサポート•Boostライブラリにて、高度なC++テンプレートと高速なMathライブラリを提供 Rust •安全性とセキュリティを重視した静的コンパイル言語•急速に人気が高まっている セキュリティ コードとデータを保護するセキュリティオプションを利用することにより、インテリジェント・エッジ・デバイスを保護 VXWORKSのセキュリティ機能 Secure the device, secure the development,and address possible vulnerabilities. ▪IEC 62443-4.1ベースのセキュリティ開発ライフサイクルを使用して、お客様に提供するVxWorksソースコードの整合性を保証▪ウインドリバーは、VxWorksへの適用性について、Common Vulnerabilities and Exposures(CVE)レポートを継続的に監視および評価▪SBOMサポート‒VxWorkssoftware bill of materials (SBOM)作成ツールを追加サポート‒VxWorksカーネルイメージ,シェアードライブラリ, DKMs, RTPsのSBOMを作成可能‒SPDX formにて作成 統合されたアクセス管理