| 10：00 〜 11：30 |
ワークショップ
「〜流れでおさえる〜 キャッツのプラットフォームベース開発」
キャッツ株式会社 各製品責任者
|
| 11：30 〜 13：00 |
ランチパーティー
|
| 13：05 〜 13：10 |
ご挨拶
キャッツ株式会社 代表取締役社長 上島康男
|
| 13：10 〜 13：50 |
基調講演
「学術研究都市におけるマルチコアプロセッサアプリケーション創出活動」
財団法人北九州産業学術推進機構 半導体技術センター センター長
兼 公立大学法人 北九州市立大学大学院ビジネススクール 教授 丸田 秀一郎 様
|
 |
| 2004年 |
株式会社東芝 アナログシステムLSI技術部長（アナログシステムLSI-SBU長） |
| 2005年 |
財団法人北九州産業学推進機構 半導体技術センター長 |
| 2007年 |
公立大学法人 北九州市立大学大学院ビジネススクール 教授 |
|
| 13：50 〜 14：20 |
最新動向セッション1
「プロダクトラインとフィーチャモデリング」
九州大学 大学院システム情報科学研究院 准教授 中西 恒夫 様
|
|
2002年4月より現職。福岡知的クラスタプロジェクトにてプロダクトラインの研究に従事。プロジェクト終了後は地元福岡にてプロダクトラインの普及活動に奉職。
|
| 14：20 〜 14：50 |
最新動向セッション2
「UPPAAL入門 −モデル検査による実時間システムの検証−」
国立情報学研究所 アーキテクチャ科学研究系 GRACEセンター
特任教授 田口 研治 様
|
 |
| 1985年〜1997年 |
企業でAI関連の研究開発 |
| 1997年〜2005年 |
九州大学助手、ウプサラ大学講師、
ブラッドフォード大学講師（主な研究分野は形式手法） |
| 2005年〜 |
現職（主な研究分野は形式手法） |
|
| 14：50 〜 15：10 |
休憩 〜コーヒーブレイク〜
|
| 15：10 〜 15：40 |
事例発表1
「モデルベース開発の教育事例」
株式会社デンソー ボデー機器事業部 技術企画室
グループリーダー 兵藤 賢仁 様
|
| 15：40 〜 16：20 |
事例発表2
「時計の仕様検討段階におけるVIPの活用」
シチズン時計株式会社 時計開発本部
システム開発本部 開発技術担当部長 榎田 道弘 様
|
| |
| 1984年 |
シチズン時計株式会社入社 技術研究所配属 |
| 2007年 |
時計開発本部システム開発部 |
|
| 16：20 〜 16：40 |
事例発表3
「ZIPCのカーステレオ開発への導入」
日本ビクター株式会社 カーエレクトロニクス事業部
技術部 コア開発グループ 主席技師 栗原 功 様
|
| 16：40 〜 17：10 |
事例発表4
「大規模受託開発へのＺＩＰＣ適用とモデルベース開発」
株式会社日立情報制御ソリューションズ 業務サポート本部
生産技術部 ソフトウェアエンジニアリンググループ 技師 渡辺 滋 様
|
 |
| 1982年〜 |
制御用コンピュータ向け自律分散システム、画像処理システムの開発 |
| 1984年〜 |
電化製品、食品類など流通業向け業務支援システムの開発 |
| 1987年〜 |
大手証券会社、財団法人向け業務支援システム、パッケージの開発 |
| 1993年〜 |
電力会社向け発電所系統管理支援システムの開発 |
| 1995年〜 |
ＰＢＸシステムと連携したホテルサービス業務支援システムの開発 |
| 1999年〜 |
社員教育インストラクション、技術教育コースの開発、プロジェクト支援 |
2008年
現在 |
組込み開発向け教育、組込みアーキテクト育成教育、組込みプロジェクト支援に従事 |
|
| 17：10 〜 17：30 |
「キャッツ ロードマップ」
キャッツ株式会社 取締役副社長 渡辺 政彦
|
 |
| 1988年 |
ZIPC開発 |
| 2004年 |
経済産業省 組込みソフトウェア開発力強化推進委員会委員 設計品質部会 副主査 |
| 2008年現在 |
国立大学法人 九州工業大学大学院 情報工学部 客員教授
CATS先端研究所（CAL) 副所長 |
|
| 17：45 〜 20：00 |
懇親会
|
