製品概要 Wind River VxWorks Certプラットフォーム Wind River

Wind River VxWorks Cert プラットフォーム
Wind River VxWorks Cert
プラットフォーム
同梱コンポネント
• Wind River Workbench 3.3
• VxWorks 6.6
Wind River VxWorks Cert プラットフォームは、RTCA DO-178B/EUROCAE ED-12B(
「Software
Considerations in Airborne Systems and Equipment Certification」
:航空機搭載システムおよび
機器の認証におけるソフトウェア要件)や IEC 61508 の厳しい要件など、その他の関連ソフト
ウェア規格の認証が必要なセーフティクリティカルなアプリケーション開発に、COTS
(commercial-off-the-shelf:複数の汎用パッケージの組み合わせ)ソリューションを提供します。
VxWorks Cert プラットフォームでは、VxWorks COTS リアルタイム OS(RTOS)が実現するマ
• GNU Compiler
イクロプロセッサの先進技術を最大限に生かしながら、最も要求の厳しい安全認証規格に適
• Wind River Compiler
合した堅固な OS 基盤が利用できます。
オプション・コンポネント
妥協のない COTS
• マルチキャスト機能付きTCP/UDP/IPv4
ネットワークスタック
• VxWorks Cert用Wind River Cert Highly
Reliable File System
• オンチップ・デバッギング用Workbench
プラグイン
これまでアビオニクス市場は、航空機の安全性や信頼性に直接影響を与えうるフライトクリ
ティカルな各種アプリケーションに、標準的な商用マイクロプロセッサを使用して成功を収
めてきました。世界規模の航空宇宙コミュニティは、航空機搭載システムに安定した高品質を
確保し、さまざまな水準のセーフティクリティカルな要求を満たせるように、デバイスの開
発、認証、展開を行う際の指針になる航空機搭載アビオニクス規格 RTCA DO-178B/EUROCAE
ED-12B を 策 定し ま した。現在 こ れら の仕 様は、米国 連邦 航空 局(FAA)
、欧 州 航 空 安全庁
(EASA)
、カナダ運輸省をはじめとする、広範な商業航空管理機関によって統一的に施行され
Native OS上のサポート・プロセッサ
• MPC 8349E (PowerPC 603 architecture,
PowerPC e300 core)
• MPC7447A (PowerPC 604 architecture,
PowerPC e600 core)
• PPC750GX (PowerPC 750)
ています。
航空機コミュニティは世界中の航空宇宙メーカーによる意見を検討して、航空機業界向けに
推奨されるソフトウェアのライフサイクルとテストガイドラインを提示する、66 項目の目
標が設定された規格を作成しました。ウインドリバーの DO-178B/ED-12B COTS 認証取得
用ドキュメント DVD には、これらの厳格な目標を満たした COTS 認証パッケージが完備さ
れています。そのため、お客様は市場投入までの時間を短縮できるだけでなく、機器開発
• Intel Core 2 Duo with 945 Chipset
メーカーはウインドリバーのパートナーが提供する既製テクノロジも利用できることで、競
• Intel Core 2 Duo with 5100 Chipset
争優位性が得られます。
• Intel Atom
• TI OMA P 3530 (ARM Cortex-A8)
• ARM Cortex-A9
サポート・ホスト
• Windows XP Professional, Windows 7
• Solaris 10
同様にインダストリアル機器や医療機器においても、安全性や信頼性に直接影響を与えうる
さまざまなアプリケーションに、標準的な商用マイクロプロセッサを使用して成功してきた
実績があります。IEC(国際電気標準会議)はインダストリアルシステムに安定した高品質を
確保し、さまざまな水準のセーフティクリティカルな要求を満たせるように、こういったデ
バイスの開発、認証、展開を行う際の指針になるインダストリアル分野の安全規格 IEC
61508 を 策 定 し ま した。この 仕 様は 国 際 的 に認 知 さ れ て い ま す。ウ イ ン ド リ バー の IEC
61508 認証取得用ドキュメント DVD には、COTS 認証パッケージが完備されています。
• Red Hat Enterprise Linux, Workstation
4, 5, and 6
統合開発環境
• Red Hat Fedora 13
VxWorks Cert プラットフォームには、受賞実績のある開発環境 Wind River Workbench が搭載
• OpenSUSE Linux 11.2
されています。Wind River Workbench は Eclipse ベースのツール群から構成され、VxWorks リ
• Novell SUSE Linux Enterprise Desktop
アルタイム OS を使用したデバイス開発の市場投入までの時間を短縮することを目的にして
10 SP2 and 11
• Ubuntu Desktop 10.04
Product Overview
います。デバッグ、コード解析、テスト用の強力なツールをはじめ、ハードウェアやボードの初
期化からアプリケーション開発まで、開発プロセス全体にわたって、プラットフォームと完全
INNOVATORS START HERE.
WIND RIVER VXWORKS CERT PLATFORM
に統合された高度な機能を 1 つの統合環境で提供します。オープ
VxWorks 6.6 には、350 以上のカーネルモード API と 150 以上の
ンな Eclipse フレームワークをベースにしており、社内製、サード
ユーザモード API が含まれています。そのすべてが完全にディ
パーティ製、オープンソース、商用のプラグインで拡張できます。
ターミニスティック(決定論的:応答性に対する時間保証)で、
DO-178B 安全規格で定められたガイドラインに従って展開でき
Eclipse ベースの開発環境 Workbench に加えて、VxWorks Cert
ます。キャッシュ、クロック、イベントフラグ、割り込み、メモリ
プラットフォームでは、コマンドラインを使用したフル機能の
マネジメント、メッセージキュー、リングバッファ、セマフォ、
ビルドシステムとデバッグツールを、このような環境を好む開
シグナル、タスクマネジメント、メッセージキュー、リングバッ
発者向けに提供しています。これらのコマンドラインツールは、
ファ、セマフォ、シグナル、タスクマネジメントの各コールのほ
カ ス タ マ イ ズ し た ビ ル ド シ ス テ ム に 簡 単 に 統 合 で き ま す。
か、多彩な C ライブラリ関数が用意されています。
Workbench 開発環境は、開発コストの削減、複雑なコード管理、
ツール統合の容易化を図れるだけでなく、共通の開発基盤によ
VxWorks Cert C++ 言語サブセットを使用して、オブジェクト指
る全社的な標準化を実現できます。
向プログラミングを利用することも可能です。このサブセット
にはクラス、継承、名前空間、ポリモーフィズム、仮想関数と
開発環境
いった、C++ の基本要素が含まれています。ユーザモードのア
プリケーションは、リアルタイムプロセス(RTP)でサポートさ
Wind River Workbench
Wind River Compiler
Workbench Debugger
れ て お り、安 全 認 証 可 能 な 環 境 に 対 応 し て い ま す。VxWorks
GNU Compiler
Host Shell
Cert RTP API サブセットでは、アプリケーションがメモリ保護
On-Chip Debugging*
VxWorks Simulator
を利用できるため、並行開発グループ間でソフトウェアのイン
ソフトウェアパートナー
テグレーションを行うのが簡単になります。
Java
OpenGL Graphics
Simulation Platforms
Design Tools
Ada
OSとミドルウェア
IEC 61508 SIL3
DO-178B Level A
VxWorks Cert プラットフォーム用
Wind River Cert ネットワークスタック
Wind River Cert ネットワークスタックは、VxWorks Cert プラッ
トフォームと併用できる組込 TCP/UDP/IPv4 ネットワークス
タ ッ ク で す。DO-178B の レ ベ ル A(最 高 レ ベ ル)や IEC 61508
SIL3 に対応した認証取得用ドキュメントを完備しています。ウ
VxWorks Cert 6.6
*Optional
ハードウェアパートナー
インドリバーのネットワーキングスタックと同じ API を使用し、
BSD ソケット API(データグラム、ストリーム、RAW ソケット)
COTS Boards
をサポートしています。そのため、VxWorks や Linux プラット
開発環境
Education Services and Installation
Platform Customization
System Design
Design Services
フォームから、ネットワーキングソフトウェアを簡単に移行で
きます。
Hardware/Software Integration
図:Wind River VxWorks Cert プラットフォーム
VxWorks 6 のパワーを活用
LVxWorks Certプラットフォームは、標準的な商用版VxWorks 6.6
OSをベースにしています。この開発環境には、Wind Riverランタ
イム解析ツール(シミュレータ、System Viewer、Source Analyzer)
も搭載されています。
VxWorks Cert 用 Wind River
Cert Highly Reliable File System
VxWorks Certプラットフォームでは、Wind River Cert Highly Reliable
File System(HRFS)を使用できます。Cert HRFS は、カーネルモー
ドで動作するフェールセーフな組込みファイルシステムの認証
サブセットです。このトランザクションファイルシステムでは、
既定の自動コミットポリシーと、性能向上用の高速コミットポリ
シーを選択できます。Cert HRFS は、16 GB 以上の大容量ファイル
サイズと階層ディレクトリ構造をサポートしており、認証済み環
境でセーフティクリティカルなデータを正確かつ永続的に保存
できます。
2 | Product Overview
WIND RIVER VXWORKS CERT PLATFORM
DO-178B/ED-12B 認証取得用ドキュメント DVD
商用グレードのサポートとサービス
VxWorks Certプラットフォームは、業界で最も包括的な認証取得用
VxWorks Cert プラットフォームでは、ウインドリバーのグロー
ツール群によってサポートされており、RTCA DO-178B/EUROCAE
バルなテクニカルサポートをフルに活用できます。24 時間 365
ED-12Bレベル A のすべての要件に対応しています。ウインドリ
日さまざまなルートで、製品サポートやトレーニングが提供さ
バーの DO-178B/ED-12B COTS 認証取得用ドキュメント DVD に
れています。さらに、専門的なセーフティクリティカルサービ
は、必要なすべての DO-178B レベル A 文書、ソフトウェア脆弱性
ス・プラクティスでは、追加したソフトウェアコンポネントの
分析ドキュメント、完全なソースコード、テスト、コードレビュー
安全認証取得用ドキュメントを用意することが可能です。ウイン
およびテストレビュー、全テスト結果、オブジェクトレベルの完
ドリバーのエンジニアから構成されるサービスチームは、お客様
全なコードカバレッジリストが収録されています。すべてのファ
の業界ニーズに特化した設計、インテグレーション、最適化サー
イルが完全にハイパーリンクされているため、簡易ブラウザを使
ビスの提供で豊富な経験を積んでおり、認証済みボード・サポー
用して、要件、設計、ソースやバイナリコード、テストケースの認
ト・パッケージ(BSP)
、ミドルウェア、アプリケーション・ソフト
証データのトレーサビリティ分析を迅速に行えます。この認証取
ウェアなど、あらゆるレベルでプロフェッショナルな認証取得
得用ドキュメント DVD があれば、印刷文書やあちこちに分散し
サービスを提供するために、万全の体制を整えています。
たコンピュータ上の認証取得用データを確認する必要がなくな
ります。
IEC 61508 認証取得用ドキュメント DVD
充実したパートナーエコシステム
最適なテクノロジパートナーの存在は、競争の激しい市場で成
功する可能性を大きく高めてくれます。モバイルおよびエンベ
VxWorks Cert プラットフォームは、業界で最も包括的な認証取
デッドソフトウェアの業界リーダーであるウインドリバーは、
得用ツール群によってサポートされており、IEC 61508 SIL 3 の
25 年以上お客様と市場の要求に十分に応えてきました。4,000
すべての要件に対応しています。全体がハイパーリンクされた
社を超える企業が 3 億 5,000 万個以上のデバイスの展開、サポー
DVD で、簡易ブラウザを使用して、要件、設計、ソースやバイナ
トに、ウインドリバーの技術、経験、専門性を生かしています。
リコード、テストケースの各段階について、認証取得用データの
活力ある上場企業として、既存のデバイスメーカー、新興企業を
トレーサビリティ分析を迅速に行えます。この認証取得用ド
問わず、お客様を支え続けていきます。
キュメント DVD があれば、大量の印刷文書やコンピュータ上に
ある個々の認証取得用データを確認する必要がなくなります。
幅広いテクノロジの確かなインテグレーションを目指して、ウイ
DVD には VxWorks Cert プラットフォーム安全マニュアルをは
ンドリバーはインダストリアル、メディカル、航空宇宙・防衛業
じめ、IEC 61508 SIL 3 に必要なすべての文書が用意されていま
界で最も広範なパートナーエコシステムを構築しました。ハード
す。VxWorks Cert プラットフォーム用のテュフの認証書も収録
ウェアおよびソフトウェアの大手ベンダと協力して、COTS ボー
されています。
ド、システムモデリングツール、開発・設計ツール、テストツー
ル、認証取得サービスなどのテクノロジに取り組みます。
3 | Product Overview
WIND RIVER VXWORKS CERT PLATFORM
ウインドリバー株式会社
東京本社
〒 150- 0012 東京都渋谷区広尾 1-1-39 恵比寿プライムスクエアタワー
TEL.03-5778-6001(代表)
大阪営業所
〒 532-0011 大阪市淀川区西中島 7-5- 25 新大阪ドイビル
TEL.06-6100-5760(代表)
www.windriver.co.jp
©2015 Wind River Systems, Inc. Wind Riverのロゴは、Wind River Systems, Inc.の商標です。Wind RiverおよびVxWorksはWind River Systems, Inc.の登録商標です。
記載されているその他の商標は、各所有者に帰属します。
150403WRKK(7820_Cert)