SAFERTOS
機能安全認証リアルタイムOS
IEC 61508-3 SIL 3
ISO 26262 ASIL D
事前認証済み
充実したOS機能
機能
- ハードリアルタイムOS
- ラウンドロビンスケジューリング採用
- タスク数無制限
- セマフォ、ミューテックス
- タスク通知、イベントフラグ
- ソフトタイマ
- 低消費電力モード(Low Power mode)
Compact Footprint
- ROM使用量: 16 KByte
- RAM使用量: 1 KByte
- タスクあたりのスタック容量: 400 Byte
Design Assurance Pack
Design Assurance Pack(DAP)は、SAFERTOSの設計、デザイン、安全性、テストプロシージャ、テスト結果を含めた各種ドキュメントのことを指します。
認証取得の手続きに要する時間を大幅に短縮することができます。
以下のドキュメントが含まれています。
Manual
認証取得の手続きに要する時間を大幅に短縮することができます。
以下のドキュメントが含まれています。
Manual
- SAFERTOS User Manual
- SAFERTOS Safety Manual
- Upgrading from FreeRTOS Kernel to SAFERTOS
- Using the SAFERTOS Demo
- Software Version Description
- Software Development Plan
- Software Test Plan
- Software Configuration Management Plan
- Software Safety Management Plan
- Customer Requirements Specification
- Software Requirements Specification
- MPU Customer Requirements Specification
- MPU Software Requirements Specification
- FPU Customer Requirements Specification
- FPU Software Requirements Specification
- Architectural Software Design Description
- Architectural Software Design Description for FPU
- Architectural Software Design Description for MPU
- Detailed Software Design Description
- Product Specific Software Design Description
- HAZOPS Report
- HAZOPS Report for MPU Requirements
- Investigations arising from HAZOPS
- API Usage Safety Review
- MPU API Usage Safety Review
- Evidence Supporting IEC61508-3 SIL3 Claim
- Software Code Verification Test Description
- Software Integration Verification Test Description
- Software System Verification Test Description
- Validation Test Description
- Product Variant Software Code Verification Test Description
- Product Variant Software Integration Verification Test Description
- System Verification Test Description
- Test Harness Build Procedure
- SAFERTOS Test Harness for your toolchain and compiler
- Software Test Report
よくある質問
以下のライセンスを用意しております。
- Product License: 一つのプロダクトに対して複数製品開発に使用
- Multi Product License: 複数の製品開発に使用
- Corporate License : お客様のすべての製品開発に使用
- ライセンス契約の際に指定されたプロセッサとコンパイラが変わる場合は、新規ライセンスの契約が必要です。
- ランニングロイヤリティは発生しません。
- 量産ライセンス費用及び数量制限もございません。
対象となるMCUまたはMPUによりライセンス費用が変動します。
メールにてお問い合わせください。
メールにてお問い合わせください。
はい。あります。評価版は下記リンクから入手できます。
SAFERTOS Download
SAFERTOS Download
製品に関するお問い合わせは
メールにてご相談ください。
メールにてご相談ください。