自動車用ソフトウェアプラットフォーム開発事業で人材育成を担当した。安全(66)

自動車用ソフトウェアプラットフォーム開発事業で人材育成を担当した。
https://researchmap.jp/blogs/blog_entries/view/78772/8688ea0d5819d3ba7314e2e91859d44f?frame_id=416173

<div>数年前(2005年から200９年），自動車用ソフトウェアプラットフォーム開発事業で人材育成を担当した。</div>
<div>設計，開発が主な事業です。道具、手法の網羅と技能習得を確実にすることを目指しました。</div>
<div>&nbsp;</div>
<div>大勢の方々の講義，演習などを企画し，技能判定などを実施しました。<br />機密事項のため実作業を一緒に出来ない場合は，講師をしていただいて技能判定に生かす。<br />講師，受講者の両方の技能判定をするのが鍵。<br />公開できることは積極的に公開していただくためクリティカルソフトウェアワークショップ(WOCS),安全工学シンポジウム（未記入）で発表していただきました。<br /><br />主な講師一覧</div>
<p><span style="font-size: xx-small;"><span style="font-size: 8pt;">内部講師<br /></span></span><span style="font-size: 8pt;">所属　　　　　　氏名　　分野　　　　　WOCSでの関連発表（1つ）, 安全工学シンポジウム(1つ）<br style="font-size: small;" /><span style="font-size: xx-small;">名古屋大学　　　　　高田広章　Operating system:　<a href="http://sec.ipa.go.jp/events/2012/wocs/20120928b-7.pdf">組込みシステムにおける並列型状態遷移図に基づく安全分析手法</a></span></span><span style="font-size: 10.833333015441895px; line-height: 12.499999046325684px;">,&nbsp;</span><a style="font-size: x-small; line-height: 12.499999046325684px;" href="http://sec.ipa.go.jp/events/2012/20120927.html">10thWOCS</a><span style="font-size: 8pt;"><span style="font-size: 8pt;"><br style="font-size: small;" /><span style="font-size: xx-small;">産業総合研究所　　　水口大知　分析と手法:　</span><a href="http://sec.ipa.go.jp/users/seminar/2011/wocs2011_a2_3.pdf">簡易な形式仕様記述と状態遷移表を併用した要求仕</a></span></span></p>
<div><a href="http://sec.ipa.go.jp/users/seminar/2011/wocs2011_a2_3.pdf">様のレビュー方法</a><span style="line-height: 12.48611068725586px;">,&nbsp;</span><a style="font-size: x-small; line-height: 12.48611068725586px;" href="http://sec.ipa.go.jp/events/2011/20110118.html">8thWOCS</a></div>
<p><span style="font-size: 8pt;"><span style="font-size: xx-small;">筑波大学　　　　　　長谷部浩二　論理手法:　<a href="http://sec.ipa.go.jp/users/seminar/2011/a201.pdf">Model Checking of Services Workflow Reconfiguration: a Perspective on Dependability</a></span><span style="line-height: 12.48611068725586px;">,&nbsp;</span><a style="font-size: x-small; line-height: 12.48611068725586px;" href="http://sec.ipa.go.jp/events/2011/20111117.html">9thWOCS</a><span style="font-size: xx-small;"><br /></span><span style="font-size: xx-small;">トヨタ自動車　　　　川名茂之　ISO 26262:　<span style="line-height: 12.499999046325684px;">講演資料非公開</span></span><span style="line-height: 12.48611068725586px;">,&nbsp;</span><a style="font-size: x-small; line-height: 12.48611068725586px;" href="http://sec.ipa.go.jp/events/2011/20110118.html">8thWOCS</a><br style="font-size: small;" /><span style="font-size: xx-small;">北海道立工業試験場　堀武司　B Method, Event-B:　<span style="line-height: 12.499999046325684px;"><a href="http://sec.ipa.go.jp/events/2012/wocs/20120928b-6.pdf">Bメソッドによる組込みソフトウェア開発の品質改善効果と開発コストの評価</a></span></span><span style="line-height: 12.499999046325684px;">,&nbsp;</span><a style="font-size: x-small; line-height: 12.499999046325684px;" href="http://sec.ipa.go.jp/events/2012/20120927.html">10thWOCS</a><br style="font-size: small;" /><span style="font-size: xx-small;">ルネサステクノロジー藤沢行雄　Flex-Ray:</span><br style="font-size: small;" /><span style="font-size: xx-small;">アイシンAW　　　　 久保孝行　MatLab関連ツール: &nbsp;<span style="line-height: 12.499999046325684px;"><a href="http://sec.ipa.go.jp/users/seminar/2011/a101a.pdf">状態遷移の種類と形式検証の使いどころ</a>,&nbsp;<a href="http://sec.ipa.go.jp/events/2011/20111117.html">9thWOCS</a></span></span><br style="font-size: small;" /><span style="font-size: xx-small;">東海理化　　　　　　足立 秀和　手法の比較:　<a href="http://sec.ipa.go.jp/users/seminar/2011/a203.pdf">モデルベース開発導入へのチャレンジ　～単体コード検証への適用による導入の加速～</a></span><span style="line-height: 12.48611068725586px;">,&nbsp;</span><a style="font-size: x-small; line-height: 12.48611068725586px;" href="http://sec.ipa.go.jp/events/2011/20111117.html">9thWOCS</a><span style="font-size: xx-small;"><br />アイシン精機　　　　間瀬順一　実証試験,なぜなぜ分析:<br /></span><span style="font-size: xx-small;">アドヴィックス　河野文昭　改善,なぜなぜ分析:　</span><a style="font-size: 8pt;" href="http://sec.ipa.go.jp/events/2012/wocs/20120928a-8.pdf">セーフティクリティカルシステムにおけるＳＰＩＣＥの活用方法と機能安全への適用</a><span style="line-height: 12.499999046325684px;">,&nbsp;</span><a style="font-size: x-small; line-height: 12.499999046325684px;" href="http://sec.ipa.go.jp/events/2012/20120927.html">10thWOCS</a><br style="font-size: small;" /><span style="font-size: xx-small;">東海ソフト　　　　　岡村真吾,服部 智幸　UML, VDM:</span><br style="font-size: small;" /><span style="font-size: xx-small;">株式会社ヴィッツ　　　　　森川聡久, 水野智仁　人材育成，品質管理: &nbsp;</span><br style="font-size: small;" /><span style="font-size: xx-small;"><span style="font-size: 8pt;">株式会社ヴィッツ　　　　　大西 秀一　分析と手法:</span><br /></span><span style="font-size: xx-small;">株式会社ヴィッツ 　鵜飼　敬幸　道具:　</span><a style="font-size: 8pt;" href="http://sec.ipa.go.jp/users/seminar/2011/b103.pdf">TOPPERS/SSPへの組込みコンポーネントシステム適用における設計情報の可視化と抽象化</a><span style="line-height: 12.48611068725586px;">,&nbsp;</span><a style="font-size: x-small; line-height: 12.48611068725586px;" href="http://sec.ipa.go.jp/events/2011/20111117.html">9thWOCS</a><br style="font-size: small;" /><span style="font-size: xx-small;">サニー技研　　　　　</span><span style="color: #222222;">尾仲 洋和</span><span style="font-size: xx-small;">　ETSS:　　　　　　<a href="http://sec.ipa.go.jp/events/2012/wocs/20120928a-2.pdf">中小企業における機能安全対応への取り組み</a>,&nbsp;<a href="http://sec.ipa.go.jp/events/2012/20120927.html">10thWOCS</a><br /></span><span style="font-size: xx-small;">サニー技研　　　　　中本 加那, 米田 真之　SPINなど:　<span style="line-height: 12.499999046325684px;"><a href="http://sec.ipa.go.jp/users/seminar/2011/wocs2011_a2_2.pdf">中小企業の形式手法への取り組み</a>,&nbsp;<a href="http://sec.ipa.go.jp/events/2011/20110118.html">8thWOCS</a></span></span><br style="font-size: small;" /><span style="font-size: xx-small;">名古屋市工業研究所　斉藤直希　Z，Uppaal: &nbsp;<span style="line-height: 12.499999046325684px;">HAZOPによるTOPPERS/SSPの分析</span></span><span style="line-height: 12.48611068725586px;">,&nbsp;</span><a style="font-size: x-small; line-height: 12.48611068725586px;" href="http://sec.ipa.go.jp/events/2011/20111117.html">9thWOCS</a><br style="font-size: small;" /><span style="font-size: xx-small;">名古屋市工業研究所　小川清　国際規格*:　</span><a href="http://sec.ipa.go.jp/users/seminar/2011/wocs2011_a1_3.pdf"><span style="line-height: 12.499999046325684px;">一人HAZOPを組み合わせた効率的な分析作業</span></a><span style="line-height: 12.48611068725586px;">,&nbsp;</span><a style="line-height: 12.48611068725586px;" href="http://sec.ipa.go.jp/events/2011/20110118.html">8thWOCS</a><br style="font-size: small;" /><br style="font-size: small;" /><span style="font-size: xx-small;">外部講師</span><br style="font-size: small;" /></span></p>
<div style="font-size: small;"><span style="font-size: 8pt;">日本機能安全　吉岡律夫　安全計画:</span></div>
<div style="font-size: small;"><span style="font-size: 8pt;">日本機能安全　川原卓也　安全分析(FTA,FMEA,HAZOP): &nbsp;<span style="font-size: xx-small;"><span style="line-height: 13.333333015441895px;">想定外事象と潜在リスク分析</span></span><span style="line-height: 12.48611068725586px;">,&nbsp;</span><a style="font-size: x-small; line-height: 12.48611068725586px;" href="http://sec.ipa.go.jp/events/2011/20111117.html">9thWOCS</a></span></div>
<p><span style="font-size: 8pt;">スパークスシステムズ　河野岳史　UML:<br />株式会社フォーマルテック　早水公二 SMV:　<a href="http://sec.ipa.go.jp/users/seminar/2011/a202.pdf">モデル検査の適用プロセスの提案</a><span style="line-height: 12.48611068725586px;">,&nbsp;</span><a style="font-size: x-small; line-height: 12.48611068725586px;" href="http://sec.ipa.go.jp/events/2011/20111117.html">9thWOCS</a><br />キャッツ　今井良和　道具:&nbsp;<a href="http://sec.ipa.go.jp/users/seminar/2011/b102.pdf">組込み製品のユーザ視点の信頼性/品質向上に向けた取組み</a><span style="line-height: 12.48611068725586px;">,&nbsp;</span><a style="font-size: x-small; line-height: 12.48611068725586px;" href="http://sec.ipa.go.jp/events/2011/20111117.html">9thWOCS</a><br /></span><br />＜書きかけです。順次追記します。＞</p>

<この項は書きかけです。順次追記します。>
This article is not completed. I will add some words in order.
## 自己参照
物理記事　上位100
https://qiita.com/kaizen_nagoya/items/66e90fe31fbe3facc6ff

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

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

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

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

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

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

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

日本語（０）一欄
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）安全工学シンポジウムに向けて: 21
https://qiita.com/kaizen_nagoya/items/c5d78f3def8195cb2409

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

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

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

Error一覧(C/C++, python, bash...) Error(0)
https://qiita.com/kaizen_nagoya/items/48b6cbc8d68eae2c42b8

なぜ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

TOPPERSまとめ　#名古屋のIoTは名古屋のOSで
https://qiita.com/kaizen_nagoya/items/9026c049cb0309b9d451

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

自動制御、制御工学一覧（０）
https://qiita.com/kaizen_nagoya/items/7767a4e19a6ae1479e6b

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

＜この記事は個人の過去の経験に基づく個人の感想です。現在所属する組織、業務とは関係がありません。＞
This article is an individual impression based on the individual's experience. It has nothing to do with the organization or business to which I currently belong.
### 文書履歴(document history)
ver. 0.01 初稿 　20240504
### 最後までおよみいただきありがとう4ざいました。
いいね　💚、フォローをお願いします。
#### Thank you very much for reading to the last sentence.
Please press the like icon 💚　and follow me for your happy life.