想定外を減らすために
名古屋市工業研究所・岐阜大学非常勤講師 小川清
想定外は、技術者としては致命的だと思っています。FTA/FMEA/HAZOP などの安全分析手法は、大規模事故の想定外を減らすための有効な手段です。しかし、多くの事故調査報告書で、FTA を見かけることはありますが、FMEA, HAZOP はなかなか見かけません。FMEA, HAZOP の結果が機密事項を含む可能性が高いことが推測できます。しかし、再発防止のためには、機密に触れない程度の抽象度で公開することが大事だと思います。SWEST に参加して来て、顕著な成果は、第10回のSTARC RTL 設計スタイルガイドの演習にありました。規則の優先順位付けを行いました。ルネサス、富士通、中央製作所と勉強会を開催してきて、ガイドの規則、推奨の区分に疑問に思い、参加者の方に優先順位をつけなおしてもらいました。その結果をもとに、学会発表を重ね、結果として規則を改訂することができました。また、半田付け大会を第10回、第11回に開催し、HAZOP の演習を第12回、第13回、第15回に開催し、TOPPERS/SSP カーネルソース勉強会を第16回、第17回に開催しました。どれも手を動かす演習で、技術の一番核心的な内容を実施できてきたと思います。HAZOP では、MISRA-C, RTL 設計スタイルガイド、万能設計(universal design)、国際単位系、TRIZ などと組み合わせることにより複数原因故障にも対応しています。また一人HAZOP や3人ごとに1時間づつ人を入れ替えて3回実施する方法も展開しています。時間がかかり高価だとNASA が指摘している弱点を改善しています。
今回提案した企画は、確率論及統計論輪講というむつかしそうな題名になっています。日頃、仕事の量・期間・金額の見積りが不得意だという話をよくお聞きします。FTA, FMEA, HAZOP を実施しても、その発生確率の見積りが根拠を決めかねているという話もよくお聞きします。これらは、見た目の因果関係と、物理的、論理的、社会的因果関係の食い違いを、確率分布・時定数を使って解析していないからかもしれません。NSPICE.NET で、見積り研究会に参加していますが、見積りの肝は確率。作業診断の評価でも、リスク管理プロセス、プロジェクト管理プロセスなど確率と見積りが大事。また過去の与件を蓄積して統計処理していないと、根拠が希薄だと感じることがわかります。
第4 回,組み込みソフトウェアにおけるソフトウェアプロセス改善:SPI(CMM/SPA) , 小川清, 2003
第6 回*, 組み込みシステムの試験と検証-- OS、コンパイラ、ネットワーク,今井和彦,小川清, 2005
第7 回*, 子供向けコンピュータ教育の教材作成,小川清,2006
第8 回, MISRA とSEC のコーディングガイドライン ,宇野結,2007
第10 回,
1.スタイルガイドを用いたVerilog 教育の成果と課題,小川清
2.組込み関連国際規格の動向, 小川清
3.Verilog スタイルガイドこんなコードもコンパイルエラーにならない,小川 清,
4. 付録ボードを実際に動かしてみる, 江崎雅康, 2009
第11 回,
1.80 分で分かるモデル検証,
2. 組込みシステム開発に関連する国際規格 - HAZOP を中心に, 小川清
3. MISRA-C/C++およびRTL 設計スタイルガイドの組込み技術者教育への展開, 井川清2010
4. Interface 付録ボードを実際に動かしてみる, 江崎雅康
第12 回, 1. 実践HAZOP 実習, 2. 実践形式手法 Event-B, 小川 清,2011
第13 回, 想定外をなくす 実践安全分析(HAZOP) 2.0,小川清,2012
第15 回*, HAZOP, 小川清,2013
第16 回*, 再現試験を実施できるようなソフトウェア試験技術者への道,小川清,2014
カーネルソースの歩き方 TOPEPRS/SSP 編, 高橋和浩
第17 回*,カーネルソースの歩き方 RaspberryPi 演習, 高橋和浩,2015
第18 回*
1,57577,31 文字抄録 – またの名は短歌(和歌),
2. 伏見康治「確率論及統計論」輪講,2016