| TOP |
| 主要日程 |
| プログラム |
| 論文募集 |
| スタイルファイル |
| MDDロボットチャレンジ |
| 会場・アクセス |
| 運営組織 |
| 後援・協賛・協力 |
| お問い合わせ |
| リンク |
Last Update：07/10/08
プログラム
基調講演
10月18日（木） 13:50 -- 15:00 石川 裕 （東京大学大学院 情報理工学系研究科／情報基盤センター）
「ディペンダブルシステムソフトウェアにおける挑戦」
10月19日（金） 9:40 -- 10:30 後藤 敏 （早稲田大学大学院 情報生産システム研究科）
「メディア処理における超低消費電力化技術」
IPAセッション特別講演 10月18日（木） 15:20 -- 16:50 田丸 喜一郎 （IPA/SEC）
「組込みソフトウェア産業の現状と政府の取り組み」
パネル 10月19日（金） 15:20 -- 16:50「組込み技術者教育，産官学の連携は可能か？
〜産の本音，官の思惑，学の本気〜 」
［パネルモデレータ］ 横田 英史 （日経BP社，IPA/SEC）
［パネリスト］ 【産】 近藤 満 （ビースラッシュ）
【官】 安田 篤 （経済産業省商務情報政策局 情報処理振興課）
【学】 大原 茂之 （東海大学専門職大学院 組込み技術研究科）
10月20日（土） 15:10 -- 16:40 「クロージング・パネル」
チュートリアル 10月18日（木） 11:10 -- 12:40 山根 智 （金沢大学大学院 自然科学研究科）
「リアルタイムシステムの仕様記述と検証」
10月19日（金） 15:20 -- 16:50 岡田 慧 （東京大学大学院 情報理工学系）
「ヒューマノイドロボットの認識行動ソフトウェア」
10月20日（土） 10:10 -- 11:40本田 晋也 （名古屋大学大学院 情報科学研究科）
「マルチコア向けリアルタイムOSとコデザイン」
10月20日（土） 10:10 -- 11:40北山 文彦 （日本IBM）
「モデル駆動型システムズ･エンジニアリングの課題と実践」
産業界におけるモデル検査法の適用 10月18日（木） 15:20 -- 17:35＊第1グループ
「開発現場から見たモデル検査導入の課題と対策」
篠崎 孝一 （関西電力）
早水 公二 （メルコ・パワー・システムズ）
＊第2グループ
「はじめようモデル検査 Early Birdで行こう」
服部 彰宏 （富士ゼロックス）
村石 理恵 （富士ゼロックス）
＊第3グループ
「C言語ソースコード検証へのモデル検査法の適用」
池田 健次郎 （NEC）
論文発表／ポスター展示※研究論文，実践論文の発表に関する詳細・スケジュールは，
こちらをご覧ください．※ ポスター展示に関する詳細は，
こちらをご覧ください． 特別企画：MDDロボットチャレンジ 10月19日（金） 9:30 -- 16:00ロボットチャレンジ競技 （見学自由）
10月19日（金） 16:00 -- 17:30審査員ワークショップ
情報交換会 10月19日（金） 18:00 -- 20:00 （レストラン）MDDロボットチャレンジ表彰式，ほか
このページの先頭へ
プライバシーポリシー