組込み業界標準の POSIX pthreads API と統合する高度な 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 API リアルタイムOS 「PX5 RTOS」 |
|---|---|
| ドキュメント種別 | 製品カタログ |
| ファイルサイズ | 822.4Kb |
| 登録カテゴリ | |
| 取り扱い企業 | 株式会社グレープシステム (この企業の取り扱いカタログ一覧) |
この企業の関連カタログ
このカタログの内容
Page1
組込み業界を標準の POSIX pthreads API と統合する
組込み向けリアルタイムOS
産業用グレードの PX5 RTOS は、
最も要求の厳しい組み込みアプリケーション向けに設計された
高度な第5世代 RTOSです。
PX5リアルタイムオペレーティングシステム
MCUサイズの小さなメモリフットプリント
1KB - 10KB (標準) のコード、フットプリントはわずか 「1KB」
ネイティブRTOSの実装により、スピードと効率を強化
・ すべてのサービスをノンレイヤーで効率よく、ダイレクトに実装
・ サブマイクロ秒の API サービスのパフォーマンス
・ サブマイクロ秒のコンテキストスイッチング
・ 確定的でハードなリアルタイム応答
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);
THE POSIX pthreads API とは
POSIX pthread API は、C/C++ にて開発された マルチスレッド・アプリケーション用の業界標準API
すべての組み込みLinuxディストリビューションがサポート
多くの開発者はpthreadに精通
POSIX pthreads API は、コードの再利用に役立つ
Page2
PX5 RTOS の特徴
組み込みシステム開発者の MCU/MPUデバイスに対応し、
70%以上が使用 ハードリアルタイムシステムRTOSに
サブマイクロ秒の応答性を実現
完全な商用ライセンス 国内エンジニアによる
ユーザーへの補償 テクニカルサポート
PX5 の 安全性 と 堅牢性
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 ビジネスモデル
ロイヤリティフリー、商用に適したライセンス
無制限のボリューム 製品同様シンプルで使いやすい
ロイヤリティ フリー ライセンス を提供。
ユーザー補償 組み込み設計で高度な PX5 RTOSを利用するには、
様々なライセンス形態 ライセンス オプションについてお問い合わせください。
PX5エンジニアによるプロフェッショナルなチケットサポート
多くのオープンソースや一部の商用オプションとは異なり、
PX5 サポートチームの組み込みソフトウェアの専門家は、
いつでもすべての要求に迅速に対応することをお約束します。
製品の仕様は予告なく変更する場合があります。 営業部
製品名は各メーカーの商標または登録商標です。
〒211-0063 川崎市中原区小杉町1- 403 武蔵小杉タワープレイス 14F
20240724 TEL.044-328-5559 FAX.044-712-5630
E-mail : sales@info.grape.co.jp
www.grape.co.jp