第21回ディペンダブルシステムワークショップ

招待講演

• 吉川 友也 氏 (千葉工業大学 STAIR) 「説明可能AI：代表的手法と最近の動向 」

  • 最近の深層学習モデルは様々なAIシステムで実用化されているが、その中身はブラックボックスになりがちである。しかし、医療や自動運転等のハイリスクなAIシステムで使用する場合には、モデルの出力の根拠や振る舞いの透明性を確保することが重要である。これを実現する技術は説明可能AI (Explainable AI)と呼ばれている。本講演では、説明可能AIの概要及び代表的な手法を説明するとともに、最近の動向を紹介する。 

プログラム

（下線が発表者です）

2023-12-14（木）

13:20 開場

13:50 開会

14:00-15:00 招待講演(1)

• 「説明可能AI：代表的手法と最近の動向 」吉川 友也 (千葉工業大学 STAIR)　【オンライン】

15:10-15:40 論文発表(1) 

• 「エッジデバイスで動作する物体検出ソフトウェアのエナジーバグの調査」廣井一歩 (筑波大学), 町田文雄 (筑波大学)

15:50-16:50 インタラクティブ発表

• 「実行時性能と両立するWebAssemblyライブマイグレーションの実現に向けたAhead-Of-Timeコンパイラの分析」 中田裕貴 (さくらインターネット株式会社), 藤井大悟 (公立はこだて未来大学), 松原克弥(公立はこだて未来大学)

• 「ライフサイクルにおけるシステムの変化とアシュアランスの変化の研究に向けて」 西原秀明 (産業技術総合研究所)

• 「A Continuous-Time Markov Decision Process Formulation for Software Rejuvenation Systems」 Nianqiu Wang (筑波大学)

• 「Safety-aware Weighted Voting for N-Version Machine Learning Systems」 Linyun Gao (筑波大学),  Fumio Machida (筑波大学)

2023-12-15（金）

10:00 開場

10:30-12:00 論文発表(2)

• 「ディペンダブルなOSプロビジョニング実現に向けた評価テストベッドの構築」熊谷峻 (公立はこだて未来大学), 松原克弥 (公立はこだて未来大学), 森川太斗 (公立はこだて未来大学)  

• 「Enhancing Stakeholder Consensus for System of Systems Resilience using Assurance Case」 Zhang Huanjun (名古屋大学), Matsubara Yutaka (名古屋大学), Takada Hiroaki (名古屋大学)

• 「大学研究室におけるディペンダブルなアジャイルプロセス開発の実践」 児玉英明 (日本大学), 松野裕 (日本大学), 羽山夏生 (日本大学)

12:10 閉会

発表募集

ディペンダブルシステムワークショップは、ディペンダビリティに関する理論や実装を研究している学生・研究者・技術者が一堂に会し、所属組織を超えた交流を通してディペンダビリティ研究を促進・振興し、もって情報システム、ひいては社会システムのディペンダビリティ向上に貢献することを目指しています。

システムのディペンダビリティは、システムライフサイクルすべてに関わります。そのため、システム開発運用に関わるすべての研究分野がスコープに入ります。本ワークショップでは多様な分野の参加者が交流・議論することで、自らの研究の意義を再確認し、また新たな着想を持つことによりディペンダビリティ研究の促進を目指します。

今回のディペンダブルシステムワークショップでは、ディペンダビリティ研究をテーマとした論文発表やインタラクティブ発表を募集します。発表の内容についてはディペンダビリティ研究に関するものであれば何でも歓迎ですが、特に萌芽的な研究の報告を歓迎します（もちろん完成した研究の報告でも全く問題ありません）。具体的には例えば以下のようなテーマが考えられますが、これらに限定することなく広く発表を募ります。

• ディペンダビリティの考え方

  • 安全性、レジリエンス、オープンシステムディペンダビリティ、etc.

• ディペンダビリティの規格・認証

  • 機能安全、規格適合、アシュアランスケース、etc.

• ディペンダビリティの方法論

  • 開発方法論、テスト・品質保証、システムモデリング、モニタリング、安全性分析、数理的検証手法・形式的検証手法、プログラム解析、ソフトウェア若化、プログラム合成、フォールトトレランス、etc.

• ディペンダビリティと各種システム

  • システムソフトウェア（オペレーティングシステム・仮想マシンモニタ）、AI システム、クラウドコンピューティング、ネットワークシステム、組込みシステム、データベース、etc.

• ディペンダビリティの事例研究

推薦論文（予定）

本年度も推薦論文を実施する予定です。本年度は特に企業などの現場において生まれたアイデアに基づく論文やディペンダビリティ手法、ツールの実践報告論文を推薦します。推薦論文候補になった論文は、通常の査読の前に、論文化に向けてDSW幹事がメールなどによる丁寧なアドバイスをいたします。候補にならなかった論文に対しても、発表後DSW幹事からのコメントを送付させていただきます。これらのコミュニケーションが研究の発展、コラボレーションにつながればと思います。

企業の方が研究開発成果をDSWの推薦論文として出版することには以下のメリットがあると考えます。

• 社会人博士を考えている方にとって、査読付き論文誌出版は博士取得に向けた研究業績になります。

• 企業の開発現場では、日々新たなアイデアが生まれていると思います。しかしその内容を誰にでもわかるようにすることは企業の現場において時間がない、あまり文章化の経験がないなど、難しい場合があると思います。DSWでは、通常の査読の前にDSW幹事がサポートします。

• コンピュータソフトウェア誌で出版された論文はオープンアクセスなどを通じて、特許とは異なる形で、その分野だけでない、広い範囲の読者がわかりやすい形で公知化できます。このことは企業にとって明確な社会貢献になり、社員のモチベーション向上にもつながると考えます。

上記の試みは、論文化が難しかった企業の現場で生まれたアイデアや事例の論文化を積極的に支援することにより、企業、アカデミアが協力してディペンダビリティ分野を発展させることを目指します。ぜひご参加、ご投稿をご検討ください。

発表の形態

【論文発表】（現地およびオンライン）

研究論文を投稿し、その内容について登壇発表を行います。論文のページ数の制限は特になく、ショートペーパーでもフルペーパーでも歓迎します。査読はありませんが、研究会の主査・幹事が特に優れていると判断した論文は、ワークショップ終了後に「コンピュータソフトウェア」誌のDSW推薦論文としての投稿が可能となる予定です。推薦論文は研究会幹事による迅速な査読プロセスを特長とします。発表時間は質疑を含めて 30 分の予定です。

【インタラクティブ発表】（現地のみ、オンラインなし）

発表者と参加者がインタラクティブに議論する場を提供します。発表者ごとにブースを用意しますので、スライド、ポスター、デモなど自由に準備して下さい。発表時間は 1 時間の予定です。（今年度はインタラクティブ発表については現地のみで実施し、オンラインでの中継は実施いたしませんので、ご注意ください）

※ 発表の申込があれば受理してご発表いただくことを原則といたしますが、テーマに沿わないものはお断りする場合がございます。また、申込件数が多数に及ぶ場合は発表をお断りせざるを得ない場合もあることをあらかじめご了承ください。

発表賞

ワークショップでの論文発表・インタラクティブ発表の中から最優秀論文発表賞・最優秀インタラクティブ発表賞を参加者の投票で決定し、後日発表・表彰を行います。

発表申込み・参加申込み・論文投稿について

• 論文発表・インタラクティブ発表・発表なしの参加、いずれの場合も インターネットより申込みをお願いいたします。以下よりお申込みください。

  • https://dsw.connpass.com/event/300524/

• 論文は電子メールにて提出してください。著者・タイトル・概要を本文に記載いただき、論文本体 (PDF 形式でお願いいたします) を添付し kinoshita-shuji_at_aiit.ac.jp までお送りください。

※ ご提出いただいた論文等はパスワードをかけて公開いたします。パスワードはワークショップ参加者にお伝えいたします。

参加費

• 学生　無料

• 一般会員　現地参加　8000円　オンライン参加　1000円

• 一般非会員　現地参加　10000円　オンライン参加　2000円

運営体制

• 主査

  • 前田 俊行 (千葉工業大学 STAIR)

• 幹事

  • 木下 修司 (東京都立産業技術大学院大学)、石井 大輔 (北陸先端科学技術大学院大学)、大場 勝 (アドバンテスト)、松野 裕 (日本大学)、松原 克弥 (公立はこだて未来大学)