【発表募集・参加募集】DSW2022 (第20回ディペンダブルシステムワークショップ)

[Toshiyuki Maeda]

(重複してお受け取りの際は何卒ご容赦下さい。)

IPSJ PRO ML の皆様、

千葉工業大学 人工知能・ソフトウェア技術研究センター (STAIR) の
前田俊行です。

メーリングリストをお借りして、
第20回ディペンダブルシステムワークショップ (DSW2022) の
発表募集・参加募集のお知らせをお送りいたします。

今回は 2022 年 12 月 15 日 (木)・16 日 (金) に
日本大学駿河台キャンパスおよびオンラインで開催致します。
ディペンダビリティに関することであれば何でも歓迎致しますので、
皆様是非奮ってご発表・ご参加下さい。

発表申込み・参加申込みは以下の connpass のページからご登録いただけます:
https://dsw.connpass.com/event/264276/

発表申込み締切は 2022 年 12 月 02 日 (金)、
参加申込み締切は 2022 年 12 月 09 日 (金) です。

何卒宜しくお願い申し上げます。
------------------------------------------------------------------------
第20回ディペンダブルシステムワークショップ (DSW 2022)

[開催概要]
日程: 2022年12月15日 (木)・16日 (金)
会場: 日本大学 駿河台キャンパス（東京都千代田区）およびオンライン
主催: 日本ソフトウェア科学会 ディペンダブルシステム研究会
URL: https://sites.google.com/site/jssstdsw/dsw2022

[発表募集]
　ディペンダブルシステムワークショップは、ディペンダビリティに関する理
論や実装を研究している学生・研究者・技術者が一堂に会し、所属組織を超え
た交流を通してディペンダビリティ研究を促進・振興し、もって情報システム、
ひいては社会システムのディペンダビリティ向上に貢献することを目指してい
ます。
　システムのディペンダビリティは、システムライフサイクルすべてに関わり
ます。そのため、システム開発運用に関わるすべての研究分野がスコープに入
ります。本ワークショップでは多様な分野の参加者が交流・議論することで、
自らの研究の意義を再確認し、また新たな着想を持つことによりディペンダ
ビリティ研究の促進を目指します。

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

- ディペンダビリティの考え方
安全性、レジリエンス、オープンシステムディペンダビリティ、etc.
- ディペンダビリティの規格・認証
機能安全、規格適合、アシュアランスケース、etc.
- ディペンダビリティの方法論
開発方法論、テスト・品質保証、システムモデリング、モニタリング、
安全性分析、数理的検証手法・形式的検証手法、プログラム解析、
ソフトウェア若化、プログラム合成、フォールトトレランス、etc.
- ディペンダビリティと各種システム
システムソフトウェア（オペレーティングシステム・仮想マシンモニタ）、
AI システム、クラウドコンピューティング、ネットワークシステム
組込みシステム、データベース、etc.
- ディペンダビリティの事例研究

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

- 社会人博士を考えている方にとって、査読付き論文誌出版は博士取得に向け
た研究業績になります。
- 企業の開発現場では、日々新たなアイデアが生まれていると思います。しか
しその内容を誰にでもわかるようにすることは企業の現場において時間が
ない、あまり文章化の経験がないなど、難しい場合があると思います。DSW
では、通常の査読の前にDSW幹事がサポートします。
- コンピュータソフトウェア誌で出版された論文はオープンアクセスなどを通
じて、特許とは異なる形で、その分野だけでない、広い範囲の読者がわかり
やすい形で公知化できます。このことは企業にとって明確な社会貢献になり、
社員のモチベーション向上にもつながると考えます。

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

[招待講演]
- 木下 佳樹 氏 (神奈川大学)
- 「開放系の総合信頼性：その概念と標準化」
- 蓮尾 一郎 氏 (国立情報学研究所)
- 「ソフトウェア理論研究のシステムディペンダビリティ応用：
圏論的基礎理論から自動運転安全性証明まで」

[主要日程]
- 論文発表申込み締切
2022 年 12 月 2 日（金）
- インタラクティブ発表申込み締切
2022 年 12 月 2 日（金）
- 論文投稿締切
2022 年 12 月 9 日（金）
- 参加申込み締切
2022 年 12 月 9 日（金）

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

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

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

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

[発表申込み・参加申込み・論文投稿について]
　論文発表・インタラクティブ発表・発表なしの参加、いずれの場合も インタ
ーネットより申込みをお願いいたします。以下よりお申込みください。
- https://dsw.connpass.com/event/264276/

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

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

[参加費]
- 学生　無料
- 一般会員　現地参加　8000円　オンライン参加　1000円
- 一般非会員　現地参加　10000円　オンライン参加　2000円

[運営体制]
主査: 前田 俊行 (千葉工業大学)
幹事: 木下 修司 (東京都立産業技術大学院大学)、
石井 大輔 (北陸先端科学技術大学院大学)、
大場 勝 (日産自動車)、
松野 裕 (日本大学)、
松原 克弥 (公立はこだて未来大学)

[問い合わせ先]
木下 修司 (kinoshita-shuji_at_aiit.ac.jp)

[Toshiyuki Maeda]

(重複してお受け取りの際は何卒ご容赦下さい。)

IPSJ PRO ML の皆様、

千葉工業大学 人工知能・ソフトウェア技術研究センター (STAIR) の
前田俊行です。

先日よりご案内させて頂いております
第20回ディペンダブルシステムワークショップ (DSW2022) につきまして、
発表申込締切を 12月7日(水) に延長致しましたので、
発表募集・参加募集のお知らせを再度ご案内致します。

発表申込み・参加申込みは以下の connpass のページからご登録いただけます:
https://dsw.connpass.com/event/264276/

発表申込み締切は 2022 年 12 月 07 日 (水)、
参加申込み締切は 2022 年 12 月 12 日 (月) です。

皆様是非奮ってご発表・ご参加下さい。

2022 年 12 月 7 日（水）
- インタラクティブ発表申込み締切
2022 年 12 月 7 日（水）
- 論文投稿締切
2022 年 12 月 12 日（月）
- 参加申込み締切
2022 年 12 月 12 日（月）