研究会開催プログラム

お知らせ 2023年度・2024年度学生員会費割引キャンペーン実施中です
お知らせ技術研究報告と和文論文誌Ｃの同時投稿施策(掲載料1割引き)について
お知らせ【重要】研究会・各種料金のお支払い方法変更について

電子情報通信学会研究会発表申込システム
研究会開催プログラム

技報閲覧サービス
[ログイン]
技報アーカイブ

トップ

戻る

前のMSS研究会 / 次のMSS研究会

[HTML] / [HTML(simple)] / [TEXT]

[Japanese] / [English]

コンカレント工学研究会（CST）

専門委員長		潮俊光 (阪大)
副委員長		平石邦彦 (北陸先端大)
幹事		山口真悟 (山口大)，中村正樹 (金沢大)
幹事補佐		山崎達志 (摂南大)

日時	2010年 1月21日(木)　13:00 - 17:50 2010年 1月22日(金)　09:10 - 14:15
議題	組込みシステム，一般
会場名	豊田中央研究所アクタスCホール
住所	〒480-1192 愛知県愛知郡長久手町大字長湫字横道41-1
交通案内	リニモ（東部丘陵線）長久手古戦場駅から徒歩7分 http://www.tytlabs.co.jp/japanese/comp/access.html
会場世話人連絡先	足立正和
著作権について	以下の論文すべての著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

1月21日(木) 午後組込みシステム(1) 13:00 - 14:15
(1)	13:00-13:25	検証モデリングの比較検討～組込みソフトウェアの事例～ CST2009-37	○中島　震（NII）・谷津弘一・野中　哲・佐原　伸（タオベアーズ）
(2)	13:25-13:50	瞬時電源遮断機構を用いたマルチコアSoC向け省電力ソフトウェア実行環境 CST2009-38	○小野内雅文・十山圭介・野尻　徹・佐藤真琴（日立）・間瀬正啓・白子　準（早大）・佐藤未来子（東京農工大）・高田雅士・伊藤雅之（ルネサステクノロジ）・水野弘之（日立）・並木美太郎（東京農工大）・木村啓二・笠原博徳（早大）
(3)	13:50-14:15	車載組込みシステム向けの要求分析手法 CST2009-39	○荒木円博（豊田中研）・田中　聡（トヨタ自動車）
	14:15-14:35	休憩　（ 20分）
1月21日(木) 午後組込みシステム(2) 15:00 - 16:40
(4)	15:00-15:25	プロセス代数CSPによるシーケンス図設計の詳細化と検証 CST2009-40	○海津智宏（北陸先端大）・磯部祥尚（産総研）・鈴木正人（北陸先端大）
(5)	15:25-15:50	省電力を考慮した市場モデルによるメニーコアプロセッサのコア配分 CST2009-41	○宮城拓人・山崎達志（摂南大）
(6)	15:50-16:15	マルチバージョンタスクの最適バージョン決定問題に対する動的計画法に基づく近似解法 CST2009-42	○寺田早百合・潮　俊光（阪大）
(7)	16:15-16:40	大規模分散組込みシステム向け仮想実行環境の開発～現状報告～ CST2009-43	○中本幸一（兵庫県立大）・藪内健二（オクトパス）・原　央哉・岸田貴成・阿部一晴（兵庫県立大）・尾崎辰典・北村　章（富士通テン）
	16:40-17:00	休憩　（ 20分）
1月21日(木) 午後招待講演 17:00 - 17:50
(8)	17:00-17:50	［招待講演］予防安全システム評価シミュレータSTREET CST2009-44	○町田貴史・安田浩志・小里明男・山田直之・岩瀬竜也・倉橋哲郎・森　博子・北岡広宣（豊田中研）
1月22日(金) 午前 CST一般(1) 09:10 - 10:25
(9)	09:10-09:35	Acyclic拡張自由選択ワークフローネットに対する直列化可能性のリファクタリングによる判定方法の提案 CST2009-45	山口真悟・○濱野慎司・黒田祐樹・田中　稔（山口大）
(10)	09:35-10:00	離散事象システムにおける事象駆動制御とスケジュールベース制御の併用手法 CST2009-46	○萩原　雅・高橋宏治（東工大）
(11)	10:00-10:25	多種作業が複数混在するシステムにおける作業進捗制御の可視化のためのモデリング CST2009-47	○遠藤充泰・高橋宏治（東工大）
	10:25-10:45	休憩　（ 20分）
1月22日(金) 午前 CST一般(2) 10:45 - 12:00
(12)	10:45-11:10	救急医療システムを対象としたカラーペトリネットシミュレーションモデルの提案と検討 CST2009-48	○富澤秀治・永井昌寛・太田　淳（愛知県立大）
(13)	11:10-11:35	タスクの順序に基づくビジネスプロセスの検証方法の提案 CST2009-49	○村田大二郎・三部良太（日立）・磯部祥尚（産総研）
(14)	11:35-12:00	Mariaを用いたマルチエージェントネットのモジュラー可達性解析 CST2009-50	○堀口恭太・宮本俊幸（阪大）
1月22日(金) 午後 CST一般(3) 13:00 - 14:15
(15)	13:00-13:25	同形グラフの節点対応におけるカーネルセットの提案とその性質について CST2009-51	○浮田三晴・池田雄紀・葛　崎偉・中田　充（山口大）
(16)	13:25-13:50	時間付き離散事象システムにおけるスーパバイザの存在条件の簡単化 CST2009-52	○野村雅司・高井重昌（阪大）
(17)	13:50-14:15	アクティビティ図によるコレオグラフィ実現に関する研究 CST2009-53	○赤松賢治（阪大）・藤井　拓（オージス総研）・宮本俊幸（阪大）

講演時間
一般講演	発表 20 分＋質疑応答 5 分

問合先と今後の予定
CST	コンカレント工学研究会（CST）
	問合先	山口真悟（山口大学大学院理工学研究科） TEL: 0836-85-9510, FAX: 0836-85-9501 E-: ngu-u
	お知らせ	◎最新情報は、コンカレント工学研究会ホームページをご覧下さい． http://www.ieice.org/~cst/
		◎CST研究会では、研究会で発表された論文の中から毎年一件を優秀研究会論文賞として表彰しております．
		◎初日研究会終了後、懇親会を予定していますのでご参加ください．