QNX® Hypervisor for Safety
安全要件の異なる複数のオペレーティング システムを 1 個のシステムオンチップに統合します。
QNX® Hypervisor for Safety
QNX® Hypervisor for Safety は、QNX® Hypervisor のセーフティ認証バージョンです。TÜV Rheinland により ISO 26262 ASIL D、IEC 61508 SIL3、IEC 62304 Class C の事前認証を受けているため、自動車、産業、医療のミッションクリティカルなシステムの認証をよりシンプルかつ迅速に行うことができます。
QNX Hypervisor for Safetyの仮想マシン内には、セーフティクリティカルではないOS（Android™、Linux®）が含まれています。そのため、認証の取得においてはセーフティクリティカルなコンポーネントの認証にリソースと資金を集中することができます。
多様なゲストシステムを安全に管理
QNX Hypervisor for Safetyは、1個のシステムオンチップ（SoC）上で、AndroidやLinuxなどの変更されていないゲストシステムを含め、複数のゲストシステムを安全に管理することができます。
QNX Hypervisor for Safetyは、安全認証を取得した仮想マシン内でゲストシステムを分離・隔離するため、異なる機能安全要件を持つさまざまなシステムを1つのARMまたはx86 SoC上で統合することができます。仮想マシン内にゲストを格納することで、セーフティクリティカルな仮想化システムを展開する際に、各システムが外部からの干渉から隔離され、保護されていることを確信できます。エラーや悪意による干渉の有無にかかわらず、安心して利用することができます。
汎用性の高い仮想化モデル
QNX Hypervisor for Safetyは、最新のARMv8およびx86-64の仮想化拡張機能を活用し、ゲストシステムとハイパーバイザー自体を分離・保護する柔軟な仮想化ソリューションを提供します。
OSとそのアプリケーションは、シンバーチャルマシンのゲストシステムとして実行可能です。これにより、ハイパーバイザーはイベントや例外の処理に専念します。同様に、ゲストシステムは仮想マシン内で容易に実行できますが、「ベアメタル」方式ではハイパーバイザー上に完全なシステムが直接実装されます。
QNX® Hypervisor システムのデバイスは、物理デバイス（パススルーデバイスを含む）または仮想デバイス（仮想デバイスライブラリのエミュレーションデバイスや準仮想デバイスを含む）にすることができます。様々なOSが同じSoCを共有し、物理デバイスも共有できるため、製品のハードウェアコストを削減することができます。
使い慣れた開発環境
QNX Hypervisor for Safetyには、仮想デバイス開発者向けのAPIリファレンスと開発者ガイドが用意されており、VirtIOの規格に準拠したパラ仮想デバイスのソースコード例も提供されています。これらの例は、モデルとして活用することができます。
QNX Hypervisor for Safetyは、QNX® Neutrino® RTOSと完全にAPI互換性があるので、作業を始めるために習熟期間は必要ありません。セーフティークリティカルではないアプリケーションとセーフティークリティカルなアプリケーションを同じ基盤で開発することができ、QNX® Software Development PlatformのPOSIX準拠環境とQNX® Momentics® Tool Suiteを使用して作業が継続できます。
ツールチェーンではなく、コードに対して認証を行いましょう
安全認証された基盤と適格なツールチェーンにより、構築するソフトウェアに自信が持て、認証プロセスも迅速かつスムーズなものに。
QNX Hypervisor for Safetyを使用すると、ISO 26262 ASIL D、IEC 61508 SIL3、IEC 62304 Class Cに準拠したCおよびC++のツールチェーン（事前認証された数学ライブラリを含む）を使用してシステムを構築することができます。これにより、より安全性の高いシステムを開発することが可能です。システムの構築部分のみを認証する必要があり、基盤となる OS やサービス、またはそれらの構築に使用するツールチェーンは認証する必要はありません。
QNX Hypervisor と QNX Hypervisor for Safety の詳細については、こちらをご覧ください。
関連製品とサービス
