QNX Neutrino RTOS セーフ カーネル
QNX® Neutrino® RTOS セーフ カーネルは、Sira により IEC 61508 の安全度水準 3(SIL 3)準拠の認定を受けました。最も厳しい機能安全要求を満たすセーフティ クリティカルなシステムを実装できる認証済みプラットフォームをアプリケーション開発者に提供します。
QNX Neutrino RTOS セーフ カーネルには以下が含まれます。
- IEC 61508 SIL 3 の認可を受けた QNX Neutrino RTOS セーフ カーネル
- IEC 61508 SIL 3 証明書(ファクシミリ)
- 認証サマリー レポート
- QNX Neutrino RTOS Safe Kernel Safety Manual
- Installing and Using the QNX Neutrino RTOS Safe Kernel(ユーザー ガイド)
QNX Neutrino RTOS セーフカーネルは、複数のハードウエア プラットフォームに対応しており、SMPによるマルチコア機能を備えたx86, Power、ARMで使用することができます。
特色
QNX Neutrino RTOS セーフ カーネルには、IEC 61508 SIL 3 認可システムに必要な多くの主要な特性があります。下記を参照してください。
- 安全状態の設計 - カーネルが処理できない状況に陥った場合、明確に定義された一定の状態に戻すことが可能
- 隔離 - アプリケーション プロセス間、アプリケーション プロセスとカーネル自体との間を隔離
- スケジューリングの予測可能性 - スレッド優先度に基づくプロセッサ リソースの保証、リソースの「レイジー割り当て」からの保護、デッドライン、レート モノトニック スケジューリングなどのテクニックを介したスケジューリング解析
SiraSira は、IEC 61508 機能安全認証サービスの世界的リーダーあり、Ex 製品認証(ATEX および IECEx)の英国公認機関です。英国認証機関認定審議会(UKAS)による認定を受け、CASS スキーム(Conformity Assessment of Safety-related Systems)に従って認証活動を行っています。 Sira の詳細については、Sira の Web サイト(www.siracertification.com)をご覧ください。 IEC 61508IEC 61508 には、ミッション クリティカルおよびセーフティ クリティカルなシステム用のコード生成だけでなく、結果製品にも関連する慣習と規格が成文化されています。IEC 61508 では、以下に対する推奨事項および要件を提供します。
|
|
IEC 61508 は、ISO 26262(自動車)、IEC 62304(医療機器)、CENELEC EN 5012x シリーズ(鉄道関連) などの多くの市場固有の規格の基準を提供しています。