高信頼性RTOSについて
高信頼性RTOS「TOPPERS/HRPカーネル及びSafetyカーネル」は、宇宙航空研究開発機構（JAXA）が、
ロケットや人工衛星などの宇宙機用に開発した、高い信頼性をもつリアルタイムOS（RTOS）です。
■機能の特徴
TOPPERS/HRPカーネルは、μITRON4.0のスタンダードプロファイルに、メモリプロテクション、ミューテックス、
アラームハンドラ、オーバランハンドラを追加し、信頼性機能を強化しています。
Safetyカーネルは、すべてのソフトウェアが動作しない状況に陥った場合に、メモリが仮に壊れていたとしても、
予め設定したイベント処理を行い、計算機システムの安全性を確保することができます。また、イベント処理の動作
ログを記憶し、復旧後に読み出すことができます。
■オープンで確実な検証
このRTOSは、JAXAが独自に編み出した宇宙機搭載用RTOSの検証要求をパスしています。この検証要求は、
産業全般と、信頼性・安全性が重視される5 つの産業分野（医療機器、原子力発電所、鉄道、軍事機器および
民間航空機）の技術標準を参考にしており、宇宙機の信頼性確保に必要な項目を備えています。
また、すべての
検証エビデンスはユーザに開示できる状態にあるため、ユーザは安心してこのRTOSを利用できます。
■充実したユーザサポート
ユーザ登録することで、TOPPERS/HRPカーネルの宇宙機用MPU依存部やドライバ、Safetyカーネル、サン
プルプログラムなど、TOPPERSプロジェクトからは公開されていないソースコードと、充実したドキュメント類を
利用することができます。
また、登録ユーザ専用ホームページから最新情報を入手したり、技術サポート窓口を
通じて使い方や検証内容について問い合わせたりすることができます。
☞ユーザ登録のメリット
✓高信頼性RTOSのソースを入手できます。
✓各種ドキュメントを入手できます。
✓技術情報を閲覧および入手できます。
✓技術サポートをご利用いただけます。
※TOPPERS/HRPカーネルには、JAXAと名古屋大学の共同研究の成果物を利用しています。
※TOPPERS/HRPカーネルとSafetyカーネルには、TOPPERSプロジェクトの成果物を利用しています。
