2024年度は参加者はじめ皆さまのご協力により無事大成功をもって終了させていただきました。
以下に、本年度の受賞者をご紹介させていただきます。

★☆★　最優秀発表賞　☆★☆

～第6回 AI/IoTシステム安全性シンポジウム～
　【FWS31-01】製造業におけるFRAMを用いた知識抽出支援
　（Supporting Knowledge Extraction in Manufacturing Using FRAM）
　　安江 成輝 殿（京都大学）

★☆★　優秀発表賞　☆★☆

～The 5th Asian STAMP Workshop～
　【ASW21-03】Integrating STPA for Cybersecurity into an Existing Standards-Based Process
　（サイバーセキュリティのための STPA を既存の標準ベースのプロセスに統合する）
　　　David Hetherington 殿（System Strategy, Inc）

～FRAM Workshop～
　【FWS31-02】FRAMを用いたセキュリティ人材のキャリアマップの作成
　（Creating a Career Map for Security Expert Using by FRAM）
　　　髙橋 雄志 殿（東日本国際大学／東京電機大学サイバーセキュリティ研究所）

★☆★　学生奨励賞　☆★☆

～The 5th Asian STAMP Workshop～
　【ASW22-03】複雑システムに対応する保証付き階層化安全分析手法 STPA-Refine
　(STPA-Refine, a guaranteed layered safety analysis method for complex system)
　　　米本 尭斗 殿（日本大学）

～FRAM Workshop～
　【FWS32-02】FRAMにSynesisにおける４つの要素を用いた分析手法の試み
　（An attempt at an analysis method using four issues in Synesis for FRAM）
　　　友時 照俊 殿（香川大学大学院）
　※募集時の年齢制限では対象ではありませんでしたが、発表の際の学生らしさや内容評価を加味した特別受賞となります。

お知らせ

第6回 AI/IoTシステム安全性シンポジウムは、2024年12月4日（水）から同12月6日（金）にオンラインと集合形式での開催を予定しています。また、昨年に引き続き、 Asian STAMP Workshop / FRAM Workshopも併せて開催します。集合形式の会場は、国立情報学研究所（学術総合センター）を予定しております。

第6回 AI/IoTシステム安全性シンポジウム、および、併設ワークショップのプログラムと参加募集を開始しました。

Day2（12.5）終了後にワークショップ会場にて懇親会の開催が決定いたしました。
懇親会へは、「Day2以降（集合形式）も参加」での登録が必要となります。
また、懇親会へは別途参加申し込みが必要となり、本シンポジウムの受付番号が必要となります。
懇親会へご参加いただける方は、こちらでシンポジウムの参加登録を事前に済ませたうえで、下記より懇親会へお申し込みください。
https://ai-iot-system-safsec.connpass.com/event/335687/

本年より優秀な発表について表彰を行わせていただくことになりました。
ただし、表彰の対象となるのは以下の条件を満たした場合に限ります。
　(1)発表資料の公開をしていただける方
　(2)発表内容の録画を可としている方
学生奨励賞につきましては 加えて以下の条件を満たす必要があります。
　(3)30歳未満の現役学生（社会人大学院生も可）
対象者が一定数に満たない場合は、表彰が行われないこともありますのでその点はご理解ください。

Starting this year, we will be awarding awards to outstanding presentations.
However, the award will only be given if the following conditions are met:
　(1) Publish presentation materials.
　(2) Recording presentations.
In addition, regarding the Student Encouragement Award, there is an additional condition:
　(3) Current students under the age of 30 (working graduate students are also allowed).
Please note that awards may not be given if the number of eligible applicants is less than a certain number.

Asian STAMP Workshopの一般発表を下記のように募集します。

本ワークショップでは、複雑性、不確実性、曖昧性などの性質を持つシステムの安全性をいかに高めることができるかについて議論します。今年の一般発表は、集合形式での開催を予定しております。

◆「Asian STAMPワークショップ」は、MITのナンシー・レブソン教授が提唱されたシステム理論に基づく事故モデルSTAMP（※1）に関するワークショップを、昨年に引き続きグローバルに開催します。英語と日本語の一般発表（発表30分・質疑含）を募集します。
＜テーマ＞
・システム理論に基づくSTAMP、STPA、CAST等の適用事例／手法提案／実証実験等
※応募件数によっては、発表時間が若干変更となる可能性があります。
※1：STAMP（System Theoretic Accident Model and Process）「安全/事故はシステムの構成要素の相互作用による創発特性である」という理論に基づく事故モデル

Call for presentations at the Asian STAMP Workshop as follows.

In this workshop, we will discuss how we can increase the safety & security of systems with properties such as complexity, uncertainty, and ambiguity.

- Asian STAMP Workshop will hold a global workshop on STAMP (†1), advocated by Professor Nancy Revson of MIT. We are calling for presentations in English and Japanese (30 minutes presentation, including Q&A).

- Application examples of STAMP, STPA, CAST, etc. proposals/demonstration experiments, etc.
† The announcement time may change slightly depending on the number of applications.
†1: STAMP (System Theoretic Accident Model and Process) Accident model based on the theory that "safety/accidents are emergent characteristics resulting from the interaction of system components."

FRAM Workshopの一般発表を下記のように募集します。

本ワークショップでは、複雑性、不確実性、曖昧性などの性質を持つシステムの安全性をいかに高めることができるかについて議論します。

◆「FRAMワークショップ」は、エリック・ホルナゲル教授が提唱されたレジリエンスエンジニアリング（主にその分析手法であるFRAM）（※2）に関するワークショップを開催します。一般発表（発表30分・質疑含）を募集します。発表言語に関わらず英語のプレゼンテーションを作成ください。英語に不安がある場合に、日本語併記や同じ内容の日本語ページを作成して表示しながら発表いただいても問題ございません。
＜テーマ＞
・FRAM／レジリエンスエンジニアリングの適用事例／手法提案／実証実験等
※応募件数によっては、発表時間が若干変更となる可能性があります。
※2：レジリエンスとは復元力、回復力を意味する言葉であり、レジリエンスエンジニアリングが提唱することの一つは、安全を旧来の考え方から「物事が正しい方向へと向かうことを保証する、すなわち、うまくいっていることから学ぶ」という新たな考え方への変革を促すこと。FRAM（Functional Resonance Analysis Method：機能共鳴分析手法）はその代表的分析手法。

Call for presentations at the FRAM Workshop as follows.

In this workshop, we will discuss how we can increase the safety & security of systems with properties such as complexity, uncertainty, and ambiguity.

FRAM Workshop will hold a workshop on resilience engineering (mainly FRAM, which is an analysis method for resilience engineering) (†2) advocated by Professor Erik Hollnagel. We are calling for presentations (30 minutes presentation, including Q&A).

- Application examples of FRAM/resilience engineering/method proposals/demonstration experiments, etc.
† The announcement time may change slightly depending on the number of applications.
†2: Resilience is a word that means resilience and recovery. Encourage a change to a new way of thinking: “learn from what works”. FRAM (Functional Resonance Analysis Method) is a representative analysis method.

発表者募集 Update

以下をクリックして発表概要（アブストラクト）をお送りください。
第6回 AI/IoTシステム安全性シンポジウム発表申し込みフォーム
https://forms.gle/vMUXKsvLt3eVwA8p8
発表申し込み締め切り日　8月30日（金）
9月13日（金）18:00
発表申し込みを延長しました。
発表申し込みを締切ました。

※発表に関する質問は、「問い合わせ先　ais3_symp2024（at）ais3.net」までメールでお送りください。

Call for presentations

Click below to submit your presentation abstract.
6th AI/IoT System Safety Symposium Presentation Application Form
https://forms.gle/vMUXKsvLt3eVwA8p8
Deadline for application for presentation: Friday, August 30th
Friday, September 13th at 18:00 PM.
We have extended the application deadline.
We have closed the application for presentations.
- For questions regarding the presentation, please send an email to ais3_symp2024(at)ais3.net

開催概要

【オンライン】AI/IoTシステム安全性シンポジウム / The 5th Asian STAMP Workshop（講演）
【オフライン（集合形式）】The 5th Asian STAMP Workshop（一般発表）
【オフライン（集合形式）】FRAM Workshop（講演、一般発表）
※プログラムの詳細につきましては随時更新予定です。
※開催地ならびに開催日程については検討中のため、変更となる場合がります。
参加申込は10月下旬より開始となる予定です。

プログラムnew!!

※2024.12.4現在の情報のため内容や時間帯など変更になる可能性があります。
※Day1のオンライン接続はプログラム開始の5分前から、Day2/3の集合形式会場はプログラム開始の30分前から入場いただけます。

Day 1：2024年12月4日（水）9:00~18:00

午前の部
【ASW11】The 5th Asian STAMP Workshop （座長：山口 晋一・サイバー大学／慶應義塾大学SDM研究所）

[Keynote Speech]
9:00～10:00：【ASW11-01】A Paradigm Change for System Engineering
講演者：Prof. Nancy Leveson（Massachusetts Institute of Technology）
[略歴]
ソフトウェア安全という新分野の創設者であり、世界の第一人者。全米工学アカデミー会員。米国計算機学会などから受賞多数。設計、運用、管理と社会的局面を含むシステム安全のすべての分野の研究を行なっており、その研究結果やシステム理論に基づくSTAMP/STPA等の手法は、航空宇宙、交通運輸、化学プラント、原子力、医療機器など、安全に係わる多種多様な産業で応用されている。

【ASW12】 [企画セッション] （座長：山口晋一・サイバー大学／慶應義塾大学SDM研究所）

10:10～11:10：【ASW12-01】『Engineering a Safer World』翻訳本の紹介 - STAMPの本質を日本語で知ろう
講演者：兼本 茂 名誉教授（会津大学）
講演者：福島 祐子 氏（BIPROGY株式会社）
[講演概要]『Engineering a Safer World』は、レブソン教授によって執筆された書籍であり、STAMP による新しい安全工学について書かれています。システム安全に興味を持つ幅広い方々に STAMP の本質を理解していただきたく、日本語に訳しました。本講演では、本書に記述されている STAMP 理論が生まれた背景と理由、その基盤であるシステム理論、システムのライフサイクルを通した STPA や CAST の活用の考え方を紹介します。

午後の部
【AIS13】 AI/IoTシステム安全性シンポジウム（座長：岡本 圭史・仙台高等専門学校）

オープニングトーク
13:00～13:15：【AIS13-01】実行委員長あいさつ
講演者：岡本 圭史 氏（仙台高等専門学校）
[講演概要]
2018年から年一回の開催で、6回目を迎えた本シンポジウムの成り立ち、活動の経緯等を紹介します。さらに、Asian STAMP Workshop、FRAM Workshopを含めた今年の開催内容の注目点、参加者への留意事項などを伝えます。

[招待講演]
13:15～14:15：【AIS13-02】鉄道信号システムの安全性について～技術進化や国際化に伴う課題と対応～
講演者：川野 卓 氏（東日本旅客鉄道株式会社）
[講演概要]鉄道信号システムは、過去発生した事故の歴史を経て安全性を高めてきた。国鉄の分割民営化やその後の規制緩和の流れを受け、鉄道信号システムはさらに進化し、輸送品質の向上に寄与してきた。本講演では、鉄道信号システムの安全性に関する歴史的経緯に触れると同時に、近年の技術進化や国際化における課題と対応について紹介する。

【休憩】10min

【AIS14】企画セッション（座長：金子 朋子・創価大学）

14:25～14:55：【AIS14-01】最近のサイバー攻撃に見られる特徴とは [CySec情報セキュリティ公開セミナー出張版]
講演者：寺田 真敏 教授 (東京電機大学)
[講演概要]サイバー攻撃の被害は、誰にでも起こり得る時代になってしまいました。ニュースでさまざまなサイバー攻撃被害について報告されていますが、その実態は意外と知られていないように思われます。本講演では、最近のサイバー攻撃に見られる特徴について紹介します。

14:55～15:25：【AIS14-02】AIを利用した Attack Surface Management
講演者：村上 弘和 氏（株式会社 CyCraft Japan シニアセキュリティリサーチャー）
[講演概要]サイバーセキュリティにおいて、Attack Surface Management (ASM) という考え方が提唱されています。本セッションでは、 サイバー攻撃とASMの関係性を紹介し、ASMで行うべき内容と課題を示します。そして、その解決法としてAIを使った取り組みを紹介します。

【休憩】15min

【AIS15】招待講演 （座長：岡本 圭史・仙台高等専門学校）

15:40～16:40：【AIS15-01】自動運転・ADAS安全性論証に対するソフトウェア科学的アプローチ
講演者：蓮尾 一郎 教授（国立情報学研究所）
[講演概要] 自動運転等の安全性論証に向けた我々のアプローチをいくつか紹介する。人車分離を行わない現在の交通システムでは「絶対の事故回避」は実現不可能であるため、安全性論証においては「安全とは何か」という問題から始めて、技術と社会との間の契約・線引きを探っていく必要がある。このために、論理的要求仕様を明示化した上でシステム解析（時には数学的安全証明）を行うというソフトウェア科学の技術が有効であることを示す。

【休憩】15min

【AIS16】企画セッション 高品質な機械学習システムのエンジニアリングに向けて ～ 深層学習のリペア技術から、多面的モデリング・パイプライン統合フレームワークまで（座長：余宮 尚志・トヨタ自動車）

16:55～17:25：【AIS16-01】深層学習のリペア技術の最新動向と実際
講演者：石川 冬樹 准教授 (国立情報学研究所)
[講演概要] AIシステムの安全性を担保するには，近くの歩行者が認識できないなど，一部の状況で性能が悪くリスクが大きくなる場合にDNNを修正(リペア)して対応しなければならないことがあります．転移学習など従来方法では，一部の状況で性能改善が，他の状況での性能悪化など別の問題を発生させてしまう可能性が高く，システム全体のリスクを軽減できないことがあります．本講演では，この問題に対処するDNNリペア技術を紹介します．

17:25～17:55：【AIS16-02】機械学習システムの多面的モデリング・パイプライン統合フレームワーク
講演者：鷲崎 弘宜 教授 (早稲田大学)
[講演概要] 機械学習システムは，従来の開発とは異なる機械学習システム特有の性質を扱うため，品質を担保するのが難しい場合があります．eAIプロジェクトでは機械学習システムの価値や安全性を含む様々な側面を一貫した形で分析設計モデリングし，その内容を継続的に機械学習モデルの訓練や修正，運用のワークフローパイプラインと統合するフレームワークを実現しています．本講演ではこのフレームワークを解説します．

Day 2：2024年12月5日（木）13:00~17:30

【ASW21】 The 5th Asian STAMP Workshop（座長：沖汐大志 ・BIPROGY株式会社）

13:00～13:30：【ASW21-01】STAMP/STPAで導き出した課題に対する対策立案手法の提案
（Propose to use the 4STEP/M method to prevent/mitigate the STAMP/STPA analyzed risk）
安樂 啓之（インフォテック株式会社）

13:30～14:00：【ASW21-02】公金受取口座の誤紐付けに対する安全分析と設計提案
（Preventing Erroneous Linking of My Number to Third-Party Bank Accounts）
中野 幸子（創価大学）

14:00～14:30：【ASW21-03】Integrating STPA for Cybersecurity into an Existing Standards-Based Process
（サイバーセキュリティのための STPA を既存の標準ベースのプロセスに統合する）
David Hetherington（System Strategy, Inc）

【休憩】10min

【ASW22】 The 5th Asian STAMP Workshop （座長：日下部茂・九州工業大学 ）

14:40～15:10：【ASW22-01】クラウドコンピューティングにおけるSTAMP/CASTを用いた分析事例の紹介
(Introduction of Analysis Examples Using STAMP/CAST in Cloud computing)
KIM JAEWON（創価大学）

15:10～15:40：【ASW22-02】大阪急性期・総合医療センターのランサムウェア攻撃におけるSTAMP/CASTとSTAMP/STPAを用いた分析事例の紹介
(Analysis of the Ransomware Attack on Osaka General Medical Center with STAMP/CAST and STAMP/STPA)
末竹 隆広（創価大学）

15:40～16:10：【ASW22-03】複雑システムに対応する保証付き階層化安全分析手法 STPA-Refine
(STPA-Refine, a guaranteed layered safety analysis method for complex system)
米本 尭斗（日本大学）

【休憩】10min

【ASW23】[企画セッション]（座長：安樂啓之・インフォテック株式会社）

16:20～16:50：【ASW23-01】ドローンの安全分析おける箱庭ドローンシミュレータ活用事例
講演者：牧野 進二 氏（JASA 組込みシステムセキュリティ委員会 副委員長）
[講演概要]ドローンのレベル4を行うには型式認証として「無人航空機の型式認証における安全基準及び均一性基準に対する検査要領」の準拠項目を満たすには、ドローン運航に対するSafetyとSecurity対応が必要である。ドローンの運航におけるSafetyとSecurityの両立分析は複雑であるためSTAMP/STPAにて分析する。箱庭ドローンシミュレータを用いAI活用した、その分析の効率化の事例を紹介する。

16:50～17:20：【ASW23-02】STPAから派生された開発要件の効果的な管理のために使える「VWAY」のソリューション
講演者：Dave BumSeok Kim 氏（VWAY）
講演者：林俊秀 氏（Lim Jun Su）（VWAY）
[講演概要] システムレベルの制約からその対策までユーザーは数え切れないほどの安全に関わる要件を導出します。このような要件を適切に管理することは開発プロセスの成功のために必須となります。今回の講演ではVWAYの「VisualPro」と「Teamer」ソリューションを使って安全に関わる要件を効率的に管理する方法をご紹介致します。

Asian STAMP Workshop終了後～19:30：【懇親会】

Day 3：2024年12月6日（金）13:00~18:00

【FWS31】FRAM Workshop（座長：野本 秀樹・有人宇宙システム）

13:00～13:40：【FWS31-01】製造業におけるFRAMを用いた知識抽出支援
（Supporting Knowledge Extraction in Manufacturing Using FRAM）
安江 成輝（京都大学）／佐藤 剛（三菱電機）／椹木 哲夫（京都大学）

13:40～14:20：【FWS31-02】FRAMを用いたセキュリティ人材のキャリアマップの作成
（Creating a Career Map for Security Expert Using by FRAM）
髙橋 雄志（東日本国際大学／東京電機大学サイバーセキュリティ研究所）

【休憩】10min

【FWS32】FRAM Workshop（座長：広瀬 貴之・有人宇宙システム）

14:30～15:10：【FWS32-01】A proactive adjustment for patient safety: Impact of safety-II approach against the disconnection of drainage tubes
伊藤 英樹（広島大学病院）

15:10～15:50：【FWS32-02】FRAMにSynesisにおける４つの要素を用いた分析手法の試み
（An attempt at an analysis method using four issues in Synesis for FRAM）
友時 照俊（香川大学大学院）

15:50～16:30：【FWS32-03】FRAMのモデル構築・可視化支援ツールFRAM Model Visualiser（FMV）の機能拡張の検討
（A consideration of the Functional Extension of the FRAM Model Visualiser (FMV)）
高橋 亨輔（香川大学）

【休憩】10min

【FWS33】企画セッション （座長：広瀬 貴之・有人宇宙システム）

16:40～17:25：【FWS33-01】FRAM Workshopを振り返って見よう

17:30～：クロージング

アンケート

シンポジウムにご参加いただきありがとうございます。
下記より、参加者アンケートにご協力いただけますと幸いです。
本アンケートはSTAMP/FRAMの促進を目的とし、次回の本集会の開催準備にのみ利用します。
また、アンケート結果の一部は参加者の皆様に後日共有させていただきます。
アンケートは、こちらから回答ください。

共催

• AI/IoTシステム安全性シンポジウム実行委員会
  
• 有人宇宙システム株式会社
  

協力

• eAIプロジェクト: 機械学習を用いたシステムの高品質化・実用化を加速する"Engineerable AI"技術の開発
  
• 一般財団法人日本科学技術連盟
  
• 東日本国際大学
  

後援

• 東京電機大学 CySec サイバーセキュリティ研究所
  
• 共立出版株式会社
  
• 一般社団法人 組込みシステム技術協会
  

組織（敬称略）

• 実行委員長：岡本 圭史(仙台高等専門学校)
  
• 運営委員長：髙橋 雄志(東日本国際大学／国立情報学研究所)
  
• プログラム委員長：日下部 茂(九州工業大学)
  
• アドバイザー：兼本 茂(会津大学)、野本 秀樹(JAMSS)、金子 朋子(創価大学)
  
• プログラム委員(五十音順)：安樂 啓之（インフォテック株式会社）、沖汐 大志(BIPROGY株式会社)、橋本 岳男(日立産業制御ソリューションズ)、広瀬 貴之(JAMSS)、山口 晋一(サイバー大学／慶應義塾大学SDM研究所)、余宮 尚志(トヨタ自動車)
  

問合せ先: ais3_symp2024 [at] ais3.net

スポンサー

株式会社チェンジビジョン

VWAY

QAML株式会社

株式会社CyCraft Japan