2401488_ja-JP

Yes

sCheck統合のためのセーフティドキュメント

デバイス:NXP S32K388 マイクロコントローラ
コンポーネント:SAFパッケージ - SW32K3_SAF_1.0.6_HF01_D2603、sCheckプラグイン(SRAM ECCテスト)
利用可能なアーティファクト:S32K3xxリファレンスマニュアル (S32K3XXRM_Rev12_2025_11_11.pdf / S32K3XXRM 1_fullReferenceManual.pdf、ユーザーマニュアルを確認し、SRAM ECC テストのソースコードを確認してください。
ギャップ：エンドツーエンドの技術仕様、デバイスレジスタマッピング、依存関係の相互作用、および期待される結果が不足している。
リリースノート：以下のリリースには制限事項があることを明記します

要求された情報：

正確なセーフティ目標とECCスキームの仮定
S32K388において、どのSRAMインスタンス/バンク/パーティションが対象範囲内であり、どのSRAMインスタンス/バンク/パーティションが対象範囲外であるか
初期化、故障注入方法、検証、復元を含むステップバイステップのフロー
必要な動作条件（クロック、MPU/XRDC設定、キャッシュ/TCM状態、RAM/フラッシュからの起動）
プラグイン間の前提条件／事後条件。コンポーネント間の初期化シーケンスの例。
S32K388上のSAF/sCheck/eMcem/SafetyBaseのバージョン互換性マトリックス
合否判定基準、結果コード、およびその解釈方法
割り込み、NMI、またはエラー報告経路の使用;アプリケーションレベルのハンドリングのためのフック/コールバック

Re: Safety documentation for sCheck integration

こんにちは、

sCheck統合については、主にsCheckユーザーマニュアル、特に「ソフトウェア統合」章を参照してください。この章では、統合要件、前提条件、メモリセクションの定義、リンカファイルの更新、MPU構成要件、およびテスト固有の前提条件について説明します。

sCheckユーザーマニュアルに加え、対応するS32K3セーフティマニュアルもご確認ください。そこではsCheck(SM2.*.SCHECK)でカバーされているセーフティ機構が記載され、全体的なセーフティ概念における役割を説明しています。

SAFのドキュメントパッケージには、他のSAFコンポーネント(sBoot、mSel、eMCEM、BISTなど)に関するモジュール固有の統合ガイダンスも含まれています。したがって、統合要件は単一の独立したセーフティ統合文書にまとめられるのではなく、SAFモジュールのユーザーマニュアル全体に分散されています。

最低限、以下の項目を確認することをお勧めします。

sCheck ユーザーマニュアル → ソフトウェア統合
sCheck ユーザーマニュアル → 状態、制限および副作用
S32K3 セーフティマニュアル → SAF/sCheckで扱われる安全機構
リンカー、MPU、スタートアップ、API統合要件に関するSAF統合ドキュメント

これらの書類は、sCheckをセーフティアプリケーションに統合するために必要な情報を提供します。

よろしくお願いいたします。

ピーター