ここまでRAMS 2020論文と2022論文をレビューしてきて、ポイントは1st SMと2nd SMのdetectabilityの違いで結果が変わることがわかります。それを以降でまとめます。

RAMS 2020論文

以下の表はRAMS 2020論文において、IFのfaultがSMにより検出されるかどうかを示しています。なお、1st SMのfaultは常にdetectableです。その時のDCは$K_\text{SM,MPF}$。

表449.1　RAMS 2020のDetectabilityの表

	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)

$K_\text{IF,det}=0$(かつ$K_\text{IF,RF}=1$)のみなので、冗長時のみを考えておりあまり良くありません。$K_\text{IF,det}=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が主機能代替機能を持ついわゆる冗長の場合となります。

表449.2　Detectabilityの表($K_\text{IF,det}=1$を追加)

	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式を追加すれば、以下の表となります。

表449.3　Detectabilityと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がレイテントになる部分が全て修理されるとしたため、半分になっています。

---

前のブログ 次のブログ