SWEST12 プログラム
9/2(木) | （写真）
| 12:00〜 | 受付 | ||
| 13:00〜13:15 | オープニングセッション | ||
| 13:15〜14:35 | SWEST/DAS共同基調講演
「XDDP：派生開発専用の開発アプローチ」 （概要） （議事録） | ||
| 清水 吉男 （システムクリエイツ） | |||
| 14:50〜17:30 | ポスター・デモ発表／プロジェクトアップデート （発表一覧） （議事録） | ||
| 18:30〜20:50 | SWEST/DAS合同懇親会（夕食） | ||
| 21:00〜22:30 | セッション(S1)：夜の分科会 | ||
| S1-a | 「実践HAZOP実習」
（概要）
（議事録）
コーディネータ：小川 清 （名古屋市工業研究所） |
||
| S1-b | 「ぐるぐるマインドマップ」
（概要）
（議事録）
コーディネータ：加子 勝茂 |
||
| S1-c | 「モデル駆動型開発 〜ソフトウェア開発は自動化してしまえ〜」
（概要）
（議事録）
コーディネータ：太田 寛 （マイクロソフト） |
||
| S1-d | 「若手研究者によるお悩み相談室 〜この先端研究ってホントに産で使えるの？ この最新技術ってホントに学で扱えるの？〜」 （概要） （議事録） コーディネータ：高瀬 英希 （名古屋大学） |
||
| S1-e | 「ワークショップ形式による開発プロセスの振り返り4」
（概要）
（議事録）
コーディネータ：木元 峰之 |
||
| S1-f | 「DA技術の変遷と今後」
（概要）
（議事録）
コーディネータ：坂主 圭史 （大阪大学） |
||
| 18:30〜20:50 | ポスター・デモ発表／プロジェクトアップデート（継続展示） | ||
9/3(金) | （写真）
| 6:30〜9:00 | 朝食 | ||
| 8:35〜10:15 | セッション S2-a ※ DAS主催セッション | ||
| S2-a | 「テスト・検証」
（議事録）
※ SWEST12に申込みされた方は，DAシンポジウム2010が主催する本セッションにも参加できます． | ||
|
（3C-1）ループ最適化に対する形式的等価性検証手法 ○松本剛史（東京大学），瀬戸謙修（東京都市大学），藤田昌宏（東京大学） （3C-2）信号処理回路に対するSystemCとRTLのテストベンチ共用化 ○中村祐一（NEC），山際肇，中田勝（NECソフトウェア北陸） （3C-3）ソフトウェア/ハードウェア協調シミュレータの一考察 ○高西由希子（首都大学東京），中村祐一（NEC），西谷隆夫（首都大学東京） （3C-4）エラー検出回復方式回路の回路構成と性能に関するシミュレーション評価 ○井上雅文（東京工業大学），右近祐太，高橋篤司，谷口研二（大阪大学） |
|||
| 9:00〜10:20 | セッション S2-bcd | ||
| S2-b | 「ARTOP最新動向」
（概要）
（議事録）
講師：Loic Queran （Geensoft） |
||
| S2-c | 「入門SPL（ソフトウェアプロダクトライン）」
（概要）
（議事録）
講師：岸 知二 （早稲田大学） |
||
| S2-d | 「パフォーマンスを高め，スマートな開発をするための モチベーションワークショップ」 （概要） （議事録） コーディネータ：渡辺 登（アフレル） |
||
| 10:30〜12:10 | セッション S3-a ※ DAS主催セッション | ||
| S3-a | 「システムレベル設計と実装」
（議事録）
※ SWEST12に申込みされた方は，DAシンポジウム2010が主催する本セッションにも参加できます． | ||
|
（4C-1）多チャンネル生体情報センシング用SoCのアーキテクチャ設計とその評価 ○鎌田祐司，岩戸宏文，坂主圭史，武内良典，今井正治（大阪大学） （4C-2）プログラマブルアクセラレータ向け制御回路方式の検討 ○李在浩，吉田浩章，藤田昌宏（東京大学） （4C-3）システムレベル設計探索のための高速性能見積もり手法 ○柴田誠也，本田晋也（名古屋大学），冨山宏之（立命館大学），高田広章（名古屋大学） （4C-4）マルチコアプロセッサにおけるH.264/AVC符号化処理の高効率並列実装 ○中田洋平，竹内幸大，川口博，吉本雅彦（神戸大学） |
|||
| 10:30〜12:00 | セッション S3-bcd | ||
| S3-b | 「Domain-Specific Modeling for Full Code Generation」
（概要）
（議事録）
講師：Juha-Pekka Tolvanen （MetaCase） |
||
| S3-c | 「実践SPL（ソフトウェアプロダクトライン）」
（概要）
（議事録）
講師：山内 和幸 （エクスモーション） |
||
| S3-d | 「エンジニアの理想的コミュニケーションスタイル」
（概要）
（議事録）
コーディネータ：松崎 浩幸 （三菱電機マイコン機器ソフトウエア）， 酒井 卓也 （SWEST実行委員会，産業カウンセラー） |
||
| 9:00〜12:00 | ポスター・デモ発表／プロジェクトアップデート（継続展示） | ||
| 12:00〜13:00 | 昼食 | ||
| 13:00〜14:30 | SWEST/DAS合同パネル
「システム検証の現実と理想と将来」 （概要） （議事録） | ||
|
座長：中村 祐一（NEC） パネラ： 石塚 真一 （サイバネットシステム） 荒木 大 （インターデザイン・テクノロジー） 山郷 成仁 （デンソー） 中島 震 （国立情報学研究所） |
|||
| 13:00〜14:30 | セッション S4 | ||
| S4-b | 「実践形式手法 Event-B」
（概要）
（議事録）
コーディネータ：小川 清 （名古屋市工業研究所） |
||
| S4-c | 「組込みソフトウェアの機能安全」
（概要）
（議事録）
講師：櫛引 豪 （ガイアシステムソリューション／日本機能安全） |
||
| S4-d |
「Androidアプリワークショップ」
（概要）
（議事録） 開発環境・アプリケーションのインストール手順（PDFファイル）
コーディネータ：富永 勉 （日本Androidの会 名古屋支部長） |
||
| 14:40〜16:55 | セッション S5 | ||
| S5-a | 「ADLシステム設計最新動向」
（概要）
（議事録）
講師：奥村 洋 （ガイアシステムソリューション），佐藤 洋介 （デンソー）， Juha-Pekka Tolvanen （MetaCase） |
||
| S5-b | 「AUTOSAR車載ソフト開発 〜ツール&BSWの隅々まで知ろう〜」
（概要）
（議事録）
講師：柳下 知昭 （キャッツ），黒岩 佑介 （イーソル） 荒木 大（インターデザイン・テクノロジー） | ||
| S5-c | 「ETロボコンから考える組込みエンジニアリング」
（概要）
（議事録）
コーディネータ：山郷 成仁 （デンソー） |
||
| S5-d |
「Androidアプリワークショップ」
（概要）
（議事録）開発環境・アプリケーションのインストール手順（PDFファイル）
コーディネータ：富永 勉 （日本Androidの会 名古屋支部長） |
||
| 13:00〜16:55 | ポスター・デモ発表／プロジェクトアップデート（継続展示） | ||
| 17:00〜17:30 | クロージングセッション
|
||