概要
Tracealyzer for SafeRTOS は、SAFERTOS のランタイム挙動を可視化するトレース解析ツールです。タスク(スレッド)スケジューリング・割込み・API呼出・ユーザイベントを詳細なタイムラインで表示し、コードが意図通り実行されているかを検証できます。CPU負荷・実行時間・スタック/ヒープなど30以上の相互リンクビューで、ソースコードからは見えない問題を解明します。
SAFERTOS は、WITTENSTEIN high integrity systems が提供する FreeRTOS 互換設計の事前認証済みRTOSです。IEC 61508 SIL3・ISO 26262 ASIL D・IEC 62304 等の認証パッケージが提供され、医療・車載・産業の機能安全プロジェクトで採用されています。
【SAFERTOS との連携で特に重要な点】タスク・キュー・セマフォ・ミューテックスなど、FreeRTOS と同系のカーネルオブジェクトの状態遷移・ブロッキングを可視化します。WCET(最悪実行時間)の確認、周期ジッタ、優先度設計の妥当性など、機能安全規格の検証活動で必要になるタイミング挙動を、トレースという客観データで確認・記録できます。SAFERTOS の開発元である WITTENSTEIN high integrity systems 自身が Tracealyzer の採用企業です。
TraceRecorder を統合し、スナップショット/ストリーミングでトレースを取得します。 Tracealyzer は1つのパッケージです。どの対応OS向けにご購入いただいても製品本体は共通で、30以上の解析ビューをすべて利用でき、後からOSを変更・追加しても同じライセンスで継続利用できます。
主要仕様
| 対象RTOS | Wittenstein SafeRTOS |
|---|---|
| 可視化 | 25+ ビュー(トレース/CPU負荷/スタック/通信フロー) |
| 計測 | TraceRecorder(Apache 2.0) |
| 取得 | スナップショット/ストリーミング |
| ホスト | Windows / Linux(x86-64) |
主要機能
Tracealyzer for SafeRTOS の主要な可視化機能を、実際の解析画面とともにご紹介します。各機能がどんな不具合の発見に役立つかまでを明記しています。これらのビューは全ての対応OSで共通です。

タスク実行トレース
タスク/スレッド・割込み・カーネルAPI呼出・ユーザイベントを時系列のタイムラインで可視化。スケジューリングが意図通りかを一目で確認でき、優先度逆転・想定外のプリエンプション・タスクの取りこぼしを発見できます。

CPU負荷グラフ
タスク/割込みごとのCPU使用率と総負荷を時系列で表示。負荷の高いホットスポットを特定して最適化の的を絞れるほか、負荷スパイクから処理の詰まり・ビジーループ・割込み過多を突き止められます。

カーネル・アウェアネス
セマフォ・ミューテックス・メッセージキュー・イベントフラグなどRTOSオブジェクトの状態遷移(Running/Ready/Blocked/Waiting)を可視化。どのタスクがどの資源で待たされているかが分かり、デッドロック・長時間ブロック・優先度逆転の原因特定に直結します。

ヒープ/スタック解析
動的メモリ確保(malloc/free)とタスク別スタック使用量の推移を表示。右肩上がりのヒープ推移からメモリリークを、スタックの余裕不足からスタックオーバーフローの予兆を早期に発見でき、断片化の傾向も掴めます。

通信フロー/シーケンス
スレッド間のIPC・同期イベントの相互作用をシーケンス図で集約表示。どのタスクが特定のキューやセマフォを介してやり取りしているかを俯瞰でき、想定外の依存関係・過剰なメッセージ往復・同期の取りこぼしを可視化します。

トレース統計・タイミング
実行時間・応答時間・周期などのタイミング指標を統計化し、性能グラフとともに表示。最大・最小の外れ値をクリックすると該当ジョブへドリルダウンでき、ワーストケースのレイテンシやジッタ、周期の乱れといった問題箇所へ即座に到達できます。

システム構成
アプリケーション・カーネル・ドライバ・ハードウェアの階層構造を俯瞰。システム全体の見通しを得られ、各層の関係を把握することで、問題がどの層で起きているかの切り分けを助けます。

ユーザイベント/ライブ
ユーザイベントで記録した任意データを時系列で表示し、J-Link RTT・ITM・TCP/IP・UDP等で長時間トレースをリアルタイム表示(printfの数百倍高速)。スナップショット方式にも対応し、再現性の低い間欠不具合を長時間ストリーミングで捕捉できます。
可視化・解析
| トレースビュー | タスク・割込み・Wittenstein SafeRTOS API・ユーザイベントのタイムライン |
|---|---|
| CPU負荷 | タスク/ISR別・総CPU使用率(ホットスポット特定) |
| タイミング | 実行時間・応答時間・周期の統計(ジョブ単位) |
| メモリ | スタック余裕プロット・ヒープ割当時系列 |
SAFERTOS と Tracealyzer — 採用ポイント
SAFERTOS は、WITTENSTEIN high integrity systems が提供する FreeRTOS 互換設計の事前認証済みRTOSです。IEC 61508 SIL3・ISO 26262 ASIL D・IEC 62304 等の認証パッケージが提供され、医療・車載・産業の機能安全プロジェクトで採用されています。
SAFERTOS 連携の特別事項
| FreeRTOS互換の可視化 | タスク・キュー・セマフォ・ミューテックスなど、FreeRTOS と同系のカーネルオブジェクトの状態遷移・ブロッキングを可視化します |
|---|---|
| 安全検証の客観データ | WCET(最悪実行時間)の確認、周期ジッタ、優先度設計の妥当性など、機能安全規格の検証活動で必要になるタイミング挙動を、トレースという客観データで確認・記録できます |
| 開発元も採用 | SAFERTOS の開発元である WITTENSTEIN high integrity systems 自身が Tracealyzer の採用企業です |
こんな課題に
- 安全要求(応答時間・周期性)が実機で満たされていることを、レビュー可能な証跡として残せる
- FreeRTOSからSAFERTOSへ移行するプロジェクトでも、同じトレース環境・ノウハウを継続できる
- タイミング起因の稀な異常を開発段階で洗い出し、安全性評価の手戻りを減らせる
取得・連携
| モード | スナップショット(RAM)/ストリーミング |
|---|---|
| 転送 | J-Link RTT / ITM / SWO / TCP/IP / UDP / USB CDC |
| IDE | STM32CubeIDE / Keil MDK / IAR / Eclipse-GDB / Lauterbach |
| ライブラリ | Percepio TraceRecorder(GitHub・Apache 2.0) |
主な用途
- SafeRTOS 上のタスク切り替え・割込みの実行順序と所要時間を可視化する
- SafeRTOS を用いた機器で、優先度逆転・デッドロック・応答遅れの原因を特定する
- まれにしか再現しない不具合を、記録から追跡する
導入メリット
- SafeRTOS 向けに用意されており、計装の実装工数が小さい
- ソースコードを読むだけでは分からない実行時の挙動が見える
- 止めると消えるタイミング不具合を、動かしたまま追える
よくある質問
Tracealyzer for SafeRTOS の見積もり・技術相談はできますか?
この製品が含まれるソリューション
この製品は、複数製品を組み合わせた次の構成の要素です。構成全体での位置づけは各ソリューションページをご覧ください。
- 機能安全・セーフティクリティカル開発 — この製品の役割: 補完SIL3 / ASIL D / SIL4 — 認証済みRTOS × タイミング検証 × 認証エビデンス
関連製品
お問い合わせ
対象MCU・数量・安全要件などをお聞かせください。最適な構成と概算をご提案します。
Tracealyzer — ランタイム可視化のリーダー
Percepio の全製品を見る →