静的プログラム解析、キャッシュ競合のモデル化、DRAM バスの干渉境界、ISO 26262 ASIL-D 認証に向けた形式的スケジューラビリティ検証手法。
Linux コンテナと RTOS が同一 L3 キャッシュを共有すると、インフォテインメントの負荷が制御データを追い出します。Arm MPAM は専用のキャッシュウェイをリアルタイム領域に割り当て、ヒット率とアクセス時間を確実に保証します。
キャッシュ分離後も、DRAM コントローラへの同時アクセスはリアルタイムコアのバス枯渇を招きます。ハードウェアメモリ帯域スロットリングを導入し、閾値を超えた非クリティカルコアにウェイトを挿入して帯域を保護します。