概要

• 日程：2018 年 12 月 13 日（木）〜 14 日（金）
• 会場：金沢市文化ホール（アクセス情報）
• 主催：日本ソフトウェア科学会 ディペンダブルシステム研究会

発表賞

優秀論文発表賞

• 松原 克弥「マルチアーキテクチャに対応する自己起動型メモリ診断ツールの実現」

優秀ポスター発表賞

• 藪 智仁「Why3 を用いた区間演算プログラムの検証」

発表募集

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

ディペンダビリティ研究と一口に言っても（下記にも示す通り）非常に多岐に渡る分野に専門化・細分化しており、ややもすると専門分野の殻に引き籠もりがちになりますが、年に一度くらいは他分野の人々と交流・議論することで、自らの研究の意義を再確認し、また新たな着想を持つことは、個々の研究者のみならず、ディペンダビリティ研究全体にとっても非常に有意義であると考えています。

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

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

発表の形態

【論文発表】

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

【ポスター発表】

1人あたり横 1.2 m ☓ 縦 2.1 m 程度のスペースを用意しますので、ポスター等を展示してご自身の研究について説明してください。また、機材を持ち込んでデモンストレーションをして頂くこともできますが、会場設備の都合等もありますので、可否について事前にお問合せください。なおポスター発表の登録の際には発表概要を登録して頂きます。発表概要はどのような形式でも構いません。2 行程度のサマリでもよいですし、2 ページ程度の Extended Abstract でもよいです。

発表賞

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

招待講演（敬称略）

• 社会システムの基盤として手続き法令の形式記述と検証 - Z3Py による国民年金法の記述と検証を例として -
  • 片山 卓也（北陸先端科学技術大学院大学/東京工業大学・名誉教授）
• 車載システム開発における形式手法実践の現状と課題
  • 青木 利晃（北陸先端科学技術大学院大学・教授）
• 温故知新：ロギングこそがすべての基本
  • 河野 健二（慶應義塾大学・教授）

主要日程

• 論文発表申込締切：2018 年 10 月 26 日 (金)
• ポスター発表申込締切：2018 年 10 月 26 日 (金) → 2018 年 11 月 9 日 (金)
• 論文投稿締切：2018 年 11 月 16 日 (金)
• 参加申込締切：2018 年 12 月 7 日 (金)

参加費

• 学生：4,000円 (会員)、 5,000円 (非会員)
• 一般：8,000円 (会員)、10,000円 (非会員)

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

• 論文発表・ポスター発表ともに申込みは下記URLのフォームよりお願いいたします。
  • https://goo.gl/forms/b6g7fbwLhqnHSjpl2
  • https://goo.gl/forms/ZeVxlWhMIqhy9EAR2
• 論文はメールにて提出してください。著者・タイトル・概要を本文に記載いただき、論文本体 (PDF 形式でお願いいたします) を添付し dsksh_at_u-fukui.ac.jp までお送りください。

• 参加登録は下記URLのフォームよりお願いいたします。
  • https://goo.gl/forms/zz05NHzsxpOqByPz1

• ワークショップ当日の参加登録も受け付けますが、参加費が上記に一律 1000 円を加えた金額となります。

運営体制

• 主査: 前田 俊行（千葉工業大学）
• 幹事: 石井 大輔（福井大学）、阿部 洋丈（筑波大学）、大場 勝（日産自動車）、松野 裕（日本大学）

問い合わせ先

• 担当幹事: 石井 大輔（dsksh_at_u-fukui.ac.jp）