概要
Tracealyzer for LynxOS-178 は、LynxOS-178 のランタイム挙動を可視化するトレース解析ツールです。タスク(スレッド)スケジューリング・割込み・API呼出・ユーザイベントを詳細なタイムラインで表示し、コードが意図通り実行されているかを検証できます。CPU負荷・実行時間・スタック/ヒープなど30以上の相互リンクビューで、ソースコードからは見えない問題を解明します。
LynxOS-178 は、Lynx Software Technologies が提供するアビオニクス向けの POSIX 準拠RTOSです。DO-178C DAL A までの認証成果物が提供され、民間航空機・防衛システムのセーフティクリティカルなソフトウェアで長年の実績があります。
【LynxOS-178 との連携で特に重要な点】本製品は Lynx Software Technologies から「SPYKER-TZ」として提供される、LynxOS-178 公式のトレースソリューションです。スレッド/プロセスのスケジューリング、カーネルイベント、ブロッキングをタイムラインで可視化。DO-178C の検証活動で求められるタイミング挙動の確認(WCET・周期性・応答時間)を、客観的なトレースデータとして取得・記録できます。
LynxOS-178 上で計測したトレースデータを Tracealyzer に取り込み解析します。導入形態の詳細はお問い合わせください。 Tracealyzer は1つのパッケージです。どの対応OS向けにご購入いただいても製品本体は共通で、30以上の解析ビューをすべて利用でき、後からOSを変更・追加しても同じライセンスで継続利用できます。
主要仕様
| 対象RTOS | LynxOS-178(SPYKER-TZ) |
|---|---|
| 可視化 | 25+ ビュー(トレース/CPU負荷/スタック/通信フロー) |
| 計測 | TraceRecorder(Apache 2.0) |
| 取得 | スナップショット/ストリーミング |
| ホスト | Windows / Linux(x86-64) |
主要機能
Tracealyzer for LynxOS-178 の主要な可視化機能を、実際の解析画面とともにご紹介します。各機能がどんな不具合の発見に役立つかまでを明記しています。これらのビューは全ての対応OSで共通です。

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

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

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

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

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

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

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

ユーザイベント/ライブ
ユーザイベントで記録した任意データを時系列で表示し、J-Link RTT・ITM・TCP/IP・UDP等で長時間トレースをリアルタイム表示(printfの数百倍高速)。スナップショット方式にも対応し、再現性の低い間欠不具合を長時間ストリーミングで捕捉できます。
可視化・解析
| トレースビュー | タスク・割込み・LynxOS-178(SPYKER-TZ) API・ユーザイベントのタイムライン |
|---|---|
| CPU負荷 | タスク/ISR別・総CPU使用率(ホットスポット特定) |
| タイミング | 実行時間・応答時間・周期の統計(ジョブ単位) |
| メモリ | スタック余裕プロット・ヒープ割当時系列 |
LynxOS-178 と Tracealyzer — 採用ポイント
LynxOS-178 は、Lynx Software Technologies が提供するアビオニクス向けの POSIX 準拠RTOSです。DO-178C DAL A までの認証成果物が提供され、民間航空機・防衛システムのセーフティクリティカルなソフトウェアで長年の実績があります。
LynxOS-178 連携の特別事項
| Lynx社純正の統合 | 本製品は Lynx Software Technologies から「SPYKER-TZ」として提供される、LynxOS-178 公式のトレースソリューションです |
|---|---|
| 可視化対象 | スレッド/プロセスのスケジューリング、カーネルイベント、ブロッキングをタイムラインで可視化 |
| 認証プロセス支援 | DO-178C の検証活動で求められるタイミング挙動の確認(WCET・周期性・応答時間)を、客観的なトレースデータとして取得・記録できます |
こんな課題に
- 認証対象ソフトウェアの時間的挙動を、レビュー可能な形で「見える化」できる
- パーティション/プロセス間の干渉やスケジューリング異常を早期に発見し、認証後期での手戻りを防げる
- Lynx 社純正提供のため、LynxOS-178 のバージョンアップにも整合した形で利用できる
取得・連携
| モード | スナップショット(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) |
主な用途
- LynxOS-178 上のタスク切り替え・割込みの実行順序と所要時間を可視化する
- LynxOS-178 を用いた機器で、優先度逆転・デッドロック・応答遅れの原因を特定する
- まれにしか再現しない不具合を、記録から追跡する
導入メリット
- LynxOS-178 向けに用意されており、計装の実装工数が小さい
- ソースコードを読むだけでは分からない実行時の挙動が見える
- 止めると消えるタイミング不具合を、動かしたまま追える
よくある質問
Tracealyzer for LynxOS-178 の見積もり・技術相談はできますか?
関連製品
お問い合わせ
対象MCU・数量・安全要件などをお聞かせください。最適な構成と概算をご提案します。
Tracealyzer — ランタイム可視化のリーダー
Percepio の全製品を見る →