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