組込みシステムシンポジウム（ESS2007） 参加者募集

＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
　　　　　　組込みシステムシンポジウム2007
　　　　ESS2007：Embedded Systems Symposium 2007
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊

■参加募集

　組込みシステムは、産業機器・通信端末・家電機器・自動車など多種多様な製品として人々の社会生活を支える重要な構成要素となっています。組込みシステムの開発には、ソフトウェアからハードウェア、基礎からアプリケーションなど多次元で幅広い技術の他に、経済性・市場性といった社会的側面など、様々な領域からのアプローチが求められるようになっています。幅広い領域での活動を連携させて、組込みシステム工学を確立し、さらに一層の高度化を図ることは、開発現場の問題解決だけでなく、競争力強化のためにも重要な課題です。

このような問題意識に基づき、本シンポジウムでは、産学双方からの参加者の交流の場を提供するとともに、問題解決に向けた議論を展開したいと考えています。 具体的には、論文、ポスター展示、パネルディスカッション、海外を含む著名研究者による基調講演やチュートリアルを開催します。

多数の皆様の積極的なご参加をお待ちしております。

■参加申込

参加費（税込／論文集代込み）

事前申込締切　： 2007年10月10日（水）

申込方法　： 学会Webページの参加申込書にてお申込みください。→ 事前申込は締切ました。当日現地でお申込ください。

（注1）Webによる申込は、10/10 までとします。その後は、当日現地で、お申込下さい。
（注2）10/10までにお申込頂き、かつ、支払いを振込みで行われる場合に限り、事前申込優遇価格が適用されます。
　　　 10/10までに申込まれても、お支払い方法が現金の場合は、優遇価格は適用されませんので、ご注意下さい。
（注3）当日受付もいたしますが、論文集が不足した場合は事前申し込み優先とさせていただきますのでご了承ください。

■領収証について

参加費をお振込にてお支払いいただいた方で領収証を希望される方はE-mailにて以下の内容をご連絡ください。
ご入金が確認できましたら領収証を郵送させていただきます。

○E-mail送信先：sig"at"ipsj.or.jp （"at"は@に置き換えて下さい）

・振込日
・振込先（三菱東京UFJ銀行／みずほ銀行／郵便振替）
・振込名義

■プログラム

●基調講演
　　＊石川　裕(東京大学大学院情報理工学系研究科/情報基盤センター)
　　　「ディペンダブルシステムソフトウェアにおける挑戦」
　　　10月18日（木）13:50 -- 15:00
　　＊後藤　敏（早稲田大学大学院情報生産システム研究科）
　　　「メデイア処理における超低消費電力化技術」
　　　10月19日（金）9:40 -- 10:30

●特別講演
　　＊田丸喜一郎（IPA/SEC）
　　　「組込みソフトウェア産業の現状と政府の取り組み」
　　　10月18日（木）15:20 -- 16:50

●チュートリアル
　　＊山根　智（金沢大学大学院自然科学研究科）
　　　「リアルタイムシステムの仕様記述と検証」
　　　10月18日（木）11:10 -- 12:40
　　＊岡田　慧（東京大学大学院情報理工学系）
　　　「ヒューマノイドロボットの認識行動ソフトウェア」
　　　10月19日（金）15:20 -- 16:50
　　＊本田晋也（名古屋大学大学院情報科学研究科）
　　　「マルチコア向けリアルタイムOSとコデザイン」
　　　10月20日（土）10:10 -- 11:40
　　＊北山文彦（日本IBM）
　　　「モデル駆動型システムズ・エンジニアリングの課題と実践」
　　　10月20日（土）10:10 -- 11:40

●パネルディスカッション
　　＊「組込み技術者教育、産官学の連携は可能か？〜産の本音、官の思惑、学の本気〜」
　　　モデレータ：横田英史（日経BP社／IPA/SEC）
　　　パネリスト：
　　　 【産】近藤　満（ビースラッシュ）
　 　　【官】安田　篤（経済産業省商務情報政策局 情報処理振興課）
　 　　【学】大原茂之（東海大学専門職大学院組込み技術研究科）
　　　10月19日（金）15:20 -- 16:50
　　＊「クロージングパネル」
　　　10月20日（土）15:10 -- 16:40
　

●産業界におけるモデル検査法の適用
　　＊第1グループ
　　　　「開発現場から見たモデル検査導入の課題と対策」
　　　　　篠崎孝一（関西電力）
　　　　　早水公二（メルコ・パワー・システムズ）
　　＊第2グループ
　　　　「はじめようモデル検査　Early Birdで行こう」
　　　　　服部彰宏（富士ゼロックス）
　　　　　村石理恵（富士ゼロックス）
　　＊第3グループ
　　　　「C言語ソースコード検証へのモデル検査法の適用事例」
　　　　　池田健次郎（NEC）

　　　10月18日（木）15:20 -- 17:35

●論文発表／ポスター展示
　　　詳細はWebサイトに掲載のプログラムをご覧ください

●特別企画
　　＊ロボットチャレンジ競技
　 　　10月19日（金）11:00 -- 15:00 （見学自由）
　　＊審査員ワークショップ
　 　　10月19日（金）16:00 -- 17:30

●情報交換会
　　　10月19日（金）　18:00 -- 20:00　（レストラン）
　　　費用は、参加費に含まれています。

■運営組織

実行委員長：高田 広章（名大）
実行委員：沢田 篤史（南山大）
プログラム委員長：中島 震（国立情報学研究所）、戸川 望（早稲田大）
運営委員長：山本 雅基（名大）
運営委員：高山 浩一郎（富士通研究所）、竹辺 靖昭（日立製作所）
ポスター展示委員長：上田 賀一（茨城大）
MDDロボットチャレンジ実行委員長：二上 貴夫（東陽テクニカ）

プログラム委員：
青木 利晃 (北陸先端大)、飯田 周作 (専修大)、石原 亨 (九大)、泉 知論 (立命館大)、一色 剛 (東工大)、井上 昭彦 (松下)、追川 修一 (筑波大)、 岡野 浩三 (阪大)、落水 浩一郎 (北陸先端大)、香山 瑞恵 (信州大)、 神原 弘之 (京都高度技術研究所)、岸 知二 (北陸先端大)、北須賀 輝明 (九大)、河野 真治 (琉球大)、小林 和淑 (京大)、小林 真輔 (東大)、権藤 克彦(東工大)、齋藤 孝道 (明大)、坂本 直史 (ルネサスソリューションズ)、佐野 範佳(豊田中研)、佐原 伸 (CSKシステムズ)、沢田 篤史 (南山大)、高橋 孝一 (産総研)、滝本 宗宏 (東京理科大)、武内 良典 (阪大)、橘 昌良 (高工大)、田中 清史 (北陸先端大)、冨山 宏之 (名大)、中西 恒夫 (九大)、中村 宏明 (日本アイ・ビー・エム)、中本 幸一 (兵庫県立大)、林 晋 (京大)、兵頭 章彦 (日立)、福富 三雄 (豆蔵)、松本 充広 (キャッツ)、水野 修 (阪大)、宮岡 祐一郎 (東芝)、宮森 高 (東芝)、湯淺 太一 (京大)、結縁 祥治 (名大)、若林 一敏 (NEC)、渡辺 晴美 (東海大)、渡辺 博之 (オージス総研)

リエゾン委員：
荒木 啓二郎 (九大)、片山 卓也 (北陸先端大)、木下 佳樹 (産総研)、中島 達夫 (早大)、羽生田 栄一 (豆蔵)、平山 雅之 (IPA/SEC)

■協賛（順不同）
　　　　情報処理学会
　　　　　　ソフトウェア工学研究会
　　　　　　システムソフトウェアとオペレーティング・システム研究会
　　　　　　システムLSI設計技術研究会
　　　　　　ユビキタスコンピューティングシステム研究会
　　　　電子情報通信学会
　　　　日本ソフトウェア科学会
　　　　教育システム情報学会
　　　　情報サービス産業協会
　　　　組込みシステム技術協会
　　　　UMLモデリング推進協議会

■問い合わせ先
　　　*プログラムに関する問い合わせ
　　　　　ess2007-inquiry "at" nces.is.nagoya-u.ac.jp
　　　*参加申込に関する問い合わせ
　　　　　（社）情報処理学会 研究部門 調査研究 sig "at" ipsj.or.jp

　※ 発表募集　：　ポスター展示は、9月7日（金）まで受付中