2
2

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?

AUTOSAR CountdownAdvent Calendar 2022

Day 15

セーフウェア、ナンシー・G・レブソン 安全(47)

Last updated at Posted at 2021-08-13

今まで買ってよかった技術書を紹介しよう!
https://qiita.com/official-events/d409f91fc8b9b44cefb4
参加記事です。

人生で影響を受けた本100冊。Youtube(3)
https://qiita.com/kaizen_nagoya/items/16af53acbb147a94172e

安全分析の具体例として、著者の経験豊富なことは大事。
経験を体系化することも大事だが、経験のない人が同じ枠組みで考えても駄目な例かもしれない。

JAXA/IPA クリティカルソフトウェアワークショップ WOCS言語関連発表(改定版)
https://qiita.com/kaizen_nagoya/items/4789832baf494cb74626

jAXAと共同研究していたナンシー・G・レブソンを招待講演などで話をしてもらった。

<この項は書きかけです。順次追記します。>
This article is not completed. I will add some words in order.

95. セーフウェア

安全・安心なシステムとソフトウェアを目指して, 2009/10, Nancy Leveson/ナンシー・G・レブソン
510N2mNJd4L._SX393_BO1,204,203,200_.jpg
https://www.amazon.co.jp/dp/479811684X/
https://bookmeter.com/books/269182
https://booklog.jp/item/1/479811684X

安全に関する基本的な文献。
softwareが安全にどう貢献できるかを示そうとしている。
原著はかなり前に出ているが、現在でも内容は新鮮である。
過去の失敗を教訓として生かしていないかが分かる。
SAFewareという、Hardware, Softwareとは視点の違う論点を提言しているという点において、貴重な本である。
項目としては、障害分析としてIECの国際規格にもなっている
FTA(Fault tree analysis)
FMEA(failure modes and efects analysis)
なども紹介している。
HAZOP(hazard and operability study)も重要だと思われる。
日本は、過剰品質であるという話があった。
それは、売り方の問題で、作り方の問題ではないかもしれない。
過剰分析という現象を巻き起こすかもしれないが、
その結果をうまく売るこめればよいのではないか。
全体を見渡したRISK管理で対応するとよいかもしれない。

ナンシー・G・レブソン の課題は、JAXAの報告を含んでいる次の資料にも現れている。

93. プロセス改善ナビゲーションガイド ベストプラクティス編

情報処理推進機構ソフトウェアエンジニアリングセンター
41M41TbDThL._SX298_BO1,204,203,200_.jpg
https://www.ipa.go.jp/files/000005129.pdf
https://www.amazon.co.jp/dp/4274501752/
https://bookmeter.com/books/349562
https://booklog.jp/item/1/4274501752

10箇所の改善事例を取り上げている。
この改善事例をどうやって活用するとよいかはその組織の状況によるかもしれない。
教育機関に対して、ソフトウェア技術教育として、How-TO(ハウツー)を教えて欲しいという要請がしばしばある。
教育でWhat(何)を知識として教えてもらっても、どうやればよいかが分からないので、無駄な知識として廃棄されていくことになるそうだ。(場合によっては人も含めて)
本書では、JAXAの事例が一番役立つと感じた。
必要な技術に関する話題も多く、幅広い内容になっている。
プログラマとして共感したのは住友電工の例だ。
ジャスティックは、主導者の意見がとても印象的だったが、記事にうまく反映できているかはやや心配な気がする。
富士通STの例は、名古屋アジャイル勉強会に参加しないと分からないかもしれない。
本書で記載している用語を一覧にしてみれば、どういう技術を知っていないと、そもそも改善ができないかが分かるかもしれない。
アジャイル宣言と照らし合わせてみたら、12のうち8はほぼ全部の組織で実行している事だが、
1つは半分くらい、残りの3つは、あまりはっきりしなかった。
原因としては、ソースコードの書き手に着目している事例が1つだけだからかもしれない。
ハウツーは、現場、現地、現物によって違うので、一律に教えることができない。
教えるときは、ある一つの事例でのハウツーを示すことになる。一つの事例を鵜呑みにして、異なる現場で、習ったハウツーをそのまま実践しようとする人がいる。
それでは、いい迷惑だと思うのは現場の人達だけかもしれない。また、事例集にありがちなことは、本が出たときには、その活動をしていた組織では活動が下火になってしまっていることがある。
本書の事例を見たら、現状ではどのような展開になっているか、機会があれば調べてみるとよいかもしれない。
少なくともJAXAでは、WOCSというシンポジウムを開いて、その成果を継続して改善しようとしている。
ps.
取り上げられている富士通STの会議室で名古屋アジャイル勉強会が開催されたときに、富士通プライムソフトの改善のポスターが今でも貼ってあることを確認した。
時間とともに、ハウツーであるやり方は変わっていくが、本質的な改善の火が消えていないことが大切だと感じた。
すべての事例の火が消えていないかどうかを確認することは難しいが、一つでも消えていなければよしとしてはいけないでしょうか。
名古屋アジャイル勉強会に参加すると、その後が分かるかもしれない。

JAXAの例で、不十分だと感じたのがHAZOP.
HAZOPは、どんな対象にも適用できる抽象的な方法論。
そのため、ここに適用しなくてもいいというところを作ったら、そこが抜け漏れになる可能性がある。
ナンシー・G・レブソンは、HAZOPをより具体的な用語にしたことによって効率性を狙おうとしていた。

96. Hazop & Hazan

Identifying and Assessing Process Industry Hazards, Fouth Edition 1999/9, Trevor A. Kletz
[41Q0wns-YdL._SX312_BO1,204,203,200_.jpg
https://www.amazon.co.jp/dp/1560328584/
https://bookmeter.com/books/15569824
https://booklog.jp/item/1/B07CKHHWFR

なかなかHAZOPのよい本が見つかりませんでした。
本書は英語の論文の参考文献からみつけました。
よんでみたらいいことが書いてありました。
視点として、いくつかの立場に限定した見解もあったので、より幅広い見解から、見直しをし、
一人HAZOPを推奨するにあたって,参考文献とさせていただきました。

大人の資料を読んでも、なんか投げやりな感じがして、子供向け資料を作った。

100. ちょけねこ たんじょうび の おくりもの

ちょけむさ, @kaizen_nagoya
https---qiita-image-store.s3.amazonaws.com-0-51423-891996fe-7680-78b9-505a-df68594f403a.jpeg
https://qiita.com/kaizen_nagoya/items/fc9675686c229f7a155e
https://bookmeter.com/books/9820154

LINE スタンプの ちょけねこ が、おともだちの誕生日の贈り物を考えます。11のまほうの ことば をつかって、おともだちに 贈り物を手渡しすることができました。よかったね。現在、量産試作中。おともだち に 見てもらって公開版を作成予定。ひとまず表紙は完成したので掲載しました。ありがとうございます。裏表紙が塗り絵になりました。また、小さい子でも文字が大きく、読みやすいようにA5版からB5版におおきくしました。

新人

マネージャ・リーダーの私にとって有益な知見が得られた書籍
https://qiita.com/kazuo_reve/items/6976029e72763ea73245#_reference-df08fb0b4ee7eedaec9d

新人の方によく展開している有益な情報
https://qiita.com/kazuo_reve/items/d1a3f0ee48e24bba38f1

新人(学生)を指導するよりも新人(学生)に指導してもらった方が効率的。仮説(139)
https://qiita.com/kaizen_nagoya/items/db993b1536055029f7c8

参考資料(reference)

第11回 TOPPERS活用アイデア・アプリケーション開発コンテスト
https://qiita.com/kaizen_nagoya/items/91162a9b258a2a06f5e0

ひょっとしたら、この部門への投稿の表題を変えて、コンテストに応募するのも手かも。
TOPPERS のAUTOSARへの貢献(更新中), AUTOSAR(15)
https://qiita.com/kaizen_nagoya/items/d363cf06e2176207b391

AUTOSARとSimulink: Adaptive Platform, Classic Platformとマルチコア対応を含めた共通化を目指して
https://qiita.com/kaizen_nagoya/items/d613b0b14bfd91989a13

TOPPERS の AUTOSAR への貢献 II (改定中)
https://qiita.com/kaizen_nagoya/items/4614c04cfff70a241f77

人生で影響を受けた本100冊。Youtube(3)
https://qiita.com/kaizen_nagoya/items/16af53acbb147a94172e

今まで書いてよかった技術書を紹介しよう!
https://qiita.com/kaizen_nagoya/items/d31b7c158541d345a7ef

あなたもdocker, 私もdocker
https://qiita.com/kaizen_nagoya/items/8f2746f10f30b575d0a8

関連資料

' @kazuo_reve 私が効果を確認した「小川メソッド」
https://qiita.com/kazuo_reve/items/a3ea1d9171deeccc04da

' @kazuo_reve 新人の方によく展開している有益な情報
https://qiita.com/kazuo_reve/items/d1a3f0ee48e24bba38f1

' @kazuo_reve Vモデルについて勘違いしていたと思ったこと
https://qiita.com/kazuo_reve/items/46fddb094563bd9b2e1e

Engineering Festa 2024前に必読記事一覧

登壇直後版 色使い(JIS安全色) Qiita Engineer Festa 2023〜私しか得しないニッチな技術でLT〜 スライド編 0.15
https://qiita.com/kaizen_nagoya/items/f0d3070d839f4f735b2b

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

逆も真:社会人が最初に確かめるとよいこと。OSEK(69)、Ethernet(59)
https://qiita.com/kaizen_nagoya/items/39afe4a728a31b903ddc

統計の嘘。仮説(127)
https://qiita.com/kaizen_nagoya/items/63b48ecf258a3471c51b

自分の言葉だけで論理展開できるのが天才なら、文章の引用だけで論理展開できるのが秀才だ。仮説(136)
https://qiita.com/kaizen_nagoya/items/97cf07b9e24f860624dd

参考文献駆動執筆(references driven writing)・デンソークリエイト編
https://qiita.com/kaizen_nagoya/items/b27b3f58b8bf265a5cd1

「何を」よりも「誰を」。10年後のために今見習いたい人たち
https://qiita.com/kaizen_nagoya/items/8045978b16eb49d572b2

Qiitaの記事に3段階または5段階で到達するための方法
https://qiita.com/kaizen_nagoya/items/6e9298296852325adc5e

出力(output)と呼ばないで。これは状態(state)です。
https://qiita.com/kaizen_nagoya/items/80b8b5913b2748867840

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

あなたは「勘違いまとめ」から、勘違いだと言っていることが勘違いだといくつ見つけられますか。人間の間違い(human error(125))の種類と対策
https://qiita.com/kaizen_nagoya/items/ae391b77fffb098b8fb4

プログラマの「プログラムが書ける」思い込みは強みだ。3つの理由。仮説(168)統計と確率(17) , OSEK(79)
https://qiita.com/kaizen_nagoya/items/bc5dd86e414de402ec29

出力(output)と呼ばないで。これは状態(state)です。
https://qiita.com/kaizen_nagoya/items/80b8b5913b2748867840

これからの情報伝達手段の在り方について考えてみよう。炎上と便乗。
https://qiita.com/kaizen_nagoya/items/71a09077ac195214f0db

ISO/IEC JTC1 SC7 Software and System Engineering
https://qiita.com/kaizen_nagoya/items/48b43f0f6976a078d907

アクセシビリティの知見を発信しよう!(再び)
https://qiita.com/kaizen_nagoya/items/03457eb9ee74105ee618

統計論及確率論輪講(再び)
https://qiita.com/kaizen_nagoya/items/590874ccfca988e85ea3

読者の心をグッと惹き寄せる7つの魔法
https://qiita.com/kaizen_nagoya/items/b1b5e89bd5c0a211d862

@kazuo_reve 新人の方によく展開している有益な情報」確認一覧
https://qiita.com/kaizen_nagoya/items/b9380888d1e5a042646b

ソースコードで議論しよう。日本語で議論するの止めましょう(あるプログラミング技術の議論報告)
https://qiita.com/kaizen_nagoya/items/8b9811c80f3338c6c0b0

脳内コンパイラの3つの危険
https://qiita.com/kaizen_nagoya/items/7025cf2d7bd9f276e382

心理学の本を読むよりはコンパイラ書いた方がよくね。仮説(34)
https://qiita.com/kaizen_nagoya/items/fa715732cc148e48880e

NASAを超えるつもりがあれば読んでください。
https://qiita.com/kaizen_nagoya/items/e81669f9cb53109157f6

データサイエンティストの気づき!「勉強して仕事に役立てない人。大嫌い!!」『それ自分かも?』ってなった!!!
https://qiita.com/kaizen_nagoya/items/d85830d58d8dd7f71d07

「ぼくの好きな先生」「人がやらないことをやれ」プログラマになるまで。仮説(37) 
https://qiita.com/kaizen_nagoya/items/53e4bded9fe5f724b3c4

なぜ経済学徒を辞め、計算機屋になったか(経済学部入学前・入学後・卒業後対応) 転職(1)
https://qiita.com/kaizen_nagoya/items/06335a1d24c099733f64

プログラミング言語教育のXYZ。 仮説(52)
https://qiita.com/kaizen_nagoya/items/1950c5810fb5c0b07be4

【24卒向け】9ヶ月後に年収1000万円を目指す。二つの関門と三つの道。
https://qiita.com/kaizen_nagoya/items/fb5bff147193f726ad25

「【25卒向け】Qiita Career Meetup for STUDENT」予習の勧め
https://qiita.com/kaizen_nagoya/items/00eadb8a6e738cb6336f

大学入試不合格でも筆記試験のない大学に入って卒業できる。卒業しなくても博士になれる。
https://qiita.com/kaizen_nagoya/items/74adec99f396d64b5fd5

全世界の不登校の子供たち「博士論文」を書こう。世界子供博士論文遠隔実践中心 安全(99)
https://qiita.com/kaizen_nagoya/items/912d69032c012bcc84f2

小川メソッド 覚え(書きかけ)
https://qiita.com/kaizen_nagoya/items/3593d72eca551742df68

DoCAP(ドゥーキャップ)って何ですか?
https://qiita.com/kaizen_nagoya/items/47e0e6509ab792c43327

views 20,000越え自己記事一覧
https://qiita.com/kaizen_nagoya/items/58e8bd6450957cdecd81

Views1万越え、もうすぐ1万記事一覧 最近いいねをいただいた213記事
https://qiita.com/kaizen_nagoya/items/d2b805717a92459ce853

自己記事一覧

Qiitaで逆リンクを表示しなくなったような気がする。時々、スマフォで表示するとあらわっることがあり、完全に削除したのではなさそう。

4月以降、せっせとリンクリストを作り、統計を取って確率を説明しようとしている。
2025年2月末を目標にしている。

物理記事 上位100
https://qiita.com/kaizen_nagoya/items/66e90fe31fbe3facc6ff

量子(0) 計算機, 量子力学
https://qiita.com/kaizen_nagoya/items/1cd954cb0eed92879fd4

数学関連記事100
https://qiita.com/kaizen_nagoya/items/d8dadb49a6397e854c6d

統計(0)一覧
https://qiita.com/kaizen_nagoya/items/80d3b221807e53e88aba

図(0) state, sequence and timing. UML and お絵描き
https://qiita.com/kaizen_nagoya/items/60440a882146aeee9e8f

品質一覧
https://qiita.com/kaizen_nagoya/items/2b99b8e9db6d94b2e971

言語・文学記事 100
https://qiita.com/kaizen_nagoya/items/42d58d5ef7fb53c407d6

医工連携関連記事一覧
https://qiita.com/kaizen_nagoya/items/6ab51c12ba51bc260a82

自動車 記事 100
https://qiita.com/kaizen_nagoya/items/f7f0b9ab36569ad409c5

通信記事100
https://qiita.com/kaizen_nagoya/items/1d67de5e1cd207b05ef7

日本語(0)一欄
https://qiita.com/kaizen_nagoya/items/7498dcfa3a9ba7fd1e68

英語(0) 一覧
https://qiita.com/kaizen_nagoya/items/680e3f5cbf9430486c7d

転職(0)一覧
https://qiita.com/kaizen_nagoya/items/f77520d378d33451d6fe

仮説(0)一覧(目標100現在40)
https://qiita.com/kaizen_nagoya/items/f000506fe1837b3590df

音楽 一覧(0)
https://qiita.com/kaizen_nagoya/items/b6e5f42bbfe3bbe40f5d

@kazuo_reve 新人の方によく展開している有益な情報」確認一覧
https://qiita.com/kaizen_nagoya/items/b9380888d1e5a042646b

Qiita(0)Qiita関連記事一覧(自分)
https://qiita.com/kaizen_nagoya/items/58db5fbf036b28e9dfa6

鉄道(0)鉄道のシステム考察はてっちゃんがてつだってくれる
https://qiita.com/kaizen_nagoya/items/26bda595f341a27901a0

安全(0)安全工学シンポジウムに向けて: 21
https://qiita.com/kaizen_nagoya/items/c5d78f3def8195cb2409

一覧の一覧( The directory of directories of mine.) Qiita(100)
https://qiita.com/kaizen_nagoya/items/7eb0e006543886138f39

Ethernet 記事一覧 Ethernet(0)
https://qiita.com/kaizen_nagoya/items/88d35e99f74aefc98794

Wireshark 一覧 wireshark(0)、Ethernet(48)
https://qiita.com/kaizen_nagoya/items/fbed841f61875c4731d0

線網(Wi-Fi)空中線(antenna)(0) 記事一覧(118/300目標)
https://qiita.com/kaizen_nagoya/items/5e5464ac2b24bd4cd001

OSEK OS設計の基礎 OSEK(100)
https://qiita.com/kaizen_nagoya/items/7528a22a14242d2d58a3

Error一覧 error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

++ Support(0) 
https://qiita.com/kaizen_nagoya/items/8720d26f762369a80514

Coding(0) Rules, C, Secure, MISRA and so on
https://qiita.com/kaizen_nagoya/items/400725644a8a0e90fbb0

coding (101) 一覧を作成し始めた。omake:最近のQiitaで表示しない5つの事象
https://qiita.com/kaizen_nagoya/items/20667f09f19598aedb68

プログラマによる、プログラマのための、統計(0)と確率のプログラミングとその後
https://qiita.com/kaizen_nagoya/items/6e9897eb641268766909

なぜdockerで機械学習するか 書籍・ソース一覧作成中 (目標100)
https://qiita.com/kaizen_nagoya/items/ddd12477544bf5ba85e2

言語処理100本ノックをdockerで。python覚えるのに最適。:10+12
https://qiita.com/kaizen_nagoya/items/7e7eb7c543e0c18438c4

プログラムちょい替え(0)一覧:4件
https://qiita.com/kaizen_nagoya/items/296d87ef4bfd516bc394

Python(0)記事をまとめたい。
https://qiita.com/kaizen_nagoya/items/088c57d70ab6904ebb53

官公庁・学校・公的団体(NPOを含む)システムの課題、官(0)
https://qiita.com/kaizen_nagoya/items/04ee6eaf7ec13d3af4c3

「はじめての」シリーズ  ベクタージャパン 
https://qiita.com/kaizen_nagoya/items/2e41634f6e21a3cf74eb

AUTOSAR(0)Qiita記事一覧, OSEK(75)
https://qiita.com/kaizen_nagoya/items/89c07961b59a8754c869

プログラマが知っていると良い「公序良俗」
https://qiita.com/kaizen_nagoya/items/9fe7c0dfac2fbd77a945

LaTeX(0) 一覧 
https://qiita.com/kaizen_nagoya/items/e3f7dafacab58c499792

自動制御、制御工学一覧(0)
https://qiita.com/kaizen_nagoya/items/7767a4e19a6ae1479e6b

Rust(0) 一覧 
https://qiita.com/kaizen_nagoya/items/5e8bb080ba6ca0281927

100以上いいねをいただいた記事16選
https://qiita.com/kaizen_nagoya/items/f8d958d9084ffbd15d2a

小川清最終講義、最終講義(再)計画, Ethernet(100) 英語(100) 安全(100)
https://qiita.com/kaizen_nagoya/items/e2df642e3951e35e6a53

<この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。>
This article is an individual impression based on my individual experience. It has nothing to do with the organization or business to which I currently belong.

文書履歴(document history)

ver. 0.01 初稿  20240808

最後までおよみいただきありがとうございました。

いいね 💚、フォローをお願いします。

Thank you very much for reading to the last sentence.

Please press the like icon 💚 and follow me for your happy life.

2
2
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
2
2

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?