概要

• 日程: 2025年12月11日 (木)・12日 (金)

• 会場: 千葉工業大学 東京スカイツリータウン®キャンパス（アクセス情報） 

• 主催: 日本ソフトウェア科学会 ディペンダブルシステム研究会

主要日程

• 論文発表・既発表論文紹介申込み締切

2025年 11月7日 (金)

• インタラクティブ発表申込み締切

2025年 11月14日 (金)

• 論文投稿締切

2025年 11月21日 (金)

• 参加申込み締切
  2025年 11月28日 (金)

DSW2025 について

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

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

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

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

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

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

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

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

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

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

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

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