機能安全リアルタイムOS

SafeOS

Safe OSは、安全関連系に必要な機能の実現に使用するカーネル（TOPPERS/ASPカーネルをベースにしたもの）と、アプリケーションによりハードウェアの故障検出を支援するライブラリを合わせ持っています。Safe OSは、IEC 61508の第3部に規定されるSIL 3のHR手法を用いて開発しました。

故障検出ライブラリ

故障検出ライブラリは、ハードウェアの故障検出（ランダムハードウェア故障、システマティックエラー）に対応しています。また、故障検出ライブラリは IEC 61508の第3部で規定するSIL 3のHR手法を用いて開発しました。