JAXA/IPA クリティカルソフトウェアワークショップ （WOCS）言語関連発表

第８回から第１５回までのJAXA/IPA クリティカルソフトウェアワークショップの
プログラム委員長をさせていただき、その間に、多くの言語関連の発表をいただいた。

JAXA/IPA クリティカルソフトウェアワークショップ WOCS　言語関連発表
https://researchmap.jp/blogs/blog_entries/view/78771/80abbf83357389451d607f3b2bbe39b1?frame_id=389658

<この項は書きかけです。順次追記します。>


各資料は、その年のURLに一覧があります。
敬称は略しています。内容が連名の場合でも、個人名は原則発表の代表者だけです。

合わせて、分析手法に関する発表も記録します。

第15回クリティカルソフトウェアワークショップ（15thWOCS2）
https://www.ipa.go.jp/sec/events/20171129.html

組込みシステムの安全とFRAMPDF 大西　秀一 　株式会社ヴィッツ
https://www.ipa.go.jp/files/000062848.pdf


STAMPとFRAM 野本　秀樹 　有人宇宙システム株式会社
https://www.ipa.go.jp/files/000062849.pdf

第14回クリティカルソフトウェアワークショップ （14thWOCS2）
https://www.ipa.go.jp/sec/events/20161212.html


ソフトウェアの受け入れテストに対するゴール構造化表記法を用いた効率化の取り組み
株式会社チェンジビジョン 高井　利憲
https://www.ipa.go.jp/files/000055804.pdf

ソフトウェア開発へのBメソッド適用のための実践的モデリング手順
https://www.ipa.go.jp/files/000055803.pdf

標準ソフトウェアプラットフォーム構成の改善検討
株式会社サニー技研 品川　雅臣 
https://www.ipa.go.jp/files/000055800.pdf

確率論及統計論輪講 小寺　浩司
https://www.ipa.go.jp/files/000055797.pdf

自動運転を想定した自動車の安全度水準と電子制御の課題
DNV GLビジネス・アシュアランス・ジャパン株式会社  川原　卓也 
https://www.ipa.go.jp/files/000055801.pdf

2016.1
第13回クリティカルソフトウェアワークショップ 
https://www.ipa.go.jp/sec/events/20160119.html

ATS言語による組込アプケーションの検証, 
理化学研究所 計算科学研究機構, 岡部究 

ソフトウェアモデル作成支援ツール実現のための状態遷移分析手法, 
アーク・システム・ソリューションズ株式会社, 福井雅彦 

Pre-Formal メソッドとしてのSTAMP モデリング, 
九州大学, 日下部茂 

表明とタイプ置換原理のムジュラー推論を利用したミッションクリティカルシステムのための開発アプローチの提案, 
HASHIMOTO SOFTWARE CONSULTING, 橋本隆成 

2015.1
第12回クリティカルソフトウェアワークショップ
https://www.ipa.go.jp/sec/events/20150120.html

CANメッセージにおける振る舞い検知手法に関する考察   , 
パナソニック株式会社, 氏家良浩 

制御可能性算出のためのドライバモデルおよび環境モデルの構築, 
株式会社ニルソフトウェア, 伊藤昌夫 

形式手法と脆弱性評定を組み合わせたセキュリティ評価, 
アーク・システム・ソリューションズ株式会社, 池田和博 

MISRA-C2004から2012への移行の課題, 
株式会社ヴィッツ, 萩原勝 

 2014.1
第11回クリティカルソフトウェアワークショップ
http://www.ipa.go.jp/sec/events/20140115.html

株式会社ソニーコンピュータサイエンス研究所　
エグゼクティブアドバイザー／ファウンダー　　所眞理雄
「DEOS：巨大・複雑で変化し続けるシステムのディペンダビリティーを達成する」

三菱航空機株式会社　技術本部　開発保証部　部長　篠田和英
「民間航空機の安全・開発保証プロセスについて～MRJ開発における取組み～」

技術研究組合制御システムセキュリティセンター（CSSC)　理事長／ 
電気通信大学　教授　新誠一
「制御系セキュリティの国内での取り組み」

Det Norske Veritas , 代表取締役 , 前田直樹
「Safety Assessment Method for Flight Operation System. ～ Lessons from "RNP AR approaches" to Haneda Airport.」

（独）情報処理推進機構　技術本部 セキュリティセンター 　研究員　中野学
「組込みシステムのセキュリティ対策 ～繋がる車でのケーススタディ～」

強い型によるOSの開発手法の提案
Metasepi Project, 岡部究 

形式手法を用いた安全・セキュリティ分析手順と要件の抽出方法の提唱
株式会社ヴィッツ,  和田学 

CARDION: 概念段階におけるハザード・脅威の抽出手法
株式会社ニルソフトウェア ,伊藤昌夫 

形式手法を用いた安全・セキュリティ検証
アーク・システム・ソリューションズ株式会社 , 池田和博 

ソフトウェアFMEA を体系的に実施する出発点としてのMISRA-C 
株式会社ヴィッツ , 森川 聡久 

組込み開発におけるセキュリティ対策及び試験手法に関する一考察
株式会社NTTデータ , 平井康雅

安全性ケースと非機能要求グレードによるセキュリティ評価指標確認手法の提案
名古屋大学 , 増元美紀 

多様化するエネルギーシステムのための先端モデルベース開発技術による信頼性の確保のための提案
スマートエナジー研究所 , 中村創一郎 

RAMSの認証とセーフティケース
独立行政法人産業技術総合研究所 , 相馬大輔 

著作権保護システムの車載セキュリティ応用とSafetyへの展開について
パナソニックアドバンストテクノロジー株式会社, 倉内伸和 

ネットワーク連携が進む次世代自動車・サービスロボット等の利用者安全を 保証するセキュリティ対応ソフトウェアプラットフォームの研究開発
株式会社ヴィッツ,後藤孝一 

2012.9
第10回クリティカルソフトウェアワークショップ
http://www.ipa.go.jp/sec/softwareengineering/events/20120927.html

「生活支援ロボットの安全技術」
産業総合研究所 知能システム研究部門  研究部門長 , 比留川博久 

「ソフトウェアのクリティカリティ分類とその提言」
ESA（欧州宇宙機関）, Mr. David Escorial Rico

「経験的Wモデル論」
名古屋形式手法勉強会, 野村卓司

「中小企業における機能安全対応への取り組み」
株式会社サニー技研, 尾仲洋和

「ISO 26262における ソフトウェア安全解析の検討」
株式会社OTSL, 山本輝俊

「モデル検査の検査式作成手法」
有人宇宙システム株式会社, 早川浩司

「宇宙機におけるハイブリッドシステムの振る舞いに対する検証方法の検討」
有人宇宙システム株式会社, 星野伸行

「並行システム解析支援ツール ～協調動作の可視化～」
産業技術総合研究所, 磯部祥尚

「製品設計におけるFTAとその支援システムの開発 －Fault Tree Analysis支援システムの実用性評価及び今後の発展性－」
ジヤトコ株式会社, 平岡洋二

「アシュアランスケースにおける品質到達性と トレーサビリティを考慮した記述ルー ル提案と超小型衛星開発への適用評価」
慶應義塾大学大学院　システムデザイン・マネジメント研究科, 田中康平

「Bメソッドによる組込みソフトウェア開発の品質改善効果と開発コストの評価」
株式会社リック, 坂本謙治

「組込みシステムにおける並列型状態遷移図に基づく安全分析手法」
名古屋大学大学院情報科学研究科, 金周慧

2011.11
第9回クリティカルソフトウェアワークショップ(WOCS2)
http://www.ipa.go.jp/sec/softwareengineering/events/20111117.html

「状態遷移の種類と形式検証の使いどころ」 
アイシン・エィ・ダブリュ株式会社　久保孝行　

「Bメソッドを用いた組込みソフトウェア自動コード生成の実用性評価」
CAPES-B 北海道電子機器株式会社　和田学　

「対話的定理証明支援系によるミドルウェア検証」
有限会社ITプランニング　今井敬吾　

「フォーマルメソッドを活用したソフトウェアIV&V」
有人宇宙システム株式会社　星野伸行　

「Model Checking of Services Workflow Reconfiguration: a Perspective on Dependability」 
University of Tsukuba　Juan Carlos　

「モデル検査の適用プロセスの提案」
株式会社フォーマルテック　早水公二　

「モデルベース開発導入へのチャレンジ　～単体コード検証への適用による導入の加速～」
株式会社東海理化　山口晶広　

「国際共同プロジェクトにおけるインタフェース検証方法の研究」
独立行政法人　宇宙航空研究開発機構　氏家亮　

「新幹線運行管理システムの安定性向上対策について」
株式会社ジェイアール東日本情報システム　古澤真理子　

「組込み製品のユーザ視点の信頼性/品質向上に向けた取組み」 
キャッツ株式会社　田村政和　

「TOPPERS/SSPへの組込みコンポーネントシステム適用における設計情報の可視化と抽象化」
株式会社ヴィッツ 　鵜飼敬幸　

「HAZOPによるTOPPERS/SSPの分析」 
名古屋市工業研究所　小川　清　他

「階層型状態遷移図に着目した安全分析手法」 
名古屋大学　金周慧　

「機能安全規格に準じたソフトウェア安全度水準計算の一手法」
SRATECH Lab 株式会社　藤原隆次　

「宇宙機ソフトウェアにおける安全要求と設計事例」 
独立行政法人　宇宙航空研究開発機構　梅田浩貴　

「Complex Systems Engineering: The Future of System Design」
Stevens Institute of Technology
*INCOSE Technical Director for Education and Research
シンガポール国立大学 システムエンジニアリング・インダストリアルエンジニアリング科 准教授　ラシミ ジェイン 

「Raising the Limit: The Design or the Designer?」
SGSテュフ 自動車・航空宇宙 機能安全 プロダクトマネージャ 　ステファン ノートン 

「『きぼう』ロボットアームの安全な制御システムの構築」
日本電気株式会社 ナショナルセキュリティソリューション事業部 宇宙地上システムグループ マネージャー　森広宣 

「想定外事象と潜在リスク分析」
株式会社ガイア・システム・ソリューション　川原卓也 

2011.1
第8回クリティカルソフトウェアワークショップ（WOCS2011)
http://www.ipa.go.jp/sec/softwareengineering/events/20110118.html

デンソークリエイト 竹下千晶 
「レビューの質のモデル化による品質向上について　トレーニング指向アプローチによるプロセス改善」　

 名古屋市工業研究所  小川清 
「一人HAZOPを組み合わせた効率的な分析作業」

豊田中央研究所 稲森豊 
「検出漏れのない割込み干渉検出システムの開発」　

 サニー技研 米田真之 
「中小企業の形式手法への取り組み」　

 産業技術総合研究所 水口大知 
「簡易な形式仕様記述と状態遷移表を併用した要求仕様のレビュー方法」　

 有人宇宙システム　中尾春香 
「MODELING AND HAZARD ANALYSIS USING STPA」

# おわりに
WOCSプログラム委員長をしていました。
発表者全員と面識があります。なにかありましたら、お問い合わせください。
関連する資料は順次掲載予定。　
## 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

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

Qiitaの記事に３段階または５段階で到達するための方法
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

プログラマの「プログラムが書ける」思い込みは強みだ。３つの理由。仮説（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ヶ月後に年収１０００万円を目指す。二つの関門と三つの道。
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

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

# 関連資料
' @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

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

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

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

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

数学関連記事１００
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

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

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

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

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

日本語（０）一欄
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

鉄道（０）鉄道のシステム考察はてっちゃんがてつだってくれる
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

C++ 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を含む）システムの課題、官（０）
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

自動制御、制御工学一覧（０）
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.
### 文書履歴
ver. 0.01 初稿 20190110
ver. 0.02 URL追記 20190111
ver. 0.03 敬称略 20190117
ver. 0.04 researchmap version変更にともなうURL改訂 20200404 
ver. 0.05 断り書き追記 20210626
### 最後までおよみいただきありがとうございました。
いいね　💚、フォローをお願いします。
#### Thank you very much for reading to the last sentence.
Please press the like icon 💚　and follow me for your happy life.