Posts Tagged with "ISO 26262"

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

PoF と PMHF の定義および最終式の導出

前稿で VSG 到達密度の近似式 (1058.13) を得たので、本稿では PoF と PMHF の定義から PMHF の最終式を導きます。以下、車両寿命を $T:=T_\text{lifetime}$ とし、$T=n\tau$ を仮定します。

まず、車両寿命 $T$ までに VSG が発生する確率を $\mathrm{PoF}_\text{VSG}(T)$ と書くと、PMHF は

$$ \mathrm{PMHF}(T) =\frac{1}{T}\mathrm{PoF}_\text{VSG}(T) =\frac{1}{T}F_\text{VSG}(T) =\frac{1}{T}\int_0^T f_\text{VSG}(t)\,dt \tag{1059.1} $$

です。

ここで前稿の (1058.13) を (1059.1) に代入すると

$$ \mathrm{PMHF}(T)\approx\lambda_\text{IF,SPF}+\frac{\lambda_\text{IF,DPF}}{T}\int_0^T U_\text{SM}(t)\,dt \tag{1059.2} $$

となります。

さらに前々稿の (1057.8) を用いると

$$ \frac{1}{T}\int_0^T U_\text{SM}(t)\,dt =\frac{1-K_\text{SM,DPF}}{T}\int_0^T F_\text{SM}(t)\,dt+\frac{K_\text{SM,DPF}}{T}\int_0^T F_\text{SM}(u)\,dt \tag{1059.3} $$

です。

ここで $T=n\tau$ なので、第2項は周期ごとに同じ積分の繰返しとなり、

$$ \int_0^T F_\text{SM}(u)\,dt =\sum_{k=0}^{n-1}\int_{k\tau}^{(k+1)\tau}F_\text{SM}(t-k\tau)\,dt =n\int_0^\tau F_\text{SM}(u)\,du \tag{1059.4} $$

と変形できます。

また、前々稿の (1057.9) を用いると、第1項は

$$ \frac{1}{T}\int_0^T F_\text{SM}(t)\,dt \approx\frac{1}{T}\int_0^T \lambda_\text{SM}t\,dt =\frac{1}{2}\lambda_\text{SM}T \tag{1059.5} $$

となります。

同様に、第2項は

$$ \frac{1}{T}\int_0^T F_\text{SM}(u)\,dt \approx\frac{1}{T}n\int_0^\tau \lambda_\text{SM}u\,du =\frac{1}{2}\lambda_\text{SM}\tau \tag{1059.6} $$

となります。

したがって (1059.3) は

$$ \frac{1}{T}\int_0^T U_\text{SM}(t)\,dt \approx\frac{1}{2}\lambda_\text{SM}\bigl((1-K_\text{SM,DPF})T+K_\text{SM,DPF}\tau\bigr) \tag{1059.7} $$

となるので、これを (1059.2) に代入すると

$$ \mathrm{PMHF}(T)\approx\lambda_\text{IF,SPF}+\frac{1}{2}\lambda_\text{IF,DPF}\lambda_\text{SM}\bigl((1-K_\text{SM,DPF})T+K_\text{SM,DPF}\tau\bigr) \tag{1059.8} $$

です。

最後に、前稿の (1058.5) を用いると

$$ \mathrm{PMHF}(T)\approx(1-K_\text{IF,RF})\lambda_\text{IF}+\frac{1}{2}K_\text{IF,RF}\lambda_\text{IF}\lambda_\text{SM}\bigl((1-K_\text{SM,DPF})T+K_\text{SM,DPF}\tau\bigr) \tag{1059.9} $$

を得ます。

ここで第1項は IF の残留故障に由来する SPF 項であり、第2項は SM の潜在故障確率と IF の多重点故障側故障率の積として現れる DPF 項です。したがって、PMHF は SPF 項と DPF 項の和として理解できます。


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

posted by sakurai on February 17, 2026 #1058

サブシステム(VSG吸収)と SPF/DPF 到達密度の定式化

前稿で SM エレメントの時点不稼働確率 $U_\text{SM}(t)$ を得たので、本稿ではサブシステム水準へ進み、VSG を吸収集合として到達密度 $f_\text{VSG}(t)$ を定式化します。ここでは非冗長系を仮定します。

VSG に対応するサブシステム過程を $(\eta_t^\text{sub})_{t\ge0}$ とし、吸収集合を $\mathcal P_\text{VSG}$ とします。VSG 到達確率を

$$ F_\text{VSG}(t):=\Pr\{\eta_t^\text{sub}\in\mathcal P_\text{VSG}\} \tag{1058.1} $$

と定義します。

VSG 到達密度は

$$ f_\text{VSG}(t):=\frac{d}{dt}F_\text{VSG}(t) \tag{1058.2} $$

です。

次に、IF に対応する確率過程を $(\eta_t^\text{IF})_{t\ge0}$ とし、その危険故障モード集合を SPF 寄与集合と DPF 寄与集合に

$$ \mathcal P_\text{IF} =\mathcal P_\text{IF,SPF}\cup\mathcal P_\text{IF,DPF}, \qquad \mathcal P_\text{IF,SPF}\cap\mathcal P_\text{IF,DPF}=\varnothing \tag{1058.3} $$

と分割します。

このとき、IF の SPF 側および DPF 側の条件付き遷移率を

$$ \begin{eqnarray} \left\{ \begin{array}{l} \lambda_\text{IF,SPF}:=\lim_{dt\to0}\frac{\Pr\{\eta_{t+dt}^\text{IF}\in\mathcal P_\text{IF,SPF}\mid\eta_t^\text{IF}\in\mathcal M_\text{IF}\}}{dt},\\ \lambda_\text{IF,DPF}:=\lim_{dt\to0}\frac{\Pr\{\eta_{t+dt}^\text{IF}\in\mathcal P_\text{IF,DPF}\mid\eta_t^\text{IF}\in\mathcal M_\text{IF}\}}{dt} \end{array} \right. \end{eqnarray} \tag{1058.4} $$

と定義します。

さらに、決定論的 $K$ による率分解を用いると

$$ \begin{eqnarray} \left\{ \begin{array}{l} \lambda_\text{IF,SPF}=(1-K_\text{IF,RF})\lambda_\text{IF},\\ \lambda_\text{IF,DPF}=K_\text{IF,RF}\lambda_\text{IF} \end{array} \right. \end{eqnarray} \tag{1058.5} $$

です。

まず SPF 項を求めます。条件付き確率の乗法公式より

$$ \Pr\{\eta_t^\text{IF}\in\mathcal M_\text{IF},\ \eta_{t+dt}^\text{IF}\in\mathcal P_\text{IF,SPF}\} =\Pr\{\eta_t^\text{IF}\in\mathcal M_\text{IF}\}\lambda_\text{IF,SPF}dt+o(dt) \tag{1058.6} $$

となるので、これを$dt$で割って $dt\rightarrow0$とすると

$$ f_\text{SPF}(t)=\Pr\{\eta_t^\text{IF}\in\mathcal M_\text{IF}\}\lambda_\text{IF,SPF} \tag{1058.7} $$

です。

次に DPF 項を求めます。時刻 $t$ において SM が潜在故障状態にあり、かつ IF が稼働集合にあるとき、その後の微小時間 $dt$ の間に IF の DPF 側故障により VSG に到達する確率は

$$ \Pr\{\eta_t^\text{SM}\in\mathcal P_\text{SM},\ \eta_t^\text{IF}\in\mathcal M_\text{IF},\ \eta_{t+dt}^\text{IF}\in\mathcal P_\text{IF,DPF}\}\\ =\Pr\{\eta_t^\text{SM}\in\mathcal P_\text{SM},\ \eta_t^\text{IF}\in\mathcal M_\text{IF}\}\lambda_\text{IF,DPF}dt+o(dt) \tag{1058.8} $$

です。したがってこれを$dt$で割って $dt\rightarrow0$とすると

$$ f_\text{DPF}(t)=\Pr\{\eta_t^\text{SM}\in\mathcal P_\text{SM},\ \eta_t^\text{IF}\in\mathcal M_\text{IF}\}\lambda_\text{IF,DPF} \tag{1058.9} $$

となります。ここで IF 側の故障が希少事象であることから、

$$ \Pr\{\eta_t^\text{SM}\in\mathcal P_\text{SM},\ \eta_t^\text{IF}\in\mathcal M_\text{IF}\} \approx \Pr\{\eta_t^\text{IF}\in\mathcal M_\text{IF}\}U_\text{SM}(t) \tag{1058.10} $$

と近似できるので、

$$ f_\text{DPF}(t)\approx \Pr\{\eta_t^\text{IF}\in\mathcal M_\text{IF}\}\lambda_\text{IF,DPF}U_\text{SM}(t) \tag{1058.11} $$

です。

ここで IF 側については、小確率近似 $\lambda_\text{IF}t\ll1$ の下で

$$ \Pr\{\eta_t^\text{IF}\in\mathcal M_\text{IF}\} =R(t)=e^{-\lambda_\text{IF}t}\approx1-\lambda_\text{IF}t\approx1 \tag{1058.12} $$

(1058.7)と(1058.11)を加えて(1058.12)を用いれば、

$$ f_\text{VSG}(t)=f_\text{SPF}(t)+f_\text{DPF}(t)\approx\lambda_\text{IF,SPF}+\lambda_\text{IF,DPF}U_\text{SM}(t) \tag{1058.13} $$

となります。

最後に、車両寿命を $T_\text{lifetime}$ とすると、VSG の発生確率は

$$ \mathrm{PoF}_\text{VSG}(T_\text{lifetime})=F_\text{VSG}(T_\text{lifetime}) \tag{1058.14} $$

であり、PMHF は

$$ \begin{eqnarray} \mathrm{PMHF}(T_\text{lifetime}) &=&\frac{1}{T_\text{lifetime}}\mathrm{PoF}_\text{VSG}(T_\text{lifetime}) =\frac{1}{T_\text{lifetime}}F_\text{VSG}(T_\text{lifetime})\\ &=&\frac{1}{T_\text{lifetime}}\int_0^{T_\text{lifetime}}f_\text{VSG}(t)\,dt \end{eqnarray} \tag{1058.15} $$

で与えられます。次稿では、前稿の $U_\text{SM}(t)$ を (1058.15) に代入し、PMHF の最終式を導きます。生成行列に基づく別導出は後続で与えます。


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

posted by sakurai on February 13, 2026 #1057

エレメント(修理系)を出発点とする導出(決定論的K、PIR周期一定)

前稿で修理系エレメントの時点可用度 $A(t)$ と Vesely 故障率 $\lambda_V(t)$ を定義したので、本稿では SM エレメントの時点不稼働確率 $U_\text{SM}(t)$ の具体式を導出します。本稿では連続時間マルコフ連鎖の一般論は最小限にとどめ、具体的な生成行列は後続のサブシステム導出で導入します。

確率空間 $(\Omega,\mathcal F,\Pr)$ 上で定義された確率過程 $(\eta_t^\text{SM})_{t\ge0}$ を考えます。任意の $t\ge0$, $s>0$ と状態 $i,j$ に対して

$$ \Pr\{\eta_{t+s}^\text{SM}=j\mid\eta_t^\text{SM}=i,\ \eta_r^\text{SM}=x_r,\ r<t\} =\Pr\{\eta_{t+s}^\text{SM}=j\mid\eta_t^\text{SM}=i\} \tag{1057.1} $$

が成り立つとき、$(\eta_t^\text{SM})_{t\ge0}$ は連続時間マルコフ連鎖です。

斉時連続時間マルコフ連鎖では、微小時間 $dt$ における遷移確率は(1056.8)より

$$ \Pr\{\eta_{t+dt}^\text{SM}=j\mid\eta_t^\text{SM}=i\} =h_{ij}dt+o(dt) \tag{1057.2} $$

で与えられます。

前稿の時点可用度 $A_\text{SM}(t)$ を用いれば、SM エレメントの時点不稼働確率は

$$ U_\text{SM}(t)=1-A_\text{SM}(t) \tag{1057.3} $$

です。

PIR 周期一定を仮定し、検査周期を $\tau$、検査時刻を $\tau_k=k\tau$ とします。区間 $[\tau_k,\tau_{k+1})$ における区間内時刻を

$$ u:=t-\tau_k \qquad \bigl(t\in[\tau_k,\tau_{k+1})\bigr) \tag{1057.4} $$

と定義します。

SM 故障時刻を $\sigma_\text{SM}$ とし、その分布関数を

$$ F_\text{SM}(t):=\Pr\{\sigma_\text{SM}\le t\} \tag{1057.5} $$

と定義します。

本稿では K パラメータを確率試行ではなく、アーキテクチャ能力に由来する母集団分割割合として扱います。SM 母集団ラベルを $C_\text{SM}$ とすると、その割合は

$$ \begin{eqnarray} \left\{ \begin{array}{l} \Pr\{C_\text{SM}=\mathcal U_\text{SM}\}=1-K_\text{SM,DPF},\\ \Pr\{C_\text{SM}=\mathcal D_\text{SM}\}=K_\text{SM,DPF} \end{array} \right. \end{eqnarray} \tag{1057.6} $$

です。

このとき、全確率の定理より

$$ \begin{eqnarray} U_\text{SM}(t) &=& \Pr\{\eta_t^\text{SM}\in\mathcal P_\text{SM}\mid C_\text{SM}=\mathcal U_\text{SM}\}\Pr\{C_\text{SM}=\mathcal U_\text{SM}\}\\ &&+ \Pr\{\eta_t^\text{SM}\in\mathcal P_\text{SM}\mid C_\text{SM}=\mathcal D_\text{SM}\}\Pr\{C_\text{SM}=\mathcal D_\text{SM}\} \end{eqnarray} \tag{1057.7} $$

となります。未検出群は寿命全体で故障確率が蓄積し、検出群は PIR ごとに年齢がリセットされるので、

$$ U_\text{SM}(t) =(1-K_\text{SM,DPF})F_\text{SM}(t)+K_\text{SM,DPF}F_\text{SM}(u) \tag{1057.8} $$

を得ます。

さらに、SM 故障時間が指数分布でかつ小確率 $\lambda_\text{SM}x\ll1$ の下では

$$ F_\text{SM}(x)=1-e^{-\lambda_\text{SM}x}\approx\lambda_\text{SM}x \tag{1057.9} $$

となるので、

$$ U_\text{SM}(t)\approx(1-K_\text{SM,DPF})\lambda_\text{SM}t+K_\text{SM,DPF}\lambda_\text{SM}u \tag{1057.10} $$

となります。

ここで得た $U_\text{SM}(t)$ は、後続のサブシステム導出において DPF 項の時間依存を担う基本量になります。


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

posted by sakurai on February 12, 2026 #1056

upやdownを数式で書いてみます。

非修理系

ランダムプロセス$\eta_s$において、確率変数$X$を無故障稼働時間とします。$\mathcal{M}$を稼働状態のサブセットとし、$\mathcal{P}$を不稼働状態のサブセットとすれば、$X=\inf\lbrace s:\eta_{s}\in\mathcal{P}\rbrace$と示すことができます。

non-repairable elementの瞬間故障率$\lambda(t)$の定義式は、

$$ \lambda(t)\stackrel{\mathrm{def}}{=}\lim_{dt\downarrow 0}\frac{\Pr\lbrace X\le t+dt\ |\ t\lt X\rbrace}{dt}\tag{1056.1} $$

であり、(1056.1)を一次展開すれば、

$$ \Pr\lbrace X\le t+dt\ |\ t\lt X\rbrace=\lambda(t)dt+o(dt)\tag{1056.2} $$

となります。ここで(1056.2)に条件付き確率の公式を用いれば、

$$ \Pr\lbrace X\le t+dt\ |\ t\lt X\rbrace=\frac{\Pr\lbrace t\lt X\le t+dt\rbrace}{\Pr\lbrace t\lt X\rbrace}=\frac{f(t)}{R(t)}dt+o(dt)\tag{1056.3} $$

であることから、(1056.2)、(1056.3)の右辺の比較により、

$$ \lambda(t)=\frac{f(t)}{R(t)}\tag{1056.4} $$

修理系

repairable elementのVesely故障率$\lambda_V(t)$は、Christiane Cocozza-Thivent他の論文"The Failure Rate in Reliability. Numerical Treatment"の(1.2)式によれば、

$$\lambda_V(t)\stackrel{\mathrm{def}}{=}\lim_{dt\downarrow 0}\frac{\Pr\{\eta_{t+dt}\in\mathcal{P}\mid \eta_t\in\mathcal{M}\}}{dt} \tag{1056.5}$$

であり、(1056.5)を一次展開すれば、 $$ \Pr\{\eta_{t+dt}\in\mathcal{P}\mid\eta_t\in\mathcal{M}\}=\lambda_V(t)dt+o(dt)\tag{1056.6} $$

となります。次に無条件瞬間ダウン強度$h(t)$の定義式は、

$$ h(t)\stackrel{\mathrm{def}}{=} \lim_{dt\downarrow 0} \frac{\Pr\{\eta_t\in\mathcal{M},\ \eta_{t+dt}\in\mathcal{P}\}}{dt} \tag{1056.7} $$

であり、(1056.7)を一次展開すれば、 $$ \Pr\{\eta_t\in\mathcal{M},\ \eta_{t+dt}\in\mathcal{P}\}=h(t)dt+o(dt)\tag{1056.8} $$

となります。また、point availability$A(t)$は、

$$A(t)\stackrel{\mathrm{def}}{=}\Pr\{\eta_t\in\mathcal{M}\}\tag{1056.9}$$

で表されます。ここで(1056.6)に条件付き確率の公式を用いれば、(1056.8)及び(1056.9)より、

$$ \Pr\{\eta_{t+dt}\in\mathcal{P}\mid \eta_t\in\mathcal{M}\} =\frac{\Pr\{\eta_t\in\mathcal{M},\ \eta_{t+dt}\in\mathcal{P}\}}{\Pr\{\eta_t\in\mathcal{M}\}} =\frac{h(t)}{A(t)}dt+o(dt) \tag{1056.10} $$

であることから、(1056.6)、(1056.10)の右辺の比較により、

$$ \lambda_V(t)=\frac{h(t)}{A(t)}\tag{1056.11} $$

この記事の改訂版です。


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

RAMS 2026での論文発表

posted by sakurai on January 30, 2026 #1055

図%%.1

過去記事に記載のとおり、RAMS 2026は、2025年1月19日から23日まで、昨年と同じく米国フロリダ州ミラマービーチのヒルトンサンデスティンホテルで開催されました。弊社代表は初日に論文発表を行いました。

図%%.2

本論文のタイトルは、"LLM Optimized Fault Tree Analysis (LOFTA) for Probabilistic Metric for Random Hardware Failures (PMHF) under ISO 26262"です。邦題は「ISO 26262に基づくランダムハードウェア故障確率指標(PMHF)のためのLLM最適化故障木解析(LOFTA)」になります。

今回のRAMS 2026の論文では、LLMでシステムのブロック図からフォールトツリーを自動生成します。さらに、FTAで算出したPMHFへの寄与をLLMで解析し、アーキテクチャの弱点を特定し改善する手法を提案しています。

提案手法は自動化による省力化だけでなく、車載システム全体の信頼性向上にも寄与します。本研究により、ADASや自動運転などのセーフティクリティカルな応用において、解析効率の向上と設計の最適化が図られます。

発表後の質問:

  • Q: RBDからではなくスケマティックからのFTAは可能か?
  • A: RBDからFTAの変換はプレゼン資料にもある方程式によるone to one mappingで容易。ところがスケマティックからだとn to one mappingとなり、より高次の抽象化が必要

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

12月の検索結果

posted by sakurai on January 9, 2026 #1054

弊社コンテンツの12月の検索結果です。

表1054.1 上昇率上位のページ(前月との比較)
タイトル クリック数
PMHFの意味 +11
2nd SMのASILの引き下げ +6
Arduino Megaスケッチの作成 +4

表1054.2 パフォーマンス上位のページ
タイトル クリック数
機能安全用語集 47
SPFM, LFM, PMHFの計算法の例 33
1st Editionと2nd Editionとの相違点 (Part 10) 31

表1054.3 上昇率上位のクエリ
クエリ クリック数
ASIL Decomposition +5
従属故障分析 +3
Latent Fault

表1054.4 パフォーマンス上位のクエリ
クエリ クリック数
FTTI 16
PMHF 8
SPFM 6


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

11月の検索結果

posted by sakurai on December 16, 2025 #1050

弊社コンテンツの11月の検索結果です。

表1050.1 上昇率上位のページ(前月との比較)
タイトル クリック数
PMHFの意味 +12
ホームページ +10
故障分類 +9

表1050.2 パフォーマンス上位のページ
タイトル クリック数
機能安全用語集 63
1st Editionと2nd Editionとの相違点 (Part 10) 51
SPFM, LFM, PMHFの計算法の例 42

表1050.3 上昇率上位のクエリ
クエリ クリック数
カスケード故障 +5
レイテントフォールトとは +4
レイテントフォールト +3

表1050.4 パフォーマンス上位のクエリ
クエリ クリック数
FTTI 21
PMHF 14
SPFM 13


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

10月の検索結果

posted by sakurai on November 4, 2025 #1042

弊社コンテンツの10月の検索結果です。

表1042.1 上昇率上位のページ(前月との比較)
タイトル クリック数
SPFM, LFM, PMHFの計算法の例 +7
PMHFの意味 +7
故障率 +6

表1042.2 パフォーマンス上位のページ
タイトル クリック数
機能安全用語集 66
1st Editionと2nd Editionとの相違点 (Part 10) 64
SPFM, LFM, PMHFの計算法の例 43

表1042.3 上昇率上位のクエリ
クエリ クリック数
SPFM +7
機能安全 デコンポジション +5
デコンポジションとは +3

表1042.4 パフォーマンス上位のクエリ
クエリ クリック数
FTTI 34
PMHF 20
SPFM 15


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

posted by sakurai on October 30, 2025 #1041

図%%.1

On October 30, 2025, FS Micro Corporation※1, a provider of ISO 26262※2 consulting, announced that a paper authored by its President and CEO, Atsushi Sakurai, was accepted to RAMS 2026※3, a global conference organized by the IEEE※4 Reliability Society.

This marks Sakurai’s seventh consecutive acceptance at RAMS since 2020. The paper is scheduled to be presented at RAMS 2026 in Florida, USA, in January 2026, and has also been named a finalist for the Best Paper Award.

図%%.2

Beginning with an acceptance at an IEEE conference in 2017, Sakurai proposed a higher-accuracy PMHF※5 formulation at RAMS 2020 and has since continued contributions, including proposals to correct issues in the published formulae.

In the RAMS 2026 paper, an LLM※6 is used to automatically generate a fault tree※7 from a system block diagram. The method then analyzes, with an LLM, each component’s contribution to PMHF computed via FTA※8, thereby identifying and improving architectural weaknesses.

The proposed approach not only reduces engineering effort through automation but also contributes to improved system-level reliability in automotive electronics. Based on this research, ADAS※9 and autonomous-driving applications can achieve higher analysis efficiency and more optimized system design.

図%%.1

Notes
※1 FS Micro Corporation. Head Office: Nagoya. President and CEO: Atsushi Sakurai. Consulting for functional safety of automotive electronic systems. https://fs-micro.com/
※2 ISO 26262. International standard for functional safety of road-vehicle electric and electronic systems. Its goal is to reduce the risk of hazardous events during vehicle operation to an acceptable level.
※3 RAMS, Reliability and Maintainability Symposium. International conference on reliability engineering organized by the IEEE Reliability Society and partners. The 72nd symposium will be held in Florida, USA, in 2026. https://rams.org/
※4 IEEE, Institute of Electrical and Electronics Engineers. One of the world’s largest professional organizations advancing technology. https://ieee.org/
※5 PMHF, Probabilistic Metric for Random Hardware Failures. Time-average probability of dangerous failures from random hardware faults, used as a hardware design target in ISO 26262.
※6 LLM, Large Language Model. AI models trained on large text corpora for natural-language understanding and generation.
※7 Fault Tree. Logical tree representing causal pathways of system failures, useful for revealing structural vulnerabilities.
※8 FTA, Fault Tree Analysis. Systematic reliability analysis based on a fault tree, used to derive minimal cut sets and contribution measures for design improvement.
※9 ADAS, Advanced Driver Assistance Systems. Driver-assistance functions such as ACC adaptive cruise control, AEB automatic emergency braking, LKA lane keeping assist, a domain with stringent safety requirements.


Contact
Company: FS Micro Corporation
Representative: Atsushi Sakurai
Established: August 21, 2013
Capital: JPY 32,000,000 (including capital reserve)
Business: Consulting and seminars on functional safety for ISO 26262 automotive electronic systems
Email: info@fs-micro.com
URL: https://fs-micro.com/


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

posted by sakurai on October 30, 2025 #1040

図%%.1

2025年10月30日、ISO 26262※1のコンサルティングを提供するFSマイクロ株式会社※2は、代表取締役 桜井 厚の論文が、IEEE※3信頼性部会が主催する国際会議RAMS 2026※4に採択されたことを発表しました。

桜井の論文がRAMSに採択されるのは、2020年から今回で7年連続となります。この論文は2026年1月に米国フロリダ州で開催されるRAMS 2026において発表予定であり、最優秀論文候補にも指名されています。

図%%.2

桜井は2017年のIEEEでの論文採択に始まり、RAMS 2020ではより高精度なPMHF※5式を提案し、また、規格式自体の改善提案などを含め、ISO 26262に関する貢献を積み重ねてきました。

今回のRAMS 2026の論文では、LLM※6でシステムのブロック図からフォールトツリー※7を自動生成します。さらに、FTA※8で算出したPMHFへの寄与をLLMで解析し、アーキテクチャの弱点を特定し改善する手法を提案しています。

提案手法は自動化による省力化だけでなく、車載システム全体の信頼性向上にも寄与します。本研究により、ADAS※9や自動運転などのセーフティクリティカルな応用において、解析効率の向上と設計の最適化が図られます。

図%%.1

【注釈】
※1:ISO 26262:車載電気電子システムの機能安全に関する国際規格。運転中に生じ得る危険事象のリスクを許容水準まで低減することを目的とする。
※2:FSマイクロ株式会社(本社:名古屋市。代表取締役:桜井 厚):車載システムの機能安全に関するコンサルティングを提供。https://fs-micro.com/
※3:IEEE(Institute of Electrical and Electronics Engineers、電気電子技術者協会):技術の進歩を推進する世界最大級の専門技術者組織。https://ieee.org/
※4:RAMS(the Reliability and Maintainability Symposium):IEEE信頼性部会などが主催する信頼性工学の国際会議。第72回は2026年に米国フロリダ州で開催予定。
※5:PMHF(Probabilistic Metric for Random Hardware Failures):ランダムハードウェア故障に起因する危険側故障の時間平均確率を表す指標。ISO 26262でハードウェア設計目標として用いられる。https://rams.org/
※6:LLM(Large Language Model):ChatGPTに代表される大規模言語モデル。大量データ学習により自然言語の理解と生成を行うAI技術。
※7:フォールトツリー(Fault Tree):システム故障の原因を論理的に表現する木構造。イベントを論理ゲートで接続することでシステムの脆弱性の把握に役立つ。
※8:FTA(Fault Tree Analysis):フォールトツリーに基づく体系的な信頼性解析手法。最小カット集合の抽出や寄与度評価などを通じて設計改善点を導出する。
※9:ADAS(Advanced Driver Assistance Systems):自動車の運転支援機能群。例:ACC(適応型クルーズコントロール)、AEB(自動緊急ブレーキ)、LKA(車線維持支援)など。安全関連要求が高い領域に属する。


【お問い合わせ先】
会社名     FSマイクロ株式会社
代表者     桜井 厚
設立年月日   2013年8月21日
資本金     3,200万円(資本準備金を含む)
事業内容    ISO 26262車載電子機器の機能安全のコンサルティングおよびセミナー
メールアドレス info@fs-micro.com
URL      https://fs-micro.com/


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


ページ: