(株)グレープシステム ホームページ
トップ > 製品情報 > リアルタイムOS関連製品 > PX5 RTOS ソリューション

機能安全認証取得 POSIX API リアルタイムOS 「PX5 RTOS」

組込み業界標準の POSIX pthreads API と統合する高度な PX5 RTOS

PX5 NET PX5 FILE PX5 MODULES

PX5 RTOS とは

PX5 RTOSは、組込みアプリケーション向けに設計された高度なリアルタイムOSです。コンパクト(最小限の使用で1KB未満)であるため、メモリに制約のあるデバイスでも使用できます。

また、ほとんどのマイクロプロセッサでサブマイクロ秒のコンテキスト切り替えとAPI呼び出しが可能な高速性と豊富な決定性により、要求の厳しいリアルタイム処理に最適です。

PX5 RTOSは、クラス最高の安全性とセキュリティも備えています。PX5 RTOSコードベース全体が厳密にテストされており、リリースごとに100% Cステートメントと分岐決定カバレッジテストが実施されています。さらに、PX5 RTOSは、特許出願中の独自のPDV(Pointer/Data Verification)テクノロジも提供します。これは前例のないランタイム関数ポインタ、システムオブジェクト、バッファ、およびスタック検証を提供する独自の方法です。

PX5 RTOSのAPIは、POSIX pthreads標準のネイティブ実装で構成されているため、アプリケーションは、Linux やその他の RTOSなど任意のPOSIX pthreadに簡単に移植することができます。

POSIX pthreads APIとは

PX5 RTOSの特徴

 Linux業界標準のIEEE POSIX pthread APIをサポート

PX5社の使命は、Linuxに搭載されている業界標準のIEEE POSIX pthreads APIの利点を提供し、リアルタイム性を確保し、リソースに制約のある組込みシステムで使用することです。

int pthread_create(pthread_t * thread_handle, const pthread_attr * attributes,  void
* (*start_routine)(void *), void *arguments);

 ネイティブRTOSの実装により、スピードと効率を強化

 MCUサイズの小さなメモリフットプリント

PX5 RTOS の安全性と堅牢性

  • 100%のステートメントとブランチコンディションのテストと検証
  • 独自のPDV(Pointer/Data Verification)技術によりメモリ破損の検出と軽減
  • コードベース全体のクリーンな静的解析 MISRAに準拠(一部を除く)
  • 機能安全認証取得(2024年)
    IEC 61508 SIL 4, IEC 62304 Class C, ISO 26262 ASIL D, EN 50128 SW-SIL 4 certification

PX5 RTOS ビジネスモデル

PX5 RTOS のライセンスモデル

PX5 RTOSはロイヤリティフリー・ソースコード提供となります。
ライセンスモデルは年間サブスクリプションライセンス、適用するデバイス/製品の範囲によりライセンス費用が異なるプロダクトライセンスなど幾つか種類がございます。
ライセンス費用の詳細につきましては弊社営業までお問い合わせ下さい。

プロフェッショナルサポート

多くのオープンソースや一部の商用オプションとは異なり、PX5サポートチームが迅速に対応致します。
年間サブスクリプションライセンスにはテクニカルサポートが含まれています。

評価版ダウンロード

無料のPX5 RTOS評価パッケージを用意しています。PX5 RTOSを実際にお試しください。PX5 RTOSの簡単な動作が確認できます。

評価版ダウンロード
(px5rtos.comサイトへ)

紹介ビデオ

Introduction to PX5 RTOS

資料ダウンロード

業界標準のPOSIX pthreads APIのネイティブ実装と、クラス最高のサイズ、パフォーマンス、安全性、およびセキュリティを特徴とするPX5 RTOSは、市場投入までの時間を短縮すると同時に、より優れた製品の構築を支援します。API一覧やユーザーガイド、ホワイトペーパーを用意しています。

今すぐダウンロードしてご確認ください。

※ 一部 px5rtos.comサイトへ飛び、ユーザー登録が必要になります。

お問い合わせフォーム

フォームが表示されるまでしばらくお待ち下さい。

恐れ入りますが、しばらくお待ちいただいてもフォームが表示されない場合は、こちらまでお問い合わせください。

ページのトップへ戻る