第14回 組込みシステム研究発表会

オンライン研究発表会について

標記の研究発表会はペーパレスで行います。 皆様のご理解とご協力をお願いいたします。
平成21年度のオンライン化についての詳細は こちら をご覧ください。

* 研究会に登録されている方
研究発表会の一週間前の7月17日（金）にBookParkと当日閲覧用サイト（登録会員用）を公開します。
これに伴い公知日は7月17日（金）となりますのでご注意ください。
当日は資料をプリントアウトしてご持参いただくか、ご自身のPCにダウンロードの上PCをご持参ください。

* 研究会に登録されていない方
当日受付で当研究発表会の資料閲覧用のアカウン情報（URL, ID, PW）をお渡しいたします。
当日はネットワークにアクセスできるPCをご持参ください。
尚、当研究会にご登録いただくことで当研究会の資料のバックナンバーも含めてすべてBookParkでご購読いただけます。
登録されていない方は、 是非この機会に登録をご検討ください。
登録に関してはこちらをご参照ください。

○研究会登録は上記のお申込と登録費をご入金いただいて正式登録となります。
　 入金の確認には1週間程度お時間をいただきますのでご了承ください。
　 お振込が済みましたらkeiri"at"ipsj.or.jpまでご連絡いただき、BookPark閲覧希望の旨お伝えください。
○上記お手続きが済みましたら本会電子図書館（BookPark）上のユーザ登録（無料）をしてください。

プログラム

日　　程　：　2009年7月24日（金）
会　　場　：　名古屋都市センター 第3会議室　※会場が変更になりました（2009.7.7）
　　　　　　　　[アクセス：http://www.nui.or.jp/gaiyo/map.html]

議　　題　：　組込みシステム一般
講演時間：　３０分（質疑応答込）

※プログラムに変更がありました（2009.6.12）

●セッションA：安全 HAZOP フォーマルメソッド [10:00 - 12:00]

（1） 10:30 - 11:00 → 10:00 - 10:30
　　　HAZOP分析によるソフトウェア異常動作検出条件の導出手法の提案と実装
　　　○日高隆博、山崎二三雄、中本幸一、本田晋也、高田広章（名大）

（2） 11:00 - 11:30 → 10:30 - 11:00
　　　最小セットOS開発の作業改善と診断
　　　○後藤健太郎、柏原一雄、市川知典、三輪田寿康、川口直弘、斎藤直規、堀武司、小川清、竹下千晶
　　　（デンソークリエイト、サンテック、名市工研、道立工試）

（3） 11:30 - 12:00 → 11:00 - 11:30
　　　分散ストレージの安全性検証
　　　○大森洋一（九大）

（4） 11:30 - 12:00　追加
　　　モデル検査による設計検証と整合テスト
　　　○青木利晃、NGUYEN Tam Thi Minh（北陸先端大）

−−−　昼食　−−−

●セッション B：マルチプロセッサ リアルタイムOS [13:00 - 15:00]

（4 5） 13:00 - 13:30
　　　マルチプロセッサ対応RTOSにおけるロードバランス機構の実現
　　　○石田利永子　本田晋也　高田広章（名大）　福井昭也（ルネサスソリューションズ）
　　　小川敏行　田原康宏（ルネサステクノロジ）

（5 6） 13:30 - 14:00
　　　AUTOSAR通信ミドルウェアのマルチコア拡張
　　　○一場利幸、高田広章、本田晋也、倉地亮（名大）

（6 7） 14:00 - 14:30
　　　割込み処理を含むリアルタイムアプリケーション統合のための階層型スケジューリング
　　　○松原豊、本田晋也、高田広章（名大）

（7 8） 14:30 - 15:00
　　　ARMv6アーキテクチャを用いたメモリ保護RTOSのタスクスタック保護の設計と評価
　　　○中嶋健一郎、山田真大、長尾卓哉、山崎二三雄、武井千春、本田晋也、高田広章（名大）

−−−　休憩　−−−

●セッションC：車載システム 教育 シミュレーション [15:30 - 17:00]

（8 9） 15:30 - 16:00
　　　車載組み込み技術開発の欧州全体俯瞰と動向
　　　○鈴村延保（アイシン精機）

（9 10） 16:00 - 16:30
　　　組み込み中核人材プロジェクトにおける大学等での取り組み
　　　○小川清、斉藤直希、渡部謹二、鵜飼裕之、速水悟

（10 11） 16:30 - 17:00
　　　QEMUを使ったV850シミュレータの開発と評価
　　　尾崎辰典、○中本幸一（兵庫県立大学）

発表募集 （募集は終了しました）

日　　程　：　2009年7月23日（木）〜24日（金）
会　　場　：　南山大学サテライトキャンパス
　　　　　　　　名古屋市東区東桜2-10-10
　　　　　　　　[アクセス：http://www.nanzan-u.ac.jp/Information/access.html#03]

議　　題　：　組込みシステム一般

発表申込締切　：　2009年5月25日（月）

論文頁数　：　研究会原稿用紙8ページ以内
発表時間　：　30分（予定、質疑を含む）

　*　下記照会先あて電子メールでお申し込みください。
　　　「発表題目、発表者名（登壇者に○）、略称所属、概要（50字程度）、
　　　発表申込者連絡先（〒、住所、氏名、Tel、Fax、E-mail） 」を明記してください。

　*　お申し込み後、数日以内に受領メールを差し上げます。
　　　1週間経っても受領メールが届かない場合は照会先まで電子メールでお問合せください。

照 会 先　：　本田 晋也（名古屋大学）
　　　　　　　　 E-mail: honda at ertl.jp　(「 at 」を「@」に)変えて下さい）

※原稿の依頼と締切は、情報処理学会研究会事務局から連絡します。

ローカルアレンジ　：　沢田 篤史(南山大)