[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
(sigemb-info 413) DSW'09summer last CFP
- To: sigemb-info@xxxxxxx
- From: Kenichi Kourai <kourai@xxxxxxxxxxxxxxxx>
- Date: Mon, 08 Jun 2009 17:18:27 +0900
SIGEMB ML のみなさま
第７回ディペンダブルシステムワークショップの発表登録の〆切が明日に迫りま
したので、再度、ML をお借りして論文募集させていただきます。１ページのポ
ジションペーパーから発表できますので、奮ってお申し込みください。
重複してお受け取りの際はご容赦ください。
光来
---------------------------------------------------------------------
第7回ディペンダブルシステムワークショップ (DSW'09summer)
日程：2009年7月14日(火) 〜 16日(木)
場所：函館大沼プリンスホテル
主催：日本ソフトウェア科学会ディペンダブルシステム研究会
http://www.ksl.ci.kyutech.ac.jp/dsw09-summer/
発表登録〆切：2009年6月 9日（火）
原稿〆切：2009年6月30日（火）
（合宿制のため参加予定人数に達し次第、締切ります。
お早めにお申し込みください。）
日本ソフトウェア科学会では、高信頼ソフトウェアを開発するための技術に関
する先導研究を推進するために、討論の場と研究成果の発表を設けるとともに、
当該研究分野における研究成果を産業界に広く普及するための場を提供するこ
とを目的として、ディペンダブルソフトウェア研究会を発足しました。組込シ
ステムや社会システムも対象にしうる研究分野であることを考え、１９年度か
らディペンダブルシステム研究会と改称しました。
本研究会では、高信頼（ディペンダブル）システムとは以下の要件を実現する
ためのシステムと位置付けています。
安全性（safety)
信頼性（reliability）
可用性（availability）
保守性（maintainability）
管理性（manageability）
本研究会主催の第7回ワークショップを以下の通り開催致します。皆様の論文
投稿ならびにご参加をお待ちしております。
第5回より合宿形式にして、完成された仕事の発表よりも、アイディアの交換
を重視するディスカッション中心の会となるよう企画しました。とくにシステ
ム開発の分野と検証技術の分野の研究者が研究上の交流をはじめるきっかけの
場となるよう期待しております。
そのため、参加者全員に発表（通常の研究発表あるいは10分程度のポジション
発表）をしていただくことにいたしました。また、ワークショップでの発表を
発展させて、完成された発表につなげていただきやすいよう、秋に第6回ディ
ペンダブルシステムシンポジウム（「システム検証の科学技術」シンポジウム
から改称）の開催を企画しているほか、論文を投稿いただきやすいよう、コン
ピュータソフトウェアの特集号を企画中です。
【企画講演】
今回のワークショップでは以下の企画講演を予定しています。
●招待講演
南谷 崇 氏（東京大学）
「情報社会のディペンダビリティ」
関 浩之 氏（奈良先端科学技術大学院大学）
「アクセス制御 −言語ベースセキュリティをめざして−」（仮題）
●「システム検証の科学技術」シンポジウム講演
第5回「システム検証の科学技術」シンポジウムにおける実際的な事
例から本ワークショップと関連の深いテーマについてご講演いただき
ます。シンポジウムからさらに発展した内容を含めてご講演いただく
予定です。
【論文募集要項】
高信頼ソフトウェア開発支援技術、高信頼システム実現支援技術など、ディペ
ンダブルシステムに関する以下のトピックスに関係する論文を募集します。
・ UML
・ モデル検査
・ コンポーネントフレームワーク
・ プログラミング言語処理系
・ プログラム解析
・ ソフトウェアプロセス
・ ソフトウェアテスティング
・ 組み込みシステム
・ 基幹系サーバシステム
・ WEBサービスシステム
・ オペレーティングシステム
・ 文書処理システム
・ その他ディペンダブルシステムに関係するトピックス
議論を活発にして研究交流を促進するため、参加される方全員に、以下の三つ
の形のいずれかで、発表と論文の投稿をお願いいたします。なお、複数著者の
場合はどれかの発表の著者になっておられれば結構です。逆に一人で複数の発
表も、発表時間が許すかぎり歓迎いたします。
(1) フルペーパー 発表: 30分程度 論文: 8〜12ページ程度
(2) ショートペーパー 発表: 20分程度 論文: 4ページ程度
(3) ポジションペーパー 発表: 10分程度 論文: 1ページ程度
【論文投稿】
・6月9日までに、タイトル・著者リスト・100字程度のアブストラクトを
下記のURLから登録してください。
http://www.ksl.ci.kyutech.ac.jp/dsw09-summer/register.html
・6月30日までにPDFファイルを下記のURLからご投稿ください。
http://www.ksl.ci.kyutech.ac.jp/dsw09-summer/submit.html
・論文用LaTeXスタイルファイルは、以下URLから入手して下さい。
http://www.ksl.ci.kyutech.ac.jp/dsw09-summer/file/dsw-style.tgz
【問い合わせ先】
光来健一
dsw09-summer "at" ksl.ci.kyutech.ac.jp
---------------------------------------------------------------------------
主査 河野健二 慶應義塾大学
幹事 光来健一 九州工業大学
杉木章義 筑波大学
高井利憲 産業技術総合研究所
水野修 大阪大学