連続時間マルコフ連鎖を用いて導出したPMHF式が、#102〜#108の記事です。これはIEEEの信頼性工学に関する国際学会であるRAMSに投稿したため、主な部分は暫定非公開となっています。⇒弊社ではPMHFに関する論文をRAMS 2021に投稿予定であり、ブログの一部を一旦非開示としました。

---

• RAMS 2020での論文発表2020/02/04 #199

• 連続時間マルコフ連鎖とPMHF式の導出2020/02/05 #101

• $M_{\mathrm{PMHF}}$の計算2020/02/05 #102

• $M_{\mathrm{PMHF}}$の計算(2)2020/02/05 #103

• $M_{\mathrm{PMHF}}$の計算(3)2020/02/05 #104

• $M_{\mathrm{PMHF}}$の計算(4)2020/02/05 #105

• $M_{\mathrm{PMHF}}$の計算(5)2020/02/05 #106

• $M_{\mathrm{PMHF}}$の計算(6)2020/02/05 #107

• $M_{\mathrm{PMHF}}$の計算(7)2020/02/05 #108

• $M_{\mathrm{PMHF}}$の計算(8)2020/03/13 #221

• $M_{\mathrm{PMHF}}$の計算(9)2020/03/16 #222

• RAMS 2021にアブストラクトが採択2020/06/23 #281

#10から開始したPMHFの導出ですが、#34で2017年にIEEE学会最優秀論文賞という一応の成果をみました。RAMS 2020で発表した方式の簡便法を考えたものが#127〜#128ですが、今後論文投稿予定のため、暫定非公開としています。⇒弊社ではPMHFに関する論文をRAMS 2021に投稿予定であり、ブログの一部を一旦非開示としました。

---

• PMHFの意味2016/05/25 #10

• 故障分類2016/05/31 #11

• 故障分類(2)2016/06/09 #12

• DPF2016/06/24 #13

• DPF(2)2016/07/09 #14

• PMHF式の導出2016/07/17 #15

• PMHF式の導出(2)2016/07/28 #16

• PMHF式の導出(3)2016/08/10 #17

• PMHF式の導出(4)2016/08/22 #18

• PMHF値の計算2016/09/21 #19

• PMHF論文2017/03/22 #33

• FSマイクロ代表の桜井　厚の論文がIEEE学会の最優秀論文賞を受賞2017/05/18 #34

• FS micro representative Sakurai Atsushi received the IEEE Society's Best Paper Award2017/05/18 #35

• 修理系のアンナベイラビリティ2018/09/10 #59

• PMHF計算に関する積分公式2018/09/13 #60

• 平均PUDとしてのPMHF2018/09/18 #61

• PMHF導出のためのマルコフ連鎖状態遷移図2018/09/23 #62

• PMHF規格第1式の導出2018/09/30 #63

• PMHF規格第2式の導出2018/10/03 #64

• PMHF規格第3式の導出2018/10/07 #65

• ISO 12489の信頼性各種関数の定義2018/10/16 #66

• 信頼性関係式の定義式の表現2018/10/21 #67

• 2nd EditionにおけるPMHF式2018/10/29 #68

• 2nd EditionにおけるPMHF式(2)2018/11/05 #69

• 冗長構成サブシステム2018/11/12 #70

• Kパラメータは条件付き確率か2019/04/28 #98

• Kパラメータは条件付き確率か(2)2019/05/10 #99

• Kパラメータは条件付き確率か(3)2019/05/12 #100

• 2nd Edition Annex F (PMHFの評価例)の追加2019/06/18 #113

• 2nd Edition Annex F (PMHFの評価例)の追加(2)2019/06/19 #114

• 2nd Edition Annex F (PMHFの評価例)の追加(3)2019/06/20 #115

• PMHFのバジェッティング2019/06/22 #116

• あるWebの記事について(2)2019/07/08 #125

• スタンバイシステムの平均PUD計算2019/07/09 #126

• 2nd EditionのPMHF方程式2019/07/17 #130

• 本ブログの研究に基づく論文がIEEE信頼性学会の国際会議で採択2019/10/25 #173

• 故障分類とフローチャート(10)2019/10/28 #174

• 1st Editionと2nd Editionの前提の違いによるPMHFの違い2020/02/05 #109

• ISO 26262のFTAに関する論文2020/02/11 #201

• ISO 26262のFTAに関する論文(2)2020/02/12 #202

• ISO 26262のFTAに関する論文(3)2020/02/13 #203

• ISO 26262のFTAに関する論文(4)2020/02/14 #204

• ISO 26262のFTAに関する論文(5)2020/02/20 #205

• ISO 26262のFTAに関する論文(6)2020/02/21 #206

• ISO 26262のFTAに関する論文(7)2020/02/24 #207

• ISO 26262のFTAに関する論文(8)2020/02/25 #208

• ISO 26262のFTAに関する論文(9)2020/02/26 #209

• ISO 26262のFTAに関する論文(10)2020/02/27 #210

• ISO 12489のFault Tree駆動マルコフモデル2020/02/28 #211

• ISO 26262のFTAに関する論文(11)2020/03/02 #212

• ISO 26262のFTAに関する論文(12)2020/03/03 #213

• ISO 26262のFTAに関する論文(13)2020/03/04 #214

• ISO 26262のFTAに関する論文(14)2020/03/05 #215

• ISO 26262のFTAに関する論文(15)2020/03/06 #216

• ISO 26262のFTAに関する論文(16)2020/03/09 #217

• ISO 26262のFTAに関する論文(17)2020/03/10 #218

• ISO 26262のFTAに関する論文(18)2020/03/11 #219

• RAMS 2020で発表したPMHF論文2020/08/02 #285

• PMHF論文sae20202020/08/12 #290

• PMHF論文sae2020(2)2020/08/13 #291

• PMHF論文sae2020(3)2020/08/14 #292

• PMHF論文sae2020(4)2020/08/15 #293

• PMHF論文sae2020(5)2020/08/16 #294

• PMHF論文sae2020(6)2020/08/17 #295

• PMHF論文sae2020(7)2020/08/18 #296

• PMHF論文sae2020(8)2020/08/19 #297

• PMHF論文das20162020/08/28 #304

• PMHF論文das2016(2)2020/08/31 #305

• PMHF論文das2016(3)2020/09/01 #306

• PMHF論文das2016(4)2020/09/02 #307

• PMHF論文das2016(5)2020/09/03 #308

• 規格第2版のPMHF式の疑問2020/09/04 #309

• 規格第2版のPMHF式の疑問(2)2020/09/07 #310

• 規格第2版のPMHF式の疑問(3)2020/09/08 #311

• 規格第2版のPMHF式の疑問(4)2020/09/09 #312

• 規格第2版のPMHF式の疑問(5)2020/09/10 #313

• 規格第2版のPMHF式の疑問(6)2020/09/11 #314

• PMHFの定量FTAによる見積り例2020/10/14 #323

• SPFM, LFM, PMHFの計算法の例2020/10/15 #324

• PMHFの計算法の例2020/10/16 #325

• PMHFの計算法の例(2)2020/10/20 #326

ISO 26262の第2版が2018年暮れに発効しました。ここでは2011年発効の第1版との比較を、主にハードウェア領域について記載しています。

---

• 1st Editionと2nd Editionとの変化点 (Part 5)2019/06/15 #112

• 2nd Edition Annex F (PMHFの評価例)の追加2019/06/18 #113

• 2nd Edition Annex F (PMHFの評価例)の追加(2)2019/06/19 #114

• 2nd Edition Annex F (PMHFの評価例)の追加(3)2019/06/20 #115

• PMHFのバジェッティング2019/06/22 #116

• Annex H レイテントフォールトの取り扱い2019/06/25 #117

• アーキテクチャメトリクスの分割2019/06/26 #118

• 1st Editionと2nd Editionとの相違点 (Part 10)2019/06/27 #119

• 8.3.1 マイコンの取り扱い他2019/06/28 #120

• フォールトトレラントタイム2019/07/01 #121

• SPFMとLFMの導出2019/07/02 #122

• LFMの導出2019/07/04 #123

• 規格第2版のPMHF式の疑問2020/09/04 #309

• 規格第2版のPMHF式の疑問(2)2020/09/07 #310

• 規格第2版のPMHF式の疑問(3)2020/09/08 #311

• 規格第2版のPMHF式の疑問(4)2020/09/09 #312

• 規格第2版のPMHF式の疑問(5)2020/09/10 #313

• 規格第2版のPMHF式の疑問(6)2020/09/11 #314

ASILデコンポジションは結構誤解されているようで、しばしば誤った適用を目にします。ここではASILデコンポジションについて規格の記載から始め、正しく理解するための説明を行います。

---

• ASILデコンポジション2018/08/23 #55

• ASILデコンポジション(2)2018/08/27 #56

• ASILデコンポジションの論文2020/07/31 #283

• ASILデコンポジションの論文(2)2020/08/01 #284

• ネット上のASILデコンポジションの文章について2020/08/07 #287

• ネット上のASILデコンポジションの文章について(2)2020/08/08 #288

• ASILデコンポジション論文ward20122020/08/20 #298

• ASILデコンポジション論文ward2012(2)2020/08/21 #299

• ASILデコンポジション論文ward2012(3)2020/08/24 #300

• ASILデコンポジション論文ward2012(4)2020/08/25 #301

• ASILデコンポジション論文ward2012(5)2020/08/26 #302

• ASILデコンポジション論文ward2012(6)2020/08/27 #303

本ブログでは、PMHFを求めるために定量FTAを主に扱っています。FTAツールはSAPHIREを使用しており、FTAツールにより定量FTAを実施し、PMHFを求めるまでを記載しています。

---

• FTA2016/10/07 #20

• FTA(2)2016/10/21 #21

• FTA(3)2016/11/03 #22

• FTA(4)2016/11/09 #23

• FTA(5)2016/11/19 #24

• FTA(6)2016/12/04 #25

• FTA(7)2016/12/13 #26

• FTA(8)2016/12/20 #27

• FTA(9)2017/01/10 #28

• FTA(10)2017/01/20 #29

• FTA(11)2017/01/23 #30

• ISO 26262のFTAに関する論文2020/02/11 #201

• ISO 26262のFTAに関する論文(2)2020/02/12 #202

• ISO 26262のFTAに関する論文(3)2020/02/13 #203

• ISO 26262のFTAに関する論文(4)2020/02/14 #204

• ISO 26262のFTAに関する論文(5)2020/02/20 #205

• ISO 26262のFTAに関する論文(6)2020/02/21 #206

• ISO 26262のFTAに関する論文(7)2020/02/24 #207

• ISO 26262のFTAに関する論文(8)2020/02/25 #208

• ISO 26262のFTAに関する論文(9)2020/02/26 #209

• ISO 26262のFTAに関する論文(10)2020/02/27 #210

• ISO 12489のFault Tree駆動マルコフモデル2020/02/28 #211

• ISO 26262のFTAに関する論文(11)2020/03/02 #212

• ISO 26262のFTAに関する論文(12)2020/03/03 #213

• ISO 26262のFTAに関する論文(13)2020/03/04 #214

• ISO 26262のFTAに関する論文(14)2020/03/05 #215

• ISO 26262のFTAに関する論文(15)2020/03/06 #216

• ISO 26262のFTAに関する論文(16)2020/03/09 #217

• ISO 26262のFTAに関する論文(17)2020/03/10 #218

• ISO 26262のFTAに関する論文(18)2020/03/11 #219

• ASILデコンポジションの論文(2)2020/08/01 #284

• PMHF論文das20162020/08/28 #304

• PMHF論文das2016(2)2020/08/31 #305

• PMHF論文das2016(3)2020/09/01 #306

• PMHF論文das2016(4)2020/09/02 #307

• PMHF論文das2016(5)2020/09/03 #308

• PMHFの定量FTAによる見積り例2020/10/14 #323

Zynq UltraScale+という高性能FPGAを入手したので、その開発日記を記載しています。

---

• Zynq UltraScale+ MPSoC2018/04/28 #39

• Lチカの実装2018/05/07 #40

• Lチカの実装(2)2018/05/14 #41

• Lチカの実装(3)2018/05/21 #42

• Lチカの実装(4)2018/05/29 #43

• Lチカの実装(5)2018/06/05 #44

• Lチカの実装(6)2018/06/13 #45

• Lチカの実装(7)2018/06/20 #46

• Lチカの実装(8)2018/06/25 #47

• グラフィックディスプレイコントローラの設計2018/07/01 #48

• グラフィックディスプレイコントローラの設計(2)2018/07/16 #49

• グラフィックディスプレイコントローラの設計(3)2018/07/22 #50

• グラフィックディスプレイコントローラの設計(4)2018/07/30 #51

• グラフィックディスプレイコントローラの設計(5)2018/08/03 #52

• グラフィックディスプレイコントローラの設計(6)2018/08/07 #53

• サウンドコントローラの設計2018/08/20 #54

• サウンドコントローラの設計(2)2018/11/30 #74

• サウンドコントローラの設計(3)2018/12/10 #75

• サウンドコントローラの設計(4)2018/12/20 #76

• サウンドコントローラの設計(5)2018/12/28 #77

• サウンドコントローラの設計(6)2019/01/06 #78

• サウンドコントローラの設計(7)2019/01/16 #79

• Ultra96と拡張インタフェース2019/01/24 #80

• Ultra96とPMODインタフェース2019/01/27 #81

• Ultra96とPMODインタフェース(2)2019/01/28 #82

• Ultra96とPMODインタフェースのデバッグ2019/01/29 #83

• ジョイスティックとスイッチ入力装置2019/02/03 #84

• PMODスイッチインタフェース2019/02/05 #85

• Ultra96でインベーダゲーム2019/02/08 #86

• FPGAで機械学習2019/02/16 #87

• FPGAで機械学習(2)2019/02/20 #88

• FPGAで機械学習(3)2019/02/25 #89

• Neural NetworkをFPGAに実装する2019/03/01 #90

• Neural NetworkをFPGAに実装する(2)2019/03/05 #91

• Neural NetworkをFPGAに実装する(3)2019/03/21 #92

• PMODスイッチインタフェース(2)2019/03/24 #93

• FSMのcall, returnメカニズム2019/03/31 #94

• FSMのダイレクトリターン2019/04/04 #95

• PCBの完成2019/04/07 #96

• Ultra96とPMODのインタフェースPCBの改版2019/04/15 #97

• Ultra96とPMODのインタフェースPCBの改版(2)2019/06/09 #110

• Ultra96とPMODのインタフェースPCBの改版(3)2019/06/13 #111

• Qiitaに投稿しました2019/07/13 #128

• FIFO及びメモリコントローラの除去2019/07/22 #132

• グラフィックメモリの設計2019/07/23 #133

• グラフィックタイミング設計2019/07/24 #134

• グラフィックタイミング設計(2)2019/07/25 #135

• 68092019/07/26 #136

• 6809(2)2019/07/29 #137

• 6809サブシステム回路図2019/07/30 #138

• 6809デュアルCPUシステム2019/08/01 #139

• ROMからCOE2019/08/02 #140

• 6809の改造 - HALT端子の追加2019/08/05 #141

• 6809の改造 - HALT端子の追加(2)2019/08/06 #142

• 6809の改造 - HALT端子の追加(3)2019/08/08 #143

• メイン・サブシステムI/Oアドレスデコード2019/08/09 #144

• 6809の割込み動作2019/08/14 #148

• 6809の割込み動作(2)2019/08/15 #149

• 6809の割込み動作(3)2019/08/16 #150

• 6809の割込み動作(4)2019/08/19 #151

• 6809の割込み動作(5)2019/08/20 #152

• 6809の割込み動作(6)2019/08/21 #153

• 6809の割込み動作(7)2019/08/22 #154

• 6809の割込み動作(8)2019/08/23 #155

• 6809 IPの修正2019/09/27 #161

• 6809 IPの修正(2)2019/10/03 #162

• BSV(Bluespec SystemVerilog)2020/03/12 #220

• BSV(Bluespec SystemVerilog)(2)2020/03/30 #229

• BSV(Bluespec SystemVerilog)(3)2020/03/31 #230

• BSV(Bluespec SystemVerilog)(4)2020/04/01 #231

• BSV(Bluespec SystemVerilog)(5)2020/04/03 #232

• Emacs Verilog Mode2020/04/06 #233

• BSVの設計トライアル2020/04/07 #234

• BSVの設計トライアル(2)2020/04/08 #235

• BSVの設計トライアル(3)2020/04/09 #236

• BSVの設計トライアル(4)2020/04/10 #237

• BSVの設計トライアル(5)2020/04/13 #238

• BSVの設計トライアル(6)2020/04/14 #239

• BSVの設計トライアル(7)2020/04/15 #240

• BSVの設計トライアル(8)2020/04/16 #241

• BSVの設計トライアル(9)2020/04/17 #242

• BSVの設計トライアル(10)2020/04/20 #243

• BSVの設計トライアル(11)2020/04/21 #244

• BSVの設計トライアル(12)2020/04/22 #245

• BSVの設計トライアル(13)2020/04/23 #246

• BSVの設計トライアル(14)2020/04/24 #247

• BSVの設計トライアル(15)2020/04/27 #248

• BSVの設計トライアル(16)2020/04/28 #249

• BSVの設計トライアル(17)2020/04/29 #250

• BSVの設計トライアル(18)2020/04/30 #251

• BSVの設計トライアル(19)2020/05/01 #252

• BSVの設計トライアル(20)2020/05/04 #253

• BSVの設計トライアル(21)2020/05/11 #254

• Qiitaに投稿しました2020/05/12 #255

• Arty A7-35ボードへのSpace Inavdersの移植2020/06/03 #269

• Arty A7-35ボードへのSpace Inavdersの移植(2)2020/06/04 #270

• ゲームFSMとサウンドFSMの連携2020/06/05 #271

• RISC-Vの調査2020/06/09 #272

• RISC-Vの調査(2)2020/06/10 #273

• RISC-Vの調査(3)2020/06/11 #274

• RISC-Vの調査(4)2020/06/12 #275

• RISC-Vの調査(5)2020/06/15 #276

• RISC-Vの調査(6)2020/06/17 #277

• RISC-Vの調査(7)2020/06/18 #278

• RISC-Vの調査(8)2020/06/19 #279

• RISC-Vの調査(9)2020/06/22 #280

• インベーダーゲームのソースの研究2020/09/17 #318

• インベーダーゲームのソースの研究(2)2020/09/18 #319

FPGAのトライアルのためにUltra96ボードを入手しました。フルハード ウェアによりSpace Invadesを開発した記録を記載しています。その後Artyボードを入手したのでそれも追記しています。

---

• グラフィックディスプレイコントローラの設計(4)2018/07/30 #51

• グラフィックディスプレイコントローラの設計(5)2018/08/03 #52

• グラフィックディスプレイコントローラの設計(6)2018/08/07 #53

• サウンドコントローラの設計2018/08/20 #54

• サウンドコントローラの設計(2)2018/11/30 #74

• サウンドコントローラの設計(3)2018/12/10 #75

• サウンドコントローラの設計(4)2018/12/20 #76

• サウンドコントローラの設計(5)2018/12/28 #77

• サウンドコントローラの設計(6)2019/01/06 #78

• サウンドコントローラの設計(7)2019/01/16 #79

• Ultra96と拡張インタフェース2019/01/24 #80

• Ultra96とPMODインタフェース2019/01/27 #81

• Ultra96とPMODインタフェース(2)2019/01/28 #82

• Ultra96とPMODインタフェースのデバッグ2019/01/29 #83

• ジョイスティックとスイッチ入力装置2019/02/03 #84

• PMODスイッチインタフェース2019/02/05 #85

• Ultra96でインベーダゲーム2019/02/08 #86

• PMODスイッチインタフェース(2)2019/03/24 #93

• Ultra96とPMODのインタフェースPCBの改版(3)2019/06/13 #111

• Qiitaに投稿しました2019/07/13 #128

• FIFO及びメモリコントローラの除去2019/07/22 #132

• BSVの設計トライアル2020/04/07 #234

• BSVの設計トライアル(2)2020/04/08 #235

• BSVの設計トライアル(3)2020/04/09 #236

• BSVの設計トライアル(4)2020/04/10 #237

• BSVの設計トライアル(5)2020/04/13 #238

• BSVの設計トライアル(6)2020/04/14 #239

• BSVの設計トライアル(21)2020/05/11 #254

• Qiitaに投稿しました2020/05/12 #255

• Arty A7-35ボードへのSpace Inavdersの移植2020/06/03 #269

• Arty A7-35ボードへのSpace Inavdersの移植(2)2020/06/04 #270

• ゲームFSMとサウンドFSMの連携2020/06/05 #271

• インベーダーゲームのソースの研究2020/09/17 #318

• インベーダーゲームのソースの研究(2)2020/09/18 #319

Bluespec Inc.が2020年にBluespec SystemVerilog Compilerをオープンソース化しました。Bluespec SystemVerilogのトライアルを行ったのでそれを記します。

---

• BSV(Bluespec SystemVerilog)2020/03/12 #220

• BSV(Bluespec SystemVerilog)(2)2020/03/30 #229

• BSV(Bluespec SystemVerilog)(3)2020/03/31 #230

• BSV(Bluespec SystemVerilog)(4)2020/04/01 #231

• BSV(Bluespec SystemVerilog)(5)2020/04/03 #232

• Emacs Verilog Mode2020/04/06 #233

• BSVの設計トライアル2020/04/07 #234

• BSVの設計トライアル(2)2020/04/08 #235

• BSVの設計トライアル(3)2020/04/09 #236

• BSVの設計トライアル(4)2020/04/10 #237

• BSVの設計トライアル(5)2020/04/13 #238

• BSVの設計トライアル(6)2020/04/14 #239

• BSVの設計トライアル(7)2020/04/15 #240

• BSVの設計トライアル(8)2020/04/16 #241

• BSVの設計トライアル(9)2020/04/17 #242

• BSVの設計トライアル(10)2020/04/20 #243

• BSVの設計トライアル(11)2020/04/21 #244

• BSVの設計トライアル(12)2020/04/22 #245

• BSVの設計トライアル(13)2020/04/23 #246

• BSVの設計トライアル(14)2020/04/24 #247

• BSVの設計トライアル(15)2020/04/27 #248

• BSVの設計トライアル(16)2020/04/28 #249

• BSVの設計トライアル(17)2020/04/29 #250

• BSVの設計トライアル(18)2020/04/30 #251

• BSVの設計トライアル(19)2020/05/01 #252

• BSVの設計トライアル(20)2020/05/04 #253

• BSVの設計トライアル(21)2020/05/11 #254

• Qiitaに投稿しました2020/05/12 #255

• Arty A7-35ボードへのSpace Inavdersの移植2020/06/03 #269

• Arty A7-35ボードへのSpace Inavdersの移植(2)2020/06/04 #270

• RISC-Vの調査2020/06/09 #272

• RISC-Vの調査(2)2020/06/10 #273

• RISC-Vの調査(3)2020/06/11 #274

• RISC-Vの調査(4)2020/06/12 #275

• RISC-Vの調査(5)2020/06/15 #276

• RISC-Vの調査(6)2020/06/17 #277

• RISC-Vの調査(7)2020/06/18 #278

• RISC-Vの調査(8)2020/06/19 #279

• RISC-Vの調査(9)2020/06/22 #280

• インベーダーゲームのソースの研究2020/09/17 #318