12月16日(金) 午後 13:00 - 15:30 |
(1) |
13:00-13:30 |
国際会議報告:PRDC2011 (17th IEEE Pacific Rim International Symposium on Dependable Computing) |
○新井雅之・岩崎一彦(首都大東京) |
(2) |
13:30-14:00 |
ディペンダブルな生産管理情報蓄積装置の開発 |
○太田匡哉(日大)・坂巻佳壽美・金田泰昌・入月康晴(都立産技研センター)・山崎正宣・堀籠和彦(ケーテー製作所)・望月 寛・中村英夫(日大) |
(3) |
14:00-14:30 |
汎用技術を適用した画像解析による鉄道システム監視技術例 |
○竹内俊裕・長谷川智紀・工藤 希・水間 毅(交通安全環境研) |
(4) |
14:30-15:00 |
A Safety Estimation of the ATPB System using UML and Formal Method |
○Guo Xie・Hiroshi Mochizuki・Sei Takahashi・Hideo Nakamura(Nihon Univ.) |
(5) |
15:00-15:30 |
列車制御システムの階層化設計における概念設計段階の安全性確認項目の検討 |
○岩田浩司(鉄道総研) |
|
15:30-15:40 |
休憩 ( 10分 ) |
12月16日(金) 午後 15:40 - 17:40 |
(6) |
15:40-16:10 |
I<sup>2</sup>C通信を用いた系再構成型システムの設計 |
○武田裕太・望月 寛(日大) |
(7) |
16:10-16:40 |
バックトラッキングを伴う構造化オーバレイネットワーク上のオブジェクト探索 |
○福本 聡・小澤一平・新井雅之(首都大東京) |
(8) |
16:40-17:10 |
アドホックセンサーネットワークにおけるワームホールの検出 |
○肖 剣華・蓑原 隆(拓殖大) |
(9) |
17:10-17:40 |
部分的にバックトラック可能な耐故障Wormholeスイッチング |
○金井宏樹・北神正人(千葉大) |