Posts Tagged with "PMHF"

既に発行済みのブログであっても適宜修正・追加することがあります。
We may make changes and additions to blogs already published.

EOTTIとは (3)

posted by sakurai on April 15, 2021 #383

EOTTIの問題点2点

以下は、$T_\text{mpfdi}\gt T_\text{eotti}$の場合に限ります。反対に、$T_\text{mpfdi}\le T_\text{eotti}$の場合は必ずEOTTI中に検査・修理が含まれるためSPFとなることはないので、MPF detectedは過去記事のようにup状態となります。

  1. PMHF式の修正が必要
    SM1にVSG抑止の制約時間であるEOTTIが存在する場合は、CTMCの遷移条件が異なってきます。それにより、結果として得られるPMHF方程式が変わってきます。

    CTMC遷移条件が変更⇒平均PUD微分方程式が変更⇒結果PMHF方程式が変更

    図%%.1
    図383.1 CTMC

    図383.1において、IFにフォールトが発生し、かつSM1によりそのフォールトが検出された場合、かつEOTTIが車両寿命以上の場合はVSGが抑止されている期間内に修理されることが前提のため、VSGとはなりません。一方EOTTIが車両寿命未満の場合はVSG抑止がされなくなるため、SPFとなります。つまりSM1によるMPF detectedフォールトについては、カバー範囲においても(a)の遷移が発生します。

  2. MPFDIとEOTTIの性質の違い
    過去記事のように、MPFDIとEOTTIは相反する時間制約であることから、相互に入れ替えることはできません。

    図383.2に$T_\text{mpfdi}\gt T_\text{eotti}$の場合のMPFDIとEOTTIの関係を示します。MPFDIの周期は検出・修理周期です。これを固定し、EOTTIをずらして行くと、(1)~(2)まではEOTTI中に検出・修理は入らないため、この期間はミス期間(長さ=MPFDI-EOTTI)となります。一方、(3)~(4)まではEOTTI中に検出・修理が含まれるので、この期間はヒット期間(長さ=EOTTI)となります。

    図%%.2
    図383.2 ヒットミス判定

    よって、$T_\text{mpfdi}\gt T_\text{eotti}$の場合はミス率、ヒット率は以下のように求められます。 $$ \Pr\{\text{miss}\}=\frac{\text{(1)~(2)までの時間間隔}}{\text{(1)~(4)までの時間間隔}}=\frac{T_\text{mpfdi}-T_\text{eotti}}{T_\text{mpfdi}}=1-\frac{T_\text{eotti}}{T_\text{mpfdi}}\tag{383.1} $$ $$ \Pr\{\text{hit}\}=\frac{\text{(3)~(4)までの時間間隔}}{\text{(1)~(4)までの時間間隔}}=\frac{T_\text{eotti}}{T_\text{mpfdi}}\tag{383.2} $$

なお、本稿はRAMS 2026に投稿予定のため一部を秘匿していますが、論文公開後の2026年2月頃に開示予定です。


左矢前のブログ 次のブログ右矢


ページ: