信頼性成長 - yuuk1's Digital Garden

# 信頼性成長 ## 定義信頼性成長(reliability growth)とは、開発や運用の過程で故障モードが発見・是正されるにつれて製品の信頼性が向上していく現象、およびそれを監視・促進する活動を指す。監視手法として本書はDuane法とM(t)法の2つを与える。Duane法は累積MTBF $\theta_c$ を総試験時間 $T$ の関数として $\theta_c=\theta_0(T/T_0)^\alpha$(式14.14)という経験式で表し、両対数プロットの傾き$\alpha$(典型0.2〜0.4)を是正処置プログラムの実効性の指標とする。瞬間MTBFは $\theta_i=\theta_c/(1-\alpha)$(式14.15)で導かれる。M(t)法は稼働時間ベースで単位あたり平均累積故障数 $M(t)$ を式14.16で逐次計算し、その傾き(故障強度)の変化から信頼性改善やバスタブ曲線的な傾向転換を読み取る、実運用データ向けの手法である。Duane法は「複数の故障モードが漸進的に是正される母集団」を前提とするため早期開発試験には適合しにくいのに対し、M(t)法は実運用に投入された機器群のカレンダー時間・稼働時間の記録から傾向を追う点で運用段階との親和性が高い(Source: [[@2012__Wiley__Practical Reliability Engineering - Chapter 14 Reliability Demonstration and Growth]] §14.13.1, §14.13.2)。信頼性成長を「監視する」だけでは成長は起きず、「起こす」ための実務として、すべての故障を十分に解析し是正するTAAF(test, analyse and fix)が位置づけられる(Source: [[@2012__Wiley__Practical Reliability Engineering - Chapter 14 Reliability Demonstration and Growth]] §14.14)。 ## 横断的知見 - **Duane法による成長測定は、FRACASという運用の仕組みが閉ループで機能することを暗黙の前提とする**: 第14章§14.13.1は、Duane法が「複数の故障モードが漸進的に是正される母集団」にのみ適用可能だと述べる。一方、第12章のFRACAS運用原則(Source: [[FRACAS]])は「初回の故障モードを無関係・偶発として捨てない」ことを求め、第14章§14.14.1のTAAFはこれを独立に繰り返し、「実運用機に発生しえないと結論的に立証されない限り、いかなる故障モードもrandomやnon-relevantとして棄却してはならない」と明言する。すなわちDuaneの成長曲線という**測定モデル**が前提とする「是正処置が継続的に効いている」状態は、FRACASという**運用の仕組み**が閉ループで機能して初めて成立する。第12章はFRACASの運用手続きを、第14章はその手続きが機能しなかった場合に何が壊れるか(成長曲線がDuaneモデルに当てはまらなくなる)を示しており、両者は同じ主張を運用と測定の両面から支えている。(Source: [[@2012__Wiley__Practical Reliability Engineering - Chapter 12 Reliability Testing]] §12.6.1, [[@2012__Wiley__Practical Reliability Engineering - Chapter 14 Reliability Demonstration and Growth]] §14.13.1, §14.14.1) - **Duane法による成長監視と、HALTのような加速試験によるデータ生成は、同じ開発試験プログラムの中で両立しない目的を持つ**: 第14章§14.13.1は「Duane法は開発中の加速試験の使用とは整合しない。なぜならそれらの目的は信頼性統計を生成することではなく故障を強制することにあるから」と明言する。これは第12章§12.4.3がHALTについて「複数のストレスを同時かつ複雑・非記録的に印加するため、結果をMTBF等の定量的な信頼性/耐久性要求に関連づけることは不可能かつ誤解を招く」と述べる限界と同じ境界線上にある。両章は互いを参照しないが、「HALTのようなQualitative Accelerated Testで生成したデータは、Duane法が前提とする自然な(=強制されていない)故障発生パターンの入力データにはなり得ない」という同一の結論に独立に到達している。つまり本書における加速試験と信頼性成長監視は、いずれも「故障を扱う」試験でありながら、片方は故障を人為的に早める目的、もう片方は自然な是正サイクルの傾向を測る目的という点で、データソースとして排他的である。(Source: [[@2012__Wiley__Practical Reliability Engineering - Chapter 12 Reliability Testing]] §12.4.3, [[@2012__Wiley__Practical Reliability Engineering - Chapter 14 Reliability Demonstration and Growth]] §14.13.1) - **Duane法(ハードウェア信頼性成長の測定手法)は、Handbook ch.3(1996)によってソフトウェア信頼性領域へ明示的に輸入され、無限故障カテゴリモデルの一つとして再定式化されている**: 本ページはこれまで「Duane法とSRGMの関係は原本のいずれの章からも橋渡しされていない」という未確認事項を残してきたが、これは PRE(2012年刊)の章構成に限った話であった。Handbook ch.3 §3.5.1 は Duane(1964、GE、ハードウェア向け)の観察——累積故障率対累積試験時間を ln-ln プロットすると直線になる——を出発点に、Crow(1974)がこれを Weibull 過程(NHPP のうち故障強度関数が Weibull 分布のハザード関数と同形のもの)として再解釈したことを示し、$\mu(t)=\alpha t^\beta$ というべき関数モデルとしてソフトウェア信頼性成長モデル(SRGM)の一員に位置づける。本ページの $\mu(t)=\alpha t^\beta$(Duaneの経験式 $\theta_c=\theta_0(T/T_0)^\alpha$ の累積故障数版)と Handbook ch.3 の記法は同一の数理構造を共有しており、ハードウェア信頼性成長の測定手法がソフトウェア信頼性成長モデルへ移植された明確な事例として、両ページの橋渡しが具体的に確認できた。(Source: [[@2012__Wiley__Practical Reliability Engineering - Chapter 14 Reliability Demonstration and Growth]] §14.13.1, [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 3 Software Reliability Modeling Survey]] §3.5.1) - **Handbook ch.3 の Duane モデルは「β>1なら信頼性成長は起こりえない」と明言しており、これは本ページが記録する Duane法の傾き$\alpha$(典型0.2〜0.4)の経験的目安と整合する制約条件を、数式レベルで与える**: PRE ch.14 §14.13.1 は Duane 法の傾き $\alpha$ の実務的な目安(0.2〜0.6の範囲)を示すのみで、この範囲がなぜ妥当なのかの理論的根拠には立ち入らない。Handbook ch.3 §3.5.1 は同じべき関数モデルの故障強度 $\lambda(t)=\alpha\beta t^{\beta-1}$ を微分形で示し、$\beta>1$(PRE の記法では傾き$\alpha$に対応)では故障強度が時間とともに増加するため「信頼性成長は起こりえない」と明言する。これにより、PRE が経験則として与える傾きの目安(0.2〜0.6、つまり1未満)が、実は「信頼性成長が定義上成立するための必要条件」であることが、Handbook ch.3 の数式によって裏づけられる。(Source: [[@2012__Wiley__Practical Reliability Engineering - Chapter 14 Reliability Demonstration and Growth]] §14.13.1, [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 3 Software Reliability Modeling Survey]] §3.5.1) - **PRE のDuane法・M(t)法が「成長曲線を当てはめて傾きを読む」という記述的(descriptive)な監視手法であるのに対し、Handbook ch.10 は「そもそも成長が統計的に有意かどうか」を仮説検定として判定する手法を与える——両者は同じ現象を異なる厳密さで扱っている**: 本ページの定義が示す Duane法は累積MTBFの両対数プロットの傾き$\alpha$を目視で評価し、M(t)法は稼働時間ベースの傾きの変化を追う、いずれも点推定・曲線あてはめの手法である。これに対し ch.10 のLaplace検定は、帰無仮説 $H_0$: 均質ポアソン過程(HPP、成長も劣化もない定常過程)に対する統計量 $u(k)$ を計算し、有意水準5%で $u(k)<-1.645$ なら成長、$u(k)>1.645$ なら劣化、$|u(k)|>1.96$ なら何らかのトレンドありと**仮説検定として**判定する。さらに ch.10 は劣加法性(subadditive property)という概念で、Duane法のような単調な傾き解釈では捉えられない「局所的なトレンド反転」(区間全体では成長だが途中に劣化区間を含む、など)を数学的に定式化する。PRE の実務的な目安(傾き$\alpha$0.2〜0.6)とHandbook ch.10 の統計的検定は、同じ「成長しているかどうか」を問いながら、前者は経験則、後者は有意性検定という異なる厳密さのレイヤーで答えている。(Source: [[@2012__Wiley__Practical Reliability Engineering - Chapter 14 Reliability Demonstration and Growth]] §14.13.1, [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 10 Trend Analysis]] §10.2–10.3) ## 未解決の問い - Duane法の傾き$\alpha$の選択は、本章が示す4段階の目安(0.4-0.6/0.3-0.4/0.2/0.2-0)という経験則に頼るが、これを定量的に選択するための基準(たとえば組織の過去の改善プログラムの実効性をどう数値化するか)は示されない。Handbook ch.3 は $\beta>1$ で成長が起こりえないという必要条件は与えるが、目安の範囲そのものの理論的根拠(なぜ0.2〜0.6という値域が典型的か)には触れていない。 - FRACASが機能不全に陥った場合(故障審査委員会が責任追及の場になる、判断が遅延するなど)、Duaneの成長曲線が理論値からどれだけ・どのように乖離するかを定量化する方法は本章に記述がない。 - Handbook ch.3 §3.5.1 は Duane モデルをソフトウェア領域の「無限故障カテゴリ」モデルとして位置づけるが、これはソフトウェアが「決して完全に無欠陥にならない」(修正過程で新たな障害が導入されうる)という仮定を置いていることを意味する。PRE の Duane法(ハードウェア向け)がこの仮定を共有しているかは、PRE ch.14 の記述からは明確でない。ハードウェアの摩耗故障・偶発故障とソフトウェアの障害修正過程とで、「無限故障」という仮定の妥当性がどう異なるかは未検討。 - PRE の Duane法の傾き$\alpha$の目安(0.2〜0.6)と、Handbook ch.10 のLaplace検定の有意水準(5%で$|u(k)|>1.96$)は、どちらも「成長が起きている」と判定する閾値だが、両者を定量的に対応づける変換式は本ページのソースには示されていない。同一の故障データにDuane法とLaplace検定を両方適用した場合、判定が一致するかどうかは今後の検証課題である。 ## 関連 - ソース: [[@2012__Wiley__Practical Reliability Engineering - Chapter 12 Reliability Testing]] / [[@2012__Wiley__Practical Reliability Engineering - Chapter 14 Reliability Demonstration and Growth]] / [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 3 Software Reliability Modeling Survey]] / [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 10 Trend Analysis]] - 概念: [[FRACAS]] / [[加速試験]] / [[信頼性実証]] / [[ソフトウェア信頼性成長モデル]] - 実体: [[Patrick D. T. O'Connor]] / [[Andre Kleyner]] / [[wiki/entities/Practical Reliability Engineering|Practical Reliability Engineering]] / [[William Farr]] / [[Karama Kanoun]] / [[Jean-Claude Laprie]] ## 出典 - [[@2012__Wiley__Practical Reliability Engineering - Chapter 12 Reliability Testing]](§12.4.3, §12.6.1) - [[@2012__Wiley__Practical Reliability Engineering - Chapter 14 Reliability Demonstration and Growth]](§14.13, §14.14) - [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 3 Software Reliability Modeling Survey]](§3.5.1) - [[@1996__McGrawHill__Handbook of Software Reliability Engineering - Chapter 10 Trend Analysis]](§10.2–10.3、劣加法性とLaplace検定による統計的判定)