31 |
Detectabilityの違い (2) |
ここまでRAMS 2020論文と2022論文をレビューしてきて、ポイントは1st SMと2nd SMのdetectabilityの違いで結果が変わることがわかります。それを以降でまとめます。
RAMS 2020論文
以下の表はRAMS 2020論文において、IFのfaultがSMにより検出されるかどうかを示しています。なお、1st SMのfaultは常にdetectableです。その時のDCは$K_\text{SM,MPF}$。
IF non-detectable (IFU) | Partialy detectable (IFR) | |
---|---|---|
1st SM | IF non-detectable ($K_\text{IF,det}=0$) | |
2nd SM | IF non-detectable ($K_\text{IF,MPF}=0$) | IF detectable ($K_\text{IF,MPF}>0$) |
PMHF equ. RAMS 2020 | $(1-K_\text{IF,RF})\lambda_\text{IF}+2K_\text{IF,RF}\alpha$ (19), (221.9), (447.2) |
$(1-K_\text{IF,RF})\lambda_\text{IF}+2K_\text{IF,RF}\beta$ (22), (222.9), (447.1) |
RAMS 2022論文
さらにRAMS 2022では$K_\text{IF,det}=1$を検討しました。特にMPF detectedを従来のLFと同一視するのではなく、SFとしました。そのためPMHF結果式も変わってきます。
ここで、1st SMがIF detectableであれば、そのDC(カバレージ)は$K_\text{IF,RF}$であり、一般に2nd SMまでは設置しないと思われます。逆に言えば2nd SMが必要なのは、1st SMのDCがゼロの時、つまりIF non-detectable ($K_\text{IF,det}=0)$であり、すなわち1st SMが主機能代替機能を持ついわゆる冗長の場合となります。
IF non-detectable (IFU) | Partialy detectable (IFR) | Fully detectable | |
---|---|---|---|
1st SM | IF non-detectable ($K_\text{IF,det}=0$) | IF detectable ($K_\text{IF,det}=1$) | |
2nd SM | IF non-detectable ($K_\text{IF,MPF}=0$) | IF detectable ($K_\text{IF,MPF}>0$) | - |
次に1st SMがIF non-detectable ($K_\text{IF,MPF}=0$)であれば、2nd SMはIFフォールトのレイテント防止のため、なにがしかのDC(検出率、カバレージ)を持つと考えられます。上記表はそのDCがゼロの場合はIFUモデル、ゼロでない場合はIFRモデルとしましたが、そのDCを$K_\text{IF,MPF}$で表し、ゼロの場合と非ゼロの場合をまとめ、かつRAMS 2020及び2022のPMHF式を追加すれば、以下の表となります。
Partialy detectable (IFU/IFR) | Fully detectable | |
---|---|---|
1st SM | IF non-detectable ($K_\text{IF,det}=0$) | IF detectable ($K_\text{IF,det}=1$) |
2nd SM | Partialy detectable ($K_\text{IF,MPF}>=0$) | - |
PMHF equ. RAMS 2020 | $(1-K_\text{IF,RF})\lambda_\text{IF}+2K_\text{IF,RF}\beta$ | $(1-K_\text{IF,RF})\lambda_\text{IF}+\color{red}{2}K_\text{IF,RF}\alpha$ |
PMHF equ. RAMS 2022 | $(1-K_\text{IF,RF})\lambda_\text{IF}+K_\text{IF,RF}\alpha$ |
- RAMS 2020では$K_\text{IF,det}=0$のみを検討したため、$K_\text{IF,det}=1$は薄墨色としています。
- 1st SMがfully detectable ($K_\text{IF,det}=1$)において、RAMS 2022のPMHF値のDPF部分が$\frac{1}{2}$になっているのは、RAMS 2022においてMPF detectedの定義を変え、レイテントではなく完全にリペアラブルとしたためです。SMがレイテントになる部分はそのままですが、IFがレイテントになる部分が全て修理されるとしたため、半分になっています。
Leave a Comment