社会・産業のデジタル変革

第2回 STAMPワークショップ講演資料(2017年)

2017年11月に開催したSTAMPワークショップの講演資料をまとめて掲載しています。

第1日目:11月27日(月曜日)基調講演・チュートリアル・招待講演

基調講演

STAMP and STPA introduction/STPA Exercise
MIT(Massachusetts Institute of Technology)
Dr. John Thomas

招待講演

Situations of STAMP in Europe
European STAMP Workshop Board
Dr. Nektarios Karanikas

Overseas & Tools Session

座長:プログラム委員 日下部 茂 氏

Integration of Security into CAST(20分)
ZHAW(Zurich University of Applied Sciences )
Christoph Senn, Carmen Frischknecht, Benjamin Contreras, Sven Krauss

STAMPベース・ハザード分析ツールの紹介(30分)
仙台高等専門学校 岡本 圭史 氏

IPAが提供するSTAMP支援ツールi-STAMP(開発コード)(30分)
IPA/SEC 石井 正悟

第2日目:11月28日(火曜日)一般講演

ショートセッション

座長:プログラム委員 岡本 圭史 氏

プロジェクト管理における動機づけに着目したSTAMP/STPAの適用
長崎県立大学 日下部 茂 氏

Freedom from interferenceに着目したSTAMP/STPAの活用
長崎県立大学 日下部 茂 氏

STAMP/STPA事例の振り返りとGSNを用いたSTPAプロセスの説明支援
日本大学 秋山 泰澄 氏

STAMP/STPAを用いた自動運転システムのリスク分析 -高速道路での合流-
愛知工業大学 堀 雅年 氏

標準セッション

座長:プログラム委員長 兼本 茂 氏

STAMP/STPAの自動車向け活用ガイド~JASPAR機能安全WG活動成果より~
JASPAR/日立オートモティブシステムズ 宮崎 義弘 氏

システムモデルを用いたSTAMP/STPA試行の事例紹介
日立産業制御ソリューションズ 橋本 岳男 氏

国際安全規格におけるSTAMP/STPA適用可能性の考察
東芝 余宮 尚志 氏

標準セッション

座長:プログラム委員 川野 卓 氏

STAMPによる閉電路制御式踏切制御システムの安全性評価
京三製作所 高田 哲也 氏

STAMP/STPAの鉄道信号システムへの応用と拡張
東日本旅客鉄道 高野 友佑 氏

自動運転系の安全・セキュリティ解析のための自動化ヒューマンファクタに基づくSTPAガイドワードの提案
日立製作所 永井 康彦 氏

STAMP/STPAを用いた踏切障害物検知システムの安全性分析
東日本旅客鉄道 北村 知 氏

STAMP/STPA による踏切制御システムの安全性要求分析
東日本旅客鉄道 国藤 隆 氏

標準セッション

座長:プログラム委員 三原 幸博

電動アシスト自転車を対象にしたハザード分析/STAMP・STPAと数値シミュレーションの特徴比較
会津大学 兼本 茂 氏

意図・要求記述レベルのSTAMP/STPA手法
JASA/ジェーエフピー 中村 洋 氏

コントロールストラクチャの状態遷移仕様とガイドワードを用いたシミュレーションによるSTAMP/STPAの非安全コントロールアクション識別方式の提案
大阪工業大学 福澤 寧子 氏

第3日目:11月29日(水曜日)一般講演

標準セッション

座長:プログラム委員 野本 秀樹 氏

Extending STPAをベースとしたプロセスモデル抽出の工夫
日本ユニシス 福島 祐子 氏

IoT/深層学習利用におけるSTAMPとHAZOPについての研究
名古屋市工業研究所 小川 清 氏

STAMP/STPAを用いたCyber-Physical Systemsの検証
日本ユニシス 青木 善貴 氏

STAMP/STPAを用いたリスクマネジメントフレームワークの提案
電通国際情報サービス 金 勲熙 氏

STAMPをSTAMPしてみた!
オムロンオートモーティブエレクトロニクス 玉那覇 肇 氏

Poster

実施報告